View Javadoc

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.generator.code;
25  
26  import java.net.*;
27  import zeus.util.SystemProps;
28  
29  public abstract class GenerationInfo {
30     static final int NAME    = 0;
31     static final int TYPE    = 1;
32     static final int COMMAND = 2;
33     static final int ID      = 3;
34  
35     static final String NAMESERVER  = SystemProps.getProperty("agent.names.nameserver");
36     static final String FACILITATOR = SystemProps.getProperty("agent.names.facilitator");
37     static final String VISUALISER  = SystemProps.getProperty("agent.names.visualiser");
38     static final String DBPROXY     = SystemProps.getProperty("agent.names.dbProxy");
39     static final String AGENT       = SystemProps.getProperty("agent.names.agent");
40     static final String TASK        = "Task";
41  
42     static String LOCALHOST;
43  
44     static {
45        try {
46           LOCALHOST = InetAddress.getLocalHost().getHostAddress();
47        }
48        catch(Exception e) {
49           LOCALHOST = null;
50        }
51     }
52  
53     protected static int IdCounter = 0;
54     public String id;
55     public String name;
56     public String host = LOCALHOST;
57  
58     protected GenerationInfo() {
59        id = "GenerationInfo" + (IdCounter++);
60     }
61     protected GenerationInfo(String id) {
62        this.id = id;
63     }
64  
65     public String pprint() {
66        return pprint(0);
67     }
68  
69     public abstract String[] summarize();
70     public abstract String   isValid();
71     public abstract String   pprint(int sp);
72  }