|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
Class Summary | |
---|---|
DeclarativeInvokerDescrVisitor | |
ExprConstraintDescrVisitor | |
FieldConstraintDescrVisitor | |
PackageDescrVisitor | |
PatternDescrVisitor | |
RuleDescrVisitor | |
TypeDeclarationDescrVisitor |
Exception Summary | |
---|---|
UnknownDescriptionException | This exception is thrown when verifier tries to handle a descr that it is not familiar with. |
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |