Searched defs:elementsUpdating (Results 1 - 3 of 3) sorted by relevance

/barrelfish-master/usr/eclipseclp/Visualisation/src/com/parctechnologies/eclipse/visualisation/
H A DBackUpdateEvent.java41 BackUpdateEvent(String viewableName, String interestSpecName, List elementsUpdating) argument
H A DForwardUpdateEvent.java41 ForwardUpdateEvent(String viewableName, String interestSpecName, List elementsUpdating) argument
H A DUpdateEvent.java30 private List elementsUpdating; field in class:UpdateEvent
56 protected static List getIndiciesUpdating(List elementsUpdating) { argument
81 protected void setElementsUpdating(List elementsUpdating) argument

Completed in 26 milliseconds