rtl/SYSTEM.java

   1 public class SYSTEM
   2 {
   3         /* Каркас для фреймов процедур */
   4         public static abstract class FRAME
   5         {
   6                 public FRAME up;
   7         }
   8
   9         /* Длинна строки LEN(s$) */
  10         public static int LEN(byte[] x)
  11         {
  12                 int i = 0;
  13                 while(x[i] != 0)
  14                 {
  15                         i += 1;
  16                 }
  17                 return i;
  18         }
  19
  20         public static void COPY(byte[] x, byte[] v)
  21         {
  22                 int len_x = LEN(x);
  23                 int len_v = v.length - 1;
  24                 int len = (len_x < len_v) ? (len_x) : (len_v);
  25                 for(int i = 0; i < len; i++)
  26                 {
  27                         v[i] = x[i];
  28                 }
  29                 v[len] = 0;
  30         }
  31
  32         public static void HALT(long n)
  33         {
  34                 System.exit((int) n);
  35         }
  36
  37         public static void ASSERT(boolean x)
  38         {
  39                 assert x;
  40         }
  41
  42         public static void ASSERT(boolean x, long n)
  43         {
  44                 assert x : n;
  45         }
  46 }