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

/barrelfish-master/usr/eclipseclp/Visualisation/src/com/parctechnologies/eclipse/visualisation/
H A DUpdateEvent.java66 public String getInterestSpecName() method in class:UpdateEvent
H A DViewerManager.java243 String interestSpecName = updateEvent.getInterestSpecName();

Completed in 82 milliseconds