Contract.Assume Methode
Definitie
Belangrijk
Bepaalde informatie heeft betrekking op een voorlopige productversie die aanzienlijk kan worden gewijzigd voordat deze wordt uitgebracht. Microsoft biedt geen enkele expliciete of impliciete garanties met betrekking tot de informatie die hier wordt verstrekt.
Instrueert codeanalysehulpprogramma's om ervan uit te gaan dat een voorwaarde is true, zelfs als deze niet statisch kan worden bewezen true.
Overloads
| Name | Description |
|---|---|
| Assume(Boolean) |
Instrueert codeanalysehulpprogramma's om ervan uit te gaan dat de opgegeven voorwaarde is |
| Assume(Boolean, String) |
Instrueert codeanalysehulpprogramma's om aan te nemen dat een voorwaarde is |
Assume(Boolean)
Instrueert codeanalysehulpprogramma's om ervan uit te gaan dat de opgegeven voorwaarde istrue, zelfs als deze niet statisch kan worden bewezen.true
public:
static void Assume(bool condition);[System.Diagnostics.Conditional("DEBUG")]
[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public static void Assume(bool condition);[<System.Diagnostics.Conditional("DEBUG")>]
[<System.Diagnostics.Conditional("CONTRACTS_FULL")>]
static member Assume : bool -> unitPublic Shared Sub Assume (condition As Boolean)Parameters
- condition
- Boolean
De voorwaardelijke expressie die moet worden aangenomen true.
- Kenmerken
Opmerkingen
Tijdens runtime is het gebruik van deze methode gelijk aan het gebruik van de Assert(Boolean) methode.
Van toepassing op
Assume(Boolean, String)
Instrueert codeanalysehulpprogramma's om aan te nemen dat een voorwaarde is true, zelfs als deze niet statisch kan worden bewezen, trueen geeft een bericht weer als de aanname mislukt.
public:
static void Assume(bool condition, System::String ^ userMessage);[System.Diagnostics.Conditional("DEBUG")]
[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public static void Assume(bool condition, string userMessage);[<System.Diagnostics.Conditional("DEBUG")>]
[<System.Diagnostics.Conditional("CONTRACTS_FULL")>]
static member Assume : bool * string -> unitPublic Shared Sub Assume (condition As Boolean, userMessage As String)Parameters
- condition
- Boolean
De voorwaardelijke expressie die moet worden aangenomen true.
- userMessage
- String
Het bericht dat moet worden geplaatst als de aanname mislukt.
- Kenmerken
Opmerkingen
Als userMessage dit geen letterlijke tekenreeks is, wordt het contract mogelijk niet begrepen door hulpprogramma's.
Tijdens runtime is het gebruik van deze methode gelijk aan het gebruik van de Assert(Boolean, String) methode.