System.Diagnostics.Contracts.Contract Member List

This is the complete list of members for System.Diagnostics.Contracts.Contract, including all inherited members.

Assert([DoesNotReturnIf(false)] bool condition)	System.Diagnostics.Contracts.Contract	inlinestatic
Assert([DoesNotReturnIf(false)] bool condition, string? userMessage)	System.Diagnostics.Contracts.Contract	inlinestatic
AssertMustUseRewriter(ContractFailureKind kind, string contractKind)	System.Diagnostics.Contracts.Contract	inlineprivatestatic
Assume([DoesNotReturnIf(false)] bool condition)	System.Diagnostics.Contracts.Contract	inlinestatic
Assume([DoesNotReturnIf(false)] bool condition, string? userMessage)	System.Diagnostics.Contracts.Contract	inlinestatic
ContractFailed	System.Diagnostics.Contracts.Contract	staticremovable
EndContractBlock()	System.Diagnostics.Contracts.Contract	inlinestatic
Ensures(bool condition)	System.Diagnostics.Contracts.Contract	inlinestatic
Ensures(bool condition, string? userMessage)	System.Diagnostics.Contracts.Contract	inlinestatic
EnsuresOnThrow< TException >(bool condition)	System.Diagnostics.Contracts.Contract	inlinestatic
EnsuresOnThrow< TException >(bool condition, string? userMessage)	System.Diagnostics.Contracts.Contract	inlinestatic
Exists(int fromInclusive, int toExclusive, Predicate< int > predicate)	System.Diagnostics.Contracts.Contract	inlinestatic
Exists< T >(IEnumerable< T > collection, Predicate< T > predicate)	System.Diagnostics.Contracts.Contract	inlinestatic
ForAll(int fromInclusive, int toExclusive, Predicate< int > predicate)	System.Diagnostics.Contracts.Contract	inlinestatic
ForAll< T >(IEnumerable< T > collection, Predicate< T > predicate)	System.Diagnostics.Contracts.Contract	inlinestatic
Invariant(bool condition)	System.Diagnostics.Contracts.Contract	inlinestatic
Invariant(bool condition, string? userMessage)	System.Diagnostics.Contracts.Contract	inlinestatic
OldValue< T >(T value)	System.Diagnostics.Contracts.Contract	inlinestatic
ReportFailure(ContractFailureKind failureKind, string userMessage, string conditionText, Exception innerException)	System.Diagnostics.Contracts.Contract	inlineprivatestatic
Requires(bool condition)	System.Diagnostics.Contracts.Contract	inlinestatic
Requires(bool condition, string? userMessage)	System.Diagnostics.Contracts.Contract	inlinestatic
Requires< TException >(bool condition)	System.Diagnostics.Contracts.Contract	inlinestatic
Requires< TException >(bool condition, string? userMessage)	System.Diagnostics.Contracts.Contract	inlinestatic
Result< T >()	System.Diagnostics.Contracts.Contract	inlinestatic
ValueAtReturn< T >(out T value)	System.Diagnostics.Contracts.Contract	inlinestatic