********************************************************************
* NOTE: This file is generated automatically from the event * definition file DGraph.evt. ********************************************************************<* PRAGMA LL *> MODULE; <*NOWARN*> IMPORT AdjMatrix, ZeusClass, DGraphAlgClass, ViewClass; REVEAL T = Public BRANDED OBJECT OVERRIDES <* LL.sup = VBT.mu *> isCompat := IsCompat; <* LL.sup < VBT.mu *> oeSetup := Setup; oeAddEdge := AddEdge; oeMarkEdge := MarkEdge; oeUnMarkEdge := UnMarkEdge; oeMarkVertex := MarkVertex; oeUnMarkVertex := UnMarkVertex; oeNewTree := NewTree; oeHighlight := Highlight; oeAddChild := AddChild; oeRemoveChild := RemoveChild; <* LL.sup = VBT.mu *> END; PROCEDURE DGraphViewClass IsCompat (<*UNUSED*> v: T; alg: ZeusClass.T): BOOLEAN = <* LL.sup = VBT.mu *> BEGIN RETURN ISTYPE(alg, DGraphAlgClass.T) END IsCompat; PROCEDURESetup (view: T ; <*UNUSED*> m: AdjMatrix.T ) = <* LL.sup < VBT.mu *> BEGIN view.evtHandled := FALSE; END Setup; PROCEDUREAddEdge (view: T ; <*UNUSED*> from: INTEGER ; <*UNUSED*> to: INTEGER ) = <* LL.sup < VBT.mu *> BEGIN view.evtHandled := FALSE; END AddEdge; PROCEDUREMarkEdge (view: T ; <*UNUSED*> from: INTEGER ; <*UNUSED*> to: INTEGER ; <*UNUSED*> depth: INTEGER ) = <* LL.sup < VBT.mu *> BEGIN view.evtHandled := FALSE; END MarkEdge; PROCEDUREUnMarkEdge (view: T ; <*UNUSED*> from: INTEGER ; <*UNUSED*> to: INTEGER ; <*UNUSED*> depth: INTEGER ) = <* LL.sup < VBT.mu *> BEGIN view.evtHandled := FALSE; END UnMarkEdge; PROCEDUREMarkVertex (view: T ; <*UNUSED*> v: INTEGER ; <*UNUSED*> depth: INTEGER ; <*UNUSED*> rcset: AdjMatrix.RCSet ) = <* LL.sup < VBT.mu *> BEGIN view.evtHandled := FALSE; END MarkVertex; PROCEDUREUnMarkVertex (view: T ; <*UNUSED*> v: INTEGER ; <*UNUSED*> depth: INTEGER ; <*UNUSED*> rcset: AdjMatrix.RCSet ) = <* LL.sup < VBT.mu *> BEGIN view.evtHandled := FALSE; END UnMarkVertex; PROCEDURENewTree (view: T ; <*UNUSED*> root: INTEGER ; <*UNUSED*> label: TEXT ) = <* LL.sup < VBT.mu *> BEGIN view.evtHandled := FALSE; END NewTree; PROCEDUREHighlight (view: T ; <*UNUSED*> node: INTEGER ; <*UNUSED*> highlight: REAL ; <*UNUSED*> nodeOnly: BOOLEAN ) = <* LL.sup < VBT.mu *> BEGIN view.evtHandled := FALSE; END Highlight; PROCEDUREAddChild (view: T ; <*UNUSED*> parent: INTEGER ; <*UNUSED*> pred: INTEGER ; <*UNUSED*> child: INTEGER ; <*UNUSED*> label: TEXT ) = <* LL.sup < VBT.mu *> BEGIN view.evtHandled := FALSE; END AddChild; PROCEDURERemoveChild (view: T ; <*UNUSED*> parent: INTEGER ; <*UNUSED*> ch: INTEGER ) = <* LL.sup < VBT.mu *> BEGIN view.evtHandled := FALSE; END RemoveChild; BEGIN END DGraphViewClass.