---

Pool.java

package gov.nasa.arc.ase.ltl;

// Written by Dimitra Giannakopoulou, 19 Jan 2001
class Pool
{
  private static int last_assigned = 0;
  private static boolean stopped = false;

  public static int assign() 
  {
    if (!stopped) 
    {
      //            System.out.println("Value of last_assigned " +last_assigned);
      return (last_assigned ++);
    }
    else 
    {
      //            System.out.println("Value of last_assigned " + last_assigned);
      return (last_assigned);   
    }
  }  
  public static void reset_static() 
  {
    last_assigned = 0;
    stopped = false;
  }  
  public static void stop() 
  {
    stopped = true;
    last_assigned--;
  }  
}

---