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 en el if-then-throw formulario.
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-then-throw código. Las herramientas de contrato reconocen if-then-throw instrucciones como condiciones previas cuando las instrucciones aparecen primero dentro de un método y todo el conjunto de instrucciones de este tipo va seguido de una llamada de método explícitaContract, como , RequiresEnsures, EnsuresOnThrowo .EndContractBlock
Cuando if-then-throw 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-then-throw secuencias, pero todavía debe etiquetarse como heredado- requiere.
