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