To enforce the code contracts at runtime use the ccrewrite tool. To statically check the code contracts use the cccheck tool.

The namespace contains static classes for representing program contracts such as preconditions, postconditions, and invariants.