1 /*
2 * The contents of this file are subject to the BT "ZEUS" Open Source
3 * Licence (L77741), Version 1.0 (the "Licence"); you may not use this file
4 * except in compliance with the Licence. You may obtain a copy of the Licence
5 * from $ZEUS_INSTALL/licence.html or alternatively from
6 * http://www.labs.bt.com/projects/agents/zeus/licence.htm
7 *
8 * Except as stated in Clause 7 of the Licence, software distributed under the
9 * Licence is distributed WITHOUT WARRANTY OF ANY KIND, either express or
10 * implied. See the Licence for the specific language governing rights and
11 * limitations under the Licence.
12 *
13 * The Original Code is within the package zeus.*.
14 * The Initial Developer of the Original Code is British Telecommunications
15 * public limited company, whose registered office is at 81 Newgate Street,
16 * London, EC1A 7AJ, England. Portions created by British Telecommunications
17 * public limited company are Copyright 1996-9. All Rights Reserved.
18 *
19 * THIS NOTICE MUST BE INCLUDED ON ANY COPY OF THIS FILE
20 */
21
22
23
24 package zeus.concepts;
25
26 import java.util.*;
27 import zeus.util.*;
28
29 public class DuplicationTable extends Hashtable {
30 protected String name;
31 protected GenSym generator;
32
33 public DuplicationTable () {
34 super();
35 }
36
37 public DuplicationTable(String name, GenSym generator) {
38 Assert.notNull(name);
39 Assert.notNull(generator);
40 this.name = name;
41 this.generator = generator;
42 }
43
44 public String getRef(String s1) {
45 if ( s1.equals(Fact.SELF_NAME) || s1.equals(Fact.THIS_NAME) )
46 return s1;
47
48 String s2 = (String)get(s1);
49 if ( s2 == null ) {
50 s2 = generator.plainId(name);
51 put(s1,s2);
52 return s2;
53 }
54 else {
55 /*
56 while( s2 != null ) {
57 s1 = s2;
58 s2 = (String)get(s1);
59 }
60 return s1;
61 */
62 return s2;
63 }
64 }
65 }