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
int	xContract_isConditionVerified (xContract_violation_type_t type, int level, char const *file, unsigned line, char const *function, char const *expression)
	Application-defined function that determines whether a test for a given violation type at a given level should be verified.

---

Function Documentation

int xcontract::xContract_isConditionVerified	(	xContract_violation_type_t	type,
		int	level,
		char const *	file,
		unsigned	line,
		char const *	function,
		char const *	expression
	)

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