X-Git-Url: http://deadsoftware.ru/gitweb?a=blobdiff_plain;f=Test.obn;h=e4eeec3fd93e1dc48ac82f3e67accc672fd2131c;hb=6a3dfd4bef9a28863a7645070f0067f4a09d143a;hp=da1f5453089ca918510c6b19e914ac2dbbf33d42;hpb=9b4f78290edb5f5bedeb12e683546fa00082f108;p=dsw-obn.git diff --git a/Test.obn b/Test.obn index da1f545..e4eeec3 100644 --- a/Test.obn +++ b/Test.obn @@ -1,19 +1,15 @@ MODULE Test; -VAR - i : INTEGER; - s : SET; +TYPE + Rider = RECORD i : INTEGER END; +PROCEDURE X; + VAR + r : Rider; BEGIN - INC(i); - ASSERT(i = 1); - DEC(i); - ASSERT(i = 0); + r.i := 666; +END X; - INCL(s, 3); - ASSERT(3 IN s); - EXCL(s, 3); - ASSERT(~(3 IN s)); +BEGIN + X; END Test. - -Проверка встроенных процедур.