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, typedel, 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, visitListexceptions, exceptions, reachable, reachable