All Packages Class Hierarchy This Package Previous Next Index
Class org.w3c.tools.resources.event.StructureChangedEvent
java.lang.Object
|
+----java.util.EventObject
|
+----org.w3c.tools.resources.event.ResourceEvent
|
+----org.w3c.tools.resources.event.StructureChangedEvent
- public class StructureChangedEvent
- extends ResourceEvent
-
StructureChangedEvent(ResourceReference, int)
- Create a structure change event.
-
toString()
-
StructureChangedEvent
public StructureChangedEvent(ResourceReference ref,
int type)
- Create a structure change event.
- Parameters:
- source - The resource emitting the event.
- type - The kind of event being emitted.
toString
public String toString()
- Overrides:
- toString in class EventObject
All Packages Class Hierarchy This Package Previous Next Index