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.event;
25  
26  import javax.swing.event.*;
27  import zeus.concepts.Fact;
28  
29  public class FactModelEvent extends ChangeEvent {
30    public static final int FACT_ADDED      = 0;
31    public static final int FACT_REMOVED    = 1;
32    public static final int FACT_ID_CHANGED = 2;
33  
34    protected Fact   fact;
35    protected int    type = -1;
36    protected String original = null, current = null;
37  
38    public FactModelEvent(Object source, Fact fact, int type) {
39       super(source);
40       this.fact = fact;
41       this.type = type;
42    }
43    public FactModelEvent(Object source, Fact fact, int type,
44                          String original, String current) {
45       super(source);
46       this.original = original;
47       this.current = current;
48       this.fact = fact;
49       this.type = type;
50    }
51    public Fact   getFact()       { return fact; }
52    public String getPreviousId() { return original; }
53    public String getCurrentId()  { return current; }
54    public int    getEventType()  { return type; }
55  }