Добавлена конструкция WITH

[dsw-obn.git] / src / test.c

diff --git a/src/test.c b/src/test.c
index 9279c33f111597a3291344a5d3817c62fb0b6154..dab2914ca12507682c8a29122dd5498aebb221b1 100644 (file)
--- a/src/test.c
+++ b/src/test.c
@@ -8,12 +8,34 @@ static char source_test[] =
        "(* Main module *)"
        "MODULE Test;"
        "IMPORT Out;"
+       "TYPE"
+       "  R1 = POINTER TO R1Desc;"
+       "  R1Desc = RECORD a : INTEGER; END;"
+       "  R2 = POINTER TO R2Desc;"
+       "  R2Desc = RECORD (R1Desc) b : INTEGER; END;"
+       "  Y1 = POINTER TO Y1Desc;"
+       "  Y1Desc = RECORD END;"
        ""
        "VAR"
-       "  s0 : SET;"
+       "  r1 : R1;"
+       "  r2 : R2;"
+       "  y1 : Y1;"
        ""
        "BEGIN"
-       "  s0 := -{ 1, 3..6 } + { 3, 4, 10 };"
+       "  NEW(r1);"
+       "  NEW(r2);"
+       "  NEW(y1);"
+       "  r1 := r2;"
+       "  Out.Open;"
+       "  WITH r1 : R2 DO"
+       "    r1.b := 666;"
+       "    Out.String('R2 branch');"
+       "  | y1 : Y1 DO"
+       "    Out.String('Y1 branch');"
+       "  ELSE"
+       "    Out.String('Something else');"
+       "  END;"
+       "  Out.Ln;"
        "END Test."
 ;