An introduction to Code Contracts in .NET 4.0(www.ryantomlinson.com)

submitted by RyanTomlinson(125) 1 year, 9 months ago

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). read more...

add a comment |category: C# |Views: 27

tags: Contracts CodeContracts C# Code another

(Code-) Contracts as a part of the type system?(winsharp93.wordpress.com)

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

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. read more...

add a comment |category: C# |Views: 14

tags: CodeContracts Codingstyle TypeSystem C# CLR another

No Interface without Contract? – Part 6: Object Invariants(winsharp93.wordpress.com)

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? read more...

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

tags: Codingstyle CodeContracts C# another

No Interface Without Contract? – Writing down Pre- and Postconditions(winsharp93.wordpress.com)

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

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. read more...

add a comment |category: C# |Views: 12

tags: Codingstyle CodeContracts C# another

No Interface Without Contract? – Finding Pre- and Postconditions(winsharp93.wordpress.com)

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

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. read more...

add a comment |category: C# |Views: 4

tags: Codingstyle CodeContracts C# another

No interface without contract? – About Pre- and Postconditions(winsharp93.wordpress.com)

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

Part 1 of the series "No interface without contract?" which introduces Microsoft Code Contracts. This part introduces the idea of pre- and postconditions. read more...

1 comment |category: C# |Views: 11

tags: Codingstyle CodeContracts C# another

No interface without contract? – Why plain interfaces aren’t enough(winsharp93.wordpress.com)

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

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. read more...

add a comment |category: C# |Views: 13

tags: Codingstyle CodeContracts C# another