Contract.Assume 메서드

정의

네임스페이스:

System.Diagnostics.Contracts

어셈블리:

System.Diagnostics.Contracts.dll

조건이 항상 true인지 고정적으로 입증할 수 없는 경우를 포함하여, 코드 분석 도구가 조건을 true라고 가정하도록 지시합니다.

오버로드

Assume(Boolean)	조건이 항상 true인지 고정적으로 입증할 수 없는 경우를 포함하여, 코드 분석 도구가 지정된 조건을 true라고 가정하도록 지시합니다.
Assume(Boolean, String)	조건이 항상 true인지 고정적으로 입증할 수 없는 경우를 포함하여, 코드 분석 도구가 조건을 true라고 가정하고 가정이 실패한 경우 메시지를 표시하도록 지시합니다.

Assume(Boolean)

Source:

Contracts.cs

조건이 항상 true인지 고정적으로 입증할 수 없는 경우를 포함하여, 코드 분석 도구가 지정된 조건을 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 -> unit

Public Shared Sub Assume (condition As Boolean)

매개 변수

condition

Boolean

true라고 가정할 조건식입니다.

특성

ConditionalAttribute

설명

런타임에 이 메서드를 사용하는 것은 메서드를 Assert(Boolean) 사용하는 것과 같습니다.

Assume(Boolean, String)

Source:

Contracts.cs

조건이 항상 true인지 고정적으로 입증할 수 없는 경우를 포함하여, 코드 분석 도구가 조건을 true라고 가정하고 가정이 실패한 경우 메시지를 표시하도록 지시합니다.

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 -> unit

Public Shared Sub Assume (condition As Boolean, userMessage As String)

매개 변수

condition

Boolean

true라고 가정할 조건식입니다.

userMessage

String

가정이 실패할 경우 게시되는 메시지입니다.

특성

ConditionalAttribute

설명

userMessage 가 상수 문자열 리터럴이 아니면 도구에서 계약을 이해하지 못할 수 있습니다.

런타임에 이 메서드를 사용하는 것은 메서드를 Assert(Boolean, String) 사용하는 것과 같습니다.