m3tk/src/misc/M3Assert.i3


Copyright (C) 1994, Digital Equipment Corp.

INTERFACE M3Assert;
The Check procedure is similar to the <*ASSERT*> pragma, except that, unlike the latter, it cannot be ignored by a compiler. Fail cause a program to output the message Assertion failed and then terminate.

PROCEDURE Check(assertion: BOOLEAN);
= IF NOT assertion THEN Fail() END

PROCEDURE Fail();

END M3Assert.