| This rule is Obsolete | |
| Synopsis: | Use C++ to describe preconditions, postconditions, exceptions, and class invariants |
| Language: | C++ |
| Severity Level: | 9 |
| Category: | Object Oriented Programming |
| Description: |
The preconditions, postconditions, exceptions and class invariants can be expressed in terms of asserts. |
| Literature References: |
| ISC++ Rec.10.7 |