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

Application Layer


Detailed Description

Remarks:
The names of these macros are intentionally long-winded in order that they are totally unambiguous.

The intention is that you will define your own, shorter, macros specific to your library/application


Defines

#define XCONTRACT_ENFORCE_UNEXPECTED_CONDITION(msg)   XCONTRACT_ENFORCE_CONDITION_TYPE_LEVEL_(XCONTRACT_NS_QUAL(xContract_unexpectedCondition), 0, NULL, msg)
 Expresses an unexpected condition enforcement.
#define XCONTRACT_ENFORCE_PRECONDITION_LOGIC_0(expr, msg)   XCONTRACT_ENFORCE_CONDITION_TYPE_LEVEL_(XCONTRACT_NS_QUAL(xContract_precondition_logic), 0, expr, msg)
 Expresses a precondition (logic) enforcement.
#define XCONTRACT_ENFORCE_PRECONDITION_LOGIC_1(expr, msg)   XCONTRACT_ENFORCE_CONDITION_TYPE_LEVEL_(XCONTRACT_NS_QUAL(xContract_precondition_logic), 1, expr, msg)
 Expresses a precondition (logic) enforcement.
#define XCONTRACT_ENFORCE_PRECONDITION_LOGIC_2(expr, msg)   XCONTRACT_ENFORCE_CONDITION_TYPE_LEVEL_(XCONTRACT_NS_QUAL(xContract_precondition_logic), 2, expr, msg)
 Expresses a precondition (logic) enforcement.
#define XCONTRACT_ENFORCE_PRECONDITION_LOGIC_3(expr, msg)   XCONTRACT_ENFORCE_CONDITION_TYPE_LEVEL_(XCONTRACT_NS_QUAL(xContract_precondition_logic), 3, expr, msg)
 Expresses a precondition (logic) enforcement.
#define XCONTRACT_ENFORCE_PRECONDITION_LOGIC_4(expr, msg)   XCONTRACT_ENFORCE_CONDITION_TYPE_LEVEL_(XCONTRACT_NS_QUAL(xContract_precondition_logic), 4, expr, msg)
 Expresses a precondition (logic) enforcement.
#define XCONTRACT_ENFORCE_PRECONDITION_PARAMETERS_0(expr, msg)   XCONTRACT_ENFORCE_CONDITION_TYPE_LEVEL_(XCONTRACT_NS_QUAL(xContract_precondition_parameters), 0, expr, msg)
 Expresses a precondition (parameters) enforcement.
#define XCONTRACT_ENFORCE_PRECONDITION_PARAMETERS_1(expr, msg)   XCONTRACT_ENFORCE_CONDITION_TYPE_LEVEL_(XCONTRACT_NS_QUAL(xContract_precondition_parameters), 1, expr, msg)
 Expresses a precondition (parameters) enforcement.
#define XCONTRACT_ENFORCE_PRECONDITION_PARAMETERS_2(expr, msg)   XCONTRACT_ENFORCE_CONDITION_TYPE_LEVEL_(XCONTRACT_NS_QUAL(xContract_precondition_parameters), 2, expr, msg)
 Expresses a precondition (parameters) enforcement.
#define XCONTRACT_ENFORCE_PRECONDITION_PARAMETERS_3(expr, msg)   XCONTRACT_ENFORCE_CONDITION_TYPE_LEVEL_(XCONTRACT_NS_QUAL(xContract_precondition_parameters), 3, expr, msg)
 Expresses a precondition (parameters) enforcement.
#define XCONTRACT_ENFORCE_PRECONDITION_PARAMETERS_4(expr, msg)   XCONTRACT_ENFORCE_CONDITION_TYPE_LEVEL_(XCONTRACT_NS_QUAL(xContract_precondition_parameters), 4, expr, msg)
 Expresses a precondition (parameters) enforcement.
#define XCONTRACT_ENFORCE_POSTCONDITION_RETURN_0(expr, msg)   XCONTRACT_ENFORCE_CONDITION_TYPE_LEVEL_(XCONTRACT_NS_QUAL(xContract_postcondition_returnValue), 0, expr, msg)
 Expresses a postcondition (return value) enforcement.
