01: // Events.java
02: // $Id: Events.java,v 1.3 2000/08/16 21:37:53 ylafon Exp $
03: // (c) COPYRIGHT MIT and INRIA, 1997.
04: // Please first read the full copyright statement in file COPYRIGHT.html
05:
06: package org.w3c.tools.resources.event;
07:
08: public class Events {
09:
10: /**
11: * The Ids
12: */
13: public static final int RESOURCE_EVENT = 1000;
14:
15: public static final int FRAME_EVENT = 2000;
16:
17: public static final int ATTRIBUTE_EVENT = 3000;
18:
19: /**
20: * The source is modified.
21: */
22: public static final int RESOURCE_MODIFIED = RESOURCE_EVENT + 1;
23: /**
24: * A new resource has been created.
25: */
26: public static final int RESOURCE_CREATED = RESOURCE_EVENT + 2;
27: /**
28: * resource is about to be removed.
29: */
30: public static final int RESOURCE_REMOVED = RESOURCE_EVENT + 3;
31: /**
32: * resource is about to be removed.
33: */
34: public static final int RESOURCE_UNLOADED = RESOURCE_EVENT + 4;
35:
36: /**
37: * The frame has just been added.
38: */
39: public static final int FRAME_ADDED = FRAME_EVENT + 1;
40:
41: /**
42: * The frame has been modified.
43: */
44: public static final int FRAME_MODIFIED = FRAME_EVENT + 2;
45:
46: /**
47: * The frame has been removed.
48: */
49: public static final int FRAME_REMOVED = FRAME_EVENT + 3;
50:
51: }
|