Searched defs:BackUpdateEvent (Results 1 - 1 of 1) sorted by relevance
| /barrelfish-master/usr/eclipseclp/Visualisation/src/com/parctechnologies/eclipse/visualisation/ | ||
| H A D | BackUpdateEvent.java | 29 public class BackUpdateEvent extends UpdateEvent class in inherits:UpdateEvent 41 private BackUpdateEvent(String viewableName, String interestSpecName, method in class:BackUpdateEvent |
Completed in 21 milliseconds