improve report and debug for analysis interface
[IRC.git] / Robust / src / Analysis / OwnershipAnalysis /
drwxr-xr-x   ..
-rw-r--r-- 4745 AllocationSite.java
-rw-r--r-- 393 Canonical.java
-rw-r--r-- 1602 ChangeTuple.java
-rw-r--r-- 2238 ChangeTupleSet.java
-rw-r--r-- 4627 HeapRegionNode.java
-rw-r--r-- 738 LabelNode.java
-rw-r--r-- 1710 MethodContext.java
-rw-r--r-- 39181 OwnershipAnalysis.java
-rw-r--r-- 110680 OwnershipGraph.java
-rw-r--r-- 1282 OwnershipNode.java
-rw-r--r-- 10910 ReachabilitySet.java
-rw-r--r-- 3677 ReferenceEdge.java
-rw-r--r-- 3339 TokenTuple.java
-rw-r--r-- 11943 TokenTupleSet.java