<<>> <> <> <> <> DIRECTORY TEditDocument USING [TEditDocumentData], Tioga USING [Location, Node, Span], ViewerClasses USING [Viewer]; TEditDisplay: CEDAR DEFINITIONS ~ BEGIN <<>> EstablishLine: PROC [tdd: TEditDocument.TEditDocumentData, newLine: Tioga.Location, position: INTEGER ¬ 0]; InvalidateSpan: PROC [viewer: ViewerClasses.Viewer, span: Tioga.Span, errorFlag: BOOL ¬ TRUE, movingOut, unnesting: BOOL ¬ FALSE]; InvalidateChildren: PROC [viewer: ViewerClasses.Viewer, node: Tioga.Node]; InvalidateBranch: PROC [viewer: ViewerClasses.Viewer, node: Tioga.Node]; END.