![]() |
![]() |
|
All types and functions are defined within this namespace in C++
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. |
The possible violation types.
|
b64 Library documentation © Synesis Software Pty Ltd, 2004-2007 |