Synesis Software STLSoft - ... Robust, Lightweight, Cross-platform, Template Software ...

Application-defined Functions


Detailed Description

These functions are defined by the application to modify the behaviour of the library in response to contract enforcement violations.


Functions

 XCONTRACT_CALL (int) xContract_isConditionVerified(xContract_violation_type_t type
 Application-defined function that determines whether a test for a given violation type at a given level should be verified.


Function Documentation

XCONTRACT_CALL ( int   ) 

Application-defined function that determines whether a test for a given violation type at a given level should be verified.

Parameters:
type The violation type
level The level
file The file in which the enforcement is expressed
line The file on which the enforcement is expressed
function The file within which the enforcement is expressed, May be NULL.
expression The enforcement expression
Returns:
A value that controls whether this instance
Return values:
0 The condition will not be verified
!=0 The condition will be verified


b64 Library documentation © Synesis Software Pty Ltd, 2004-2012