|
|||||||||
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.prism.MDPStateSpaceValidator
public class MDPStateSpaceValidator
MDP state space validator for Henshin. Uses PRISM as back-end.
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 | |
---|---|
MDPStateSpaceValidator()
Default constructor. |
|
MDPStateSpaceValidator(StateSpaceIndex stateSpaceIndex)
Constructor. |
Method Summary | |
---|---|
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 MDPStateSpaceValidator()
public MDPStateSpaceValidator(StateSpaceIndex stateSpaceIndex)
stateSpaceIndex
- State space index to be used.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 boolean usesProperty()
Validator
Validator.setProperty(String)
.
true
if it can use a property.public String getName()
Validator
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |