Compartir a través de


Contract.EndContractBlock Método

Definición

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

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.

Se aplica a