Tools/dotnetcli/sdk/NuGetFallbackFolder/system.diagnostics.contracts/4.3.0/ref/netcore50/es/System.Diagnostics.Contracts.xml

   1 <?xml version="1.0" encoding="utf-8"?>
   2 <doc>
   3   <assembly>
   4     <name>System.Diagnostics.Contracts</name>
   5   </assembly>
   6   <members>
   7     <member name="T:System.Diagnostics.Contracts.Contract">
   8       <summary>Contiene métodos estáticos para representar contratos del programa como condiciones previas, condiciones posteriores y objetos invariables.</summary>
   9     </member>
  10     <member name="M:System.Diagnostics.Contracts.Contract.Assert(System.Boolean)">
  11       <summary>Comprueba una condición; si es false, sigue la directiva de elevación establecida para el analizador.</summary>
  12       <param name="condition">Expresión condicional que se va a probar.</param>
  13     </member>
  14     <member name="M:System.Diagnostics.Contracts.Contract.Assert(System.Boolean,System.String)">
  15       <summary>Comprueba una condición; si es false, sigue la directiva de elevación establecida por el analizador y muestra el mensaje especificado.</summary>
  16       <param name="condition">Expresión condicional que se va a probar.</param>
  17       <param name="userMessage">Mensaje para mostrar si no se cumple la condición.</param>
  18     </member>
  19     <member name="M:System.Diagnostics.Contracts.Contract.Assume(System.Boolean)">
  20       <summary>Indica a las herramientas de análisis de código que supongan que la condición especificada es true, aun cuando no se pueda demostrar estáticamente que siempre sea true.</summary>
  21       <param name="condition">Expresión condicional que se supone que es true.</param>
  22     </member>
  23     <member name="M:System.Diagnostics.Contracts.Contract.Assume(System.Boolean,System.String)">
  24       <summary>Indica a las herramientas de análisis de código que supongan que una condición es true, aun cuando no se puede demostrar estáticamente que siempre es true, y muestra un mensaje si la hipótesis es errónea.</summary>
  25       <param name="condition">Expresión condicional que se supone que es true.</param>
  26       <param name="userMessage">Mensaje que se muestra si se produce un error en la suposición.</param>
  27     </member>
  28     <member name="E:System.Diagnostics.Contracts.Contract.ContractFailed">
  29       <summary>Se produce cuando un contrato da error.</summary>
  30     </member>
  31     <member name="M:System.Diagnostics.Contracts.Contract.EndContractBlock">
  32       <summary>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.</summary>
  33     </member>
  34     <member name="M:System.Diagnostics.Contracts.Contract.Ensures(System.Boolean)">
  35       <summary>Especifica un contrato de condición posterior para el método o la propiedad envolvente.</summary>
  36       <param name="condition">Expresión condicional que se va a probar.La expresión puede incluir los valores <see cref="M:System.Diagnostics.Contracts.Contract.OldValue``1(``0)" />, <see cref="M:System.Diagnostics.Contracts.Contract.ValueAtReturn``1(``0@)" /> y <see cref="M:System.Diagnostics.Contracts.Contract.Result``1" />.</param>
  37     </member>
  38     <member name="M:System.Diagnostics.Contracts.Contract.Ensures(System.Boolean,System.String)">
  39       <summary>Especifica un contrato de condición posterior para una condición de salida proporcionada y un mensaje para mostrar si la condición es false.</summary>
  40       <param name="condition">Expresión condicional que se va a probar.La expresión puede incluir los valores <see cref="M:System.Diagnostics.Contracts.Contract.OldValue``1(``0)" /> y <see cref="M:System.Diagnostics.Contracts.Contract.Result``1" />.</param>
  41       <param name="userMessage">Mensaje para mostrar si la expresión no es true.</param>
  42     </member>
  43     <member name="M:System.Diagnostics.Contracts.Contract.EnsuresOnThrow``1(System.Boolean)">
  44       <summary>Especifica un contrato de condición posterior para el método o la propiedad envolvente, a partir de la excepción y condición proporcionadas.</summary>
  45       <param name="condition">Expresión condicional que se va a probar.</param>
  46       <typeparam name="TException">El tipo de excepción que invoca la comprobación de la condición posterior.</typeparam>
  47     </member>
  48     <member name="M:System.Diagnostics.Contracts.Contract.EnsuresOnThrow``1(System.Boolean,System.String)">
  49       <summary>Especifica un contrato de condición posterior para el método o la propiedad envolvente, y un mensaje para mostrar si la condición es false, a partir de la excepción y condición proporcionadas.</summary>
  50       <param name="condition">Expresión condicional que se va a probar.</param>
  51       <param name="userMessage">Mensaje para mostrar si la expresión es false.</param>
  52       <typeparam name="TException">El tipo de excepción que invoca la comprobación de la condición posterior.</typeparam>
  53     </member>
  54     <member name="M:System.Diagnostics.Contracts.Contract.Exists``1(System.Collections.Generic.IEnumerable{``0},System.Predicate{``0})">
  55       <summary>Determina si un elemento de una colección de elementos existe dentro de una función.</summary>
  56       <returns>Es true si y solo si <paramref name="predicate" /> devuelve true para cualquier elemento de tipo <paramref name="T" /> en <paramref name="collection" />.</returns>
  57       <param name="collection">Colección de la que se extraen elementos de tipo <paramref name="T" /> para pasar a <paramref name="predicate" />.</param>
  58       <param name="predicate">Función para evaluar un elemento en <paramref name="collection" />.</param>
  59       <typeparam name="T">Tipo que está contenido en <paramref name="collection" />.</typeparam>
  60       <exception cref="T:System.ArgumentNullException">
  61         <paramref name="collection" /> or <paramref name="predicate" /> is null.</exception>
  62     </member>
  63     <member name="M:System.Diagnostics.Contracts.Contract.Exists(System.Int32,System.Int32,System.Predicate{System.Int32})">
  64       <summary>Determina si una prueba especificada es true para cualquier entero dentro de un intervalo de enteros.</summary>
  65       <returns>Es true si <paramref name="predicate" /> devuelve true para cualquier entero entre <paramref name="fromInclusive" /> y <paramref name="toExclusive" /> - 1.</returns>
  66       <param name="fromInclusive">Primer entero que se pasa a <paramref name="predicate" />.</param>
  67       <param name="toExclusive">Uno más que el último entero que se pasa a <paramref name="predicate" />.</param>
  68       <param name="predicate">Función que se evalúa para cualquier valor del entero en el intervalo especificado.</param>
  69       <exception cref="T:System.ArgumentNullException">
  70         <paramref name="predicate" /> is null.</exception>
  71       <exception cref="T:System.ArgumentException">
  72         <paramref name="toExclusive " />is less than <paramref name="fromInclusive" />.</exception>
  73     </member>
  74     <member name="M:System.Diagnostics.Contracts.Contract.ForAll``1(System.Collections.Generic.IEnumerable{``0},System.Predicate{``0})">
  75       <summary>Determina si todos los elementos de una colección existen dentro de una función.</summary>
  76       <returns>Es true si y solo si <paramref name="predicate" /> devuelve true para todos los elementos de tipo <paramref name="T" /> en <paramref name="collection" />.</returns>
  77       <param name="collection">Colección de la que se extraen elementos de tipo <paramref name="T" /> para pasar a <paramref name="predicate" />.</param>
  78       <param name="predicate">Función que se evalúa para comprobar la existencia de todos los elementos en <paramref name="collection" />.</param>
  79       <typeparam name="T">Tipo que está contenido en <paramref name="collection" />.</typeparam>
  80       <exception cref="T:System.ArgumentNullException">
  81         <paramref name="collection" /> or <paramref name="predicate" /> is null.</exception>
  82     </member>
  83     <member name="M:System.Diagnostics.Contracts.Contract.ForAll(System.Int32,System.Int32,System.Predicate{System.Int32})">
  84       <summary>Determina si una condición determinada es válida para todos los enteros de un intervalo especificado.</summary>
  85       <returns>Es true si <paramref name="predicate" /> devuelve true para todos los enteros entre <paramref name="fromInclusive" /> y <paramref name="toExclusive" /> - 1.</returns>
  86       <param name="fromInclusive">Primer entero que se pasa a <paramref name="predicate" />.</param>
  87       <param name="toExclusive">Uno más que el último entero que se pasa a <paramref name="predicate" />.</param>
  88       <param name="predicate">Función que se evalúa para comprobar la existencia de enteros en el rango especificado.</param>
  89       <exception cref="T:System.ArgumentNullException">
  90         <paramref name="predicate" /> is null.</exception>
  91       <exception cref="T:System.ArgumentException">
  92         <paramref name="toExclusive " />is less than <paramref name="fromInclusive" />.</exception>
  93     </member>
  94     <member name="M:System.Diagnostics.Contracts.Contract.Invariant(System.Boolean)">
  95       <summary>Especifica un contrato invariable para el método o propiedad envolvente. </summary>
  96       <param name="condition">Expresión condicional que se va a probar.</param>
  97     </member>
  98     <member name="M:System.Diagnostics.Contracts.Contract.Invariant(System.Boolean,System.String)">
  99       <summary>Especifica un contrato invariable para el método o propiedad envolvente, y muestra un mensaje si la condición del contrato da error.</summary>
 100       <param name="condition">Expresión condicional que se va a probar.</param>
 101       <param name="userMessage">Mensaje que se va a mostrar si la condición es false.</param>
 102     </member>
 103     <member name="M:System.Diagnostics.Contracts.Contract.OldValue``1(``0)">
 104       <summary>Representa los valores como eran al principio de un método o propiedad.</summary>
 105       <returns>El valor del parámetro o del campo del inicio de un método o propiedad.</returns>
 106       <param name="value">Valor que se va a representar (campo o parámetro).</param>
 107       <typeparam name="T">Tipo del valor.</typeparam>
 108     </member>
 109     <member name="M:System.Diagnostics.Contracts.Contract.Requires``1(System.Boolean)">
 110       <summary>Especifica un contrato de condición previa para el método o propiedad envolvente, y produce una excepción si no se cumple la condición del contrato.</summary>
 111       <param name="condition">Expresión condicional que se va a probar.</param>
 112       <typeparam name="TException">Excepción que se produce si la condición es false.</typeparam>
 113     </member>
 114     <member name="M:System.Diagnostics.Contracts.Contract.Requires(System.Boolean)">
 115       <summary>Especifica un contrato de condición previa para el método o propiedad envolvente.</summary>
 116       <param name="condition">Expresión condicional que se va a probar.</param>
 117     </member>
 118     <member name="M:System.Diagnostics.Contracts.Contract.Requires(System.Boolean,System.String)">
 119       <summary>Especifica un contrato de condición previa para el método o propiedad envolvente, y muestra un mensaje si la condición del contrato da error.</summary>
 120       <param name="condition">Expresión condicional que se va a probar.</param>
 121       <param name="userMessage">Mensaje que se va a mostrar si la condición es false.</param>
 122     </member>
 123     <member name="M:System.Diagnostics.Contracts.Contract.Requires``1(System.Boolean,System.String)">
 124       <summary>Especifica un contrato de condición previa para el método o propiedad envolvente, y produce una excepción con el mensaje proporcionado si no se cumple la condición del contrato.</summary>
 125       <param name="condition">Expresión condicional que se va a probar.</param>
 126       <param name="userMessage">Mensaje que se va a mostrar si la condición es false.</param>
 127       <typeparam name="TException">Excepción que se produce si la condición es false.</typeparam>
 128     </member>
 129     <member name="M:System.Diagnostics.Contracts.Contract.Result``1">
 130       <summary>Representa el valor devuelto de un método o propiedad.</summary>
 131       <returns>Valor devuelto del método o propiedad envolvente.</returns>
 132       <typeparam name="T">Tipo del valor devuelto del método o propiedad envolvente.</typeparam>
 133     </member>
 134     <member name="M:System.Diagnostics.Contracts.Contract.ValueAtReturn``1(``0@)">
 135       <summary>Representa el valor final (resultado) de un parámetro out cuando se devuelve de un método.</summary>
 136       <returns>Valor de salida del parámetro out.</returns>
 137       <param name="value">Parámetro out.</param>
 138       <typeparam name="T">Tipo del parámetro out.</typeparam>
 139     </member>
 140     <member name="T:System.Diagnostics.Contracts.ContractAbbreviatorAttribute">
 141       <summary>Define las abreviaturas que puede usar en lugar de la sintaxis completa de contrato.</summary>
 142     </member>
 143     <member name="M:System.Diagnostics.Contracts.ContractAbbreviatorAttribute.#ctor">
 144       <summary>Inicializa una nueva instancia de la clase <see cref="T:System.Diagnostics.Contracts.ContractAbbreviatorAttribute" />.</summary>
 145     </member>
 146     <member name="T:System.Diagnostics.Contracts.ContractArgumentValidatorAttribute">
 147       <summary>Habilita la factorización de código if-then-throw heredado en métodos independientes para su reutilización, y proporciona el control completo sobre los argumentos y excepciones producidas.</summary>
 148     </member>
 149     <member name="M:System.Diagnostics.Contracts.ContractArgumentValidatorAttribute.#ctor">
 150       <summary>Inicializa una nueva instancia de la clase <see cref="T:System.Diagnostics.Contracts.ContractArgumentValidatorAttribute" />.</summary>
 151     </member>
 152     <member name="T:System.Diagnostics.Contracts.ContractClassAttribute">
 153       <summary>Especifica que un tipo independiente contiene los contratos de código para este tipo.</summary>
 154     </member>
 155     <member name="M:System.Diagnostics.Contracts.ContractClassAttribute.#ctor(System.Type)">
 156       <summary>Inicializa una nueva instancia de la clase <see cref="T:System.Diagnostics.Contracts.ContractClassAttribute" />. </summary>
 157       <param name="typeContainingContracts">Tipo que contiene los contratos de código para este tipo.</param>
 158     </member>
 159     <member name="P:System.Diagnostics.Contracts.ContractClassAttribute.TypeContainingContracts">
 160       <summary>Obtiene el tipo que contiene los contratos de código para este tipo.</summary>
 161       <returns>Tipo que contiene los contratos de código para este tipo. </returns>
 162     </member>
 163     <member name="T:System.Diagnostics.Contracts.ContractClassForAttribute">
 164       <summary>Especifica que una clase es un contrato para un tipo.</summary>
 165     </member>
 166     <member name="M:System.Diagnostics.Contracts.ContractClassForAttribute.#ctor(System.Type)">
 167       <summary>Inicializa una nueva instancia de la clase <see cref="T:System.Diagnostics.Contracts.ContractClassForAttribute" />, especificando el tipo para el cual la clase actual es un contrato. </summary>
 168       <param name="typeContractsAreFor">Tipo para el cual la clase actual es un contrato.</param>
 169     </member>
 170     <member name="P:System.Diagnostics.Contracts.ContractClassForAttribute.TypeContractsAreFor">
 171       <summary>Obtiene el tipo al que se aplica este contrato de código. </summary>
 172       <returns>Tipo al que se aplica este contrato.</returns>
 173     </member>
 174     <member name="T:System.Diagnostics.Contracts.ContractFailedEventArgs">
 175       <summary>Proporciona métodos y datos para el evento <see cref="E:System.Diagnostics.Contracts.Contract.ContractFailed" />.</summary>
 176     </member>
 177     <member name="M:System.Diagnostics.Contracts.ContractFailedEventArgs.#ctor(System.Diagnostics.Contracts.ContractFailureKind,System.String,System.String,System.Exception)">
 178       <summary>Proporciona datos para el evento <see cref="E:System.Diagnostics.Contracts.Contract.ContractFailed" />.</summary>
 179       <param name="failureKind">Uno de los valores de enumeración que especifica el contrato que produjo el error.</param>
 180       <param name="message">El mensaje del evento.</param>
 181       <param name="condition">Condición para el evento.</param>
 182       <param name="originalException">Excepción que ha producido el evento.</param>
 183     </member>
 184     <member name="P:System.Diagnostics.Contracts.ContractFailedEventArgs.Condition">
 185       <summary>Obtiene la condición para el error del contrato.</summary>
 186       <returns>La condición para el error.</returns>
 187     </member>
 188     <member name="P:System.Diagnostics.Contracts.ContractFailedEventArgs.FailureKind">
 189       <summary>Obtiene el tipo de contrato que produjo el error.</summary>
 190       <returns>Uno de los valores de enumeración que especifica el tipo de contrato que produjo el error.</returns>
 191     </member>
 192     <member name="P:System.Diagnostics.Contracts.ContractFailedEventArgs.Handled">
 193       <summary>Indica si el evento <see cref="E:System.Diagnostics.Contracts.Contract.ContractFailed" /> se ha controlado.</summary>
 194       <returns>Es true si se ha controlado el evento; en caso contrario, es false. </returns>
 195     </member>
 196     <member name="P:System.Diagnostics.Contracts.ContractFailedEventArgs.Message">
 197       <summary>Obtiene el mensaje que describe el evento <see cref="E:System.Diagnostics.Contracts.Contract.ContractFailed" />.</summary>
 198       <returns>El mensaje que describe el evento.</returns>
 199     </member>
 200     <member name="P:System.Diagnostics.Contracts.ContractFailedEventArgs.OriginalException">
 201       <summary>Obtiene la excepción original que produjo el evento <see cref="E:System.Diagnostics.Contracts.Contract.ContractFailed" />.</summary>
 202       <returns>Excepción que ha producido el evento.</returns>
 203     </member>
 204     <member name="M:System.Diagnostics.Contracts.ContractFailedEventArgs.SetHandled">
 205       <summary>Establece la propiedad <see cref="P:System.Diagnostics.Contracts.ContractFailedEventArgs.Handled" /> en true.</summary>
 206     </member>
 207     <member name="M:System.Diagnostics.Contracts.ContractFailedEventArgs.SetUnwind">
 208       <summary>Establece la propiedad <see cref="P:System.Diagnostics.Contracts.ContractFailedEventArgs.Unwind" /> en true.</summary>
 209     </member>
 210     <member name="P:System.Diagnostics.Contracts.ContractFailedEventArgs.Unwind">
 211       <summary>Indica si se debe aplicar la directiva de elevación de contrato de código.</summary>
 212       <returns>true para aplicar la directiva de elevación; de lo contrario, false.El valor predeterminado es false.</returns>
 213     </member>
 214     <member name="T:System.Diagnostics.Contracts.ContractFailureKind">
 215       <summary>Especifica el tipo de contrato en el que se produjo un error. </summary>
 216     </member>
 217     <member name="F:System.Diagnostics.Contracts.ContractFailureKind.Assert">
 218       <summary>Se produjo un error en un contrato <see cref="Overload:System.Diagnostics.Contracts.Contract.Assert" />.</summary>
 219     </member>
 220     <member name="F:System.Diagnostics.Contracts.ContractFailureKind.Assume">
 221       <summary>Se produjo un error en un contrato <see cref="Overload:System.Diagnostics.Contracts.Contract.Assume" />.</summary>
 222     </member>
 223     <member name="F:System.Diagnostics.Contracts.ContractFailureKind.Invariant">
 224       <summary>Se produjo un error en un contrato <see cref="Overload:System.Diagnostics.Contracts.Contract.Invariant" />.</summary>
 225     </member>
 226     <member name="F:System.Diagnostics.Contracts.ContractFailureKind.Postcondition">
 227       <summary>Se produjo un error en un contrato <see cref="Overload:System.Diagnostics.Contracts.Contract.Ensures" />. </summary>
 228     </member>
 229     <member name="F:System.Diagnostics.Contracts.ContractFailureKind.PostconditionOnException">
 230       <summary>Se produjo un error en un contrato <see cref="Overload:System.Diagnostics.Contracts.Contract.EnsuresOnThrow" />.</summary>
 231     </member>
 232     <member name="F:System.Diagnostics.Contracts.ContractFailureKind.Precondition">
 233       <summary>Se produjo un error en un contrato <see cref="Overload:System.Diagnostics.Contracts.Contract.Requires" />.</summary>
 234     </member>
 235     <member name="T:System.Diagnostics.Contracts.ContractInvariantMethodAttribute">
 236       <summary>Marca un método como método invariable de una clase.</summary>
 237     </member>
 238     <member name="M:System.Diagnostics.Contracts.ContractInvariantMethodAttribute.#ctor">
 239       <summary>Inicializa una nueva instancia de la clase <see cref="T:System.Diagnostics.Contracts.ContractInvariantMethodAttribute" />. </summary>
 240     </member>
 241     <member name="T:System.Diagnostics.Contracts.ContractOptionAttribute">
 242       <summary>Permite establecer opciones de contrato y herramienta en el ensamblado, tipo o granularidad del método.</summary>
 243     </member>
 244     <member name="M:System.Diagnostics.Contracts.ContractOptionAttribute.#ctor(System.String,System.String,System.Boolean)">
 245       <summary>Inicializa una nueva instancia de la clase <see cref="T:System.Diagnostics.Contracts.ContractOptionAttribute" /> usando la categoría, configuración y valor para habilitar/deshabilitar especificados.</summary>
 246       <param name="category">La categoría para establecer la opción.</param>
 247       <param name="setting">El valor de la opción.</param>
 248       <param name="enabled">true para habilitar la opción; false para deshabilitar la opción.</param>
 249     </member>
 250     <member name="M:System.Diagnostics.Contracts.ContractOptionAttribute.#ctor(System.String,System.String,System.String)">
 251       <summary>Inicializa una nueva instancia de la clase <see cref="T:System.Diagnostics.Contracts.ContractOptionAttribute" /> usando la categoría, configuración y valor especificados.</summary>
 252       <param name="category">La categoría de la opción que se va a establecer.</param>
 253       <param name="setting">El valor de la opción.</param>
 254       <param name="value">Valor para la configuración.</param>
 255     </member>
 256     <member name="P:System.Diagnostics.Contracts.ContractOptionAttribute.Category">
 257       <summary>Obtiene la categoría de la opción.</summary>
 258       <returns>La categoría de la opción.</returns>
 259     </member>
 260     <member name="P:System.Diagnostics.Contracts.ContractOptionAttribute.Enabled">
 261       <summary>Determina si se habilita una opción.</summary>
 262       <returns>true si la opción está habilitada; de lo contrario, false.</returns>
 263     </member>
 264     <member name="P:System.Diagnostics.Contracts.ContractOptionAttribute.Setting">
 265       <summary>Obtiene el valor de la opción.</summary>
 266       <returns>El valor de la opción.</returns>
 267     </member>
 268     <member name="P:System.Diagnostics.Contracts.ContractOptionAttribute.Value">
 269       <summary>Obtiene el valor de la opción.</summary>
 270       <returns>Valor de la opción.</returns>
 271     </member>
 272     <member name="T:System.Diagnostics.Contracts.ContractPublicPropertyNameAttribute">
 273       <summary>Especifica que un campo se puede usar en contratos de método cuando tenga menos visibilidad que el método. </summary>
 274     </member>
 275     <member name="M:System.Diagnostics.Contracts.ContractPublicPropertyNameAttribute.#ctor(System.String)">
 276       <summary>Inicializa una nueva instancia de la clase <see cref="T:System.Diagnostics.Contracts.ContractPublicPropertyNameAttribute" />. </summary>
 277       <param name="name">El nombre de la propiedad que se va a aplicar al campo.</param>
 278     </member>
 279     <member name="P:System.Diagnostics.Contracts.ContractPublicPropertyNameAttribute.Name">
 280       <summary>Obtiene el nombre de la propiedad que se va a aplicar al campo.</summary>
 281       <returns>Nombre de la propiedad que se aplica al campo.</returns>
 282     </member>
 283     <member name="T:System.Diagnostics.Contracts.ContractReferenceAssemblyAttribute">
 284       <summary>Especifica que un ensamblado es un ensamblado de referencia que contiene contratos.</summary>
 285     </member>
 286     <member name="M:System.Diagnostics.Contracts.ContractReferenceAssemblyAttribute.#ctor">
 287       <summary>Inicializa una nueva instancia de la clase <see cref="T:System.Diagnostics.Contracts.ContractReferenceAssemblyAttribute" />. </summary>
 288     </member>
 289     <member name="T:System.Diagnostics.Contracts.ContractRuntimeIgnoredAttribute">
 290       <summary>Identifica un miembro que no tiene ningún comportamiento en tiempo de ejecución.</summary>
 291     </member>
 292     <member name="M:System.Diagnostics.Contracts.ContractRuntimeIgnoredAttribute.#ctor">
 293       <summary>Inicializa una nueva instancia de la clase <see cref="T:System.Diagnostics.Contracts.ContractRuntimeIgnoredAttribute" />. </summary>
 294     </member>
 295     <member name="T:System.Diagnostics.Contracts.ContractVerificationAttribute">
 296       <summary>Indica a las herramientas de análisis que supongan la exactitud de un ensamblado, tipo o miembro sin realizar ninguna comprobación estática.</summary>
 297     </member>
 298     <member name="M:System.Diagnostics.Contracts.ContractVerificationAttribute.#ctor(System.Boolean)">
 299       <summary>Inicializa una nueva instancia de la clase <see cref="T:System.Diagnostics.Contracts.ContractVerificationAttribute" />. </summary>
 300       <param name="value">true para requerir la comprobación; de lo contrario, false. </param>
 301     </member>
 302     <member name="P:System.Diagnostics.Contracts.ContractVerificationAttribute.Value">
 303       <summary>Obtiene el valor que indica si se va a comprobar el contrato del destino. </summary>
 304       <returns>Es true si la comprobación es necesaria; de lo contrario, es false.</returns>
 305     </member>
 306     <member name="T:System.Diagnostics.Contracts.PureAttribute">
 307       <summary>Indica que un tipo o método es puro, es decir, no realiza ningún cambio en el estado de visibilidad.</summary>
 308     </member>
 309     <member name="M:System.Diagnostics.Contracts.PureAttribute.#ctor">
 310       <summary>Inicializa una nueva instancia de la clase <see cref="T:System.Diagnostics.Contracts.PureAttribute" />. </summary>
 311     </member>
 312     <member name="T:System.Runtime.CompilerServices.ContractHelper">
 313       <summary>Proporciona métodos que el sistema de reescritura binario emplea para administrar errores de contrato.</summary>
 314     </member>
 315     <member name="M:System.Runtime.CompilerServices.ContractHelper.RaiseContractFailedEvent(System.Diagnostics.Contracts.ContractFailureKind,System.String,System.String,System.Exception)">
 316       <summary>Es empleado por el sistema de reescritura binario para activar el comportamiento de error predeterminado.</summary>
 317       <returns>Referencia null (Nothing en Visual Basic) si el evento se controló y no debería desencadenar un error; de lo contrario, devuelve el mensaje de error localizado.</returns>
 318       <param name="failureKind">Uno de los valores de enumeración que especifica el nivel de error.</param>
 319       <param name="userMessage">Información de usuario adicional.</param>
 320       <param name="conditionText">Descripción de la condición que provocó el error.</param>
 321       <param name="innerException">Excepción interna que provocó la excepción actual.</param>
 322       <exception cref="T:System.ArgumentException">
 323         <paramref name="failureKind" /> no es un valor <see cref="T:System.Diagnostics.Contracts.ContractFailureKind" /> válido.</exception>
 324     </member>
 325     <member name="M:System.Runtime.CompilerServices.ContractHelper.TriggerFailure(System.Diagnostics.Contracts.ContractFailureKind,System.String,System.String,System.String,System.Exception)">
 326       <summary>Desencadena el comportamiento de error predeterminado.</summary>
 327       <param name="kind">Uno de los valores de enumeración que especifica el nivel de error.</param>
 328       <param name="displayMessage">Mensaje que se va a mostrar.</param>
 329       <param name="userMessage">Información de usuario adicional.</param>
 330       <param name="conditionText">Descripción de la condición que provocó el error.</param>
 331       <param name="innerException">Excepción interna que provocó la excepción actual.</param>
 332     </member>
 333   </members>
 334 </doc>