KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > com > memoire > vainstall > builder > event > VAIProductEvent


1 /*
2  * $RCSfile: VAIProductEvent.java,v $
3  * @modification $Date: 2001/09/28 19:33:15 $
4  * @version $Id: VAIProductEvent.java,v 1.1 2001/09/28 19:33:15 hfalk Exp $
5  *
6  */
7
8 package com.memoire.vainstall.builder.event;
9
10 import java.util.EventObject JavaDoc;
11
12 /**
13  * This is
14  *
15  * @see com.memoire.vainstall.builder.VAIProductModel
16  * @see java.util.EventObject
17  *
18  * @author Henrik Falk
19  * @version $Id: VAIProductEvent.java,v 1.1 2001/09/28 19:33:15 hfalk Exp $
20  */
21 public class VAIProductEvent extends EventObject JavaDoc {
22
23     public static final int PROJECT_LOADED = 1;
24     public static final int PROJECT_SAVED = 2;
25     public static final int PROJECT_DIRTY = 3;
26     public static final int PROJECT_ACTIVATED = 4;
27     public static final int PROJECT_DEACTIVATED = 5;
28
29     public static final int PROPERTIES_CHANGED = 9;
30
31     public static final int PROJECTNAME_CHANGED = 10;
32     public static final int PROJECTVERSION_CHANGED = 11;
33     public static final int PROJECTDIRECTORY_CHANGED = 12;
34
35     public static final int PROJECT_REQUIREMENTS_MET = 20;
36     public static final int PROJECT_REQUIREMENTS_NOTMET = 21;
37
38     /**
39      * The type of event
40      */
41     protected int type;
42
43     /**
44      * User data provided by this event
45      */
46     protected String JavaDoc userData;
47
48     public VAIProductEvent(Object JavaDoc source) {
49         this(source,PROPERTIES_CHANGED);
50     }
51
52     public VAIProductEvent(Object JavaDoc source, int type) {
53         super(source);
54         this.type = type;
55     }
56
57     public VAIProductEvent(Object JavaDoc source, int type, String JavaDoc userData) {
58         super(source);
59         this.type = type;
60         this.userData = userData;
61     }
62
63     /**
64      * Returns the type of event
65      */
66     public int getType() {
67         return type;
68     }
69
70     /**
71      * Returns the user data of the event
72      */
73     public String JavaDoc getUserData() {
74         return userData;
75     }
76
77 }
78
Popular Tags