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

commit patches to fix issues with uses of null (Thanks Evan) 

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2711 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
This commit is contained in:
dolby-oss 2008-03-18 13:28:41 +00:00
parent 0ef440b09b
commit 7daeaf5ac2
1 changed files with 8 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
com.ibm.wala.cast.java.test/src/com/ibm/wala/cast/java/test/JavaIRTests.java
View File

@ -358,6 +358,10 @@ public class JavaIRTests extends IRTests {
}), true);
}
public void testCastFromNull() {
runTest(singleTestSrc(), rtJar, simpleTestEntryPoint(), new ArrayList<IRAssertion>(), true);
}
public void testInnerClass() {
runTest(singleTestSrc(), rtJar, simpleTestEntryPoint(), Arrays.asList(
@ -378,6 +382,10 @@ public class JavaIRTests extends IRTests {
}), true);
}
public void testNullArrayInit() {
runTest(singleTestSrc(), rtJar, simpleTestEntryPoint(), new ArrayList<IRAssertion>(), true);
}
public void testInnerClassA() {
Pair x = runTest(singleTestSrc(), rtJar, simpleTestEntryPoint(), new ArrayList<IRAssertion>(), true);