Searched refs:BackUpdateEvent (Results 1 - 2 of 2) sorted by relevance

/barrelfish-master/usr/eclipseclp/Visualisation/src/com/parctechnologies/eclipse/visualisation/
H A DBackUpdateEvent.java29 public class BackUpdateEvent extends UpdateEvent class in inherits:UpdateEvent
37 return(new BackUpdateEvent(viewableName, interestSpecName,
41 private BackUpdateEvent(String viewableName, String interestSpecName, method in class:BackUpdateEvent
H A DUpdateEvent.java46 return(BackUpdateEvent.parseFromCompoundTerm(term));

Completed in 29 milliseconds