# TCCAssertion_Functions

#### Purpose

This module supports assertion handling

#### Module Parameters

-

#### Module depends on

-

Summary

TCCAssertion_Functions | This module supports assertion handling
Functions |
f_assert | Implement TTCN assertion.

### Functions

### f_assert

> external function f_assert( | charstring | pl_assertMessage,
> | boolean | pl_predicate | )

#### Purpose

Implement TTCN assertion.

#### Parameters

pl_assertMessage | in charstring - assertion message
pl_predicate | in boolean - boolean predicate

#### Return Value

-

#### Errors

-

#### Detailed description

At the point of this function call, the assertion predicate must be true, else assertion fails that results in a dynamic test case error To use assertion optimized build shall be switched on with switch -O2 and NDEBUG shall not be defined

> external function f_assert( | charstring | pl_assertMessage,
> | boolean | pl_predicate | )

Implement TTCN assertion.