|
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.
If the expression is evaluated and not true (i.e. does not evaluate to int(0) an error is raised.
Example:
|