1 package Analysis.OwnershipAnalysis;
8 public class Canonical {
10 private static Hashtable<Canonical, Canonical> canon = new Hashtable<Canonical, Canonical>();
13 private static int canonicalcount=1;
15 public static Canonical makeCanonical(Canonical c) {
17 if( canon.containsKey(c) ) {
20 c.canonicalvalue=canonicalcount++;
25 static Hashtable<ReachOperation, ReachOperation> unionhash=new Hashtable<ReachOperation, ReachOperation>();
26 static Hashtable<ReachOperation, ReachOperation> interhash=new Hashtable<ReachOperation, ReachOperation>();
27 static Hashtable<CanonicalWrapper, CanonicalWrapper> lookuphash=new Hashtable<CanonicalWrapper, CanonicalWrapper>();