|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface TACInstruction
Abstract base class for 3-Address-Code instructions built from Eclipse AST nodes.
ITACTransferFunction
lists subclasses that define the different
types of instructions. Additional (abstract and/or package-private) classes
simplify 3-Address-Code generation from AST nodes.
ITACTransferFunction
Method Summary | ||
---|---|---|
ASTNode |
getNode()
Returns the node this instruction is for. |
|
|
transfer(ITACBranchSensitiveTransferFunction<LE> tf,
List<ILabel> labels,
LE value)
Use this method to transfer over an instruction. |
|
|
transfer(ITACTransferFunction<LE> tf,
LE value)
Use this method to transfer over an instruction. |
Method Detail |
---|
ASTNode getNode()
<LE> LE transfer(ITACTransferFunction<LE> tf, LE value)
transfer
method on the transfer function being
passed.
LE
- Lattice element used in the transfer function.tf
- Transfer function.value
- Incoming lattice value.
<LE> IResult<LE> transfer(ITACBranchSensitiveTransferFunction<LE> tf, List<ILabel> labels, LE value)
transfer
method on the transfer function being
passed.
LE
- Lattice element used in the transfer function.tf
- Transfer function.labels
- Branch labels to consider.value
- Incoming lattice value.
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |