|
|||||||||
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.ShortestPathStateSpaceValidator
public class ShortestPathStateSpaceValidator
StateSpaceValidator
that computes the shortest path to some target states.
The target states are defined by means of a StateValidator
.
Constructor Summary | |
---|---|
ShortestPathStateSpaceValidator(StateValidator validator)
Default and only constructor. |
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. |
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 |
Constructor Detail |
---|
public ShortestPathStateSpaceValidator(StateValidator validator)
Method Detail |
---|
public ValidationResult validate(StateSpace stateSpace, org.eclipse.core.runtime.IProgressMonitor monitor) throws Exception
StateSpaceValidator
validate
in interface StateSpaceValidator
monitor
- Progress monitor.
Exception
- If an error occurs during the validation.public String getName()
Validator
getName
in interface Validator
public void setProperty(String property) throws ParseException
Validator
setProperty
in interface Validator
property
- Property.
ParseException
- If the property cannot be parsed.public void setStateSpaceIndex(StateSpaceIndex index)
Validator
setStateSpaceIndex
in interface Validator
index
- State space index.public boolean usesProperty()
Validator
Validator.setProperty(String)
.
usesProperty
in interface Validator
true
if it can use a property.
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |