1 11 package org.eclipse.jdt.core; 12 13 import java.util.EventObject ; 14 15 27 public class ElementChangedEvent extends EventObject { 28 29 44 public static final int POST_CHANGE = 1; 45 46 66 public static final int PRE_AUTO_BUILD = 2; 67 68 82 public static final int POST_RECONCILE = 4; 83 84 private static final long serialVersionUID = -8947240431612844420L; 86 93 private int type; 94 95 101 public ElementChangedEvent(IJavaElementDelta delta, int type) { 102 super(delta); 103 this.type = type; 104 } 105 110 public IJavaElementDelta getDelta() { 111 return (IJavaElementDelta) this.source; 112 } 113 114 123 public int getType() { 124 return this.type; 125 } 126 } 127 | Popular Tags |