org.eclipse.emf.henshin.statespace
Interface StateSpaceValidator
- All Superinterfaces:
- Validator
- All Known Implementing Classes:
- AbstractFileBasedValidator, AbstractStateSpaceValidator, CADPStateSpaceValidator, CTMCStateSpaceValidator, CTMCSteadyStateTool, MCRL2StateSpaceValidator, MDPStateSpaceValidator, ShortestPathStateSpaceValidator
public interface StateSpaceValidator
- extends Validator
Interface for state space validators.
validate
ValidationResult validate(StateSpace stateSpace,
org.eclipse.core.runtime.IProgressMonitor monitor)
throws Exception
- Perform the validation for the given state space.
- Parameters:
monitor
- Progress monitor.
- Returns:
- Validation result.
- Throws:
Exception
- If an error occurs during the validation.