org.eclipse.emf.henshin.statespace.external.cadp
Class CADPStateSpaceValidator

java.lang.Object
  org.eclipse.emf.henshin.statespace.impl.AbstractStateSpaceValidator
      org.eclipse.emf.henshin.statespace.external.AbstractFileBasedValidator
          org.eclipse.emf.henshin.statespace.external.cadp.CADPStateSpaceValidator

All Implemented Interfaces:

StateSpaceValidator, Validator

public class CADPStateSpaceValidator
extends AbstractFileBasedValidator

CADP state space validator.

Field Summary

static String

VALIDATOR_ID ID of this validator.

Fields inherited from class org.eclipse.emf.henshin.statespace.external.AbstractFileBasedValidator

AUT_FILE_EXPORT_KEY

Fields inherited from class org.eclipse.emf.henshin.statespace.impl.AbstractStateSpaceValidator

index, property

Constructor Summary

CADPStateSpaceValidator()

Method Summary

static File	getCADPBin() Get the CADP 'bin.*' directory.
String	getName() Get the name of this validator.
static void	register() Register this validator in the global validator registry in the state space plug-in.
boolean	usesProperty() Determines whether this validator uses a property or not.
ValidationResult	validate(StateSpace stateSpace, org.eclipse.core.runtime.IProgressMonitor monitor) Perform the validation for the given state space.

Methods inherited from class org.eclipse.emf.henshin.statespace.external.AbstractFileBasedValidator

addCachedFile, clearCachedFiles, convertFile, createTempFile, export, exportAsAUT, getCachedFile, isLinux, isWindows

Methods inherited from class org.eclipse.emf.henshin.statespace.impl.AbstractStateSpaceValidator

setProperty, setStateSpaceIndex

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

VALIDATOR_ID

public static final String VALIDATOR_ID

ID of this validator.

See Also:

Constant Field Values

Constructor Detail

CADPStateSpaceValidator

public CADPStateSpaceValidator()

Method Detail

register

public static void register()

Register this validator in the global validator registry in the state space plug-in.

validate

public ValidationResult validate(StateSpace stateSpace,
                                 org.eclipse.core.runtime.IProgressMonitor monitor)
                          throws Exception

Description copied from interface: StateSpaceValidator

Perform the validation for the given state space.

monitor - Progress monitor.

Returns:

Validation result.

Throws:

Exception - If an error occurs during the validation.

getCADPBin

public static File getCADPBin()
                       throws FileNotFoundException

Get the CADP 'bin.*' directory.

Returns:

The directory.

Throws:

FileNotFoundException - If the directory was not found.

getName

public String getName()

Description copied from interface: Validator

Get the name of this validator.

Returns:

Name of this validator.

usesProperty

public boolean usesProperty()

Description copied from interface: Validator

Determines whether this validator uses a property or not. The property is set using Validator.setProperty(String).

Returns:

true if it can use a property.