Static Public Member Functions
static void	Assume ([DoesNotReturnIf(false)] bool condition)

static void	Assume ([DoesNotReturnIf(false)] bool condition, string? userMessage)

static void	Assert ([DoesNotReturnIf(false)] bool condition)

static void	Assert ([DoesNotReturnIf(false)] bool condition, string? userMessage)

static void	Requires (bool condition)

static void	Requires (bool condition, string? userMessage)

static void	Requires< TException > (bool condition)

static void	Requires< TException > (bool condition, string? userMessage)

static void	Ensures (bool condition)

static void	Ensures (bool condition, string? userMessage)

static void	EnsuresOnThrow< TException > (bool condition)

static void	EnsuresOnThrow< TException > (bool condition, string? userMessage)

static T	Result< T > ()

static T	ValueAtReturn< T > (out T value)

static T	OldValue< T > (T value)

static void	Invariant (bool condition)

static void	Invariant (bool condition, string? userMessage)

static bool	ForAll (int fromInclusive, int toExclusive, Predicate< int > predicate)

static bool	ForAll< T > (IEnumerable< T > collection, Predicate< T > predicate)

static bool	Exists (int fromInclusive, int toExclusive, Predicate< int > predicate)

static bool	Exists< T > (IEnumerable< T > collection, Predicate< T > predicate)

static void	EndContractBlock ()

Properties
static ? EventHandler< ContractFailedEventArgs >	ContractFailed

Static Private Member Functions
static void	AssertMustUseRewriter (ContractFailureKind kind, string contractKind)

static void	ReportFailure (ContractFailureKind failureKind, string userMessage, string conditionText, Exception innerException)

Detailed Description

Definition at line 8 of file Contract.cs.

The documentation for this class was generated from the following file:

Static Public Member Functions