KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > com > caucho > es > ESId


1 /*
2  * Copyright (c) 1998-2006 Caucho Technology -- all rights reserved
3  *
4  * This file is part of Resin(R) Open Source
5  *
6  * Each copy or derived work must preserve the copyright notice and this
7  * notice unmodified.
8  *
9  * Resin Open Source is free software; you can redistribute it and/or modify
10  * it under the terms of the GNU General Public License as published by
11  * the Free Software Foundation; either version 2 of the License, or
12  * (at your option) any later version.
13  *
14  * Resin Open Source is distributed in the hope that it will be useful,
15  * but WITHOUT ANY WARRANTY; without even the implied warranty of
16  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE, or any warranty
17  * of NON-INFRINGEMENT. See the GNU General Public License for more
18  * details.
19  *
20  * You should have received a copy of the GNU General Public License
21  * along with Resin Open Source; if not, write to the
22  * Free SoftwareFoundation, Inc.
23  * 59 Temple Place, Suite 330
24  * Boston, MA 02111-1307 USA
25  *
26  * @author Scott Ferguson
27  */
28
29 package com.caucho.es;
30
31 import java.util.Hashtable JavaDoc;
32
33 final public class ESId extends ESString {
34   static Integer JavaDoc LOCK = new Integer JavaDoc(0);
35   // static HashMap intern = new HashMap();
36 static Hashtable JavaDoc intern;
37
38   /**
39    * Create a new object based on a prototype
40    */
41   private ESId(String JavaDoc string)
42   {
43     super(string);
44   }
45
46   public static ESId intern(String JavaDoc string)
47   {
48     if (intern == null) {
49       synchronized (LOCK) {
50     if (intern == null)
51       intern = new Hashtable JavaDoc();
52       }
53     }
54
55     ESId value = (ESId) intern.get(string);
56     if (value != null)
57       return value;
58
59     string = string.intern();
60
61     value = new ESId(string);
62
63     intern.put(string, value);
64
65     return value;
66   }
67
68   public final boolean equals(Object JavaDoc a)
69   {
70     if (this == a)
71       return true;
72     else if (a instanceof ESId)
73       return false;
74     else if (a instanceof ESString)
75       return string.equals(((ESString) a).string);
76     else
77       return false;
78   }
79 }
80
81
82
Popular Tags