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