packages/System.Diagnostics.Contracts.4.3.0/ref/netcore50/es/System.Diagnostics.Contracts.xml

这里只显示每个文件的开头 60 行。登录后可以解锁完整代码。

微信扫码关注公众号，代码整理好后第一时间通知你。

<?xml version="1.0" encoding="utf-8"?>
<doc>
  <assembly>
    <name>System.Diagnostics.Contracts</name>
  </assembly>
  <members>
    <member name="T:System.Diagnostics.Contracts.Contract">
      <summary>Contiene métodos estáticos para representar contratos del programa como condiciones previas, condiciones posteriores y objetos invariables.</summary>
    </member>
    <member name="M:System.Diagnostics.Contracts.Contract.Assert(System.Boolean)">
      <summary>Comprueba una condición; si es false, sigue la directiva de elevación establecida para el analizador.</summary>
      <param name="condition">Expresión condicional que se va a probar.</param>
    </member>
    <member name="M:System.Diagnostics.Contracts.Contract.Assert(System.Boolean,System.String)">
      <summary>Comprueba una condición; si es false, sigue la directiva de elevación establecida por el analizador y muestra el mensaje especificado.</summary>
      <param name="condition">Expresión condicional que se va a probar.</param>
      <param name="userMessage">Mensaje para mostrar si no se cumple la condición.</param>
    </member>
    <member name="M:System.Diagnostics.Contracts.Contract.Assume(System.Boolean)">
      <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>
      <param name="condition">Expresión condicional que se supone que es true.</param>
    </member>
    <member name="M:System.Diagnostics.Contracts.Contract.Assume(System.Boolean,System.String)">
      <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>
      <param name="condition">Expresión condicional que se supone que es true.</param>
      <param name="userMessage">Mensaje que se muestra si se produce un error en la suposición.</param>
    </member>
    <member name="E:System.Diagnostics.Contracts.Contract.ContractFailed">
      <summary>Se produce cuando un contrato da error.</summary>
    </member>
    <member name="M:System.Diagnostics.Contracts.Contract.EndContractBlock">
      <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>
    </member>
    <member name="M:System.Diagnostics.Contracts.Contract.Ensures(System.Boolean)">
      <summary>Especifica un contrato de condición posterior para el método o la propiedad envolvente.</summary>
      <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>
    </member>
    <member name="M:System.Diagnostics.Contracts.Contract.Ensures(System.Boolean,System.String)">
      <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>
      <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>
      <param name="userMessage">Mensaje para mostrar si la expresión no es true.</param>
    </member>
    <member name="M:System.Diagnostics.Contracts.Contract.EnsuresOnThrow``1(System.Boolean)">
      <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>
      <param name="condition">Expresión condicional que se va a probar.</param>
      <typeparam name="TException">El tipo de excepción que invoca la comprobación de la condición posterior.</typeparam>
    </member>
    <member name="M:System.Diagnostics.Contracts.Contract.EnsuresOnThrow``1(System.Boolean,System.String)">
      <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>
      <param name="condition">Expresión condicional que se va a probar.</param>
      <param name="userMessage">Mensaje para mostrar si la expresión es false.</param>
      <typeparam name="TException">El tipo de excepción que invoca la comprobación de la condición posterior.</typeparam>
    </member>
    <member name="M:System.Diagnostics.Contracts.Contract.Exists``1(System.Collections.Generic.IEnumerable{``0},System.Predicate{``0})">
      <summary>Determina si un elemento de una colección de elementos existe dentro de una función.</summary>
      <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>
      <param name="collection">Colección de la que se extraen elementos de tipo <paramref name="T" /> para pasar a <paramref name="predicate" />.</param>
      <param name="predicate">Función para evaluar un elemento en <paramref name="collection" />.</param>
      <typeparam name="T">Tipo que está contenido en <paramref name="collection" />.</typeparam>
      <exception cref="T:System.ArgumentNullException">