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

Demonstrates the use of precondition, postcondition and class invariant enforcement macros.