| Modifier and Type | Field and Description |
|---|---|
| protected FlowList | _falseList
Instruction handles that comprise the false list. |
| protected FlowList | _trueList
Instruction handles that comprise the true list. |
| protected Type | _type
The type of this expression. |
| Access | Constructor and Description |
|---|---|
| pack-priv |
| Modifier and Type | Method and Description |
|---|---|
| public void | |
| public void | |
| public final InstructionList | compile(ClassGenerator classGen, MethodGenerator methodGen)
Translate this node into a fresh instruction list. |
| public void | |
| public Object | |
| public FlowList | |
| public FlowList | |
| public Type | |
| public boolean | |
| public boolean | |
| public MethodType | lookupPrimop(SymbolTable stable, String op, MethodType ctype)
Search for a primop in the symbol table that matches the method type
|
| public void | startIterator(ClassGenerator classGen, MethodGenerator methodGen)
If this expression is of type node-set and it is not a variable reference, then call setStartNode() passing the context node. |
| public void | synthesize(ClassGenerator classGen, MethodGenerator methodGen)
Synthesize a boolean expression, i.e., either push a 0 or 1 onto the operand stack for the next statement to succeed. |
| public abstract String | |
| public void | translate(ClassGenerator classGen, MethodGenerator methodGen)
Implements abstract com. Translate this node into JVM bytecodes. |
| public void | translateDesynthesized(ClassGenerator classGen, MethodGenerator methodGen)
Redefined by expressions of type boolean that use flow lists. |
| public Type | typeCheck(SymbolTable stable)
Implements abstract com. Type check all the children of this node. |
| _falseList | back to summary |
|---|---|
| protected FlowList _falseList Instruction handles that comprise the false list. | |
| _trueList | back to summary |
|---|---|
| protected FlowList _trueList Instruction handles that comprise the true list. | |
| _type | back to summary |
|---|---|
| protected Type _type The type of this expression. It is set after calling
| |
| Expression | back to summary |
|---|---|
| pack-priv Expression() | |
| backPatchFalseList | back to summary |
|---|---|
| public void backPatchFalseList(InstructionHandle ih) | |
| backPatchTrueList | back to summary |
|---|---|
| public void backPatchTrueList(InstructionHandle ih) | |
| compile | back to summary |
|---|---|
| public final InstructionList compile(ClassGenerator classGen, MethodGenerator methodGen) Translate this node into a fresh instruction list. The original instruction list is saved and restored. | |
| desynthesize | back to summary |
|---|---|
| public void desynthesize(ClassGenerator classGen, MethodGenerator methodGen) | |
| evaluateAtCompileTime | back to summary |
|---|---|
| public Object evaluateAtCompileTime() Returns an object representing the compile-time evaluation of an expression. We are only using this for function-available and element-available at this time. | |
| getFalseList | back to summary |
|---|---|
| public FlowList getFalseList() | |
| getTrueList | back to summary |
|---|---|
| public FlowList getTrueList() | |
| getType | back to summary |
|---|---|
| public Type getType() | |
| hasLastCall | back to summary |
|---|---|
| public boolean hasLastCall() | |
| hasPositionCall | back to summary |
|---|---|
| public boolean hasPositionCall() | |
| lookupPrimop | back to summary |
|---|---|
| public MethodType lookupPrimop(SymbolTable stable, String op, MethodType ctype) Search for a primop in the symbol table that matches the method type
| |
| startIterator | back to summary |
|---|---|
| public void startIterator(ClassGenerator classGen, MethodGenerator methodGen) If this expression is of type node-set and it is not a variable reference, then call setStartNode() passing the context node. | |
| synthesize | back to summary |
|---|---|
| public void synthesize(ClassGenerator classGen, MethodGenerator methodGen) Synthesize a boolean expression, i.e., either push a 0 or 1 onto the operand stack for the next statement to succeed. Returns the handle of the instruction to be backpatched. | |
| toString | back to summary |
|---|---|
| public abstract String toString() Overrides java. 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) Implements abstract com. Translate this node into JVM bytecodes. | |
| translateDesynthesized | back to summary |
|---|---|
| public void translateDesynthesized(ClassGenerator classGen, MethodGenerator methodGen) Redefined by expressions of type boolean that use flow lists. | |
| typeCheck | back to summary |
|---|---|
| public Type typeCheck(SymbolTable stable) throws TypeCheckError Implements abstract com. Type check all the children of this node. | |