Exemplos de RuntimeContracts.Benchmarks ContractOverheadNullCheckBenchmark em C# (CSharp)

Exemplo n.º 1

 private static void OldContractStaticMessage(int i, ContractOverheadNullCheckBenchmark @this)
 {
     System.Diagnostics.ContractsLight.Contract.RequiresNotNull(@this, "i >= 0");
 }

Exemplo n.º 2

 private static void NewContractStaticMessage(int i, ContractOverheadNullCheckBenchmark @this)
 {
     Contract.Check(@this != null)?.Requires($"i >= 0");
 }

Exemplo n.º 3

 private static void NewContractIsCheckMessage(int i, ContractOverheadNullCheckBenchmark @this)
 {
     Contract.Check(@this is object)?.Requires($"i >= 0, i={i}");
 }