Tag Archives: CodeContracts

Using CodeContracts Reference Assemblies in Client Applications

It is useful when designing interfaces to be able to define the design-contracts for those interfaces, however because interfaces cannot contain code, CodeContracts cannot be written for them directly. Instead, contracts are defined through the of “buddy” contract abstract classes … Continue reading

Posted in .Net, CodeContracts | Tagged | 1 Comment