Added some functionality to reachability classes that is apparently
authorjjenista <jjenista>
Fri, 18 Jul 2008 00:34:31 +0000 (00:34 +0000)
committerjjenista <jjenista>
Fri, 18 Jul 2008 00:34:31 +0000 (00:34 +0000)
commitf58b04b9704320c45739828d73b7583595a8f1cc
tree110d82a99e0163ba49a998d4d10679069643d6f3
parentdc2cb5f13bf4e45fe4dcf0e0af1d1da8949a7711
Added some functionality to reachability classes that is apparently
not very helpful.  They've been tested though, so might as well check
it in, but the methods that are not of obvious use are committed but
commented out.
Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java
Robust/src/Analysis/OwnershipAnalysis/ReachabilitySet.java
Robust/src/Analysis/OwnershipAnalysis/TokenTuple.java
Robust/src/Analysis/OwnershipAnalysis/TokenTupleSet.java
Robust/src/Tests/OwnershipAnalysisTest/test01/test01.java
Robust/src/Tests/OwnershipAnalysisTest/testTokens/Main.java