Changed the top-level procedure for resolving a method call. When virtual
[IRC.git] / Robust / src / Analysis / OwnershipAnalysis /
drwxr-xr-x   ..
-rw-r--r-- 3943 AllocationSite.java
-rw-r--r-- 393 Canonical.java
-rw-r--r-- 1239 ChangeTuple.java
-rw-r--r-- 1813 ChangeTupleSet.java
-rw-r--r-- 4426 HeapRegionNode.java
-rw-r--r-- 738 LabelNode.java
-rw-r--r-- 23162 OwnershipAnalysis.java
-rw-r--r-- 90301 OwnershipGraph.java
-rw-r--r-- 1282 OwnershipNode.java
-rw-r--r-- 8521 ReachabilitySet.java
-rw-r--r-- 3673 ReferenceEdge.java
-rw-r--r-- 1237 SubstitutionTuple.java
-rw-r--r-- 2243 TokenTuple.java
-rw-r--r-- 9328 TokenTupleSet.java