<> <> <> DIRECTORY PETypes, PEViewer USING [DrawProc], ViewerClasses USING [Viewer]; PERefresh: CEDAR DEFINITIONS = BEGIN OPEN PETypes, PEViewer; RefreshData: TYPE = REF ANY; CreateRefreshProcess: PROCEDURE [pathViewer: ViewerClasses.Viewer, clientRedrawProc: DrawProc _ NIL] RETURNS [data: RefreshData]; <> DestroyRefreshProcess: PROCEDURE [data: RefreshData]; <> EnableSegmentRefresh: PROCEDURE [segment: Segment]; <> DisableSegmentRefresh: PROCEDURE [segment: Segment]; <> EnableTrajectoryRefresh: PROCEDURE [trajectory: Trajectory]; <> DisableTrajectoryRefresh: PROCEDURE [trajectory: Trajectory]; <> NewRefreshData: PROCEDURE [data: RefreshData, trajectoryList: TrajectoryList, activeTrajectory: TrajectoryNode]; <> RequestRefresh: PROCEDURE [data: RefreshData, erase: BOOLEAN _ FALSE]; <> END.