Token propagation implemented, stable but incorrect. This is just a capture.
authorjjenista <jjenista>
Tue, 15 Jul 2008 23:24:06 +0000 (23:24 +0000)
committerjjenista <jjenista>
Tue, 15 Jul 2008 23:24:06 +0000 (23:24 +0000)
commitc36650a2762616cd083646163efe8d552c0655b6
tree34a02ef0912a4a35a6e5c3e356f047986fb7203f
parentb1f28edc6c5423a909a56f8da39f68ce92ccb6a1
Token propagation implemented, stable but incorrect.  This is just a capture.
Robust/src/Analysis/OwnershipAnalysis/ChangeTupleSet.java
Robust/src/Analysis/OwnershipAnalysis/HeapRegionNode.java
Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java
Robust/src/Analysis/OwnershipAnalysis/ReachabilitySet.java
Robust/src/Analysis/OwnershipAnalysis/ReferenceEdgeProperties.java