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.actors.rtn;
25  
26  import java.util.*;
27  import zeus.util.*;
28  import zeus.concepts.*;
29  import zeus.actors.rtn.util.*;
30  
31  public class Contract {
32     public Goal    goal = null;
33     public String  key = null;
34     public double  cost = 0;
35     public boolean delivered = false;
36     public boolean paid = false;
37     public String  agent = null;
38     public String  owner = null;
39     public double  timeout = 0;
40     
41     public Contract(Goal goal, String key, double cost,
42                     boolean delivered, boolean paid,
43                     String agent, String owner, double timeout) {
44  
45        Assert.notNull(goal);
46        Assert.notNull(key);
47        Assert.notNull(agent);
48        Assert.notNull(owner);
49  
50        this.goal = goal;
51        this.key = key;
52        this.cost = cost;
53        this.delivered = delivered;
54        this.paid = paid;
55        this.agent = agent;
56        this.owner = owner;
57        this.timeout = timeout;
58     }
59     public String toString() {
60        String out;
61        out = "(goal " + goal.getId() + "\n" +
62              " key " + key + "\n" +
63              " cost " + cost + "\n" +
64              " delivered " + delivered + "\n" +
65              " paid " + paid + "\n" +
66              " agent " + agent + "\n" +
67              " owner " + owner + "\n" + 
68              " timeout " + timeout + ")";
69        return out;
70     }
71  }