org.eclipse.emf.henshin.statespace.impl
Class AbstractStateSpaceValidator

java.lang.Object
  org.eclipse.emf.henshin.statespace.impl.AbstractStateSpaceValidator

All Implemented Interfaces:

StateSpaceValidator, Validator

Direct Known Subclasses:

AbstractFileBasedValidator

public abstract class AbstractStateSpaceValidator
extends Object
implements StateSpaceValidator

Abstract implementation of the StateSpaceValidator interface.

Field Summary

protected StateSpaceIndex	index
protected String	property

Constructor Summary

AbstractStateSpaceValidator()

Method Summary

void	setProperty(String property) Set the property to be validated.
void	setStateSpaceIndex(StateSpaceIndex index) Set the state space index to be used.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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

validate

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

getName, usesProperty

Field Detail

property

protected String property

index

protected StateSpaceIndex index

Constructor Detail

AbstractStateSpaceValidator

public AbstractStateSpaceValidator()

Method Detail

setProperty

public void setProperty(String property)
                 throws ParseException

Description copied from interface: Validator

Set the property to be validated. It can be assumed that the state space has been set already before this method is called.

Specified by:

setProperty in interface Validator

Parameters:

property - Property.

Throws:

ParseException - If the property cannot be parsed.

setStateSpaceIndex

public void setStateSpaceIndex(StateSpaceIndex index)

Description copied from interface: Validator

Set the state space index to be used.

Specified by:

setStateSpaceIndex in interface Validator

Parameters:

index - State space index.