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

annotations and minor cleanups 

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1006 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
This commit is contained in:
sjfink 2007-04-26 13:52:53 +00:00
parent d31e558511
commit 2dbd132c3a
1 changed files with 8 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
com.ibm.wala.core.tests/src/com/ibm/wala/core/tests/cha/CHATest.java
View File

@ -11,6 +11,7 @@
package com.ibm.wala.core.tests.cha;
import java.io.File;
import java.io.FileNotFoundException;
import java.util.Collection;
import java.util.HashSet;
import java.util.Iterator;
@ -94,7 +95,13 @@ public class CHATest extends WalaTestCase {
System.err.println("read ...");
// load it back into memory
ETypeHierarchyWrapper et2 = ETypeHierarchyWrapper.loadFromFile(fileName);
ETypeHierarchyWrapper et2 = null;
try {
et2 = ETypeHierarchyWrapper.loadFromFile(fileName);
} catch (FileNotFoundException e) {
e.printStackTrace();
Assertions.UNREACHABLE();
}
System.err.println("check ...");
// check that they are isomorphic
// TODO: add general utilities for isomorphism