Contract.EndContractBlock Método
Definición
Importante
Parte de la información hace referencia a la versión preliminar del producto, que puede haberse modificado sustancialmente antes de lanzar la versión definitiva. Microsoft no otorga ninguna garantía, explícita o implícita, con respecto a la información proporcionada aquí.
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 -> unitPublic 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.
