Tools/dotnetcli/sdk/NuGetFallbackFolder/system.diagnostics.contracts/4.3.0/ref/netstandard1.0/it/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 metodi statici per la rappresentazione di contratti di programma quali precondizioni, postcondizioni e invarianti dell'oggetto.</summary>
   9     </member>
  10     <member name="M:System.Diagnostics.Contracts.Contract.Assert(System.Boolean)">
  11       <summary>Controlla una condizione. Se la condizione è false, segue i criteri di escalation impostati per l'analizzatore.</summary>
  12       <param name="condition">Espressione condizionale da sottoporre a test.</param>
  13     </member>
  14     <member name="M:System.Diagnostics.Contracts.Contract.Assert(System.Boolean,System.String)">
  15       <summary>Controlla una condizione. Se la condizione è false, segue i criteri di escalation impostati dall'analizzatore e visualizza un messaggio specificato.</summary>
  16       <param name="condition">Espressione condizionale da sottoporre a test.</param>
  17       <param name="userMessage">Messaggio da visualizzare se la condizione non è soddisfatta.</param>
  18     </member>
  19     <member name="M:System.Diagnostics.Contracts.Contract.Assume(System.Boolean)">
  20       <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>
  21       <param name="condition">Espressione condizionale da presumere che sia true.</param>
  22     </member>
  23     <member name="M:System.Diagnostics.Contracts.Contract.Assume(System.Boolean,System.String)">
  24       <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>
  25       <param name="condition">Espressione condizionale da presumere che sia true.</param>
  26       <param name="userMessage">Messaggio da inserire se l'ipotesi ha esito negativo.</param>
  27     </member>
  28     <member name="E:System.Diagnostics.Contracts.Contract.ContractFailed">
  29       <summary>Si verifica quando un contratto ha esito negativo.</summary>
  30     </member>
  31     <member name="M:System.Diagnostics.Contracts.Contract.EndContractBlock">
  32       <summary>Contrassegna la fine della sezione del contratto quando i contratti di un metodo contengono solo precondizioni nel formato if-then-throw.</summary>
  33     </member>
  34     <member name="M:System.Diagnostics.Contracts.Contract.Ensures(System.Boolean)">
  35       <summary>Specifica un contratto di postcondizione per il metodo o la proprietà contenitore.</summary>
  36       <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>
  37     </member>
  38     <member name="M:System.Diagnostics.Contracts.Contract.Ensures(System.Boolean,System.String)">
  39       <summary>Specifica un contratto di postcondizione per una condizione di uscita fornita e un messaggio da visualizzare se la condizione è false.</summary>
  40       <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>
  41       <param name="userMessage">Messaggio da visualizzare se l'espressione non è true.</param>
  42     </member>
  43     <member name="M:System.Diagnostics.Contracts.Contract.EnsuresOnThrow``1(System.Boolean)">
  44       <summary>Specifica un contratto di postcondizione per il metodo o la proprietà contenitore in base all'eccezione e alla condizione fornite.</summary>
  45       <param name="condition">Espressione condizionale da sottoporre a test.</param>
  46       <typeparam name="TException">Tipo di eccezione che richiama il controllo di postcondizione.</typeparam>
  47     </member>
  48     <member name="M:System.Diagnostics.Contracts.Contract.EnsuresOnThrow``1(System.Boolean,System.String)">
  49       <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>
  50       <param name="condition">Espressione condizionale da sottoporre a test.</param>
  51       <param name="userMessage">Messaggio da visualizzare se l'espressione è false.</param>
  52       <typeparam name="TException">Tipo di eccezione che richiama il controllo di postcondizione.</typeparam>
  53     </member>
  54     <member name="M:System.Diagnostics.Contracts.Contract.Exists``1(System.Collections.Generic.IEnumerable{``0},System.Predicate{``0})">
  55       <summary>Determina se un elemento all'interno di una raccolta di elementi esiste all'interno di una funzione.</summary>
  56       <returns>true solo se <paramref name="predicate" /> restituisce true per un elemento di tipo <paramref name="T" /> in <paramref name="collection" />.</returns>
  57       <param name="collection">Raccolta da cui ottenere elementi di tipo <paramref name="T" /> da passare a <paramref name="predicate" />.</param>
  58       <param name="predicate">Funzione da valutare per un elemento in <paramref name="collection" />.</param>
  59       <typeparam name="T">Tipo contenuto in <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 se un test specificato è true per qualsiasi Integer all'interno di un intervallo di Integer.</summary>
  65       <returns>true se <paramref name="predicate" /> restituisce true per qualsiasi Integer a partire da <paramref name="fromInclusive" /> fino a <paramref name="toExclusive" /> - 1.</returns>
  66       <param name="fromInclusive">Primo valore di tipo Integer da passare a <paramref name="predicate" />.</param>
  67       <param name="toExclusive">Un ulteriore valore di tipo Integer da passare a <paramref name="predicate" />.</param>
  68       <param name="predicate">Funzione da valutare per un valore dell'Integer nell'intervallo specificato.</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 se tutti gli elementi all'interno di una raccolta esistono all'interno di una funzione.</summary>
  76       <returns>true se e solo se <paramref name="predicate" /> restituisce true per tutti gli elementi di tipo <paramref name="T" /> in <paramref name="collection" />.</returns>
  77       <param name="collection">Raccolta da cui ottenere elementi di tipo <paramref name="T" /> da passare a <paramref name="predicate" />.</param>
  78       <param name="predicate">Funzione da valutare per l'esistenza di tutti gli elementi in <paramref name="collection" />.</param>
  79       <typeparam name="T">Tipo contenuto in <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 se una particolare condizione è valida per tutti gli Integer in un intervallo specificato.</summary>
  85       <returns>true se <paramref name="predicate" /> restituisce true per tutti gli Integer a partire da <paramref name="fromInclusive" /> fino a <paramref name="toExclusive" /> - 1.</returns>
  86       <param name="fromInclusive">Primo valore di tipo Integer da passare a <paramref name="predicate" />.</param>
  87       <param name="toExclusive">Un ulteriore valore di tipo Integer da passare a <paramref name="predicate" />.</param>
  88       <param name="predicate">Funzione da valutare per l'esistenza degli Integer nell'intervallo specificato.</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>Specifica un contratto invariante per il metodo o la proprietà contenitore. </summary>
  96       <param name="condition">Espressione condizionale da sottoporre a test.</param>
  97     </member>
  98     <member name="M:System.Diagnostics.Contracts.Contract.Invariant(System.Boolean,System.String)">
  99       <summary>Specifica un contratto invariante per la proprietà o il metodo contenitore e visualizza un messaggio se la condizione per il contratto ha esito negativo.</summary>
 100       <param name="condition">Espressione condizionale da sottoporre a test.</param>
 101       <param name="userMessage">Messaggio da visualizzare se la condizione è false.</param>
 102     </member>
 103     <member name="M:System.Diagnostics.Contracts.Contract.OldValue``1(``0)">
 104       <summary>Rappresenta i valori come se fossero all'inizio di un metodo o di una proprietà.</summary>
 105       <returns>Valore del parametro o del campo all'inizio di un metodo o di una proprietà.</returns>
 106       <param name="value">Valore da rappresentare (campo o parametro).</param>
 107       <typeparam name="T">Tipo di valore.</typeparam>
 108     </member>
 109     <member name="M:System.Diagnostics.Contracts.Contract.Requires``1(System.Boolean)">
 110       <summary>Specifica un contratto di precondizione per la proprietà o il metodo contenitore e genera un'eccezione se la condizione per il contratto ha esito negativo.</summary>
 111       <param name="condition">Espressione condizionale da sottoporre a test.</param>
 112       <typeparam name="TException">Eccezione da generare se la condizione è false.</typeparam>
 113     </member>
 114     <member name="M:System.Diagnostics.Contracts.Contract.Requires(System.Boolean)">
 115       <summary>Specifica un contratto di precondizione per il metodo o la proprietà contenitore.</summary>
 116       <param name="condition">Espressione condizionale da sottoporre a test.</param>
 117     </member>
 118     <member name="M:System.Diagnostics.Contracts.Contract.Requires(System.Boolean,System.String)">
 119       <summary>Specifica un contratto di precondizione per la proprietà o il metodo contenitore e visualizza un messaggio se la condizione per il contratto ha esito negativo.</summary>
 120       <param name="condition">Espressione condizionale da sottoporre a test.</param>
 121       <param name="userMessage">Messaggio da visualizzare se la condizione è false.</param>
 122     </member>
 123     <member name="M:System.Diagnostics.Contracts.Contract.Requires``1(System.Boolean,System.String)">
 124       <summary>Specifica un contratto di precondizione per la proprietà o il metodo contenitore e genera un'eccezione con il messaggio fornito se la condizione per il contratto ha esito negativo.</summary>
 125       <param name="condition">Espressione condizionale da sottoporre a test.</param>
 126       <param name="userMessage">Messaggio da visualizzare se la condizione è false.</param>
 127       <typeparam name="TException">Eccezione da generare se la condizione è false.</typeparam>
 128     </member>
 129     <member name="M:System.Diagnostics.Contracts.Contract.Result``1">
 130       <summary>Rappresenta il valore restituito di un metodo o di una proprietà.</summary>
 131       <returns>Valore restituito del metodo o della proprietà contenitore.</returns>
 132       <typeparam name="T">Tipo di valore restituito del metodo o della proprietà contenitore.</typeparam>
 133     </member>
 134     <member name="M:System.Diagnostics.Contracts.Contract.ValueAtReturn``1(``0@)">
 135       <summary>Rappresenta il valore finale (output) di un parametro out in caso di restituzione da un metodo.</summary>
 136       <returns>Valore di output del parametro out.</returns>
 137       <param name="value">Parametro out.</param>
 138       <typeparam name="T">Tipo del parametro out.</typeparam>
 139     </member>
 140     <member name="T:System.Diagnostics.Contracts.ContractAbbreviatorAttribute">
 141       <summary>Definisce le abbreviazioni che possono essere utilizzate al posto della sintassi completa del contratto.</summary>
 142     </member>
 143     <member name="M:System.Diagnostics.Contracts.ContractAbbreviatorAttribute.#ctor">
 144       <summary>Inizializza una nuova istanza della classe <see cref="T:System.Diagnostics.Contracts.ContractAbbreviatorAttribute" />.</summary>
 145     </member>
 146     <member name="T:System.Diagnostics.Contracts.ContractArgumentValidatorAttribute">
 147       <summary>Permette l'esecuzione del factoring del codice if-then-throw legacy in metodi separati da riutilizzare e fornisce il controllo completo sulle eccezioni e sugli argomenti generati.</summary>
 148     </member>
 149     <member name="M:System.Diagnostics.Contracts.ContractArgumentValidatorAttribute.#ctor">
 150       <summary>Inizializza una nuova istanza della classe <see cref="T:System.Diagnostics.Contracts.ContractArgumentValidatorAttribute" />.</summary>
 151     </member>
 152     <member name="T:System.Diagnostics.Contracts.ContractClassAttribute">
 153       <summary>Specifica che un tipo separato contiene i contratti di codice per questo tipo.</summary>
 154     </member>
 155     <member name="M:System.Diagnostics.Contracts.ContractClassAttribute.#ctor(System.Type)">
 156       <summary>Inizializza una nuova istanza della classe <see cref="T:System.Diagnostics.Contracts.ContractClassAttribute" />. </summary>
 157       <param name="typeContainingContracts">Tipo che contiene i contratti di codice per questo tipo.</param>
 158     </member>
 159     <member name="P:System.Diagnostics.Contracts.ContractClassAttribute.TypeContainingContracts">
 160       <summary>Ottiene il tipo che contiene i contratti di codice per questo tipo.</summary>
 161       <returns>Tipo che contiene i contratti di codice per questo tipo. </returns>
 162     </member>
 163     <member name="T:System.Diagnostics.Contracts.ContractClassForAttribute">
 164       <summary>Specifica che una classe è un contratto per un tipo.</summary>
 165     </member>
 166     <member name="M:System.Diagnostics.Contracts.ContractClassForAttribute.#ctor(System.Type)">
 167       <summary>Inizializza una nuova istanza della classe <see cref="T:System.Diagnostics.Contracts.ContractClassForAttribute" /> che specifica il tipo di cui la classe corrente è un contratto. </summary>
 168       <param name="typeContractsAreFor">Tipo di cui la classe corrente è un contratto.</param>
 169     </member>
 170     <member name="P:System.Diagnostics.Contracts.ContractClassForAttribute.TypeContractsAreFor">
 171       <summary>Ottiene il tipo a cui si applica questo contratto di codice. </summary>
 172       <returns>Tipo a cui si applica questo contratto.</returns>
 173     </member>
 174     <member name="T:System.Diagnostics.Contracts.ContractFailedEventArgs">
 175       <summary>Fornisce metodi e dati per l'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>Fornisce dati per l'evento <see cref="E:System.Diagnostics.Contracts.Contract.ContractFailed" />.</summary>
 179       <param name="failureKind">Uno dei valori di enumerazione che specifica il contratto non riuscito.</param>
 180       <param name="message">Messaggio per l'evento.</param>
 181       <param name="condition">Condizione per l'evento.</param>
 182       <param name="originalException">Eccezione che ha causato l'evento.</param>
 183     </member>
 184     <member name="P:System.Diagnostics.Contracts.ContractFailedEventArgs.Condition">
 185       <summary>Ottiene la condizione dell'errore del contratto.</summary>
 186       <returns>Condizione per l'errore.</returns>
 187     </member>
 188     <member name="P:System.Diagnostics.Contracts.ContractFailedEventArgs.FailureKind">
 189       <summary>Ottiene il tipo di contratto non riuscito.</summary>
 190       <returns>Uno dei valori di enumerazione che specifica il tipo di contratto non riuscito.</returns>
 191     </member>
 192     <member name="P:System.Diagnostics.Contracts.ContractFailedEventArgs.Handled">
 193       <summary>Indica se l'evento <see cref="E:System.Diagnostics.Contracts.Contract.ContractFailed" /> è stato gestito.</summary>
 194       <returns>true se l'evento è stato gestito; in caso contrario, false. </returns>
 195     </member>
 196     <member name="P:System.Diagnostics.Contracts.ContractFailedEventArgs.Message">
 197       <summary>Ottiene il messaggio nel quale è descritto l'evento <see cref="E:System.Diagnostics.Contracts.Contract.ContractFailed" />.</summary>
 198       <returns>Messaggio che descrive l'evento.</returns>
 199     </member>
 200     <member name="P:System.Diagnostics.Contracts.ContractFailedEventArgs.OriginalException">
 201       <summary>Ottiene l'eccezione originale che ha causato l'evento <see cref="E:System.Diagnostics.Contracts.Contract.ContractFailed" />.</summary>
 202       <returns>Eccezione che ha causato l'evento.</returns>
 203     </member>
 204     <member name="M:System.Diagnostics.Contracts.ContractFailedEventArgs.SetHandled">
 205       <summary>Imposta la proprietà <see cref="P:System.Diagnostics.Contracts.ContractFailedEventArgs.Handled" /> su true.</summary>
 206     </member>
 207     <member name="M:System.Diagnostics.Contracts.ContractFailedEventArgs.SetUnwind">
 208       <summary>Imposta la proprietà <see cref="P:System.Diagnostics.Contracts.ContractFailedEventArgs.Unwind" /> su true.</summary>
 209     </member>
 210     <member name="P:System.Diagnostics.Contracts.ContractFailedEventArgs.Unwind">
 211       <summary>Indica se devono essere applicati i criteri di escalation del contratto di codice.</summary>
 212       <returns>true per applicare i criteri di escalation. In caso contrario, false.Il valore predefinito è false.</returns>
 213     </member>
 214     <member name="T:System.Diagnostics.Contracts.ContractFailureKind">
 215       <summary>Specifica il tipo di contratto che non è riuscito. </summary>
 216     </member>
 217     <member name="F:System.Diagnostics.Contracts.ContractFailureKind.Assert">
 218       <summary>Contratto <see cref="Overload:System.Diagnostics.Contracts.Contract.Assert" /> non riuscito.</summary>
 219     </member>
 220     <member name="F:System.Diagnostics.Contracts.ContractFailureKind.Assume">
 221       <summary>Contratto <see cref="Overload:System.Diagnostics.Contracts.Contract.Assume" /> non riuscito.</summary>
 222     </member>
 223     <member name="F:System.Diagnostics.Contracts.ContractFailureKind.Invariant">
 224       <summary>Contratto <see cref="Overload:System.Diagnostics.Contracts.Contract.Invariant" /> non riuscito.</summary>
 225     </member>
 226     <member name="F:System.Diagnostics.Contracts.ContractFailureKind.Postcondition">
 227       <summary>Contratto <see cref="Overload:System.Diagnostics.Contracts.Contract.Ensures" /> non riuscito. </summary>
 228     </member>
 229     <member name="F:System.Diagnostics.Contracts.ContractFailureKind.PostconditionOnException">
 230       <summary>Contratto <see cref="Overload:System.Diagnostics.Contracts.Contract.EnsuresOnThrow" /> non riuscito.</summary>
 231     </member>
 232     <member name="F:System.Diagnostics.Contracts.ContractFailureKind.Precondition">
 233       <summary>Contratto <see cref="Overload:System.Diagnostics.Contracts.Contract.Requires" /> non riuscito.</summary>
 234     </member>
 235     <member name="T:System.Diagnostics.Contracts.ContractInvariantMethodAttribute">
 236       <summary>Contrassegna un metodo come metodo invariante per una classe.</summary>
 237     </member>
 238     <member name="M:System.Diagnostics.Contracts.ContractInvariantMethodAttribute.#ctor">
 239       <summary>Inizializza una nuova istanza della classe <see cref="T:System.Diagnostics.Contracts.ContractInvariantMethodAttribute" />. </summary>
 240     </member>
 241     <member name="T:System.Diagnostics.Contracts.ContractOptionAttribute">
 242       <summary>Consente di impostare il contratto e le opzioni dello strumento con granularità a livello di assembly, tipo o metodo.</summary>
 243     </member>
 244     <member name="M:System.Diagnostics.Contracts.ContractOptionAttribute.#ctor(System.String,System.String,System.Boolean)">
 245       <summary>Inizializza una nuova istanza della classe <see cref="T:System.Diagnostics.Contracts.ContractOptionAttribute" /> utilizzando la categoria, l'impostazione e il valore abilita/disabilita forniti.</summary>
 246       <param name="category">La categoria per l'opzione da impostare.</param>
 247       <param name="setting">Impostazioni dell'opzione.</param>
 248       <param name="enabled">true per abilitare l'opzione; false per disabilitare l'opzione.</param>
 249     </member>
 250     <member name="M:System.Diagnostics.Contracts.ContractOptionAttribute.#ctor(System.String,System.String,System.String)">
 251       <summary>Inizializza una nuova istanza della classe <see cref="T:System.Diagnostics.Contracts.ContractOptionAttribute" /> utilizzando la categoria, l'impostazione e il valore forniti.</summary>
 252       <param name="category">La categoria dell'opzione da impostare.</param>
 253       <param name="setting">Impostazioni dell'opzione.</param>
 254       <param name="value">Valore dell'impostazione.</param>
 255     </member>
 256     <member name="P:System.Diagnostics.Contracts.ContractOptionAttribute.Category">
 257       <summary>Ottiene la categoria dell'opzione.</summary>
 258       <returns>Categoria dell'opzione.</returns>
 259     </member>
 260     <member name="P:System.Diagnostics.Contracts.ContractOptionAttribute.Enabled">
 261       <summary>Determina se un'opzione è abilitata.</summary>
 262       <returns>true se l'opzione è abilitata; in caso contrario false.</returns>
 263     </member>
 264     <member name="P:System.Diagnostics.Contracts.ContractOptionAttribute.Setting">
 265       <summary>Ottiene l'impostazione per l'opzione.</summary>
 266       <returns>Impostazione per l'opzione.</returns>
 267     </member>
 268     <member name="P:System.Diagnostics.Contracts.ContractOptionAttribute.Value">
 269       <summary>Ottiene il valore per l'opzione.</summary>
 270       <returns>Valore dell'opzione.</returns>
 271     </member>
 272     <member name="T:System.Diagnostics.Contracts.ContractPublicPropertyNameAttribute">
 273       <summary>Specifica che un campo può essere utilizzato nei contratti del metodo quando il campo presenta una visibilità inferiore rispetto al metodo. </summary>
 274     </member>
 275     <member name="M:System.Diagnostics.Contracts.ContractPublicPropertyNameAttribute.#ctor(System.String)">
 276       <summary>Inizializza una nuova istanza della classe <see cref="T:System.Diagnostics.Contracts.ContractPublicPropertyNameAttribute" />. </summary>
 277       <param name="name">Nome della proprietà da applicare al campo.</param>
 278     </member>
 279     <member name="P:System.Diagnostics.Contracts.ContractPublicPropertyNameAttribute.Name">
 280       <summary>Ottiene il nome della proprietà da applicare al campo.</summary>
 281       <returns>Nome della proprietà da applicare al campo.</returns>
 282     </member>
 283     <member name="T:System.Diagnostics.Contracts.ContractReferenceAssemblyAttribute">
 284       <summary>Specifica che un assembly è un assembly di riferimento che contiene contratti.</summary>
 285     </member>
 286     <member name="M:System.Diagnostics.Contracts.ContractReferenceAssemblyAttribute.#ctor">
 287       <summary>Inizializza una nuova istanza della classe <see cref="T:System.Diagnostics.Contracts.ContractReferenceAssemblyAttribute" />. </summary>
 288     </member>
 289     <member name="T:System.Diagnostics.Contracts.ContractRuntimeIgnoredAttribute">
 290       <summary>Identifica un membro che non presenta un comportamento in fase di esecuzione.</summary>
 291     </member>
 292     <member name="M:System.Diagnostics.Contracts.ContractRuntimeIgnoredAttribute.#ctor">
 293       <summary>Inizializza una nuova istanza della classe <see cref="T:System.Diagnostics.Contracts.ContractRuntimeIgnoredAttribute" />. </summary>
 294     </member>
 295     <member name="T:System.Diagnostics.Contracts.ContractVerificationAttribute">
 296       <summary>Indica agli strumenti di analisi di presumere la correttezza di un assembly, tipo o membro senza verificarlo staticamente.</summary>
 297     </member>
 298     <member name="M:System.Diagnostics.Contracts.ContractVerificationAttribute.#ctor(System.Boolean)">
 299       <summary>Inizializza una nuova istanza della classe <see cref="T:System.Diagnostics.Contracts.ContractVerificationAttribute" />. </summary>
 300       <param name="value">true per richiedere la verifica. In caso contrario, false. </param>
 301     </member>
 302     <member name="P:System.Diagnostics.Contracts.ContractVerificationAttribute.Value">
 303       <summary>Ottiene il valore che indica se verificare il contratto della destinazione. </summary>
 304       <returns>true se la verifica viene richiesta. In caso contrario, false.</returns>
 305     </member>
 306     <member name="T:System.Diagnostics.Contracts.PureAttribute">
 307       <summary>Indica che un tipo o un metodo è puro, ovvero non effettua modifiche visibili dello stato.</summary>
 308     </member>
 309     <member name="M:System.Diagnostics.Contracts.PureAttribute.#ctor">
 310       <summary>Inizializza una nuova istanza della classe <see cref="T:System.Diagnostics.Contracts.PureAttribute" />. </summary>
 311     </member>
 312     <member name="T:System.Runtime.CompilerServices.ContractHelper">
 313       <summary>Fornisce metodi che il rewriter binario utilizza per gestire gli errori di contratto.</summary>
 314     </member>
 315     <member name="M:System.Runtime.CompilerServices.ContractHelper.RaiseContractFailedEvent(System.Diagnostics.Contracts.ContractFailureKind,System.String,System.String,System.Exception)">
 316       <summary>Utilizzato dal rewriter binario per attivare il comportamento dell'errore predefinito.</summary>
 317       <returns>Riferimento Null (Nothing in Visual Basic) se l'evento è stato gestito e non deve attivare un errore. In caso contrario, restituisce il messaggio di errore localizzato.</returns>
 318       <param name="failureKind">Uno dei valori di enumerazione che specifica il tipo di errore.</param>
 319       <param name="userMessage">Informazioni utente aggiuntive.</param>
 320       <param name="conditionText">Descrizione della condizione che ha causato l'errore.</param>
 321       <param name="innerException">Eccezione interna che ha causato l'eccezione corrente.</param>
 322       <exception cref="T:System.ArgumentException">
 323         <paramref name="failureKind" /> non è un valore <see cref="T:System.Diagnostics.Contracts.ContractFailureKind" /> valido.</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>Attiva il comportamento dell'errore predefinito.</summary>
 327       <param name="kind">Uno dei valori di enumerazione che specifica il tipo di errore.</param>
 328       <param name="displayMessage">Messaggio da visualizzare.</param>
 329       <param name="userMessage">Informazioni utente aggiuntive.</param>
 330       <param name="conditionText">Descrizione della condizione che ha causato l'errore.</param>
 331       <param name="innerException">Eccezione interna che ha causato l'eccezione corrente.</param>
 332     </member>
 333   </members>
 334 </doc>