Lines Matching defs:viewerManager
106 * <li> distribute the goal results to the viewerManager
174 private ViewerManager viewerManager;
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.getInterestSpecs(viewableName);
438 viewerManager = new ViewerManager(stateModel);
542 return viewerManager;
592 if (viewerManager.shouldHold() || stateModel.getInterrupt()) {
774 viewerManager.errorDialog("The ECLiPSe process which the visualisation"+
785 viewerManager.errorDialog("The following IOException was raised: \n\n"+ioe+
797 viewerManager.errorDialog("The following EclipseException was raised: \n\n"+ee+
808 viewerManager.errorDialog("The following VisException was raised: \n\n"+ve+
819 viewerManager.errorDialog("The following RuntimeException was raised: \n\n"+re+