Assertions are a way of breaking out of code when there is an error or an unexpected input.

Some languages throw exceptions and some treat it as a break point.



Task

Show an assertion in your language by asserting that an integer variable is equal to 42.




 
MODULE Assertions;
VAR 
	x: INTEGER;
PROCEDURE DoIt*;
BEGIN 
	x := 41;
	ASSERT(x = 42);
END DoIt;
END Assertions.
 
Assertions.DoIt
 