01: // ResourceEvent.java
02: // $Id: ResourceEvent.java,v 1.1 1998/01/22 12:59:52 bmahe 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: import java.util.EventObject;
09:
10: public class ResourceEvent extends EventObject {
11:
12: protected int id = -1;
13:
14: public int getID() {
15: return id;
16: }
17:
18: public ResourceEvent(Object source, int id) {
19: super(source);
20: this.id = id;
21: }
22:
23: }
|