Contract.Assume Metod
Definition
Viktigt
En del information gäller för förhandsversionen av en produkt och kan komma att ändras avsevärt innan produkten blir allmänt tillgänglig. Microsoft lämnar inga garantier, uttryckliga eller underförstådda, avseende informationen som visas här.
Instruerar kodanalysverktyg att anta att ett villkor är true, även om det inte statiskt kan bevisas vara true.
Överlagringar
| Name | Description |
|---|---|
| Assume(Boolean) |
Instruerar kodanalysverktyg att anta att det angivna villkoret är |
| Assume(Boolean, String) |
Instruerar kodanalysverktygen att anta att ett villkor är |
Assume(Boolean)
Instruerar kodanalysverktyg att anta att det angivna villkoret är true, även om det inte statiskt kan bevisas vara 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)Parametrar
- condition
- Boolean
Villkorsuttrycket att anta true.
- Attribut
Kommentarer
Vid körning motsvarar Assert(Boolean) användningen av den här metoden metoden.
Gäller för
Assume(Boolean, String)
Instruerar kodanalysverktygen att anta att ett villkor är true, även om det inte statiskt kan bevisas vara true, och visar ett meddelande om antagandet misslyckas.
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)Parametrar
- condition
- Boolean
Villkorsuttrycket att anta true.
- userMessage
- String
Meddelandet som ska skickas om antagandet misslyckas.
- Attribut
Kommentarer
Om userMessage inte är en konstant strängliteral kan det hända att kontraktet inte förstås av verktyg.
Vid körning motsvarar Assert(Boolean, String) användningen av den här metoden metoden.