| This rule is Obsolete | |
| Synopsis: | Use code to describe preconditions, postconditions, exceptions, and class invariants |
| Language: | C# |
| Severity Level: | 10 |
| Category: | Object oriented |
| Description: |
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. |