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, reachable
del, del, dump, error, error, ext, ext, ext, ext, isDisambiguated, isTypeChecked, position, position, visit, visitEdge
addDecls, 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