X-Git-Url: http://deadsoftware.ru/gitweb?a=blobdiff_plain;f=Test.obn;h=da1f5453089ca918510c6b19e914ac2dbbf33d42;hb=9b4f78290edb5f5bedeb12e683546fa00082f108;hp=682b0a049b547a2b7d2497bb118f985e1492fafa;hpb=844ae6c007ac4606ad4ac3938876b67c014bb5eb;p=dsw-obn.git diff --git a/Test.obn b/Test.obn index 682b0a0..da1f545 100644 --- a/Test.obn +++ b/Test.obn @@ -1,13 +1,19 @@ MODULE Test; -IMPORT - Out, - System; +VAR + i : INTEGER; + s : SET; BEGIN - Out.Open; - IF FALSE THEN - Out.String("Hello World!"); Out.Ln; - END; - System.Halt(1); + 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. + +Проверка встроенных процедур.