BlackBox Component Builder Forums

Code: Select all

MODULE  TestSet64;

	IMPORT  Log := StdLog,  In,  Math;

	TYPE
		Set = POINTER TO RECORD
			a, b: SET;
		END;

	PROCEDURE (s: Set) Add (n: BYTE), NEW;
	BEGIN
		ASSERT(n >= 0, 20); ASSERT(n < 64, 21);
		IF n < 32 THEN
			s.a := s.a + {n}
		ELSE
			s.b := s.b + {n-32}
		END
	END Add;

	PROCEDURE (s: Set) Remove (n: BYTE), NEW;
	BEGIN
		ASSERT(n >= 0, 20); ASSERT(n < 64, 21);
		IF n < 32 THEN
			s.a := s.a - {n}
		ELSE
			s.b := s.b - {n-32}
		END
	END Remove;

	PROCEDURE (s: Set) Check (n: BYTE): BOOLEAN, NEW;
	BEGIN
		ASSERT(n >= 0, 20); ASSERT(n < 64, 21);
		IF n < 32 THEN
			RETURN n IN s.a
		ELSE
			RETURN n-32 IN s.b
		END
	END Check;


END TestSet64.