method call first draft almost finished. Need to go back and make sure shadow nodes...
[IRC.git] / Robust / src / Analysis / OwnershipAnalysis /
drwxr-xr-x   ..
-rw-r--r-- 2858 AllocationSite.java
-rw-r--r-- 393 Canonical.java
-rw-r--r-- 1239 ChangeTuple.java
-rw-r--r-- 1813 ChangeTupleSet.java
-rw-r--r-- 4310 HeapRegionNode.java
-rw-r--r-- 738 LabelNode.java
-rw-r--r-- 25604 OwnershipAnalysis.java
-rw-r--r-- 75762 OwnershipGraph.java
-rw-r--r-- 1282 OwnershipNode.java
-rw-r--r-- 7518 ReachabilitySet.java
-rw-r--r-- 3589 ReferenceEdge.java
-rw-r--r-- 1237 SubstitutionTuple.java
-rw-r--r-- 2280 TokenTuple.java
-rw-r--r-- 6386 TokenTupleSet.java