Searched refs:setInterestSpecName (Results 1 - 3 of 3) sorted by relevance

/barrelfish-master/usr/eclipseclp/Visualisation/src/com/parctechnologies/eclipse/visualisation/
H A DBackUpdateEvent.java45 setInterestSpecName(interestSpecName);
H A DForwardUpdateEvent.java45 setInterestSpecName(interestSpecName);
H A DUpdateEvent.java76 protected void setInterestSpecName(String interestSpecName) method in class:UpdateEvent

Completed in 30 milliseconds