X-Git-Url: http://deadsoftware.ru/gitweb?a=blobdiff_plain;f=Test.obn;h=da1f5453089ca918510c6b19e914ac2dbbf33d42;hb=9b4f78290edb5f5bedeb12e683546fa00082f108;hp=8249fb77223116fd24082f63a7dba78821d98fe1;hpb=3cd41dedaffe60018890cbe66baea63691fe62e8;p=dsw-obn.git diff --git a/Test.obn b/Test.obn index 8249fb7..da1f545 100644 --- a/Test.obn +++ b/Test.obn @@ -1,8 +1,19 @@ MODULE Test; -IMPORT Out; +VAR + i : INTEGER; + s : SET; BEGIN - Out.Open; - Out.String("Hello World!"); Out.Ln; + INC(i); + ASSERT(i = 1); + DEC(i); + ASSERT(i = 0); + + INCL(s, 3); + ASSERT(3 IN s); + EXCL(s, 3); + ASSERT(~(3 IN s)); END Test. + +Проверка встроенных процедур.