3.9.1 ASSUME

Syntax:

ASSUME ( int_constant , expression )

Purpose:

Tests the expression for correctness if the int_constant is smaller as a variable assumeLevel. If no such variable exist the int expression is compared against 0. It is possible to define an individual assumeLevel for each library and/or procedure If the expression is evaluated and not true (i.e. does not evaluate to int(0) an error is raised.

Note: ASSUME shall be used for documentation and debugging,

production code of a library must never define assumeLevel.

Example:

ASSUME(0,2==2); // always tested ASSUME(1,1==2); // not evaluated int assumeLevel=2; ASSUME(1,1==2); ==> ? ASSUME failed: ASSUME(1,1==2); ==> ? error occurred in or before ./examples/ASSUME.sing line 4: ` ASSUME\ (1,1==2);` // setting a different assumeLevel for poly.lib: int Poly::assumeLevel=2; ==> Poly of type 'ANY'. Trying load. ==> // ** redefining `assumeLevel` **