Добавлены процедуры INC DEC INCL EXCL

[dsw-obn.git] / Test.obn

diff --git a/Test.obn b/Test.obn
index 67132268d6a753e3cfdc990ac2dec0eaed6e1670..da1f5453089ca918510c6b19e914ac2dbbf33d42 100644 (file)
--- a/Test.obn
+++ b/Test.obn
@@ -2,12 +2,18 @@ MODULE Test;
 
 VAR
   i : INTEGER;
-  f : REAL;
-  d : LONGREAL;
+  s : SET;
 
 BEGIN
-  i := 5 DIV 3;
-  f := 5 / 3;
-  d := 5 / 3.0;
-  d := 5 / 3.0D0;
+  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.
+
+Проверка встроенных процедур.