TICS Coding Standard Viewer 
TIOBE Software Quality Framework
Print-friendly version
©TIOBE Software www.tiobe.com
 
C# Coding Standard
Search

Rule:  7@401

This rule is Obsolete
Synopsis:Specify methods using preconditions, postconditions, exceptions; specify classes using invariants
Language:C#
Severity Level:10
Category:Object oriented


Description:

In other words: attempt to apply Design by Contract (see [Meyer 88]) principles. You can use Debug.Assert to ensure that pre- and post-conditions are only checked in debug builds. In release builds, this method does not result in any code.