X-Git-Url: https://deadsoftware.ru/gitweb?a=blobdiff_plain;f=Test.obn;h=da1f5453089ca918510c6b19e914ac2dbbf33d42;hb=9b4f78290edb5f5bedeb12e683546fa00082f108;hp=4bde081725ba53658bd7868205734120600492d7;hpb=75d0fd92a5342358f37ed9369ccce9355273e51a;p=dsw-obn.git diff --git a/Test.obn b/Test.obn index 4bde081..da1f545 100644 --- a/Test.obn +++ b/Test.obn @@ -1,23 +1,19 @@ MODULE Test; -IMPORT Out; +VAR + i : INTEGER; + s : SET; BEGIN - IF "abc" = "abc" THEN - Out.String("Equal abc = abc"); Out.Ln; - ELSE - Out.String("WAT: MUST BE abc = abc"); Out.Ln; - END; + INC(i); + ASSERT(i = 1); + DEC(i); + ASSERT(i = 0); - IF "cba" > "abc" THEN - Out.String("Great cba > abc"); Out.Ln; - ELSE - Out.String("WAT: MUST BE cba = abc"); Out.Ln; - END; - - IF "abc" < "bc" THEN - Out.String("Less abc < bc"); Out.Ln; - ELSE - Out.String("WAT: MUST BE abc < bc"); Out.Ln; - END; + INCL(s, 3); + ASSERT(3 IN s); + EXCL(s, 3); + ASSERT(~(3 IN s)); END Test. + +Проверка встроенных процедур.