CodeContract Classe
Definizione
Importante
Alcune informazioni sono relative alla release non definitiva del prodotto, che potrebbe subire modifiche significative prima della release definitiva. Microsoft non riconosce alcuna garanzia, espressa o implicita, in merito alle informazioni qui fornite.
CodeContract viene usato per convalidare i parametri di input
public ref class CodeContract abstract sealedpublic static class CodeContracttype CodeContract = classPublic Module CodeContract- Ereditarietà
-
CodeContract
Metodi
| RequiresArgumentNotEmpty(Guid, String) |
Richiede che guid non sia vuoto |
| RequiresArgumentNotEmptyOrWhitespace(String, String) |
Richiede che la stringa non sia vuota o contenga solo spazi vuoti |
| RequiresArgumentNotNull<T>(T, String) |
Richiede che l'argomento non sia Null |
| RequiresArgumentNotNullAndNotEmpty(String, String) |
Richiede che la stringa non sia Null e non vuota |
| RequiresArgumentNotNullAndNotWhiteSpace(String, String) |
Richiede che l'argomento non sia Null e non spazi vuoti |