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.

Method Summary

ValidationResult

validate(StateSpace stateSpace, org.eclipse.core.runtime.IProgressMonitor monitor) Perform the validation for the given state space.

Methods inherited from interface org.eclipse.emf.henshin.statespace.Validator

getName, setProperty, setStateSpaceIndex, usesProperty

Method Detail

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.