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

test for presence of nodes in Kawa chess test that need method handles 

and string constants to play nicely together.
This commit is contained in:
Julian Dolby 2018-10-15 02:12:42 -04:00
parent 89492c28fa
commit bf3c419e1c
1 changed files with 7 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
com.ibm.wala.core.tests/src/com/ibm/wala/core/tests/callGraph/KawaCallGraphTest.java
View File

@ -52,9 +52,13 @@ public class KawaCallGraphTest extends DynamicCallGraphTestBase {
Set<CGNode> color = getNodes(CG, "Lchess", "startingColor", "(Ljava/lang/Object;Ljava/lang/Object;)Ljava/lang/Object;");
assert ! color.isEmpty();
System.out.println(CG);
}
Set<CGNode> loadImage = getNodes(CG, "Limg", "loadImage", "(Ljava/lang/CharSequence;)Ljava/awt/image/BufferedImage;");
assert ! loadImage.isEmpty();
Set<CGNode> append$v = getNodes(CG, "Lkawa/lang/Quote", "append$V", "([Ljava/lang/Object;)Ljava/lang/Object;");
assert ! append$v.isEmpty();
}
@Test
public void testKawaTest() throws ClassHierarchyException, IllegalArgumentException, CancelException, IOException, SecurityException {