packages/System.Diagnostics.Contracts.4.3.0/ref/netstandard1.0/it/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 metodi statici per la rappresentazione di contratti di programma quali precondizioni, postcondizioni e invarianti dell'oggetto.</summary>
    </member>
    <member name="M:System.Diagnostics.Contracts.Contract.Assert(System.Boolean)">
      <summary>Controlla una condizione. Se la condizione è false, segue i criteri di escalation impostati per l'analizzatore.</summary>
      <param name="condition">Espressione condizionale da sottoporre a test.</param>
    </member>
    <member name="M:System.Diagnostics.Contracts.Contract.Assert(System.Boolean,System.String)">
      <summary>Controlla una condizione. Se la condizione è false, segue i criteri di escalation impostati dall'analizzatore e visualizza un messaggio specificato.</summary>
      <param name="condition">Espressione condizionale da sottoporre a test.</param>
      <param name="userMessage">Messaggio da visualizzare se la condizione non è soddisfatta.</param>
    </member>
    <member name="M:System.Diagnostics.Contracts.Contract.Assume(System.Boolean)">
      <summary>Indica agli strumenti di analisi del codice di presumere che la condizione specificata sia true, anche se non è possibile provare staticamente che sia sempre true.</summary>
      <param name="condition">Espressione condizionale da presumere che sia true.</param>
    </member>
    <member name="M:System.Diagnostics.Contracts.Contract.Assume(System.Boolean,System.String)">
      <summary>Indica agli strumenti di analisi del codice di presumere che una condizione sia true, anche se non è possibile provare staticamente che sia sempre true. Se l'ipotesi ha esito negativo, viene visualizzato un messaggio.</summary>
      <param name="condition">Espressione condizionale da presumere che sia true.</param>
      <param name="userMessage">Messaggio da inserire se l'ipotesi ha esito negativo.</param>
    </member>
    <member name="E:System.Diagnostics.Contracts.Contract.ContractFailed">
      <summary>Si verifica quando un contratto ha esito negativo.</summary>
    </member>
    <member name="M:System.Diagnostics.Contracts.Contract.EndContractBlock">
      <summary>Contrassegna la fine della sezione del contratto quando i contratti di un metodo contengono solo precondizioni nel formato if-then-throw.</summary>
    </member>
    <member name="M:System.Diagnostics.Contracts.Contract.Ensures(System.Boolean)">
      <summary>Specifica un contratto di postcondizione per il metodo o la proprietà contenitore.</summary>
      <param name="condition">Espressione condizionale da sottoporre a test.L'espressione potrebbe includere i valori <see cref="M:System.Diagnostics.Contracts.Contract.OldValue``1(``0)" />, <see cref="M:System.Diagnostics.Contracts.Contract.ValueAtReturn``1(``0@)" /> e <see cref="M:System.Diagnostics.Contracts.Contract.Result``1" />.</param>
    </member>
    <member name="M:System.Diagnostics.Contracts.Contract.Ensures(System.Boolean,System.String)">
      <summary>Specifica un contratto di postcondizione per una condizione di uscita fornita e un messaggio da visualizzare se la condizione è false.</summary>
      <param name="condition">Espressione condizionale da sottoporre a test.L'espressione potrebbe includere i valori <see cref="M:System.Diagnostics.Contracts.Contract.OldValue``1(``0)" /> e <see cref="M:System.Diagnostics.Contracts.Contract.Result``1" />.</param>
      <param name="userMessage">Messaggio da visualizzare se l'espressione non è true.</param>
    </member>
    <member name="M:System.Diagnostics.Contracts.Contract.EnsuresOnThrow``1(System.Boolean)">
      <summary>Specifica un contratto di postcondizione per il metodo o la proprietà contenitore in base all'eccezione e alla condizione fornite.</summary>
      <param name="condition">Espressione condizionale da sottoporre a test.</param>
      <typeparam name="TException">Tipo di eccezione che richiama il controllo di postcondizione.</typeparam>
    </member>
    <member name="M:System.Diagnostics.Contracts.Contract.EnsuresOnThrow``1(System.Boolean,System.String)">
      <summary>Specifica un contratto di postcondizione e un messaggio da visualizzare se la condizione è false per il metodo o la proprietà contenitore in base all'eccezione e alla condizione fornite.</summary>
      <param name="condition">Espressione condizionale da sottoporre a test.</param>
      <param name="userMessage">Messaggio da visualizzare se l'espressione è false.</param>
      <typeparam name="TException">Tipo di eccezione che richiama il controllo di postcondizione.</typeparam>
    </member>
    <member name="M:System.Diagnostics.Contracts.Contract.Exists``1(System.Collections.Generic.IEnumerable{``0},System.Predicate{``0})">
      <summary>Determina se un elemento all'interno di una raccolta di elementi esiste all'interno di una funzione.</summary>
      <returns>true solo se <paramref name="predicate" /> restituisce true per un elemento di tipo <paramref name="T" /> in <paramref name="collection" />.</returns>
      <param name="collection">Raccolta da cui ottenere elementi di tipo <paramref name="T" /> da passare a <paramref name="predicate" />.</param>
      <param name="predicate">Funzione da valutare per un elemento in <paramref name="collection" />.</param>
      <typeparam name="T">Tipo contenuto in <paramref name="collection" />.</typeparam>
      <exception cref="T:System.ArgumentNullException">