<<>> <> <> <> <> <> <<>> SignalStatistics: CEDAR DEFINITIONS ~ BEGIN Stats: TYPE ~ RECORD [ pushCount: CARD ¬ 0, newPushCount: CARD ¬ 0, segmentCount: CARD ¬ 0, errorsRaised: CARD ¬ 0, signalsRaised: CARD ¬ 0 ]; GetStatistics: PROC [] RETURNS [Stats]; RegisterSignalSpy: PROC [new: PROC] RETURNS [old: PROC]; -- a hook for Spy END.