public interface Cast extends Expr
Cast
is an immutable representation of a casting
operation. It consists of an Expr
being cast and a
TypeNode
being cast to.Term.Instance
Modifier and Type | Method and Description |
---|---|
TypeNode |
castType()
The type to cast to.
|
Cast |
castType(TypeNode castType)
Set the type to cast to.
|
Expr |
expr()
The expression to cast.
|
Cast |
expr(Expr expr)
Set the expression to cast.
|
constantValue, constantValueSet, isConstant, precedence, printSubExpr, printSubExpr, type
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
exceptions, exceptions, reachable, reachable