|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
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
public class CADPStateSpaceValidator
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 |
---|
public static final String VALIDATOR_ID
Constructor Detail |
---|
public CADPStateSpaceValidator()
Method Detail |
---|
public static void register()
public ValidationResult validate(StateSpace stateSpace, org.eclipse.core.runtime.IProgressMonitor monitor) throws Exception
StateSpaceValidator
monitor
- Progress monitor.
Exception
- If an error occurs during the validation.public static File getCADPBin() throws FileNotFoundException
FileNotFoundException
- If the directory was not found.public String getName()
Validator
public boolean usesProperty()
Validator
Validator.setProperty(String)
.
true
if it can use a property.
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |