|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectedu.cmu.cs.crystal.tac.eclipse.ReturnInstructionImpl
public class ReturnInstructionImpl
Constructor Summary | |
---|---|
ReturnInstructionImpl(ReturnStatement node,
IEclipseVariableQuery tac)
Creates a return instruction for the given return statement, which must return a value. |
Method Summary | ||
---|---|---|
E |
getNode()
Returns the node this instruction is for. |
|
Variable |
getReturnedVariable()
Returns the variable carrying the value being returned. |
|
String |
toString()
|
|
|
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. |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Methods inherited from interface edu.cmu.cs.crystal.tac.model.TACInstruction |
---|
getNode |
Constructor Detail |
---|
public ReturnInstructionImpl(ReturnStatement node, IEclipseVariableQuery tac)
node
- Return statement with non-null
expression.tac
- Method Detail |
---|
public Variable getReturnedVariable()
ReturnInstruction
getReturnedVariable
in interface ReturnInstruction
public <LE> LE transfer(ITACTransferFunction<LE> tf, LE value)
transfer
method on the transfer function being
passed.
transfer
in interface TACInstruction
LE
- Lattice element used in the transfer function.tf
- Transfer function.value
- Incoming lattice value.
public <LE> IResult<LE> transfer(ITACBranchSensitiveTransferFunction<LE> tf, List<ILabel> labels, LE value)
transfer
method on the transfer function being
passed.
transfer
in interface TACInstruction
LE
- Lattice element used in the transfer function.tf
- Transfer function.labels
- Branch labels to consider.value
- Incoming lattice value.
public String toString()
toString
in class Object
public E getNode()
TACInstruction
getNode
in interface TACInstruction
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |