DEFINITION MODULE SIOResult; (* Obtain read results on the default channel *) IMPORT IOConsts; 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 () : ReadResults; (* Returns the result for the last read operation on the default input channel *) END SIOResult.