No Interface without Contract? – Part 6: Object Invariants

2 Kicks

submitted by winSharp93(235) 2 years, 9 months ago

Object invariants are a kind of postconditions which apply to all members. How to formulate them using Code Contracts?

add a comment |category: C# |Views: 11
Tweet

Please login or signup.

Add a live kick counter to your blog >> liveImage

You can even customize the image by choosing your own colors, and then clicking the button below to update the preview and the html code:

Simply copy and paste this HTML into your blog post.

Users who kicked this story:

Comments:

What's this?