DEFINITION BoolExprInOut

(*
 *	Entwicklung objekt-orientierter Bibliotheken, Aufgabe 4
 *
 *	Eingabe Boolescher Ausdruecke, Ein- und Ausgabe Boolescher Variablen.
 *)
DEFINITION BoolExprInOut;

   IMPORT BooleanExpressions;

   (*
    *	Get one expression in Polish (= preorder) notation from stdin.
    *)
   PROCEDURE ReadExpression(VAR expr: BooleanExpressions.Expression): BOOLEAN;

   (*
    *	Get one Boolean value from stdin.
    *)
   PROCEDURE ReadValue(VAR val: BOOLEAN): BOOLEAN;

   (*
    *	Write name of parameter with given index.
    *)
   PROCEDURE WriteName(index: INTEGER);

   (*
    *	Write Boolean value.
    *)
   PROCEDURE WriteValue(val: BOOLEAN);

END BoolExprInOut.