#define XCONTRACT_ENFORCE_POSTCONDITION_RETURN_1(expr, msg)   XCONTRACT_ENFORCE_CONDITION_TYPE_LEVEL_(XCONTRACT_NS_QUAL(xContract_postcondition_returnValue), 1, expr, msg)
 Expresses a postcondition (return value) enforcement.
#define XCONTRACT_ENFORCE_POSTCONDITION_RETURN_2(expr, msg)   XCONTRACT_ENFORCE_CONDITION_TYPE_LEVEL_(XCONTRACT_NS_QUAL(xContract_postcondition_returnValue), 2, expr, msg)
 Expresses a postcondition (return value) enforcement.
#define XCONTRACT_ENFORCE_POSTCONDITION_RETURN_3(expr, msg)   XCONTRACT_ENFORCE_CONDITION_TYPE_LEVEL_(XCONTRACT_NS_QUAL(xContract_postcondition_returnValue), 3, expr, msg)
 Expresses a postcondition (return value) enforcement.
#define XCONTRACT_ENFORCE_POSTCONDITION_RETURN_4(expr, msg)   XCONTRACT_ENFORCE_CONDITION_TYPE_LEVEL_(XCONTRACT_NS_QUAL(xContract_postcondition_returnValue), 4, expr, msg)
 Expresses a postcondition (return value) enforcement.
#define XCONTRACT_ENFORCE_POSTCONDITION_LOGIC_0(expr, msg)   XCONTRACT_ENFORCE_CONDITION_TYPE_LEVEL_(XCONTRACT_NS_QUAL(xContract_postcondition_logic), 0, expr, msg)
 Expresses a postcondition (logic) enforcement.
#define XCONTRACT_ENFORCE_POSTCONDITION_LOGIC_1(expr, msg)   XCONTRACT_ENFORCE_CONDITION_TYPE_LEVEL_(XCONTRACT_NS_QUAL(xContract_postcondition_logic), 1, expr, msg)
 Expresses a postcondition (logic) enforcement.
#define XCONTRACT_ENFORCE_POSTCONDITION_LOGIC_2(expr, msg)   XCONTRACT_ENFORCE_CONDITION_TYPE_LEVEL_(XCONTRACT_NS_QUAL(xContract_postcondition_logic), 2, expr, msg)
 Expresses a postcondition (logic) enforcement.
#define XCONTRACT_ENFORCE_POSTCONDITION_LOGIC_3(expr, msg)   XCONTRACT_ENFORCE_CONDITION_TYPE_LEVEL_(XCONTRACT_NS_QUAL(xContract_postcondition_logic), 3, expr, msg)
 Expresses a postcondition (logic) enforcement.
#define XCONTRACT_ENFORCE_POSTCONDITION_LOGIC_4(expr, msg)   XCONTRACT_ENFORCE_CONDITION_TYPE_LEVEL_(XCONTRACT_NS_QUAL(xContract_postcondition_logic), 4, expr, msg)
 Expresses a postcondition (logic) enforcement.
#define XCONTRACT_ENFORCE_POSTCONDITION_PARAMETERS_0(expr, msg)   XCONTRACT_ENFORCE_CONDITION_TYPE_LEVEL_(XCONTRACT_NS_QUAL(xContract_postcondition_parameters), 0, expr, msg)
 Expresses a postcondition (parameters) enforcement.
#define XCONTRACT_ENFORCE_POSTCONDITION_PARAMETERS_1(expr, msg)   XCONTRACT_ENFORCE_CONDITION_TYPE_LEVEL_(XCONTRACT_NS_QUAL(xContract_postcondition_parameters), 1, expr, msg)
 Expresses a postcondition (parameters) enforcement.
#define XCONTRACT_ENFORCE_POSTCONDITION_PARAMETERS_2(expr, msg)   XCONTRACT_ENFORCE_CONDITION_TYPE_LEVEL_(XCONTRACT_NS_QUAL(xContract_postcondition_parameters), 2, expr, msg)
 Expresses a postcondition (parameters) enforcement.
#define XCONTRACT_ENFORCE_POSTCONDITION_PARAMETERS_3(expr, msg)   XCONTRACT_ENFORCE_CONDITION_TYPE_LEVEL_(XCONTRACT_NS_QUAL(xContract_postcondition_parameters), 3, expr, msg)
 Expresses a postcondition (parameters) enforcement.
