Changed the top-level procedure for resolving a method call. When virtual
authorjjenista <jjenista>
Mon, 1 Sep 2008 21:13:56 +0000 (21:13 +0000)
committerjjenista <jjenista>
Mon, 1 Sep 2008 21:13:56 +0000 (21:13 +0000)
commit21d56c476b03249a8860c7590a608e580510f14a
treeef9d13cb7b9bbf03653bd0a17b15e7b7c29e91a1
parent0d4fc833da3828cec530da63553c868056b0a30b
Changed the top-level procedure for resolving a method call.  When virtual
dispatch is possible, instead of merging together every potential callee
and then applying that result to the working graph, find the result of
applying each callee to a copy of the working graph, and merge all of those
results together.  This procedure is correct.
Robust/src/Analysis/OwnershipAnalysis/OwnershipAnalysis.java
Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java