Invariant code contracts – using class-wide contracts

added by gpeipman
5/9/2010 2:02:14 PM

0 Kicks, 54 Views

It is possible to define invariant code contracts for classes. Invariant contracts should always hold true whatever member of class is called. In this posting I will show you how to use invariant code contracts so you understand how they work and how they should be tested.