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