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.concepts;
25  
26  import java.util.*;
27  import zeus.util.*;
28  
29  public class ProducerRecord extends RoutingRecord {
30     public String supply_ref = null;
31  
32     public ProducerRecord(String supply_ref, String use_ref, String comms_key,
33                           String producer, String producer_id,
34                           String consumer, String consumer_id) {
35        this.supply_ref = supply_ref;
36        this.use_ref = use_ref;
37        this.comms_key = comms_key;
38        this.producer = producer;
39        this.producer_id = producer_id;
40        this.consumer = consumer;
41        this.consumer_id = consumer_id;
42     }
43  
44     public String toString() {
45        String out = "(:supply_ref " + supply_ref + " " +
46                      ":use_ref " + use_ref + " " +
47                      ":comms_key " + comms_key + " " +
48                      ":producer " + producer + " " +
49                      ":producer_id " + producer_id + " " +
50                      ":consumer " + consumer + " " +
51                      ":consumer_id " + consumer_id +
52                     ")";
53        return out;
54     }
55  }