| Modifier and Type | Field and Description |
|---|---|
| private final Expression | |
| private boolean | |
| private static final MultiHashtable | InternalTypeMap
Legal conversions between internal types. |
| Access | Constructor and Description |
|---|---|
| public | CastExpr(Expression left, Type type)
Construct a cast expression and check that the conversion is valid by calling typeCheck(). |
| Modifier and Type | Method and Description |
|---|---|
| public Expression | |
| public boolean | |
| public boolean | hasPositionCall()
Overrides com. Returns true if this expressions contains a call to position(). |
| public String | toString()
Implements abstract com. Returns a string representation of the object. |
| public void | translate(ClassGenerator classGen, MethodGenerator methodGen)
Overrides com. Translate this node into JVM bytecodes. |
| public void | translateDesynthesized(ClassGenerator classGen, MethodGenerator methodGen)
Overrides com. Redefined by expressions of type boolean that use flow lists. |
| public Type | typeCheck(SymbolTable stable)
Overrides com. Type checking a cast expression amounts to verifying that the type conversion is legal. |
| _left | back to summary |
|---|---|
| private final Expression _left | |
| _typeTest | back to summary |
|---|---|
| private boolean _typeTest | |
| InternalTypeMap | back to summary |
|---|---|
| private static final MultiHashtable<Type, Type> InternalTypeMap Legal conversions between internal types. | |
| CastExpr | back to summary |
|---|---|
| public CastExpr(Expression left, Type type) throws TypeCheckError Construct a cast expression and check that the conversion is valid by calling typeCheck(). | |
| getExpr | back to summary |
|---|---|
| public Expression getExpr() | |
| hasLastCall | back to summary |
|---|---|
| public boolean hasLastCall() Overrides com. | |
| hasPositionCall | back to summary |
|---|---|
| public boolean hasPositionCall() Overrides com. Returns true if this expressions contains a call to position(). This is needed for context changes in node steps containing multiple predicates. | |
| toString | back to summary |
|---|---|
| public String toString() Implements abstract com. Doc from java. Returns a string representation of the object.
Satisfying this method's contract implies a non- | |
| translate | back to summary |
|---|---|
| public void translate(ClassGenerator classGen, MethodGenerator methodGen) Overrides com. Doc from com. Translate this node into JVM bytecodes. | |
| translateDesynthesized | back to summary |
|---|---|
| public void translateDesynthesized(ClassGenerator classGen, MethodGenerator methodGen) Overrides com. Doc from com. Redefined by expressions of type boolean that use flow lists. | |
| typeCheck | back to summary |
|---|---|
| public Type typeCheck(SymbolTable stable) throws TypeCheckError Overrides com. Type checking a cast expression amounts to verifying that the type conversion is legal. Cast expressions are created during type checking, but typeCheck() is usually not called on them. As a result, this method is called from the constructor. | |
