MODULE Files;

IMPORT SYSTEM;

TYPE
  File* = POINTER TO Handle;

  Handle = RECORD END;

  Rider* = RECORD
    eof* : BOOLEAN;
    res* : LONGINT;
  END;

PROCEDURE Old*(name : ARRAY OF CHAR) : File;
BEGIN RETURN NIL END Old;

PROCEDURE New*(name : ARRAY OF CHAR) : File;
BEGIN RETURN NIL END New;

PROCEDURE Register*(f : File);
END Register;

PROCEDURE Close*(f : File);
END Close;

PROCEDURE Purge*(f : File);
END Purge;

PROCEDURE Delete*(name : ARRAY OF CHAR; VAR res : INTEGER);
END Delete;

PROCEDURE Rename*(old, new : ARRAY OF CHAR; VAR res : INTEGER);
END Rename;

PROCEDURE Length*(f : File) : LONGINT;
BEGIN RETURN 0 END Length;

PROCEDURE GetDate*(f : File; VAR t, d : LONGINT);
END GetDate;

PROCEDURE Set*(VAR r : Rider; f : File; pos : LONGINT);
END Set;

PROCEDURE Pos*(VAR r : Rider) : LONGINT;
BEGIN RETURN 0 END Pos;

PROCEDURE Base*(VAR r : Rider) : File;
BEGIN RETURN NIL END Base;

PROCEDURE Read*(VAR r : Rider; VAR x : SYSTEM.BYTE);
END Read;

PROCEDURE ReadInt*(VAR R : Rider; VAR x : INTEGER);
END ReadInt;

PROCEDURE ReadLInt*(VAR R : Rider; VAR x : LONGINT);
END ReadLInt;

PROCEDURE ReadReal*(VAR R : Rider; VAR x : REAL);
END ReadReal;

PROCEDURE ReadLReal*(VAR R : Rider; VAR x : LONGREAL);
END ReadLReal;

PROCEDURE ReadNum*(VAR R : Rider; VAR x : LONGINT);
END ReadNum;

PROCEDURE ReadString*(VAR R : Rider; VAR x : ARRAY OF CHAR);
END ReadString;

PROCEDURE ReadSet*(VAR R : Rider; VAR x : SET);
END ReadSet;

PROCEDURE ReadBool*(VAR R : Rider; VAR x : BOOLEAN);
END ReadBool;

PROCEDURE ReadBytes*(VAR r : Rider; VAR x : ARRAY OF SYSTEM.BYTE; n : LONGINT);
END ReadBytes;

PROCEDURE Write*(VAR r: Rider; x: SYSTEM.BYTE);
END Write;

PROCEDURE WriteInt*(VAR R : Rider; x : INTEGER);
END WriteInt;

PROCEDURE WriteLInt*(VAR R : Rider; x : LONGINT);
END WriteLInt;

PROCEDURE WriteReal*(VAR R : Rider; x : REAL);
END WriteReal;

PROCEDURE WriteLReal*(VAR R : Rider; x : LONGREAL);
END WriteLReal;

PROCEDURE WriteNum*(VAR R : Rider; x : LONGINT);
END WriteNum;

PROCEDURE WriteString*(VAR R : Rider; x : ARRAY OF CHAR);
END WriteString;

PROCEDURE WriteSet*(VAR R : Rider; x : SET);
END WriteSet;

PROCEDURE WriteBool*(VAR R : Rider; x : BOOLEAN);
END WriteBool;

PROCEDURE WriteBytes*(VAR r : Rider; VAR x : ARRAY OF SYSTEM.BYTE; n : LONGINT);
END WriteBytes;

END Files.