|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface Validator
Interface for validators. Clients should not implement this interface directly, but rather one of the following two:
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. |
Method Detail |
---|
boolean usesProperty()
setProperty(String)
.
true
if it can use a property.void setProperty(String property) throws ParseException
property
- Property.
ParseException
- If the property cannot be parsed.void setStateSpaceIndex(StateSpaceIndex index)
index
- State space index.String getName()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |