May 2010
Intermediate to advanced
1272 pages
61h 18m
English
The Contract class provides an Assert method that is used for verifying a condition at a particular point in the program execution. Typically you use it as follows:
Contract.Assert(Width > 0)
There is also another method named Assume, which works exactly like Assert but is used when static verification is not sufficient to prove the condition you are attempting to check.
Read now
Unlock full access