// Events.java
// $Id: Events.java,v 1.2 1998/05/27 13:01:23 bmahe Exp $  
// (c) COPYRIGHT MIT and INRIA, 1997.
// Please first read the full copyright statement in file COPYRIGHT.html

package org.w3c.tools.resources.event;

public class Events {

  /**
   * The Ids
   */
  public static final int RESOURCE_EVENT  = 1000;
  
  public static final int FRAME_EVENT     = 2000;

  public static final int ATTRIBUTE_EVENT = 3000;

  /**
   * The source is modified.
   */
  public static final int RESOURCE_MODIFIED = RESOURCE_EVENT + 1;
  /**
   * A new resource has been created.
   */
  public static final int RESOURCE_CREATED = RESOURCE_EVENT + 2;
  /**
   * resource is about to be removed.
   */
  public static final int RESOURCE_REMOVED = RESOURCE_EVENT + 3;
  /**
   * resource is about to be removed.
   */
  public static final int RESOURCE_UNLOADED = RESOURCE_EVENT + 4;

   /**
  * The frame has just been added.
  */
  public static final int FRAME_ADDED = FRAME_EVENT + 1;

  /**
   * The frame has been modified.
   */
  public static final int FRAME_MODIFIED = FRAME_EVENT + 2;

  /**
   * The frame has been removed.
   */
  public static final int FRAME_REMOVED = FRAME_EVENT + 3;
 
}
