|
Home | Libraries | People | FAQ | More |
Introduction Full Table of Contents Getting Started This Documentation Compilers and Platforms Code Organization Build Contract Programming Overview Assertions Benefits and Costs Function Calls Public Function Calls Constructor Calls Destructor Calls Constant-Correctness Specifications vs. Implementation On Contract Failures Feature Summary Tutorial Non-Member Functions Preconditions Postconditions Return Values Old Values Exception Guarantees Class Invariants Constructors Destructors Public Functions Virtual Public Functions Public Function Overrides (Subcontracting) Base Classes (Subcontracting) Static Public Functions Advanced Pure Virtual Public Functions Optional Return Values Private and Protected Functions Friend Functions Function Overloads Lambdas, Loops, Code Blocks (andconstexpr) Implementation Checks Old Values Copied at Body Named Overrides Access Specifiers Throw on Failures (andnoexcept) Extras Old Value Requirements (Templates) Assertion Requirements (Templates) Volatile Public Functions Move Operations Unions Assertion Levels Disable Contract Checking Disable Contract Compilation (Macro Interface) Separate Body Implementation No Lambda Functions (No C++11) No Macros (and No Variadic Macros) Examples Reference Release Notes Bibliography Acknowledgments