DEFINITION MODULE Parser;
FROM Streams IMPORT STREAM;
FROM String IMPORT STRING;
EXPORT QUALIFIED Read, Skip, Parse;

PROCEDURE Parse (In     :STRING;
             VAR Out1   :STRING;
                 Split  :CHAR;
             VAR Out2   :STRING) :BOOLEAN;
	     (*-----------------------------------------------------------*)
             (*  Parse: The string is split around the central character  *)
             (*  and the two OUT parameters are assigned IFF the parse    *)
             (*  was successful. Otherwise the OUT params are as on entry *)
             (*  The result is 'Tidy'ied.                                 *)
             (*-----------------------------------------------------------*)
PROCEDURE Read (S :STREAM; VAR target :STRING; Termins :CHAR);
PROCEDURE Skip (S :STREAM; Chars :CHAR);

END Parser.
