code-contracts tutorials

Make Contract.Assert throw an exception rather than display a Dialog box

Jun 21, 2020

c# assert code-contracts

Code contracts warnings when implementing ICollection with backing collection

Jul 01, 2022

c# .net code-contracts icollection

Getting Code Contracts to work in Visual Studio 2010

Jul 11, 2018

c# code-contracts

Code Contracts in Mono

May 09, 2020

.net mono monodevelop code-contracts

Code Contracts: How to deal with inherited interfaces?

Oct 22, 2020

code-contracts

Is it possible to specify code contracts to ensure that method doesn't change state of object

Oct 14, 2022

c# code-contracts

Method that does conditional return of method calling it?

Feb 06, 2020

c# code-contracts

What does "Contract can't be in try block" mean?

Jan 22, 2020

c# code-contracts

Is there a way not to let MsBuild run static contract analysis with code contracts?

May 09, 2021

msbuild code-contracts

Code Contracts and Inheritance(Precondition on overridden method)

Oct 02, 2022

c# .net code-contracts solid-principles liskov-substitution-principle

Can Microsoft Code Contracts be used with an ASP.NET Website?

Feb 26, 2018

asp.net configuration code-contracts microsoft-contracts

Code contracts for .NET 3.5 messes up VS10's debugger

Mar 10, 2018

.net debugging .net-3.5 visual-studio-2010 code-contracts

Bug in iterators with code contracts?

Jun 01, 2015

c# .net .net-4.0 code-contracts microsoft-contracts

How do I use Code Contracts to have a compile time assert in C#?

Sep 13, 2022

c# code-contracts static-assert

Code Contracts trying to get build errors instead of warnings

Nov 10, 2022

code-contracts

Code Contracts + Sandcastle -- Any way to customize the exceptions section?

Oct 03, 2014

c# documentation code-contracts sandcastle xml-documentation

Code Contracts warn of "ensures unproven" when locks are involved

Mar 05, 2017

c# .net code-contracts

Code contract rewrite failing with 'Could not resolve member reference'

Jan 09, 2022

c# .net code-contracts

Code Contracts: How do I state in a post-condition that a field/property's value has not changed?

Aug 21, 2022

c# .net code-contracts design-by-contract

New posts in code-contracts