|
Java 2 Platform v1.3 |
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
This is an interface for error callbacks for the Checker
Method Summary | |
void |
variableNotMatched(java.lang.String variable)
This function is called when it has been determined that a variable has not been matched |
Methods inherited from interface edu.umich.visualsoar.datamap.MatcherErrorHandler |
badConstraint, generatedAddToEnumeration, generatedEnumeration, generatedFloat, generatedIdentifier, generatedInteger, noStateVariable, tooManyStateVariables |
Method Detail |
public void variableNotMatched(java.lang.String variable)
variable
- the variable that has not been matched
|
Java 2 Platform v1.3 |
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |