Robust/src/Analysis/OwnershipAnalysis/Canonical.java

   1 package Analysis.OwnershipAnalysis;
   2
   3 import IR.*;
   4 import IR.Flat.*;
   5 import java.util.*;
   6 import java.io.*;
   7
   8 public class Canonical {
   9
  10   private static Hashtable<Canonical, Canonical> canon = new Hashtable<Canonical, Canonical>();
  11
  12   int canonicalvalue;
  13   private static int canonicalcount=1;
  14
  15   public static Canonical makeCanonical(Canonical c) {
  16
  17     if( canon.containsKey(c) ) {
  18       return canon.get(c);
  19     }
  20     c.canonicalvalue=canonicalcount++;
  21     canon.put(c, c);
  22     return c;
  23   }
  24
  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>();
  28 }