Stable capture while moving towards typed heap regions, type and field on edges,...
authorjjenista <jjenista>
Mon, 16 Mar 2009 18:13:49 +0000 (18:13 +0000)
committerjjenista <jjenista>
Mon, 16 Mar 2009 18:13:49 +0000 (18:13 +0000)
commitbfdd135479843ad91734d989a4fb628816af2de9
tree0a5f6da1b4b3209da8446675eea76812b0cfc85f
parent4e5eea661c70f20b6b00f78ee9311a343fe723e9
Stable capture while moving towards typed heap regions, type and field on edges, and more precise parameter models
Robust/src/Analysis/OwnershipAnalysis/HeapRegionNode.java
Robust/src/Analysis/OwnershipAnalysis/OwnershipAnalysis.java
Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java
Robust/src/Analysis/OwnershipAnalysis/OwnershipNode.java
Robust/src/Analysis/OwnershipAnalysis/ReferenceEdge.java