Code Contracts cheatsheet

CheatSheet.cs

Contract.Ensures(Contract.Result<T>() != null);
Contract.Requires(T != null);
Contract.ForAll(Collection, (element) => element != null)
Contract.Requires(Contract.ForAll(Collection, (element) => element != null));
Contract.Invariant(condition);

[ContractInvariantMethod] 
private void ObjectInvariant () {}


Contract.Ensures(Contract.ForAll(this.Entities, (entity) => entity != null));



[ContractClass(typeof(FooContract))]
abstract class Foo {
	public abstract int Count {
		get;
	}
	public abstract void Put(int value);
}
[ContractClassFor(typeof(Foo))]
abstract class FooContract: Foo {
	public override int Count {
		get {
			Contract.Ensures(0 <= Contract.Result < int > ());
			return default (int); // dummy return
		}
	}
	public override void Put(int value) {
		Contract.Requires(0 <= value);
	}
}