#define XCONTRACT_ENFORCE_POSTCONDITION_PARAMETERS_4(expr, msg)   XCONTRACT_ENFORCE_CONDITION_TYPE_LEVEL_(XCONTRACT_NS_QUAL(xContract_postcondition_parameters), 4, expr, msg)
 Expresses a postcondition (parameters) enforcement.
#define XCONTRACT_ENFORCE_CLASS_INVARIANT_0(expr, msg)   XCONTRACT_ENFORCE_CONDITION_TYPE_LEVEL_(XCONTRACT_NS_QUAL(xContract_invariant_class), 0, expr, msg)
 Expresses class invariant enforcement.
#define XCONTRACT_ENFORCE_CLASS_INVARIANT_1(expr, msg)   XCONTRACT_ENFORCE_CONDITION_TYPE_LEVEL_(XCONTRACT_NS_QUAL(xContract_invariant_class), 1, expr, msg)
 Expresses class invariant enforcement.
#define XCONTRACT_ENFORCE_CLASS_INVARIANT_2(expr, msg)   XCONTRACT_ENFORCE_CONDITION_TYPE_LEVEL_(XCONTRACT_NS_QUAL(xContract_invariant_class), 2, expr, msg)
 Expresses class invariant enforcement.
#define XCONTRACT_ENFORCE_CLASS_INVARIANT_3(expr, msg)   XCONTRACT_ENFORCE_CONDITION_TYPE_LEVEL_(XCONTRACT_NS_QUAL(xContract_invariant_class), 3, expr, msg)
 Expresses class invariant enforcement.
#define XCONTRACT_ENFORCE_CLASS_INVARIANT_4(expr, msg)   XCONTRACT_ENFORCE_CONDITION_TYPE_LEVEL_(XCONTRACT_NS_QUAL(xContract_invariant_class), 4, expr, msg)
 Expresses class invariant enforcement.
#define XCONTRACT_ENFORCE_GLOBAL_INVARIANT_0(expr, msg)   XCONTRACT_ENFORCE_CONDITION_TYPE_LEVEL_(XCONTRACT_NS_QUAL(xContract_invariant_global), 0, expr, msg)
 Expresses global invariant enforcement.
#define XCONTRACT_ENFORCE_GLOBAL_INVARIANT_1(expr, msg)   XCONTRACT_ENFORCE_CONDITION_TYPE_LEVEL_(XCONTRACT_NS_QUAL(xContract_invariant_global), 1, expr, msg)
 Expresses global invariant enforcement.
#define XCONTRACT_ENFORCE_GLOBAL_INVARIANT_2(expr, msg)   XCONTRACT_ENFORCE_CONDITION_TYPE_LEVEL_(XCONTRACT_NS_QUAL(xContract_invariant_global), 2, expr, msg)
 Expresses global invariant enforcement.
#define XCONTRACT_ENFORCE_GLOBAL_INVARIANT_3(expr, msg)   XCONTRACT_ENFORCE_CONDITION_TYPE_LEVEL_(XCONTRACT_NS_QUAL(xContract_invariant_global), 3, expr, msg)
 Expresses global invariant enforcement.
#define XCONTRACT_ENFORCE_GLOBAL_INVARIANT_4(expr, msg)   XCONTRACT_ENFORCE_CONDITION_TYPE_LEVEL_(XCONTRACT_NS_QUAL(xContract_invariant_global), 4, expr, msg)
 Expresses global invariant enforcement.
#define XCONTRACT_ENFORCE_STATIC_DATA_0(expr, msg)   XCONTRACT_ENFORCE_CONDITION_TYPE_LEVEL_(XCONTRACT_NS_QUAL(xContract_staticData), 0, expr, msg)
 Expresses static data enforcement.
#define XCONTRACT_ENFORCE_STATIC_DATA_1(expr, msg)   XCONTRACT_ENFORCE_CONDITION_TYPE_LEVEL_(XCONTRACT_NS_QUAL(xContract_staticData), 1, expr, msg)
 Expresses static data enforcement.
#define XCONTRACT_ENFORCE_STATIC_DATA_2(expr, msg)   XCONTRACT_ENFORCE_CONDITION_TYPE_LEVEL_(XCONTRACT_NS_QUAL(xContract_staticData), 2, expr, msg)
 Expresses static data enforcement.
