Term.Instance| Modifier and Type | Method and Description |
|---|---|
Expr |
cond()
The condition to check.
|
Assert |
cond(Expr cond)
Set the condition to check.
|
Expr |
errorMessage()
The error message expression, or null.
|
Assert |
errorMessage(Expr errorMessage)
Set the error message expression.
|
exceptions, exceptions, reachable, reachabledel, del, dump, error, error, ext, ext, ext, ext, isDisambiguated, isTypeChecked, position, position, visit, visitEdgeaddDecls, buildTypes, buildTypesEnter, checkConstants, childExpectedType, copy, copy, disambiguate, disambiguateEnter, disambiguateOverride, dump, dump, dump, dump, enterChildScope, enterScope, exceptionCheck, exceptionCheckEnter, extRewrite, extRewriteEnter, lang, prettyPrint, prettyPrint, prettyPrint, prettyPrint, prettyPrint, throwTypes, translate, typeCheck, typeCheckEnter, typeCheckOverride, visitChild, visitChildren, visitList