<> <> <> <> LSEPDiagnostics: CEDAR DEFINITIONS = BEGIN <> ImageFault: TYPE = MACHINE DEPENDENT { noFault(0), -- Data: ok; LineSync: ok; Clock: ok. fault1(1), -- Data: stuck; LineSync: N/A; Clock: N/A. fault2(2), -- Data: stuck; LineSync: N/A; Clock: N/A. fault3(3), -- Data: ok; LineSync: stuck low; Clock: ok. fault4(4), -- Data: ok; LineSync: stuck low; Clock: stuck. fault5(5), -- Data: ok; LineSync: stuck high; Clock: ok. fault6(6), -- Data: ok; LineSync: stuck high; Clock: stuck. fault7(7), -- Data: ok; LineSync: ok; Clock: stuck low. fault8(8), -- Data: ok; LineSync: ok; Clock: stuck high. aborted(9), -- Test was aborted notTested(10) -- Test cannot be performed. }; ImageSamplingPhase: TYPE = {prePrinting, printing, postPrinting}; <> BuildImageSample: PROCEDURE [phase: ImageSamplingPhase]; InterpretImageSample: PROCEDURE RETURNS [fault: ImageFault]; END. LOG When / Who / What. 1981/Claude Pany/Created. 19-Jul-85 1:55:41/Strickberger/Deleted CheckCommandStatus. Changed name from RavenDiagnostics to LSEPDiagnostics. Add copyright.