<> <> <> <> <> <> <<>> FileStats: CEDAR DEFINITIONS = BEGIN Type: TYPE = { open, create, delete, extend, contract, read, write, spare0, spare1, spare2 }; Pulses: TYPE = LONG CARDINAL; -- = BasicTime.Pulses = ProcessorFace.Pulses -- Data: TYPE = RECORD[ calls: INT _ 0, pages: INT _ 0, pulses: Pulses _ 0 ]; GetData: PROC[type: Type] RETURNS[ Data ]; ClearData: PROC[type: Type]; Incr: PROC[type: Type, pages: INT, startPulse: Pulses]; END.