![]() |
![]() |
|
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 XCONTRACT_ENFORCE_ASSUMPTION_0 | ( | expr, | |||
msg | ) | XCONTRACT_ENFORCE_CONDITION_TYPE_LEVEL_(XCONTRACT_NS_QUAL(xContract_intermediateAssumption), 0, expr, msg) |
Expresses an intermediate assumption enforcement.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
msg | The message associated with the enforcement |
|
b64 Library documentation © Synesis Software Pty Ltd, 2004-2012 |