| 123456789101112131415161718192021222324252627 |
- DEFINITION MODULE IOResult;
- (* Obtain read results on specified channels *)
- IMPORT IOConsts;
- FROM IOLink IMPORT ChanId;
- TYPE
- ReadResults = IOConsts.ReadResults;
- (* ReadResults = (* This type is used to classify the result of an input
- operation *)
- (
- notKnown, (* no read result is set *)
- allRight, (* data is as expected or as required *)
- outOfRange, (* data cannot be represented *)
- wrongFormat, (* data not in expected form *)
- endOfLine, (* end of line seen before expected data *)
- endOfInput, (* end of input seen before expected data *)
- );
- *)
- PROCEDURE ReadResult (cid : ChanId) : ReadResults;
- (* Returns the result for the last read operation on the channel *)
- END IOResult.
|