#define XCONTRACT_ENFORCE_STATIC_DATA_3(expr, msg)   XCONTRACT_ENFORCE_CONDITION_TYPE_LEVEL_(XCONTRACT_NS_QUAL(xContract_staticData), 3, expr, msg)
 Expresses static data enforcement.
#define XCONTRACT_ENFORCE_STATIC_DATA_4(expr, msg)   XCONTRACT_ENFORCE_CONDITION_TYPE_LEVEL_(XCONTRACT_NS_QUAL(xContract_staticData), 4, expr, msg)
 Expresses static data enforcement.
#define XCONTRACT_ENFORCE_ASSUMPTION_0(expr, msg)   XCONTRACT_ENFORCE_CONDITION_TYPE_LEVEL_(XCONTRACT_NS_QUAL(xContract_intermediateAssumption), 0, expr, msg)
 Expresses an intermediate assumption enforcement.
#define XCONTRACT_ENFORCE_ASSUMPTION_1(expr, msg)   XCONTRACT_ENFORCE_CONDITION_TYPE_LEVEL_(XCONTRACT_NS_QUAL(xContract_intermediateAssumption), 1, expr, msg)
 Expresses an intermediate assumption enforcement.
#define XCONTRACT_ENFORCE_ASSUMPTION_2(expr, msg)   XCONTRACT_ENFORCE_CONDITION_TYPE_LEVEL_(XCONTRACT_NS_QUAL(xContract_intermediateAssumption), 2, expr, msg)
 Expresses an intermediate assumption enforcement.
#define XCONTRACT_ENFORCE_ASSUMPTION_3(expr, msg)   XCONTRACT_ENFORCE_CONDITION_TYPE_LEVEL_(XCONTRACT_NS_QUAL(xContract_intermediateAssumption), 3, expr, msg)
 Expresses an intermediate assumption enforcement.
#define XCONTRACT_ENFORCE_ASSUMPTION_4(expr, msg)   XCONTRACT_ENFORCE_CONDITION_TYPE_LEVEL_(XCONTRACT_NS_QUAL(xContract_intermediateAssumption), 4, expr, msg)
 Expresses an intermediate assumption enforcement.


Define Documentation

#define XCONTRACT_ENFORCE_ASSUMPTION_0 ( expr,
msg   )     XCONTRACT_ENFORCE_CONDITION_TYPE_LEVEL_(XCONTRACT_NS_QUAL(xContract_intermediateAssumption), 0, expr, msg)

Expresses an intermediate assumption enforcement.

Parameters:
expr The expression whose truth is enforced
msg The message associated with the enforcement

#define XCONTRACT_ENFORCE_ASSUMPTION_1 ( expr,
msg   )     XCONTRACT_ENFORCE_CONDITION_TYPE_LEVEL_(XCONTRACT_NS_QUAL(xContract_intermediateAssumption), 1, expr, msg)

Expresses an intermediate assumption enforcement.

Parameters:
expr The expression whose truth is enforced
msg The message associated with the enforcement

#define XCONTRACT_ENFORCE_ASSUMPTION_2 ( expr,
msg   )     XCONTRACT_ENFORCE_CONDITION_TYPE_LEVEL_(XCONTRACT_NS_QUAL(xContract_intermediateAssumption), 2, expr, msg)

Expresses an intermediate assumption enforcement.

Parameters:
expr The expression whose truth is enforced
msg The message associated with the enforcement

#define XCONTRACT_ENFORCE_ASSUMPTION_3 ( expr,
msg   )     XCONTRACT_ENFORCE_CONDITION_TYPE_LEVEL_(XCONTRACT_NS_QUAL(xContract_intermediateAssumption), 3, expr, msg)

Expresses an intermediate assumption enforcement.

Parameters:
expr The expression whose truth is enforced
msg The message associated with the enforcement

#define XCONTRACT_ENFORCE_ASSUMPTION_4 ( expr,
msg   )     XCONTRACT_ENFORCE_CONDITION_TYPE_LEVEL_(XCONTRACT_NS_QUAL(xContract_intermediateAssumption), 4, expr, msg)

Expresses an intermediate assumption enforcement.

