Home
last modified time | relevance | path

Searched defs:ElementChangedEvent (Results 1 – 2 of 2) sorted by relevance

/dports/java/phpeclipse/plugins/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/core/
H A DElementChangedEvent.java27 public class ElementChangedEvent extends EventObject { class
97 public ElementChangedEvent(IJavaElementDelta delta, int type) { in ElementChangedEvent() method in ElementChangedEvent
/dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.jdt.core/org.eclipse.jdt.core/model/org/eclipse/jdt/core/
H A DElementChangedEvent.java32 public class ElementChangedEvent extends EventObject { class
106 public ElementChangedEvent(IJavaElementDelta delta, int type) { in ElementChangedEvent() method in ElementChangedEvent