Contract Class

Contract Class

Own version of C# Code Contracts to use before .NET 4.0 Contains static methods for representing program contracts such as preconditions, postconditions, and object invariants. Just the basic functionalities are implemented.

Inheritance Hierarchy

SystemObject
Slash.Diagnostics.ContractsContract

Namespace: Slash.Diagnostics.Contracts
Assembly: Slash.Diagnostics (in Slash.Diagnostics.dll) Version: 1.0.6018.40181

Syntax

C++

Copy

public static class Contract

Public NotInheritable Class Contract

public ref class Contract abstract sealed

[<AbstractClassAttribute>]
[<SealedAttribute>]
type Contract =  class end

The Contract type exposes the following members.

Methods

	Name	Description
	RequiresTException(Boolean, Object)	Specifies a precondition contract for the enclosing method or property, and throws an exception with the provided parameters if the condition for the contract fails.
	RequiresTException(Boolean, String)	Specifies a precondition contract for the enclosing method or property, and throws an exception with the provided message if the condition for the contract fails.
	RequiresNotNullT	Checks if the specified container of variables are not null.

Top

Reference

Slash.Diagnostics.Contracts Namespace