org.eclipse.emf.henshin.statespace
Interface Validator

All Known Subinterfaces:
StateSpaceValidator, StateValidator
All Known Implementing Classes:
AbstractFileBasedValidator, AbstractStateSpaceValidator, CADPStateSpaceValidator, CTMCStateSpaceValidator, CTMCSteadyStateTool, MCRL2StateSpaceValidator, MDPStateSpaceValidator, OCLStateValidator, ShortestPathStateSpaceValidator

public interface Validator

Interface for validators. Clients should not implement this interface directly, but rather one of the following two:


Method Summary
 String getName()
          Get the name of this validator.
 void setProperty(String property)
          Set the property to be validated.
 void setStateSpaceIndex(StateSpaceIndex index)
          Set the state space index to be used.
 boolean usesProperty()
          Determines whether this validator uses a property or not.
 

Method Detail

usesProperty

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

Returns:
true if it can use a property.

setProperty

void setProperty(String property)
                 throws ParseException
Set the property to be validated. It can be assumed that the state space has been set already before this method is called.

Parameters:
property - Property.
Throws:
ParseException - If the property cannot be parsed.

setStateSpaceIndex

void setStateSpaceIndex(StateSpaceIndex index)
Set the state space index to be used.

Parameters:
index - State space index.

getName

String getName()
Get the name of this validator.

Returns:
Name of this validator.