Parameters:
expr The expression whose truth is enforced
msg The message associated with the enforcement

#define XCONTRACT_ENFORCE_CLASS_INVARIANT_0 ( expr,
msg   )     XCONTRACT_ENFORCE_CONDITION_TYPE_LEVEL_(XCONTRACT_NS_QUAL(xContract_invariant_class), 0, expr, msg)

Expresses class invariant enforcement.

Parameters:
expr The expression whose truth is enforced
msg The message associated with the enforcement

#define XCONTRACT_ENFORCE_CLASS_INVARIANT_1 ( expr,
msg   )     XCONTRACT_ENFORCE_CONDITION_TYPE_LEVEL_(XCONTRACT_NS_QUAL(xContract_invariant_class), 1, expr, msg)

Expresses class invariant enforcement.

Parameters:
expr The expression whose truth is enforced
msg The message associated with the enforcement

#define XCONTRACT_ENFORCE_CLASS_INVARIANT_2 ( expr,
msg   )     XCONTRACT_ENFORCE_CONDITION_TYPE_LEVEL_(XCONTRACT_NS_QUAL(xContract_invariant_class), 2, expr, msg)

Expresses class invariant enforcement.

Parameters:
expr The expression whose truth is enforced
msg The message associated with the enforcement

#define XCONTRACT_ENFORCE_CLASS_INVARIANT_3 ( expr,
msg   )     XCONTRACT_ENFORCE_CONDITION_TYPE_LEVEL_(XCONTRACT_NS_QUAL(xContract_invariant_class), 3, expr, msg)

Expresses class invariant enforcement.

Parameters:
expr The expression whose truth is enforced
msg The message associated with the enforcement

#define XCONTRACT_ENFORCE_CLASS_INVARIANT_4 ( expr,
msg   )     XCONTRACT_ENFORCE_CONDITION_TYPE_LEVEL_(XCONTRACT_NS_QUAL(xContract_invariant_class), 4, expr, msg)

Expresses class invariant enforcement.

Parameters:
expr The expression whose truth is enforced
msg The message associated with the enforcement

#define XCONTRACT_ENFORCE_GLOBAL_INVARIANT_0 ( expr,
msg   )     XCONTRACT_ENFORCE_CONDITION_TYPE_LEVEL_(XCONTRACT_NS_QUAL(xContract_invariant_global), 0, expr, msg)

Expresses global invariant enforcement.

Parameters:
expr The expression whose truth is enforced
msg The message associated with the enforcement

#define XCONTRACT_ENFORCE_GLOBAL_INVARIANT_1 ( expr,
msg   )     XCONTRACT_ENFORCE_CONDITION_TYPE_LEVEL_(XCONTRACT_NS_QUAL(xContract_invariant_global), 1, expr, msg)

Expresses global invariant enforcement.

Parameters:
expr The expression whose truth is enforced
msg The message associated with the enforcement

#define XCONTRACT_ENFORCE_GLOBAL_INVARIANT_2 ( expr,
msg   )     XCONTRACT_ENFORCE_CONDITION_TYPE_LEVEL_(XCONTRACT_NS_QUAL(xContract_invariant_global), 2, expr, msg)

Expresses global invariant enforcement.

Parameters:
expr The expression whose truth is enforced
msg The message associated with the enforcement

#define XCONTRACT_ENFORCE_GLOBAL_INVARIANT_3 ( expr,
msg   )     XCONTRACT_ENFORCE_CONDITION_TYPE_LEVEL_(XCONTRACT_NS_QUAL(xContract_invariant_global), 3, expr, msg)

Expresses global invariant enforcement.

Parameters:
expr The expression whose truth is enforced
msg The message associated with the enforcement

#define XCONTRACT_ENFORCE_GLOBAL_INVARIANT_4 ( expr,
msg   )     XCONTRACT_ENFORCE_CONDITION_TYPE_LEVEL_(XCONTRACT_NS_QUAL(xContract_invariant_global), 4, expr, msg)

Expresses global invariant enforcement.

Parameters:
expr The expression whose truth is enforced
msg The message associated with the enforcement

#define XCONTRACT_ENFORCE_POSTCONDITION_LOGIC_0 ( expr,
msg   )     XCONTRACT_ENFORCE_CONDITION_TYPE_LEVEL_(XCONTRACT_NS_QUAL(xContract_postcondition_logic), 0, expr, msg)

