"",":";"~items are separated by blanks and/or line breaks definition texts(adens _texts *const int real name char type textwriterreader record eotboolean endscanner record classintegeriintegerxrealsarray of charchcharnextchchar endprocedure openreader (var rreaderttextposinteger)procedure openwriter (var wwriterttextposinteger)procedure openscanner (var sscannerttextposinteger)procedure read (var rreadervar chchar)procedure readint (var rreadervar ninteger)procedure scan (var sscanner)procedure write (var wwriterchchar)procedure writeln (var wwriter)(*terminate line*procedure writestring (var wwritersarray of char)procedure writeint (var wwriterxninteger)(*write integer with (at leastn characters if is greater than the number of digits neededblanks are added preceding the number*procedure writereal (var wwriterxreal)procedure close (var wwriter)end texts hence we postulate that after call of scan(ss class int implies is the integer read class real implies is the real number read class name implies is the identifier of string read implies ch is the special character read class char nextch is the character immediately following the read itempossibly blank