Fixes #322 We add an option `createPhantomSuperclasses` to `ClassHierarchy`. When set, if a superclass is missing, we create a new `PhantomClass` in its place and allow the subclass to be added. To use, you can create the `ClassHierarchy` with the new `ClassHierarchyFactory.makeWithPhantom` methods. |
||
|---|---|---|
| .. | ||
| .settings | ||
| dat | ||
| launchers | ||
| META-INF | ||
| src/com/ibm/wala | ||
| build.gradle | ||
| build.properties | ||
| javaCompiler...args | ||
| plugin.properties | ||
| pom.xml | ||