Expresses a postcondition (logic) enforcement.

Parameters:
expr The expression whose truth is enforced
msg The message associated with the enforcement

#define XCONTRACT_ENFORCE_POSTCONDITION_LOGIC_1 ( expr,
msg   )     XCONTRACT_ENFORCE_CONDITION_TYPE_LEVEL_(XCONTRACT_NS_QUAL(xContract_postcondition_logic), 1, expr, msg)

Expresses a postcondition (logic) enforcement.

Parameters:
expr The expression whose truth is enforced
msg The message associated with the enforcement

#define XCONTRACT_ENFORCE_POSTCONDITION_LOGIC_2 ( expr,
msg   )     XCONTRACT_ENFORCE_CONDITION_TYPE_LEVEL_(XCONTRACT_NS_QUAL(xContract_postcondition_logic), 2, expr, msg)

Expresses a postcondition (logic) enforcement.

Parameters:
expr The expression whose truth is enforced
msg The message associated with the enforcement

#define XCONTRACT_ENFORCE_POSTCONDITION_LOGIC_3 ( expr,
msg   )     XCONTRACT_ENFORCE_CONDITION_TYPE_LEVEL_(XCONTRACT_NS_QUAL(xContract_postcondition_logic), 3, expr, msg)

Expresses a postcondition (logic) enforcement.

Parameters:
expr The expression whose truth is enforced
msg The message associated with the enforcement

#define XCONTRACT_ENFORCE_POSTCONDITION_LOGIC_4 ( expr,
msg   )     XCONTRACT_ENFORCE_CONDITION_TYPE_LEVEL_(XCONTRACT_NS_QUAL(xContract_postcondition_logic), 4, expr, msg)

Expresses a postcondition (logic) enforcement.

Parameters:
expr The expression whose truth is enforced
msg The message associated with the enforcement

#define XCONTRACT_ENFORCE_POSTCONDITION_PARAMETERS_0 ( expr,
msg   )     XCONTRACT_ENFORCE_CONDITION_TYPE_LEVEL_(XCONTRACT_NS_QUAL(xContract_postcondition_parameters), 0, expr, msg)

Expresses a postcondition (parameters) enforcement.

Parameters:
expr The expression whose truth is enforced
msg The message associated with the enforcement

#define XCONTRACT_ENFORCE_POSTCONDITION_PARAMETERS_1 ( expr,
msg   )     XCONTRACT_ENFORCE_CONDITION_TYPE_LEVEL_(XCONTRACT_NS_QUAL(xContract_postcondition_parameters), 1, expr, msg)

Expresses a postcondition (parameters) enforcement.

Parameters:
expr The expression whose truth is enforced
msg The message associated with the enforcement

#define XCONTRACT_ENFORCE_POSTCONDITION_PARAMETERS_2 ( expr,
msg   )     XCONTRACT_ENFORCE_CONDITION_TYPE_LEVEL_(XCONTRACT_NS_QUAL(xContract_postcondition_parameters), 2, expr, msg)

Expresses a postcondition (parameters) enforcement.

Parameters:
expr The expression whose truth is enforced
msg The message associated with the enforcement

#define XCONTRACT_ENFORCE_POSTCONDITION_PARAMETERS_3 ( expr,
msg   )     XCONTRACT_ENFORCE_CONDITION_TYPE_LEVEL_(XCONTRACT_NS_QUAL(xContract_postcondition_parameters), 3, expr, msg)

Expresses a postcondition (parameters) enforcement.

Parameters:
expr The expression whose truth is enforced
msg The message associated with the enforcement

#define XCONTRACT_ENFORCE_POSTCONDITION_PARAMETERS_4 ( expr,
msg   )     XCONTRACT_ENFORCE_CONDITION_TYPE_LEVEL_(XCONTRACT_NS_QUAL(xContract_postcondition_parameters), 4, expr, msg)

Expresses a postcondition (parameters) enforcement.

Parameters:
expr The expression whose truth is enforced
msg The message associated with the enforcement

