Silverlight 5

WinRT

public abstract sealed class Contract	public abstract sealed class Contract
	static public event EventHandler`1<ContractFailedEventArgs> ContractFailed;
static public void Assert(Boolean condition);	static public void Assert(Boolean condition);
static public void Assert(Boolean condition, String userMessage);	static public void Assert(Boolean condition, String userMessage);
static public void Assume(Boolean condition);	static public void Assume(Boolean condition);
static public void Assume(Boolean condition, String userMessage);	static public void Assume(Boolean condition, String userMessage);
static public void EndContractBlock();	static public void EndContractBlock();
static public void Ensures(Boolean condition);	static public void Ensures(Boolean condition);
static public void Ensures(Boolean condition, String userMessage);	static public void Ensures(Boolean condition, String userMessage);
static public void EnsuresOnThrow(Boolean condition);	static public void EnsuresOnThrow(Boolean condition);
static public void EnsuresOnThrow(Boolean condition, String userMessage);	static public void EnsuresOnThrow(Boolean condition, String userMessage);
static public Boolean Exists(Int32 fromInclusive, Int32 toExclusive, Predicate`1<Int32> predicate);	static public Boolean Exists(Int32 fromInclusive, Int32 toExclusive, Predicate`1<Int32> predicate);
static public Boolean Exists(IEnumerable`1<T> collection, Predicate`1<T> predicate);	static public Boolean Exists(IEnumerable`1<T> collection, Predicate`1<T> predicate);
static public Boolean ForAll(Int32 fromInclusive, Int32 toExclusive, Predicate`1<Int32> predicate);	static public Boolean ForAll(Int32 fromInclusive, Int32 toExclusive, Predicate`1<Int32> predicate);
static public Boolean ForAll(IEnumerable`1<T> collection, Predicate`1<T> predicate);	static public Boolean ForAll(IEnumerable`1<T> collection, Predicate`1<T> predicate);
static public void Invariant(Boolean condition);	static public void Invariant(Boolean condition);
static public void Invariant(Boolean condition, String userMessage);	static public void Invariant(Boolean condition, String userMessage);
static public T OldValue(T value);	static public T OldValue(T value);
static public void Requires(Boolean condition);	static public void Requires(Boolean condition);
static public void Requires(Boolean condition, String userMessage);	static public void Requires(Boolean condition, String userMessage);
static public void Requires(Boolean condition);	static public void Requires(Boolean condition);
static public void Requires(Boolean condition, String userMessage);	static public void Requires(Boolean condition, String userMessage);
static public T Result();	static public T Result();
static public T ValueAtReturn(out T& value);	static public T ValueAtReturn(out T& value);

	public sealed class ContractAbbreviatorAttribute
	: Attribute, _Attribute

	public sealed class ContractArgumentValidatorAttribute
	: Attribute, _Attribute

public sealed class ContractClassAttribute	public sealed class ContractClassAttribute
: Attribute, _Attribute	: Attribute, _Attribute
public Type TypeContainingContracts { get; }	public Type TypeContainingContracts { get; }

public sealed class ContractClassForAttribute	public sealed class ContractClassForAttribute
: Attribute, _Attribute	: Attribute, _Attribute
public Type TypeContractsAreFor { get; }	public Type TypeContractsAreFor { get; }

	public sealed class ContractFailedEventArgs
	: EventArgs
	public String Condition { get; }
	public ContractFailureKind FailureKind { get; }
	public Boolean Handled { get; }
	public String Message { get; }
	public Exception OriginalException { get; }
	public Boolean Unwind { get; }
	public void SetHandled();
	public void SetUnwind();

public sealed enum ContractFailureKind	public sealed enum ContractFailureKind
: IComparable, IFormattable, IConvertible	: IComparable, IFormattable, IConvertible
{ Precondition, Postcondition, PostconditionOnException, Invariant, Assert, Assume }	{ Precondition, Postcondition, PostconditionOnException, Invariant, Assert, Assume }

public sealed class ContractInvariantMethodAttribute	public sealed class ContractInvariantMethodAttribute
: Attribute, _Attribute	: Attribute, _Attribute

	public sealed class ContractOptionAttribute
	: Attribute, _Attribute
	public String Category { get; }
	public Boolean Enabled { get; }
	public String Setting { get; }
	public String Value { get; }

public sealed class ContractPublicPropertyNameAttribute	public sealed class ContractPublicPropertyNameAttribute
: Attribute, _Attribute	: Attribute, _Attribute
public String Name { get; }	public String Name { get; }

public sealed class ContractReferenceAssemblyAttribute	public sealed class ContractReferenceAssemblyAttribute
: Attribute, _Attribute	: Attribute, _Attribute

public sealed class ContractRuntimeIgnoredAttribute	public sealed class ContractRuntimeIgnoredAttribute
: Attribute, _Attribute	: Attribute, _Attribute

public sealed class ContractVerificationAttribute	public sealed class ContractVerificationAttribute
: Attribute, _Attribute	: Attribute, _Attribute
public Boolean Value { get; }	public Boolean Value { get; }

public sealed class PureAttribute	public sealed class PureAttribute
: Attribute, _Attribute	: Attribute, _Attribute