DASCA
/
WALA
2
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

custom change: include target in string representation of cond-branch

This commit is contained in:
Martin Mohr 2015-02-13 18:40:22 +01:00
parent 441cc6f279
commit b378f8c458
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
com.ibm.wala.core/src/com/ibm/wala/ssa/SSAConditionalBranchInstruction.java
View File

@ -60,11 +60,12 @@ public class SSAConditionalBranchInstruction extends SSAInstruction {
return operator;
}
/** BEGIN custom change: include jump target in string representation */
@Override
public String toString(SymbolTable symbolTable) {
return "conditional branch(" + operator + ") " + getValueString(symbolTable, val1) + "," + getValueString(symbolTable, val2);
return "conditional branch(" + operator + ", to iindex=" + target + ") " + getValueString(symbolTable, val1) + "," + getValueString(symbolTable, val2);
}
/** END custom change: include jump target in string representation */
/**
* @see com.ibm.wala.ssa.SSAInstruction#visit(IVisitor)
* @throws IllegalArgumentException if v is null