#define XCONTRACT_ENFORCE_POSTCONDITION_RETURN_0 ( expr,
msg   )     XCONTRACT_ENFORCE_CONDITION_TYPE_LEVEL_(XCONTRACT_NS_QUAL(xContract_postcondition_returnValue), 0, expr, msg)

Expresses a postcondition (return value) enforcement.

Parameters:
expr The expression whose truth is enforced
msg The message associated with the enforcement

#define XCONTRACT_ENFORCE_POSTCONDITION_RETURN_1 ( expr,
msg   )     XCONTRACT_ENFORCE_CONDITION_TYPE_LEVEL_(XCONTRACT_NS_QUAL(xContract_postcondition_returnValue), 1, expr, msg)

Expresses a postcondition (return value) enforcement.

Parameters:
expr The expression whose truth is enforced
msg The message associated with the enforcement

#define XCONTRACT_ENFORCE_POSTCONDITION_RETURN_2 ( expr,
msg   )     XCONTRACT_ENFORCE_CONDITION_TYPE_LEVEL_(XCONTRACT_NS_QUAL(xContract_postcondition_returnValue), 2, expr, msg)

Expresses a postcondition (return value) enforcement.

Parameters:
expr The expression whose truth is enforced
msg The message associated with the enforcement

#define XCONTRACT_ENFORCE_POSTCONDITION_RETURN_3 ( expr,
msg   )     XCONTRACT_ENFORCE_CONDITION_TYPE_LEVEL_(XCONTRACT_NS_QUAL(xContract_postcondition_returnValue), 3, expr, msg)

Expresses a postcondition (return value) enforcement.

Parameters:
expr The expression whose truth is enforced
msg The message associated with the enforcement

#define XCONTRACT_ENFORCE_POSTCONDITION_RETURN_4 ( expr,
msg   )     XCONTRACT_ENFORCE_CONDITION_TYPE_LEVEL_(XCONTRACT_NS_QUAL(xContract_postcondition_returnValue), 4, expr, msg)

Expresses a postcondition (return value) enforcement.

Parameters:
expr The expression whose truth is enforced
msg The message associated with the enforcement

#define XCONTRACT_ENFORCE_PRECONDITION_LOGIC_0 ( expr,
msg   )     XCONTRACT_ENFORCE_CONDITION_TYPE_LEVEL_(XCONTRACT_NS_QUAL(xContract_precondition_logic), 0, expr, msg)

Expresses a precondition (logic) enforcement.

Parameters:
expr The expression whose truth is enforced
msg The message associated with the enforcement

#define XCONTRACT_ENFORCE_PRECONDITION_LOGIC_1 ( expr,
msg   )     XCONTRACT_ENFORCE_CONDITION_TYPE_LEVEL_(XCONTRACT_NS_QUAL(xContract_precondition_logic), 1, expr, msg)

Expresses a precondition (logic) enforcement.

Parameters:
expr The expression whose truth is enforced
msg The message associated with the enforcement

#define XCONTRACT_ENFORCE_PRECONDITION_LOGIC_2 ( expr,
msg   )     XCONTRACT_ENFORCE_CONDITION_TYPE_LEVEL_(XCONTRACT_NS_QUAL(xContract_precondition_logic), 2, expr, msg)

Expresses a precondition (logic) enforcement.

Parameters:
expr The expression whose truth is enforced
msg The message associated with the enforcement

#define XCONTRACT_ENFORCE_PRECONDITION_LOGIC_3 ( expr,
msg   )     XCONTRACT_ENFORCE_CONDITION_TYPE_LEVEL_(XCONTRACT_NS_QUAL(xContract_precondition_logic), 3, expr, msg)

Expresses a precondition (logic) enforcement.

Parameters:
expr The expression whose truth is enforced
msg The message associated with the enforcement

#define XCONTRACT_ENFORCE_PRECONDITION_LOGIC_4 ( expr,
msg   )     XCONTRACT_ENFORCE_CONDITION_TYPE_LEVEL_(XCONTRACT_NS_QUAL(xContract_precondition_logic), 4, expr, msg)

Expresses a precondition (logic) enforcement.

Parameters:
expr The expression whose truth is enforced
msg The message associated with the enforcement

#define XCONTRACT_ENFORCE_PRECONDITION_PARAMETERS_0 ( expr,
msg   )     XCONTRACT_ENFORCE_CONDITION_TYPE_LEVEL_(XCONTRACT_NS_QUAL(xContract_precondition_parameters), 0, expr, msg)

