ContractClassFor attribute

Question

What is and when would I use

[ContractClassFor(typeof())]

MSDN explanation is not telling me much about it. Thank you,

Answer 1

This attribute allows you to define Code Contract conditions for an interface. For more detail, the following site might be useful http://devjourney.com/blog/code-contracts-part-5-abstract-types-and-interfaces/

Update: It seems Kevin has deleted the content. A cache of the content can be found here: http://web.archive.org/web/20120105070912/http://devjourney.com/blog/code-contracts-part-5-abstract-types-and-interfaces/