Contract.Assume 메서드

정의

네임스페이스:
System.Diagnostics.Contracts
어셈블리:
mscorlib.dll, System.Diagnostics.Contracts.dll
어셈블리:
netstandard.dll, System.Diagnostics.Contracts.dll
어셈블리:
System.Diagnostics.Contracts.dll
어셈블리:
mscorlib.dll
어셈블리:
netstandard.dll

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

오버로드

Name Description
Assume(Boolean)

지정된 조건이 항상 true정적으로 입증될 수 없는 경우에도 지정된 조건이true라고 가정하도록 코드 분석 도구에 지시합니다.
Assume(Boolean, String)

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

Assume(Boolean)

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

특성
ConditionalAttribute

설명

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

적용 대상

Assume(Boolean, String)

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

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

특성
ConditionalAttribute

설명

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

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

적용 대상