<> <> <> <> DIRECTORY PaperHandling USING [TwoPaperSizes], PSActivity USING [Basic, Spooler, Printer]; TargetPSStatus: CEDAR DEFINITIONS = BEGIN Current: TYPE = RECORD [ spooler: PSActivity.Spooler _ unknown, formatter: PSActivity.Basic _ unknown, printer: PSActivity.Printer _ unknown, paperSupply: PaperHandling.TwoPaperSizes _ [max, max] <> <<'max' indicates no paper size specified>> <<'other' specifies an unknown paper size>> ]; <> Properties: TYPE = RECORD [ staple: BOOLEAN _ FALSE, twoSided: BOOLEAN _ FALSE, paperSupply: PaperHandling.TwoPaperSizes _ [max, max] <> <<'max' indicates no paper size specified>> <<'other' specifies an unknown paper size>> ]; <> <> <> Request: TYPE = { pending, inProgress, completed, completedWithWarnings, unknown, rejected, aborted, canceled, held }; <> Communication: TYPE = { busy, insufficientSpoolSpace, masterTooLarge, mediumUnavailable, serviceUnavailable, spoolingDisabled, spoolingQueueFull, systemError, tooManyClients, noRouteToSystemElement, remoteSystemElementNotResponding, returnTimedOut, transmissionMediumProblem, transferAborted, transferError, connectionError, courierError, undefinedError, okay }; <> END. LOG when/who/what 14-Jun-85 10:31:59 - Jacks - Created. 19-Jun-85 15:22:35 - Jacks - Activity renamed to PSActivity.