Prune edges by field name and type when mapping from callee to caller
authorjjenista <jjenista>
Fri, 29 Aug 2008 23:24:00 +0000 (23:24 +0000)
committerjjenista <jjenista>
Fri, 29 Aug 2008 23:24:00 +0000 (23:24 +0000)
commit9d4a4204068e8af346683f96d29322fb6f804a9a
treeaf932d9940e64c2a7e162a17d109ba659dbb8990
parent0f8fae95905ca691e13b065d163982184ffd160f
Prune edges by field name and type when mapping from callee to caller
Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java
Robust/src/Tests/OwnershipAnalysisTest/test01/test01.java