xcontract

What is xContract?

Users of xContract

Contact & Feedback

Examples and Tutorials

Building and Linking to the Libraries

Modules

Application Layer

Defines

XCONTRACT_ENFORCE_ASSUMPTION_0

XCONTRACT_ENFORCE_ASSUMPTION_1

XCONTRACT_ENFORCE_ASSUMPTION_2

XCONTRACT_ENFORCE_ASSUMPTION_3

XCONTRACT_ENFORCE_ASSUMPTION_4

XCONTRACT_ENFORCE_CLASS_INVARIANT_0

XCONTRACT_ENFORCE_CLASS_INVARIANT_1

XCONTRACT_ENFORCE_CLASS_INVARIANT_2

XCONTRACT_ENFORCE_CLASS_INVARIANT_3

XCONTRACT_ENFORCE_CLASS_INVARIANT_4

XCONTRACT_ENFORCE_GLOBAL_INVARIANT_0

XCONTRACT_ENFORCE_GLOBAL_INVARIANT_1

XCONTRACT_ENFORCE_GLOBAL_INVARIANT_2

XCONTRACT_ENFORCE_GLOBAL_INVARIANT_3

XCONTRACT_ENFORCE_GLOBAL_INVARIANT_4

XCONTRACT_ENFORCE_POSTCONDITION_LOGIC_0

XCONTRACT_ENFORCE_POSTCONDITION_LOGIC_1

XCONTRACT_ENFORCE_POSTCONDITION_LOGIC_2

XCONTRACT_ENFORCE_POSTCONDITION_LOGIC_3

XCONTRACT_ENFORCE_POSTCONDITION_LOGIC_4

XCONTRACT_ENFORCE_POSTCONDITION_PARAMETERS_0

XCONTRACT_ENFORCE_POSTCONDITION_PARAMETERS_1

XCONTRACT_ENFORCE_POSTCONDITION_PARAMETERS_2

XCONTRACT_ENFORCE_POSTCONDITION_PARAMETERS_3

XCONTRACT_ENFORCE_POSTCONDITION_PARAMETERS_4

XCONTRACT_ENFORCE_POSTCONDITION_RETURN_0

XCONTRACT_ENFORCE_POSTCONDITION_RETURN_1

XCONTRACT_ENFORCE_POSTCONDITION_RETURN_2

XCONTRACT_ENFORCE_POSTCONDITION_RETURN_3

XCONTRACT_ENFORCE_POSTCONDITION_RETURN_4

XCONTRACT_ENFORCE_PRECONDITION_LOGIC_0

XCONTRACT_ENFORCE_PRECONDITION_LOGIC_1

XCONTRACT_ENFORCE_PRECONDITION_LOGIC_2

XCONTRACT_ENFORCE_PRECONDITION_LOGIC_3

XCONTRACT_ENFORCE_PRECONDITION_LOGIC_4

XCONTRACT_ENFORCE_PRECONDITION_PARAMETERS_0

XCONTRACT_ENFORCE_PRECONDITION_PARAMETERS_1

XCONTRACT_ENFORCE_PRECONDITION_PARAMETERS_2

XCONTRACT_ENFORCE_PRECONDITION_PARAMETERS_3

XCONTRACT_ENFORCE_PRECONDITION_PARAMETERS_4

XCONTRACT_ENFORCE_STATIC_DATA_0

XCONTRACT_ENFORCE_STATIC_DATA_1

XCONTRACT_ENFORCE_STATIC_DATA_2

XCONTRACT_ENFORCE_STATIC_DATA_3

XCONTRACT_ENFORCE_STATIC_DATA_4

XCONTRACT_ENFORCE_UNEXPECTED_CONDITION

Application-defined Functions

Functions

xContract_isConditionVerified

Core API

Functions

xContract_contract_violation

xContract_contract_violation2

xContract_getViolationTypeString

xContract_getViolationTypeStringLength

xContract_violationReport

Namespace List

xcontract

Namespace Members

File List

xcontract/implicit_link.h

xcontract/xcontract.h

xcontract/internal/safestr.h

xcontract/test/util/compiler_warnings_suppression.first_include.h

xcontract/test/util/compiler_warnings_suppression.last_include.h

Examples

cpp/example.cpp.class.1/example.cpp.class.1.cpp

examples/c/example.c.unexpected_condition/example.c.unexpected_condition.c

File Members