public class OutputTable extends StaticTable<java.lang.Integer>
Constructor and Description |
---|
OutputTable(boolean isMethodRegion) |
OutputTable(com.ibm.wala.ssa.IR ir,
boolean isMethodRegion,
SlotParamTable slotParamTable,
InputTable inputTable,
Stmt stmt) |
OutputTable(com.ibm.wala.ssa.IR ir,
boolean isMethodRegion,
SlotParamTable slotParamTable,
InputTable inputTable,
Stmt stmt,
Pair<java.lang.Integer,java.lang.Integer> firstDefLastDef) |
Modifier and Type | Method and Description |
---|---|
private void |
computeMethodOutput(com.ibm.wala.ssa.IR ir)
All normal predecessors of an exit node must have a return as the last instruction.
|
private void |
computeOutputVars(com.ibm.wala.ssa.IR ir,
SlotParamTable slotParamTable,
InputTable inputTable,
Pair<java.lang.Integer,java.lang.Integer> firstDefLastDef)
outputVars are computed by finding the maximum wala var for each stackSlot and those that are not input or constants.
|
private java.util.List<com.ibm.wala.ssa.SSAReturnInstruction> |
findAllReturns(com.ibm.wala.ssa.IR ir) |
boolean |
isOutputVar(int var) |
void |
print()
Basic print of the table.
|
getKeys, mergeTable, updateKey
add, lookup, mergeTable, remove
public OutputTable(com.ibm.wala.ssa.IR ir, boolean isMethodRegion, SlotParamTable slotParamTable, InputTable inputTable, Stmt stmt)
public OutputTable(com.ibm.wala.ssa.IR ir, boolean isMethodRegion, SlotParamTable slotParamTable, InputTable inputTable, Stmt stmt, Pair<java.lang.Integer,java.lang.Integer> firstDefLastDef)
public OutputTable(boolean isMethodRegion)
private void computeMethodOutput(com.ibm.wala.ssa.IR ir)
ir
- private java.util.List<com.ibm.wala.ssa.SSAReturnInstruction> findAllReturns(com.ibm.wala.ssa.IR ir)
private void computeOutputVars(com.ibm.wala.ssa.IR ir, SlotParamTable slotParamTable, InputTable inputTable, Pair<java.lang.Integer,java.lang.Integer> firstDefLastDef)
public void print()
Table
public boolean isOutputVar(int var)