Contract.EndContractBlock Método

Definición

Espacio de nombres:

System.Diagnostics.Contracts

Ensamblado:

System.Diagnostics.Contracts.dll

Source:

Contracts.cs

Marca el final de la sección de contrato cuando los contratos de un método solo contienen condiciones previas con el formato if-then-throw.

public:
 static void EndContractBlock();

[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public static void EndContractBlock ();

[<System.Diagnostics.Conditional("CONTRACTS_FULL")>]
static member EndContractBlock : unit -> unit

Public Shared Sub EndContractBlock ()

Atributos

ConditionalAttribute

Comentarios

La mayoría del código ya contiene alguna validación de parámetros en forma de if--thenthrow código. Las herramientas de contrato reconocen ifthen--throw instrucciones como condiciones previas cuando las instrucciones aparecen primero dentro de un método y todo el conjunto de estas instrucciones va seguida de una llamada de método explícitaContract, como , EnsuresRequiresEnsuresOnThrow, o .EndContractBlock

Cuando if--thenthrow las instrucciones aparecen en este formato, las herramientas de contrato las reconocen como instrucciones legacy-require. El EndContractBlock formulario solo se usa si ningún otro contrato sigue las if--thenthrow secuencias, pero deben etiquetarse como heredados.