Searched refs:ContractEvent (Results 1 - 6 of 6) sorted by relevance

/barrelfish-master/usr/eclipseclp/Visualisation/src/com/parctechnologies/eclipse/visualisation/
H A DContractEvent.java26 public class ContractEvent extends SizeEvent class in inherits:SizeEvent
35 return(new ContractEvent(((Atom)term.arg(1)).functor()));
37 throw(new VisException("Could not parse ContractEvent from "+term));
40 private ContractEvent(String viewableName) method in class:ContractEvent
H A DViewletArrayViewer.java168 if(this.getCurrentEvent() instanceof ContractEvent)
170 stopContract((ContractEvent) this.getCurrentEvent());
204 private void stopContract(ContractEvent contractEvent)
H A DVisEvent.java49 return(ContractEvent.parseFromCompoundTerm(term));
H A DViewerImpl.java402 if(currentEvent instanceof ContractEvent && holdAtContractions)
H A DContainerViewer.java583 if(event instanceof ContractEvent)
585 size = ((ContractEvent) event).getViewableSize();
H A DGraphViewer.java281 if(event instanceof ContractEvent)
285 removeContractedElements(((ContractEvent)event).getViewableSize());

Completed in 86 milliseconds