Contract
Assert(Boolean)
Assert(Boolean, String)
Assume(Boolean)
Assume(Boolean, String)
EndContractBlock()
Ensures(Boolean)
Ensures(Boolean, String)
EnsuresOnThrow<TException>(Boolean)
EnsuresOnThrow<TException>(Boolean, String)
Exists<T>(IEnumerable<T>, Predicate<T>)
Exists(Int32, Int32, Predicate<Int32>)
ForAll<T>(IEnumerable<T>, Predicate<T>)
ForAll(Int32, Int32, Predicate<Int32>)
Invariant(Boolean)
Invariant(Boolean, String)
OldValue<T>(T)
Requires(Boolean)
Requires(Boolean, String)
Requires<TException>(Boolean)
Requires<TException>(Boolean, String)
Result<T>()
ValueAtReturn<T>(T)
ContractFailed
net10.0-windows7.0
namespace System.Diagnostics.Contracts
{
public static class Contract
{
[Conditional("CONTRACTS_FULL")]
public static void Ensures(bool condition, string userMessage);
}
}
NetFx Compat Lab | 0.3 %
Reference this API |
---|---|
nuget.org | 0.0 %
Reference this API |
.NET | 5.06.07.08.09.010.0 |
.NET Core | 1.01.12.02.12.23.03.1 |
.NET Framework | 4.04.54.5.14.5.24.64.6.14.6.24.74.7.14.7.24.84.8.1 |
.NET Standard | 1.01.11.21.31.41.51.62.02.1 |
Information specific to net10.0 | |
Platforms | This API is only available when you target a specific platform: |
Windows | 7.0 |
Information specific to net10.0-windows7.0 | |
Assembly | System.Diagnostics.Contracts , Version=4.0.0.0, PublicKeyToken=b03f5f7f11d50a3a |
Referencing | Your project needs a package reference to |
Package | System.Diagnostics.Contracts (4.3.0) netstandard1.0 |
Platform Restrictions | This API is supported on all platforms. |
- Built-in API
- Package-provided API