DEADSOFTWARE

da1f5453089ca918510c6b19e914ac2dbbf33d42
[dsw-obn.git] / Test.obn
1 MODULE Test;
3 VAR
4 i : INTEGER;
5 s : SET;
7 BEGIN
8 INC(i);
9 ASSERT(i = 1);
10 DEC(i);
11 ASSERT(i = 0);
13 INCL(s, 3);
14 ASSERT(3 IN s);
15 EXCL(s, 3);
16 ASSERT(~(3 IN s));
17 END Test.
19 Проверка встроенных процедур.