new/System/Mod/Console.txt

   1 MODULE Console;
   2
   3         (* THIS IS TEXT COPY OF Console.odc *)
   4         (* DO NOT EDIT *)
   5
   6         (*
   7                 A. V. Shiryaev, 2012.10
   8
   9                 Interface based on OpenBUGS Console
  10         *)
  11
  12         TYPE
  13                 Console* = POINTER TO ABSTRACT RECORD END;
  14
  15         VAR
  16                 cons: Console;
  17
  18         (* Console *)
  19
  20         PROCEDURE (c: Console) WriteStr- (IN s: ARRAY OF CHAR), NEW, ABSTRACT;
  21         PROCEDURE (c: Console) WriteChar- (ch: CHAR), NEW, ABSTRACT;
  22         PROCEDURE (c: Console) WriteLn-, NEW, ABSTRACT;
  23
  24         (*
  25                 post:
  26                         s = "": end of input or input error
  27                         s # "": line with end of line postfix
  28         *)
  29         PROCEDURE (c: Console) ReadLn- (OUT s: ARRAY OF CHAR), NEW, ABSTRACT;
  30
  31
  32         PROCEDURE WriteStr* (IN text: ARRAY OF CHAR);
  33         BEGIN
  34                 cons.WriteStr(text)
  35         END WriteStr;
  36
  37         PROCEDURE WriteChar* (c: CHAR);
  38         BEGIN
  39                 cons.WriteChar(c)
  40         END WriteChar;
  41
  42         PROCEDURE WriteLn*;
  43         BEGIN
  44                 cons.WriteLn
  45         END WriteLn;
  46
  47         PROCEDURE ReadLn* (OUT text: ARRAY OF CHAR);
  48         BEGIN
  49                 cons.ReadLn(text)
  50         END ReadLn;
  51
  52
  53         PROCEDURE SetConsole* (c: Console);
  54         BEGIN
  55                 cons := c
  56         END SetConsole;
  57
  58 END Console.