Boost C++ Libraries Home Libraries People FAQ More

PrevUpHomeNext

Full Table of Contents

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 (and constexpr)
    Implementation Checks
    Old Values Copied at Body
    Named Overrides
    Access Specifiers
    Throw on Failures (and noexcept)
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

PrevUpHomeNext