Code Contracts - Part 3 : Runtime Checker & Basic Contracts

home
visual studio
view story

1 Kicks

Code Contracts - Part 3 : Runtime Checker & Basic Contracts(amylog.co.nz)

submitted by Amoswolf(25) 1 year, 4 months ago

In part 2 of this series we discussed the code contracts static checker. We began with some examples of animals getting ready to party. In this post we will use code contracts to define the rules of engagement of the animal party, and examine how the run time checker verifies these rules. Consider the following AnimalParty class. It is constructed with a list of animals (who presumably want to attend the party). It contains within it some unwritten assumptions about the party, in order to add additional animals to the party the internal collection of PartyAnimals must be initialized by the constructor to a not null value......

add a comment |category: Visual Studio |Views: 6
Tweet