Expresses a precondition (parameters) enforcement.

Parameters:
expr The expression whose truth is enforced
msg The message associated with the enforcement

#define XCONTRACT_ENFORCE_PRECONDITION_PARAMETERS_1 ( expr,
msg   )     XCONTRACT_ENFORCE_CONDITION_TYPE_LEVEL_(XCONTRACT_NS_QUAL(xContract_precondition_parameters), 1, expr, msg)

Expresses a precondition (parameters) enforcement.

Parameters:
expr The expression whose truth is enforced
msg The message associated with the enforcement

#define XCONTRACT_ENFORCE_PRECONDITION_PARAMETERS_2 ( expr,
msg   )     XCONTRACT_ENFORCE_CONDITION_TYPE_LEVEL_(XCONTRACT_NS_QUAL(xContract_precondition_parameters), 2, expr, msg)

Expresses a precondition (parameters) enforcement.

Parameters:
expr The expression whose truth is enforced
msg The message associated with the enforcement

#define XCONTRACT_ENFORCE_PRECONDITION_PARAMETERS_3 ( expr,
msg   )     XCONTRACT_ENFORCE_CONDITION_TYPE_LEVEL_(XCONTRACT_NS_QUAL(xContract_precondition_parameters), 3, expr, msg)

Expresses a precondition (parameters) enforcement.

Parameters:
expr The expression whose truth is enforced
msg The message associated with the enforcement

#define XCONTRACT_ENFORCE_PRECONDITION_PARAMETERS_4 ( expr,
msg   )     XCONTRACT_ENFORCE_CONDITION_TYPE_LEVEL_(XCONTRACT_NS_QUAL(xContract_precondition_parameters), 4, expr, msg)

Expresses a precondition (parameters) enforcement.

Parameters:
expr The expression whose truth is enforced
msg The message associated with the enforcement

#define XCONTRACT_ENFORCE_STATIC_DATA_0 ( expr,
msg   )     XCONTRACT_ENFORCE_CONDITION_TYPE_LEVEL_(XCONTRACT_NS_QUAL(xContract_staticData), 0, expr, msg)

Expresses static data enforcement.

Parameters:
expr The expression whose truth is enforced
msg The message associated with the enforcement

#define XCONTRACT_ENFORCE_STATIC_DATA_1 ( expr,
msg   )     XCONTRACT_ENFORCE_CONDITION_TYPE_LEVEL_(XCONTRACT_NS_QUAL(xContract_staticData), 1, expr, msg)

Expresses static data enforcement.

Parameters:
expr The expression whose truth is enforced
msg The message associated with the enforcement

#define XCONTRACT_ENFORCE_STATIC_DATA_2 ( expr,
msg   )     XCONTRACT_ENFORCE_CONDITION_TYPE_LEVEL_(XCONTRACT_NS_QUAL(xContract_staticData), 2, expr, msg)

Expresses static data enforcement.

Parameters:
expr The expression whose truth is enforced
msg The message associated with the enforcement

#define XCONTRACT_ENFORCE_STATIC_DATA_3 ( expr,
msg   )     XCONTRACT_ENFORCE_CONDITION_TYPE_LEVEL_(XCONTRACT_NS_QUAL(xContract_staticData), 3, expr, msg)

Expresses static data enforcement.

Parameters:
expr The expression whose truth is enforced
msg The message associated with the enforcement

#define XCONTRACT_ENFORCE_STATIC_DATA_4 ( expr,
msg   )     XCONTRACT_ENFORCE_CONDITION_TYPE_LEVEL_(XCONTRACT_NS_QUAL(xContract_staticData), 4, expr, msg)

Expresses static data enforcement.

Parameters:
expr The expression whose truth is enforced
msg The message associated with the enforcement

#define XCONTRACT_ENFORCE_UNEXPECTED_CONDITION ( msg   )     XCONTRACT_ENFORCE_CONDITION_TYPE_LEVEL_(XCONTRACT_NS_QUAL(xContract_unexpectedCondition), 0, NULL, msg)

Expresses an unexpected condition enforcement.

Parameters:
msg The message associated with the enforcement


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