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

/barrelfish-master/usr/eclipseclp/Visualisation/src/com/parctechnologies/eclipse/visualisation/
H A DVisClient.java204 private void processEvent(VisEvent visEvent) argument
207 currentEvent = visEvent;
210 DebuggingSupport.logMessage(this, visEvent);
215 String viewableName = visEvent.getViewableName();
218 if (visEvent instanceof CreateEvent) {
227 ScenarioManager.getInstance().processEvent(visEvent);
228 if (visEvent instanceof CreateEvent) {
232 ((CreateEvent)visEvent).getViewableType());
241 ScenarioManager.getInstance().processEvent(visEvent);
243 viewerManager.prepareForEvent(visEvent);
708 sizeGoal(VisEvent visEvent) argument
[all...]
H A DViewerManager.java202 void prepareForEvent(VisEvent visEvent) argument
204 String viewableName = visEvent.getViewableName();
208 if(visEvent instanceof CreateEvent)
210 CreateEvent createEvent = (CreateEvent) visEvent;
226 (java.util.List) determineParticipatingViewers(visEvent, viewable);
233 currentViewer.prepareForEvent(visEvent);
264 BatchGoal collectPreEventGoals(VisEvent visEvent) argument
274 preEventGoals.add(currentViewer.collectPreEventGoals(visEvent));
279 void holdingEvent(VisEvent visEvent) argument
281 viewerManagerFrame.setLastEventString(visEvent
284 startEvent(VisEvent visEvent, java.util.List goalResults) argument
[all...]
H A DScenario.java183 private VisEvent visEvent; field in class:Scenario.EventCommandList
230 * Get the value of visEvent.
231 * @return value of visEvent.
234 return visEvent;
238 * Set the value of visEvent.
239 * @param v Value to assign to visEvent.
242 this.visEvent = v;
250 public EventCommandList(VisEvent visEvent) { argument
253 setVisEvent(visEvent);

Completed in 39 milliseconds