|This rule is Obsolete|
|Synopsis:||Use code to describe preconditions, postconditions, exceptions, and class invariants|
Compilable preconditions etc. are testable and longer lasting than just comments.
The exact form (e.g. assertions, special Design By Contract functions such as require and ensure) is not discussed here.