rtl/Files.java

   1 import java.io.*;
   2 import java.util.*;
   3
   4 class Files
   5 {
   6         /* File / Handle */
   7         public static class RECORD0
   8         {
   9                 String fname;
  10                 File f, fr;
  11
  12                 public static void $COPY$(RECORD0 src, RECORD0 dst)
  13                 {
  14                         dst.fname = src.fname;
  15                         dst.f = src.f;
  16                         dst.fr = src.fr;
  17                 }
  18         }
  19
  20         /* Rider */
  21         public static class RECORD1
  22         {
  23                 RandomAccessFile raf = null;
  24                 RECORD0 base = new RECORD0();
  25
  26                 public boolean[] eof = new boolean[1];
  27                 public int[] res = new int[1];
  28
  29                 public static void $COPY$(RECORD1 src, RECORD1 dst)
  30                         throws
  31                                 FileNotFoundException
  32                 {
  33                         if(src.base == null || src.base.f == null)
  34                         {
  35                                 dst.raf = null;
  36                         }
  37                         else
  38                         {
  39                                 dst.raf = new RandomAccessFile(src.base.f, "rw");
  40                         }
  41                         dst.base = src.base;
  42                         dst.eof[0] = src.eof[0];
  43                         dst.res[0] = src.res[0];
  44                 }
  45         }
  46
  47         public static RECORD0 Old(byte name[])
  48         {
  49                 String fname = SYSTEM.STRING(name);
  50                 File f = new File(fname);
  51
  52                 if(!f.exists())
  53                 {
  54                         System.out.println("Files.Old: " + fname + " not exists / not a file");
  55                         return null;
  56                 }
  57
  58                 RECORD0 obfile = new RECORD0();
  59                 obfile.fname = fname;
  60                 obfile.f = f;
  61                 obfile.fr = f;
  62                 return obfile;
  63         }
  64
  65         private static String RandomString(int len)
  66         {
  67                 Random x = new Random();
  68                 String s = new String();
  69                 for(int i = 0; i < len; i++)
  70                 {
  71                         s += (char) (x.nextInt(25) + 65);
  72                 }
  73                 return s;
  74         }
  75
  76         public static RECORD0 New(byte name[])
  77         {
  78                 String fname = SYSTEM.STRING(name);
  79                 String tempname = RandomString(8);
  80                 File f, fr;
  81
  82                 try
  83                 {
  84                         fr = new File(fname);
  85                         f = File.createTempFile(tempname, "tmp");
  86                 }
  87                 catch(IOException e)
  88                 {
  89                         return null;
  90                 }
  91
  92                 RECORD0 obfile = new RECORD0();
  93                 obfile.fname = fname;
  94                 obfile.f = f;
  95                 return obfile;
  96         }
  97
  98         public static void Register(RECORD0 f)
  99         {
 100                 f.f.renameTo(f.fr);
 101         }
 102
 103         public static void Close(RECORD0 f)
 104         {
 105         }
 106
 107         public static void Purge(RECORD0 f)
 108                 throws
 109                         IOException
 110         {
 111                 f.f.delete();
 112                 f.f.createNewFile();
 113         }
 114
 115         public static void Delete(byte name[], short res[], int res$)
 116         {
 117                 String fname = SYSTEM.STRING(name);
 118                 File f = new File(fname);
 119                 res[res$] = f.delete() ? ((short)0) : ((short)1);
 120         }
 121
 122         public static void Rename(byte old[], byte _new[], short res[], int res$)
 123         {
 124                 String foname = SYSTEM.STRING(old);
 125                 String fnname = SYSTEM.STRING(_new);
 126                 File fo = new File(foname);
 127                 File fn = new File(fnname);
 128                 res[res$] = fo.renameTo(fn) ? ((short)0) : ((short)1);
 129         }
 130
 131         public static int Length(RECORD0 f)
 132         {
 133                 return (int) f.f.length();
 134         }
 135
 136         public static void GetDate(RECORD0 f, int t[], int t$, int d[], int d$)
 137         {
 138                 long time = f.f.lastModified();
 139                 Calendar cal = Calendar.getInstance();
 140                 cal.setTimeInMillis(time);
 141                 t[t$] = cal.get(Calendar.HOUR_OF_DAY) * 4096 + cal.get(Calendar.MINUTE) * 64 + cal.get(Calendar.SECOND);
 142                 d[d$] = cal.get(Calendar.YEAR) * 512 + cal.get(Calendar.MONTH) * 32 + cal.get(Calendar.DAY_OF_WEEK);
 143         }
 144
 145         public static void Set(RECORD1 r[], int r$, RECORD0 f, int pos)
 146                 throws
 147                         IOException
 148         {
 149                 int len = Length(f);
 150                 pos = (pos > len) ? (len) : ((pos < 0) ? (0) : (pos));
 151                 r[r$].eof[0] = true;
 152
 153                 r[r$].base = f;
 154                 r[r$].raf = new RandomAccessFile(f.f, "rw");
 155                 r[r$].raf.seek(pos);
 156                 r[r$].eof[0] = false;
 157         }
 158
 159         public static int Pos(RECORD1 r[], int r$)
 160                 throws
 161                         IOException
 162         {
 163                 return (int) r[r$].raf.getFilePointer();
 164         }
 165
 166         public static RECORD0 Base(RECORD1 r[], int r$)
 167         {
 168                 return r[r$].base;
 169         }
 170
 171         public static void Read(RECORD1 r[], int r$, byte x[], int x$)
 172         {
 173                 try
 174                 {
 175                         x[x$] = (byte) r[r$].raf.read();
 176                 }
 177                 catch(IOException e)
 178                 {
 179                         r[r$].res[0] = 1;
 180                         r[r$].eof[0] = true;
 181                 }
 182         }
 183
 184         public static void ReadInt(RECORD1 R[], int R$, short x[], int x$)
 185         {
 186                 try
 187                 {
 188                         byte[] buf = new byte[2];
 189                         R[R$].res[0] = R[R$].raf.read(buf, 0, 2);
 190                         R[R$].eof[0] = (R[R$].res[0] != 0);
 191                         x[x$] = (short) (((buf[1] & 0xff) << 8) | (buf[0] & 0xff));
 192                 }
 193                 catch(IOException e)
 194                 {
 195                         R[R$].res[0] = 2;
 196                         R[R$].eof[0] = true;
 197                 }
 198         }
 199
 200         public static void ReadLInt(RECORD1 R[], int R$, int x[], int x$)
 201         {
 202                 try
 203                 {
 204                         byte[] buf = new byte[4];
 205                         R[R$].res[0] = R[R$].raf.read(buf, 0, 4);
 206                         R[R$].eof[0] = (R[R$].res[0] != 0);
 207                         x[x$] = ((buf[3] & 0xff) << 24) | ((buf[2] & 0xff) << 16) | ((buf[1] & 0xff) << 8) | (buf[0] & 0xff);
 208                 }
 209                 catch(IOException e)
 210                 {
 211                         R[R$].res[0] = 4;
 212                         R[R$].eof[0] = true;
 213                 }
 214         }
 215
 216         public static void ReadReal(RECORD1 R[], int R$, float x[], int x$)
 217         {
 218                 try
 219                 {
 220                         x[x$] = R[R$].raf.readFloat();
 221                 }
 222                 catch(IOException e)
 223                 {
 224                         R[R$].res[0] = 4;
 225                         R[R$].eof[0] = true;
 226                 }
 227         }
 228
 229         public static void ReadLReal(RECORD1 R[], int R$, double x[], int x$)
 230         {
 231                 try
 232                 {
 233                         x[x$] = R[R$].raf.readDouble();
 234                 }
 235                 catch(IOException e)
 236                 {
 237                         R[R$].res[0] = 8;
 238                         R[R$].eof[0] = true;
 239                 }
 240         }
 241
 242         public static void ReadNum(RECORD1 R[], int R$, int x[], int x$)
 243         {
 244                 SYSTEM.TRAP(-3);
 245         }
 246
 247         public static void ReadString(RECORD1 R[], int R$, byte x[][], int x$)
 248         {
 249                 int i = 0;
 250                 try
 251                 {
 252                         int ch;
 253                         do {
 254                                 ch = x[x$][i] = (byte) R[R$].raf.read();
 255                                 i += 1;
 256                         } while(ch != 0);
 257                 }
 258                 catch(IOException e)
 259                 {
 260                         x[x$][i] = 0;
 261                         R[R$].res[0] = 1;
 262                         R[R$].eof[0] = true;
 263                 }
 264         }
 265
 266         public static void ReadSet(RECORD1 R[], int R$, int x[], int x$)
 267         {
 268                 ReadLInt(R, R$, x, x$);
 269         }
 270
 271         public static void ReadBool(RECORD1 R[], int R$, boolean x[], int x$)
 272         {
 273                 try
 274                 {
 275                         int i = R[R$].raf.read();
 276                         x[x$] = (i != 0);
 277                 }
 278                 catch(IOException e)
 279                 {
 280                         R[R$].res[0] = 1;
 281                         R[R$].eof[0] = true;
 282                 }
 283         }
 284
 285         public static void ReadBytes(RECORD1 r[], int r$, byte x[][], int x$, int n)
 286         {
 287                 try
 288                 {
 289                         r[r$].res[0] = r[r$].raf.read(x[x$], 0, n);
 290                         r[r$].eof[0] = (r[r$].res[0] != 0);
 291                 }
 292                 catch(IOException e)
 293                 {
 294                         r[r$].res[0] = n;
 295                         r[r$].eof[0] = true;
 296                 }
 297         }
 298
 299         public static void Write(RECORD1 r[], int r$, byte x)
 300         {
 301                 SYSTEM.TRAP(-3);
 302         }
 303
 304         public static void WriteInt(RECORD1 R[], int R$, short x)
 305         {
 306                 SYSTEM.TRAP(-3);
 307         }
 308
 309         public static void WriteLInt(RECORD1 R[], int R$, int x)
 310         {
 311                 SYSTEM.TRAP(-3);
 312         }
 313
 314         public static void WriteReal(RECORD1 R[], int R$, float x)
 315         {
 316                 SYSTEM.TRAP(-3);
 317         }
 318
 319         public static void WriteLReal(RECORD1 R[], int R$, double x)
 320         {
 321                 SYSTEM.TRAP(-3);
 322         }
 323
 324         public static void WriteNum(RECORD1 R[], int R$, int x)
 325         {
 326                 SYSTEM.TRAP(-3);
 327         }
 328
 329         public static void WriteString(RECORD1 R[], int R$, byte x[])
 330         {
 331                 SYSTEM.TRAP(-3);
 332         }
 333
 334         public static void WriteSet(RECORD1 R[], int R$, int x)
 335         {
 336                 SYSTEM.TRAP(-3);
 337         }
 338
 339         public static void WriteBool(RECORD1 R[], int R$, boolean x)
 340         {
 341                 SYSTEM.TRAP(-3);
 342         }
 343
 344         public static void WriteBytes(RECORD1 r[], int r$, byte[][] x, int x$, int n)
 345         {
 346                 SYSTEM.TRAP(-3);
 347         }
 348
 349         public static void BEGIN()
 350         {
 351
 352         }
 353 }