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