Searched refs:DestroyEvent (Results 1 - 5 of 5) sorted by relevance

/barrelfish-master/usr/eclipseclp/Visualisation/src/com/parctechnologies/eclipse/visualisation/
H A DDestroyEvent.java26 public class DestroyEvent extends VisEvent class in inherits:VisEvent
35 return(new DestroyEvent(((Atom)term.arg(1)).functor()));
37 throw(new VisException("Could not parse DestroyEvent from "+term));
40 public DestroyEvent(String viewableName) method in class:DestroyEvent
H A DVisEvent.java41 return(DestroyEvent.parseFromCompoundTerm(term));
H A DViewerImpl.java64 // viewable_create goal, producing the DestroyEvent for the viewable.
361 if (event instanceof DestroyEvent) {
398 if(currentEvent instanceof DestroyEvent && holdAtLastBacktrack)
H A DViewerManager.java68 * <li> For stopEvent, in the case of a DestroyEvent, the viewerManager should
347 if(currentEvent instanceof DestroyEvent)
360 if(currentEvent instanceof DestroyEvent)
H A DScenarioManager.java570 if ((event instanceof DestroyEvent) &&

Completed in 37 milliseconds