org.eclipse.emf.henshin.statespace.external.prism
Class CTMCStateSpaceValidator
java.lang.Object
org.eclipse.emf.henshin.statespace.impl.AbstractStateSpaceValidator
org.eclipse.emf.henshin.statespace.external.AbstractFileBasedValidator
org.eclipse.emf.henshin.statespace.external.prism.CTMCStateSpaceValidator
- All Implemented Interfaces:
- StateSpaceValidator, Validator
public class CTMCStateSpaceValidator
- extends AbstractFileBasedValidator
PRISM CTMC state space validator.
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 java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
VALIDATOR_ID
public static final String VALIDATOR_ID
- ID of this validator.
- See Also:
- Constant Field Values
CTMCStateSpaceValidator
public CTMCStateSpaceValidator()
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.
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.