System.Diagnostics.Contracts

Contiene metodi statici per la rappresentazione di contratti di programma quali precondizioni, postcondizioni e invarianti dell'oggetto.

Controlla una condizione. Se la condizione è false, segue i criteri di escalation impostati per l'analizzatore.

Espressione condizionale da sottoporre a test.

Controlla una condizione. Se la condizione è false, segue i criteri di escalation impostati dall'analizzatore e visualizza un messaggio specificato.

Espressione condizionale da sottoporre a test. Messaggio da visualizzare se la condizione non è soddisfatta.

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.

Espressione condizionale da presumere che sia true.

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.

Espressione condizionale da presumere che sia true. Messaggio da inserire se l'ipotesi ha esito negativo.

Si verifica quando un contratto ha esito negativo.

Contrassegna la fine della sezione del contratto quando i contratti di un metodo contengono solo precondizioni nel formato if-then-throw.

Specifica un contratto di postcondizione per il metodo o la proprietà contenitore.

Espressione condizionale da sottoporre a test.L'espressione potrebbe includere i valori , e .

Specifica un contratto di postcondizione per una condizione di uscita fornita e un messaggio da visualizzare se la condizione è false.

Espressione condizionale da sottoporre a test.L'espressione potrebbe includere i valori e . Messaggio da visualizzare se l'espressione non è true.

Specifica un contratto di postcondizione per il metodo o la proprietà contenitore in base all'eccezione e alla condizione fornite.

Espressione condizionale da sottoporre a test. Tipo di eccezione che richiama il controllo di postcondizione.

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.

Espressione condizionale da sottoporre a test. Messaggio da visualizzare se l'espressione è false. Tipo di eccezione che richiama il controllo di postcondizione.

Determina se un elemento all'interno di una raccolta di elementi esiste all'interno di una funzione.

true solo se restituisce true per un elemento di tipo in . Raccolta da cui ottenere elementi di tipo da passare a . Funzione da valutare per un elemento in . Tipo contenuto in . or is null.

Determina se un test specificato è true per qualsiasi Integer all'interno di un intervallo di Integer.

true se restituisce true per qualsiasi Integer a partire da fino a - 1. Primo valore di tipo Integer da passare a . Un ulteriore valore di tipo Integer da passare a . Funzione da valutare per un valore dell'Integer nell'intervallo specificato. is null. is less than .

Determina se tutti gli elementi all'interno di una raccolta esistono all'interno di una funzione.

true se e solo se restituisce true per tutti gli elementi di tipo in . Raccolta da cui ottenere elementi di tipo da passare a . Funzione da valutare per l'esistenza di tutti gli elementi in . Tipo contenuto in . or is null.

Determina se una particolare condizione è valida per tutti gli Integer in un intervallo specificato.

true se restituisce true per tutti gli Integer a partire da fino a - 1. Primo valore di tipo Integer da passare a . Un ulteriore valore di tipo Integer da passare a . Funzione da valutare per l'esistenza degli Integer nell'intervallo specificato. is null. is less than .

Specifica un contratto invariante per il metodo o la proprietà contenitore.

Espressione condizionale da sottoporre a test.

Specifica un contratto invariante per la proprietà o il metodo contenitore e visualizza un messaggio se la condizione per il contratto ha esito negativo.

Espressione condizionale da sottoporre a test. Messaggio da visualizzare se la condizione è false.

Rappresenta i valori come se fossero all'inizio di un metodo o di una proprietà.

Valore del parametro o del campo all'inizio di un metodo o di una proprietà. Valore da rappresentare (campo o parametro). Tipo di valore.

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.

Espressione condizionale da sottoporre a test. Eccezione da generare se la condizione è false.

Specifica un contratto di precondizione per il metodo o la proprietà contenitore.

Espressione condizionale da sottoporre a test.

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.

Espressione condizionale da sottoporre a test. Messaggio da visualizzare se la condizione è false.

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.

Espressione condizionale da sottoporre a test. Messaggio da visualizzare se la condizione è false. Eccezione da generare se la condizione è false.

Rappresenta il valore restituito di un metodo o di una proprietà.

Valore restituito del metodo o della proprietà contenitore. Tipo di valore restituito del metodo o della proprietà contenitore.

Rappresenta il valore finale (output) di un parametro out in caso di restituzione da un metodo.

Valore di output del parametro out. Parametro out. Tipo del parametro out.

Definisce le abbreviazioni che possono essere utilizzate al posto della sintassi completa del contratto.

