org.eclipse.emf.henshin.statespace.external.prism
Class CTMCSteadyStateTool

java.lang.Object
  org.eclipse.emf.henshin.statespace.impl.AbstractStateSpaceValidator
      org.eclipse.emf.henshin.statespace.external.AbstractFileBasedValidator
          org.eclipse.emf.henshin.statespace.external.prism.CTMCSteadyStateTool

All Implemented Interfaces:

StateSpaceValidator, Validator

public class CTMCSteadyStateTool
extends AbstractFileBasedValidator

PRISM CTMC steady-state tool.

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

CTMCSteadyStateTool()

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

VALIDATOR_ID

public static final String VALIDATOR_ID

ID of this validator.

See Also:

Constant Field Values

Constructor Detail

CTMCSteadyStateTool

public CTMCSteadyStateTool()

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.

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.