assert_clause

[This is preliminary specification and subject to change.]

Group

Support predicates (more...)

Type

determ

Syntax

assert_clause( STRING BODY, STRING RESULT, INTEGER POS)

Flow patterns

(i,o,o)

Description:

asserts clause body and returns results
RESULT = "Ok" and POS = 0 if no errors detected

Sample:

No sample