Searched refs:setViewableName (Results 1 - 8 of 8) sorted by relevance

/barrelfish-master/usr/eclipseclp/Visualisation/src/com/parctechnologies/eclipse/visualisation/
H A DContractEvent.java42 setViewableName(viewableName);
H A DDestroyEvent.java42 setViewableName(viewableName);
H A DBackUpdateEvent.java44 setViewableName(viewableName);
H A DExpandEvent.java44 setViewableName(viewableName);
H A DForwardUpdateEvent.java44 setViewableName(viewableName);
H A DCreateEvent.java48 setViewableName(viewableName);
H A DVisEvent.java65 protected void setViewableName(String viewableName) method in class:VisEvent
H A DScenario.java60 setViewableName(viewableName);
121 public void setViewableName(String v) { method in class:Scenario

Completed in 164 milliseconds