<> <> <> <> <<>> DIRECTORY FeedbackTypes, GGCoreTypes, IO, RefTab, Rope; GGScriptStats: CEDAR DEFINITIONS = BEGIN MsgRouter: TYPE = FeedbackTypes.MsgRouter; RopeListt: TYPE = GGCoreTypes.RopeListt; AtomListt: TYPE = REF AtomListtObj; AtomListtObj: TYPE = RECORD [ list: LIST OF ATOM, tail: LIST OF ATOM ]; Database: TYPE = REF DatabaseObj; DatabaseObj: TYPE = RECORD [ table: RefTab.Ref, atomOrder: AtomListt, lastAtom: ATOM, atomCount: CARD, sectionTable: RefTab.Ref, sectionOrder: AtomListt ]; ProcessOneScript: PROC [scriptName: Rope.ROPE, resultName: Rope.ROPE, workingDirectory: Rope.ROPE]; ProcessScript: PROC [scriptName: Rope.ROPE, resultStream: IO.STREAM, database: Database, workingDirectory: Rope.ROPE _ NIL, router: MsgRouter _ NIL] RETURNS [printTime: INT]; <> ProcessOneSummary: PROC [summaryName: Rope.ROPE, totalsName: Rope.ROPE, workingDirectory: Rope.ROPE]; ProcessSummary: PROC [summaryName: Rope.ROPE, totalsStream: IO.STREAM, database: Database, workingDirectory: Rope.ROPE _ NIL, router: MsgRouter _ NIL] RETURNS [printTime: INT]; CreateDatabase: PROC [] RETURNS [database: Database]; END.