다음을 통해 공유


Contract.Assume 메서드

정의

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

오버로드

Assume(Boolean)

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

Assume(Boolean, String)

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

Assume(Boolean)

Source:
Contracts.cs
Source:
Contracts.cs
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라고 가정할 조건식입니다.

특성

설명

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

적용 대상

Assume(Boolean, String)

Source:
Contracts.cs
Source:
Contracts.cs
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")]
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

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

특성

설명

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

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

적용 대상