KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > gov > nasa > ltl > trans > Pool


1
2 //
3 // Copyright (C) 2005 United States Government as represented by the
4 // Administrator of the National Aeronautics and Space Administration
5 // (NASA). All Rights Reserved.
6 //
7 // This software is distributed under the NASA Open Source Agreement
8 // (NOSA), version 1.3. The NOSA has been approved by the Open Source
9 // Initiative. See the file NOSA-1.3-JPF at the top of the distribution
10 // directory tree for the complete NOSA document.
11 //
12 // THE SUBJECT SOFTWARE IS PROVIDED "AS IS" WITHOUT ANY WARRANTY OF ANY
13 // KIND, EITHER EXPRESSED, IMPLIED, OR STATUTORY, INCLUDING, BUT NOT
14 // LIMITED TO, ANY WARRANTY THAT THE SUBJECT SOFTWARE WILL CONFORM TO
15 // SPECIFICATIONS, ANY IMPLIED WARRANTIES OF MERCHANTABILITY, FITNESS FOR
16 // A PARTICULAR PURPOSE, OR FREEDOM FROM INFRINGEMENT, ANY WARRANTY THAT
17 // THE SUBJECT SOFTWARE WILL BE ERROR FREE, OR ANY WARRANTY THAT
18 // DOCUMENTATION, IF PROVIDED, WILL CONFORM TO THE SUBJECT SOFTWARE.
19 //
20
21 // Written by Dimitra Giannakopoulou, 19 Jan 2001
22 package gov.nasa.ltl.trans;
23
24 /**
25  * DOCUMENT ME!
26  */
27 class Pool {
28   private static int last_assigned = 0;
29   private static boolean stopped = false;
30
31   public static int assign () {
32     if (!stopped) {
33       // System.out.println("Value of last_assigned " +last_assigned);
34 return (last_assigned++);
35     } else {
36       // System.out.println("Value of last_assigned " + last_assigned);
37 return last_assigned;
38     }
39   }
40
41   public static void reset_static () {
42     last_assigned = 0;
43     stopped = false;
44   }
45
46   public static void stop () {
47     stopped = true;
48     last_assigned--;
49   }
50 }
Popular Tags