changed toString so method context's produce unique names and therefore write unique...
[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-- 37298 OwnershipAnalysis.java
-rw-r--r-- 107896 OwnershipGraph.java
-rw-r--r-- 1282 OwnershipNode.java
-rw-r--r-- 10872 ReachabilitySet.java
-rw-r--r-- 3677 ReferenceEdge.java
-rw-r--r-- 3339 TokenTuple.java
-rw-r--r-- 11943 TokenTupleSet.java