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

hide Pair constructor; misc. generics-related cleanups 

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1702 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
This commit is contained in:
sjfink 2007-08-31 23:19:56 +00:00
parent 1282f62f8e
commit dfe352dd32
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
com.ibm.wala.core.tests/src/com/ibm/wala/demandpa/driver/DemandCastChecker.java
View File

@ -312,12 +312,12 @@ public class DemandCastChecker {
} else {
Trace.println("MIGHT FAIL: exceeded budget for " + castInstr + " in " + node.getMethod());
}
failing.add(new Pair<CGNode, SSACheckCastInstruction>(node, castInstr));
failing.add(Pair.make(node, castInstr));
numMightFail++;
break;
case BUDGETEXCEEDED:
Trace.println("MIGHT FAIL: exceeded budget for " + castInstr + " in " + node.getMethod());
failing.add(new Pair<CGNode, SSACheckCastInstruction>(node, castInstr));
failing.add(Pair.make(node, castInstr));
numMightFail++;
break;
default: