diff --git a/Test.obn b/Test.obn
index da1f5453089ca918510c6b19e914ac2dbbf33d42..3c869eab01977277c2f1c68f2cbc88b4f80319ea 100644 (file)
--- a/Test.obn
+++ b/Test.obn
MODULE Test;
+IMPORT SYSTEM, Out;
+
VAR
- i : INTEGER;
- s : SET;
+ i, j : INTEGER;
BEGIN
- INC(i);
- ASSERT(i = 1);
- DEC(i);
- ASSERT(i = 0);
+ i := 1;
+ j := -32;
+ Out.Int(SYSTEM.ROT(i, -1), 0); Out.String(" = "); Out.Int(SYSTEM.ROT(1, -1), 0); Out.Ln;
+ Out.Int(SYSTEM.ROT(i, 1), 0); Out.String(" = "); Out.Int(SYSTEM.ROT(1, 1), 0); Out.Ln;
+ Out.Int(SYSTEM.ROT(j, -1), 0); Out.String(" = "); Out.Int(SYSTEM.ROT(-32, -1), 0); Out.Ln;
+ Out.Int(SYSTEM.ROT(j, 1), 0); Out.String(" = "); Out.Int(SYSTEM.ROT(-32, 1), 0); Out.Ln;
- INCL(s, 3);
- ASSERT(3 IN s);
- EXCL(s, 3);
- ASSERT(~(3 IN s));
-END Test.
+ ASSERT(SYSTEM.ROT(i, -1) = SYSTEM.ROT(1, -1));
-Проверка встроенных процедур.
+ ASSERT(SYSTEM.ROT(i, 1) = SYSTEM.ROT(1, 1));
+END Test.