Реализовано несколько процедур записи в Files, исправление проблем в SYSTEM и Oberon

[dsw-obn.git] / rtl / java / Files.java

diff --git a/rtl/java/Files.java b/rtl/java/Files.java
index 9864ca57c1d7a26e4ab3981afc5b8cb13cad281e..c201940c21cbb37cc41a3f0b85ee546288cea4b9 100644 (file)
--- a/rtl/java/Files.java
+++ b/rtl/java/Files.java
@@ -376,12 +376,20 @@ class Files
 
        public static void WriteInt(RECORD1 R[], int R$, short x)
        {
-               SYSTEM.TRAP(-3);
+               byte[][] i = new byte[1][2];
+               i[0][0] = (byte) ((x >>> 8) & 0xff);
+               i[0][1] = (byte) ((x) & 0xff);
+               WriteBytes(R, R$, i, 0, 2);
        }
 
        public static void WriteLInt(RECORD1 R[], int R$, int x)
        {
-               SYSTEM.TRAP(-3);
+               byte[][] i = new byte[1][4];
+               i[0][0] = (byte) ((x >>> 24) & 0xff);
+               i[0][1] = (byte) ((x >>> 16) & 0xff);
+               i[0][2] = (byte) ((x >>> 8) & 0xff);
+               i[0][3] = (byte) ((x) & 0xff);
+               WriteBytes(R, R$, i, 0, 4);
        }
 
        public static void WriteReal(RECORD1 R[], int R$, float x)
@@ -401,7 +409,9 @@ class Files
 
        public static void WriteString(RECORD1 R[], int R$, byte x[])
        {
-               SYSTEM.TRAP(-3);
+               byte[][] i = new byte[1][];
+               i[0] = x;
+               WriteBytes(R, R$, i, 0, SYSTEM.LEN(x));
        }
 
        public static void WriteSet(RECORD1 R[], int R$, int x)
@@ -416,7 +426,20 @@ class Files
 
        public static void WriteBytes(RECORD1 r[], int r$, byte[][] x, int x$, int n)
        {
-               SYSTEM.TRAP(-3);
+               RECORD1 rider = r[r$];
+               RandomAccessFile desc = rider.base.desc;
+
+               try
+               {
+                       rider.base.SetActive(rider);
+                       desc.write(x[x$], 0, n);
+                        rider.position += n;
+               }
+               catch(IOException e)
+               {
+                       rider.res[0] = n;
+                       rider.eof[0] = true;
+               }
        }
 
        public static void BEGIN()