-- Implementing IODefs
-- Brenda Hankins 20-Jan-83 12:06:00	(adding WriteDecimal)
-- Mark Johnson  21-May-81 16:16:13

DIRECTORY
  IODefs,  -- exporting --
  LogPrivateDefs USING [tty],
  TTY USING [PutDecimal, GetChar, PutChar, PutLine, PutString];

IO: PROGRAM IMPORTS LogPrivateDefs, TTY EXPORTS IODefs =

  BEGIN

  ReadChar: PUBLIC PROC RETURNS [CHARACTER] = {
    RETURN[TTY.GetChar[LogPrivateDefs.tty]]};

  WriteChar: PUBLIC PROC [c: CHARACTER] = {
    TTY.PutChar[h: LogPrivateDefs.tty, c: c]};

  WriteString: PUBLIC PROC [s: STRING] = {
    TTY.PutString[h: LogPrivateDefs.tty, s: s]};

  WriteLine: PUBLIC PROC [s: STRING] = {
    TTY.PutLine[h: LogPrivateDefs.tty, s: s]; };

  WriteDecimal: PUBLIC PROCEDURE [c: CARDINAL] = {
    TTY.PutDecimal[h: LogPrivateDefs.tty, n: c]};

  END.