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

/barrelfish-master/usr/eclipseclp/Visualisation/src/com/parctechnologies/eclipse/visualisation/
H A DViewerImpl.java45 private VisEvent currentEvent; field in class:ViewerImpl
354 return(currentEvent);
384 currentEvent = event;
394 if(currentEvent instanceof CreateEvent)
398 if(currentEvent instanceof DestroyEvent && holdAtLastBacktrack)
402 if(currentEvent instanceof ContractEvent && holdAtContractions)
406 if(currentEvent instanceof ExpandEvent && holdAtExpansions)
414 * The default behaviour here simply resets the currentEvent.
418 currentEvent = null;
H A DViewerManager.java105 private VisEvent currentEvent; field in class:ViewerManager
293 currentEvent = visEvent;
338 String viewableName = currentEvent.getViewableName();
347 if(currentEvent instanceof DestroyEvent)
360 if(currentEvent instanceof DestroyEvent)
366 currentEvent = null;
H A DVisClient.java183 private VisEvent currentEvent; field in class:VisClient
207 currentEvent = visEvent;
331 VisEvent visEvent = currentEvent;
365 currentEvent = null;

Completed in 93 milliseconds