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

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

diff --git a/src/test.c b/src/test.c
index 024252a2def43abc44d82e38d95f1180f551caa2..dab2914ca12507682c8a29122dd5498aebb221b1 100644 (file)
--- a/src/test.c
+++ b/src/test.c
@@ -8,24 +8,34 @@ static char source_test[] =
        "(* Main module *)"
        "MODULE Test;"
        "IMPORT Out;"
-       ""
        "TYPE"
-       "  RecA = POINTER TO RecADesc;"
-       "  RecADesc = RECORD END;"
-       ""
-       "  RecB = POINTER TO RecBDesc;"
-       "  RecBDesc = RECORD (RecADesc) END;"
+       "  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"
-       "  a : RecA;"
-       "  b : RecB;"
+       "  r1 : R1;"
+       "  r2 : R2;"
+       "  y1 : Y1;"
        ""
        "BEGIN"
-       "  NEW(a);"
-       "  NEW(b);"
+       "  NEW(r1);"
+       "  NEW(r2);"
+       "  NEW(y1);"
+       "  r1 := r2;"
        "  Out.Open;"
-       "  a := b;"
-       "  IF a IS RecA THEN Out.String('Yes'); Out.Ln; END;"
+       "  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."
 ;