Be more precise about enqueing dependent method contexts, and use topological sorted...
authorjjenista <jjenista>
Fri, 13 Mar 2009 22:49:19 +0000 (22:49 +0000)
committerjjenista <jjenista>
Fri, 13 Mar 2009 22:49:19 +0000 (22:49 +0000)
commit5407deb17c6dcba408dcb21c5454275f721d2cbf
treed02cbb5687447ab3fd56188f59cdb725e910157b
parent262bdccf99a952de3e94cf0b100e695f45428e2b
Be more precise about enqueing dependent method contexts, and use topological sorted order of the call graph to give method contexts priority for analysis, targetting leaf methods first.
Robust/src/Analysis/OwnershipAnalysis/MethodContext.java
Robust/src/Analysis/OwnershipAnalysis/MethodContextQWrapper.java [new file with mode: 0644]
Robust/src/Analysis/OwnershipAnalysis/OwnershipAnalysis.java
Robust/src/Tests/OwnershipAnalysisTest/test06/test.java