|
3.9.1 ASSUME
Syntax:
ASSUME ( int_expression , expression )
Purpose:
- Tests the expression for correctness if the int_expression 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.
If the expression is evaluated and not true (i.e. does not evaluate to int(0) an error is raised.
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` **
|
|