![]() |
![]() |
|
All types and functions are defined within this namespace in C++
Typedefs | |
typedef xContract_violation_type_t | violation_type_t |
Alias for xContract_violation_type_t. | |
typedef void(XCONTRACT_CALLCONV * | xContract_violationReport_fn_t )(char const *file, unsigned line, char const *function, char const *expression, char const *message, char const *qualifier, xContract_violation_type_t type, int level) |
Reporting function prototype. | |
typedef xContract_violationReport_fn_t | violationReport_fn_t |
Alias for xContract_violationReport_fn_t. | |
Enumerations | |
enum | xContract_violation_type_t { xContract_unexpectedCondition, xContract_precondition_logic, xContract_precondition_parameters, xContract_postcondition_returnValue, xContract_postcondition_logic, xContract_postcondition_parameters, xContract_invariant_class, xContract_invariant_global, xContract_staticData, xContract_intermediateAssumption } |
The possible violation types. More... | |
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. | |
XCONTRACT_CALL (void) xContract_violationReport(char const *file | |
Stock reporting function, invoked when a custom function is not specified. | |
XCONTRACT_CALL (char const *) xContract_getViolationTypeString(xContract_violation_type_t type) | |
C-style string corresponding to the given violation type. | |
XCONTRACT_CALL (size_t) xContract_getViolationTypeStringLength(xContract_violation_type_t type) | |
Length of the C-style string corresponding to the given violation type. |
Alias for xContract_violation_type_t.
Alias for xContract_violationReport_fn_t.
typedef void(XCONTRACT_CALLCONV * xContract_violationReport_fn_t)(char const *file, unsigned line, char const *function, char const *expression, char const *message, char const *qualifier, xContract_violation_type_t type, int level) |
Reporting function prototype.
The possible violation types.
|
b64 Library documentation © Synesis Software Pty Ltd, 2004-2012 |