Inizializza una nuova istanza della classe .

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.

Inizializza una nuova istanza della classe .

Specifica che un tipo separato contiene i contratti di codice per questo tipo.

Inizializza una nuova istanza della classe .

Tipo che contiene i contratti di codice per questo tipo.

Ottiene il tipo che contiene i contratti di codice per questo tipo.

Tipo che contiene i contratti di codice per questo tipo.

Specifica che una classe è un contratto per un tipo.

Inizializza una nuova istanza della classe che specifica il tipo di cui la classe corrente è un contratto.

Tipo di cui la classe corrente è un contratto.

Ottiene il tipo a cui si applica questo contratto di codice.

Tipo a cui si applica questo contratto.

Fornisce metodi e dati per l'evento .

Fornisce dati per l'evento .

Uno dei valori di enumerazione che specifica il contratto non riuscito. Messaggio per l'evento. Condizione per l'evento. Eccezione che ha causato l'evento.

Ottiene la condizione dell'errore del contratto.

Condizione per l'errore.

Ottiene il tipo di contratto non riuscito.

Uno dei valori di enumerazione che specifica il tipo di contratto non riuscito.

Indica se l'evento è stato gestito.

true se l'evento è stato gestito; in caso contrario, false.

Ottiene il messaggio nel quale è descritto l'evento .

Messaggio che descrive l'evento.

Ottiene l'eccezione originale che ha causato l'evento .

Eccezione che ha causato l'evento.

Imposta la proprietà su true.

Indica se devono essere applicati i criteri di escalation del contratto di codice.

true per applicare i criteri di escalation. In caso contrario, false.Il valore predefinito è false.

Specifica il tipo di contratto che non è riuscito.

Contratto non riuscito.

Contrassegna un metodo come metodo invariante per una classe.

Inizializza una nuova istanza della classe .

Consente di impostare il contratto e le opzioni dello strumento con granularità a livello di assembly, tipo o metodo.

Inizializza una nuova istanza della classe utilizzando la categoria, l'impostazione e il valore abilita/disabilita forniti.

La categoria per l'opzione da impostare. Impostazioni dell'opzione. true per abilitare l'opzione; false per disabilitare l'opzione.

Inizializza una nuova istanza della classe utilizzando la categoria, l'impostazione e il valore forniti.

La categoria dell'opzione da impostare. Impostazioni dell'opzione. Valore dell'impostazione.

Ottiene la categoria dell'opzione.

Categoria dell'opzione.

Determina se un'opzione è abilitata.

true se l'opzione è abilitata; in caso contrario false.

Ottiene l'impostazione per l'opzione.

Impostazione per l'opzione.

Ottiene il valore per l'opzione.

Valore dell'opzione.

Specifica che un campo può essere utilizzato nei contratti del metodo quando il campo presenta una visibilità inferiore rispetto al metodo.

Inizializza una nuova istanza della classe .

Nome della proprietà da applicare al campo.

Ottiene il nome della proprietà da applicare al campo.

Nome della proprietà da applicare al campo.

Specifica che un assembly è un assembly di riferimento che contiene contratti.

Inizializza una nuova istanza della classe .

Identifica un membro che non presenta un comportamento in fase di esecuzione.

Inizializza una nuova istanza della classe .

Indica agli strumenti di analisi di presumere la correttezza di un assembly, tipo o membro senza verificarlo staticamente.

Inizializza una nuova istanza della classe .

true per richiedere la verifica. In caso contrario, false.

Ottiene il valore che indica se verificare il contratto della destinazione.

true se la verifica viene richiesta. In caso contrario, false.

Indica che un tipo o un metodo è puro, ovvero non effettua modifiche visibili dello stato.

Inizializza una nuova istanza della classe .

Fornisce metodi che il rewriter binario utilizza per gestire gli errori di contratto.

Utilizzato dal rewriter binario per attivare il comportamento dell'errore predefinito.

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. Uno dei valori di enumerazione che specifica il tipo di errore. Informazioni utente aggiuntive. Descrizione della condizione che ha causato l'errore. Eccezione interna che ha causato l'eccezione corrente. non è un valore valido.

Attiva il comportamento dell'errore predefinito.

Uno dei valori di enumerazione che specifica il tipo di errore. Messaggio da visualizzare. Informazioni utente aggiuntive. Descrizione della condizione che ha causato l'errore. Eccezione interna che ha causato l'eccezione corrente.