| 1234567891011121314151617 |
- DEFINITION MODULE IOConsts;
- (* Types and constants for input/output modules *)
- (* The following type is used to classify the result of an input operation: *)
- TYPE
- ReadResults = (
- notKnown, (* no read result is set *)
- allRight, (* data is as expected or as required *)
- outOfRange, (* data cannot be represented *)
- wrongFormat, (* data not in expected format *)
- endOfLine, (* end of line seen befopre expected data *)
- endOfInput (* end of input seen before expected data *)
- );
- END IOConsts.
|