By tag: CodeContracts
0
kicks
An introduction to Code Contracts in .NET 4.0
NET 4.0 sees the introduction of Code Contracts. Code Contracts allow the developer to specify rules and "assumptions on your code in the form of pre-conditions, post-conditions and object invariants" (in the words of DevLabs).
0
kicks
(Code-) Contracts as a part of the type system?
Contracts? What are Contracts? And why are they reputed to be concerned with the type system? Aren’t they just injected into the executable? Is there maybe “more” behind them? And how should they really be used? Read this post for clarification.
0
kicks
No Interface without Contract? – Part 6: Object Invariants
Object invariants are a kind of postconditions which apply to all members. How to formulate them using Code Contracts?
0
kicks
No Interface Without Contract? – Writing down Pre- and Postconditions
Part 4 of the series "No interface without contract?" which introduces Microsoft Code Contracts.
This part compares five ways of writing down pre- and postconditions.
0
kicks
No Interface Without Contract? – Finding Pre- and Postconditions
Part 3 of the series "No interface without contract?" which introduces Microsoft Code Contracts.
This part is about pre- and postconditions of a sample class which will be used by further parts.
0
kicks
No interface without contract? – About Pre- and Postconditions
Part 1 of the series "No interface without contract?" which introduces Microsoft Code Contracts.
This part introduces the idea of pre- and postconditions.
0
kicks
No interface without contract? – Why plain interfaces aren’t enough
Part 1 of the series "No interface without contract?" which introduces Microsoft Code Contracts.
This part talks about the fundamentals why to use something like Code Contracts.