OberonCore

MODULE x;
   IMPORT  Log := StdLog, Files, Stores;
   
   PROCEDURE ex;
      VAR loc: Files.Locator;  f: Files.File;  wr: Stores.Writer;  rd: Stores.Reader;
         n, res: INTEGER;
   BEGIN
      loc := Files.dir.This(''); (*рабочая папка*)
      f := Files.dir.New( loc, FALSE ); (*новый файл в папке loc*)
      wr.ConnectTo( f ); (*подсоеднили объект записи*)
      wr.WriteInt( 100 ); (*пишем туда целое в двоичном виде*)
      wr.ConnectTo( NIL ); (*для порядка отсоединились*)
      f.Register('имя файла', '', Files.dontAsk, res); (*зафиксировали файл с указанным именем*)
      
      f := Files.dir.Old( loc, 'имя файла', FALSE ); (*открыли снова файл с этим именем в папке loc*)
      rd.ConnectTo( f ); (*подсоединили объект чтения*)
      rd.ReadInt( n ); (*считываем целое в переменную n*)
      Log.Int( n ); (*печатаем в рабочий журнал -- убеждаемся, что 100*)
   END ex;


BEGIN ex
END x.

      Star = POINTER TO RECORD (Stores.Store)
         point: Point;
         owner: Gamer;
         buildTurn, totalBuildTurns: INTEGER;
         slots: ARRAY playersCount OF RECORD
            ships: Ships;
            dest: Ship
         END
      END;

      Ship = POINTER TO RECORD (Stores.Store)
         destroyed: BOOLEAN;
         point: Point;
         dest, port: Star;
         speed, force: REAL;
         (* non serializable fields: *)
         turnDistance: INTEGER
      END;

      Ships = RECORD
         n: INTEGER;
         buff: POINTER TO ARRAY OF Ship
      END;

   PROCEDURE (star: Star) Externalize (VAR wr: Stores.Writer);
      VAR i: INTEGER;
   BEGIN
      star.point.Externalize(wr);
      wr.WriteStore(star.owner);
      wr.WriteInt(star.buildTurn);
      wr.WriteInt(star.totalBuildTurns);
      FOR i := 0 TO playersCount - 1 DO
         star.slots[i].ships.Externalize(wr);
         wr.WriteStore(star.slots[i].dest)
      END
   END Externalize;

   PROCEDURE (star: Star) Internalize (VAR rd: Stores.Reader);
      VAR store: Stores.Store; i: INTEGER;
   BEGIN
      star.point.Internalize(rd);
      rd.ReadStore(store);
      IF store # NIL THEN star.owner := store(Gamer) END;
      rd.ReadInt(star.buildTurn);
      rd.ReadInt(star.totalBuildTurns);
      FOR i := 0 TO playersCount - 1 DO
         star.slots[i].ships.Internalize(rd);
         rd.ReadStore(store);
         IF store # NIL THEN star.slots[i].dest := store(Ship) END
      END
   END Internalize;

MODULE TestFileOfRecord;
 
    IMPORT Files, Stores, Log := StdLog;
 
    TYPE
        Record* = POINTER TO RECORD (Stores.Store)
            x, y: REAL
        END;
 
    PROCEDURE (r: Record) Externalize- (VAR wr: Stores.Writer);
        VAR k: INTEGER;
    BEGIN
        r.Externalize^(wr);
        wr.WriteReal(r.x); wr.WriteReal(r.y)
    END Externalize;
 
    PROCEDURE (r: Record) Internalize- (VAR rd: Stores.Reader);
        VAR k: INTEGER;
    BEGIN
        r.Internalize^(rd);
        rd.ReadReal(r.x); rd.ReadReal(r.y)
    END Internalize;
 
    PROCEDURE ExportToFile* (r: Record; f: Files.File);
        VAR wr: Stores.Writer;
    BEGIN
        wr.ConnectTo(f);
        wr.WriteStore(r)
    END ExportToFile;
 
    PROCEDURE ImportFromFile* (OUT r: Record; f: Files.File);
        VAR rd: Stores.Reader; s: Stores.Store;
    BEGIN
        rd.ConnectTo(f);
        rd.ReadStore(s); r := s(Record)
    END ImportFromFile;
 
    PROCEDURE Run*;
        VAR
            rec: Record; f: Files.File; res: INTEGER;
    BEGIN
        NEW(rec);
 
        rec.x := 10; rec.y := 20;
 
        f := Files.dir.New(Files.dir.This("."), Files.exclusive);
        IF f # NIL THEN
            ExportToFile (rec, f);
            f.Register("records", "dat", Files.dontAsk, res);
            IF res # 0 THEN
                Log.String("Error #"); Log.Int( res ); Log.Ln
            END
        END;
 
        rec := NIL
    END Run;
 
END TestFileOfRecord.