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

/barrelfish-master/usr/eclipseclp/Visualisation/src/com/parctechnologies/eclipse/visualisation/
H A DVisClient.java106 * <li> distribute the goal results to the viewerManager
174 private ViewerManager viewerManager; field in class:VisClient
231 viewerManager.configureViewerBuildingPolicy(viewableName,
243 viewerManager.prepareForEvent(visEvent);
246 viewerManager.collectPreEventGoals(visEvent);
267 viewerManager.startEvent(visEvent, goalResults);
280 if((viewerManager.shouldHold() || stateModel.getInterrupt())
307 viewerManager.holdingEvent(visEvent);
340 viewerManager.stopEvent();
345 viewerManager
[all...]
H A DViewer.java85 void setViewerManager(ViewerManager viewerManager); argument
H A DViewerImpl.java47 private ViewerManager viewerManager; field in class:ViewerImpl
78 public void setViewerManager(ViewerManager viewerManager) argument
80 this.viewerManager = viewerManager;
92 viewerManager.closeViewer(this);

Completed in 84 milliseconds