Some initial implementation of reachability for ownership analysis.
authorjjenista <jjenista>
Tue, 24 Jun 2008 18:51:27 +0000 (18:51 +0000)
committerjjenista <jjenista>
Tue, 24 Jun 2008 18:51:27 +0000 (18:51 +0000)
commite80b12b7baa4ec69727b8e60dc7b994313332dcf
tree81ae862f4453bde7f3b7ff83926f4b98767ff1da
parentdebb4a1f8eb1f3ef37ded9ab20b37ca782ace268
Some initial implementation of reachability for ownership analysis.
Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java
Robust/src/Analysis/OwnershipAnalysis/ReachabilitySet.java [new file with mode: 0644]
Robust/src/Analysis/OwnershipAnalysis/TokenTuple.java [new file with mode: 0644]
Robust/src/Analysis/OwnershipAnalysis/TokenTupleSet.java [new file with mode: 0644]
Robust/src/Makefile