    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