org.eclipse.emf.henshin.statespace
Interface StateValidator

All Superinterfaces:

Validator

All Known Implementing Classes:

OCLStateValidator

public interface StateValidator
extends Validator

Interface for state validators.

Method Summary

ValidationResult

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

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

getName, setProperty, setStateSpaceIndex, usesProperty

Method Detail

validate

ValidationResult validate(State state,
                          org.eclipse.core.runtime.IProgressMonitor monitor)
                          throws Exception

Perform the validation for the given state.

Parameters:

state - State to be validated.

monitor - Progress monitor.

Returns:

Validation result.

Throws:

Exception - If an error occurs during the validation.