// StructureChangedEvent.java
// $Id: StructureChangedEvent.java,v 1.7 2000/08/16 21:37:53 ylafon Exp $  
// (c) COPYRIGHT MIT and INRIA, 1997.
// Please first read the full copyright statement in file COPYRIGHT.html

package org.w3c.tools.resources.event;

import org.w3c.tools.resources.InvalidResourceException;
import org.w3c.tools.resources.Resource;
import org.w3c.tools.resources.ResourceReference;

public class StructureChangedEvent extends ResourceEvent {

    public String toString() {
	ResourceReference rr = (ResourceReference) getSource();
	String ssource = null;
	try {
	    Resource resource = rr.lock();
	    ssource = resource.getURLPath();
	} catch (InvalidResourceException ex) {
	    ssource = "invalid";
	} catch (Exception ex) {
	    ssource = "invalid";	
	} finally {
	    rr.unlock();
	}
	String stype = null;
	switch (id) {
	case Events.RESOURCE_CREATED:
	    stype = "RESOURCE_CREATED";
	    break;
	case Events.RESOURCE_MODIFIED:
	    stype = "RESOURCE_MODIFIED";
	    break;
	case Events.RESOURCE_REMOVED:
	    stype = "RESOURCE_REMOVED";
	    break;
	case Events.RESOURCE_UNLOADED:
	    stype = "RESOURCE_UNLOADED";
	    break;
	default:
	    stype = "UNKNOWN";
	}
	return "StructureChangedEvent : ["+ssource+" : "+stype+"]";
    }

    /**
     * Create a structure change event.
     * @param source The resource emitting the event.
     * @param type The kind of event being emitted.
     */

    public StructureChangedEvent(ResourceReference ref,
				 int type) 
    {
	super(ref, type);
    }
}