Contract.Assert 메서드

정의

네임스페이스:

System.Diagnostics.Contracts

어셈블리:

System.Diagnostics.Contracts.dll

디버그 빌드에서 지정된 조건으로 런타임 테스트를 수행합니다.

오버로드

Assert(Boolean)	조건을 확인합니다. 조건이 false이면 분석기에 설정된 에스컬레이션 정책을 따릅니다.
Assert(Boolean, String)	조건을 확인합니다. 조건이 false이면 분석기에 설정된 에스컬레이션 정책을 따르고 지정된 메시지를 표시합니다.

Assert(Boolean)

Source:

Contracts.cs

조건을 확인합니다. 조건이 false이면 분석기에 설정된 에스컬레이션 정책을 따릅니다.

public:
 static void Assert(bool condition);

[System.Diagnostics.Conditional("CONTRACTS_FULL")]
[System.Diagnostics.Conditional("DEBUG")]
public static void Assert (bool condition);

[<System.Diagnostics.Conditional("CONTRACTS_FULL")>]
[<System.Diagnostics.Conditional("DEBUG")>]
static member Assert : bool -> unit

Public Shared Sub Assert (condition As Boolean)

매개 변수

condition

Boolean

테스트할 조건식입니다.

특성

ConditionalAttribute

설명

기본 에스컬레이션 정책은 연결된 디버거에 계약 실패에 대해 알리거나 디버거가 연결되지 않은 경우 어설션 대화 상자를 표시하는 것입니다. 필요에 따라 분석기에서 예외를 throw하도록 지시할 수 있습니다.

Assert(Boolean, String)

Source:

Contracts.cs

조건을 확인합니다. 조건이 false이면 분석기에 설정된 에스컬레이션 정책을 따르고 지정된 메시지를 표시합니다.

public:
 static void Assert(bool condition, System::String ^ userMessage);

[System.Diagnostics.Conditional("DEBUG")]
[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public static void Assert (bool condition, string? userMessage);

[<System.Diagnostics.Conditional("DEBUG")>]
[<System.Diagnostics.Conditional("CONTRACTS_FULL")>]
static member Assert : bool * string -> unit

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

매개 변수

condition

Boolean

테스트할 조건식입니다.

userMessage

String

조건이 충족되지 않으면 표시할 메시지입니다.

특성

ConditionalAttribute

설명

기본 에스컬레이션 정책은 연결된 디버거에 계약 실패에 대해 알리거나 디버거가 연결되지 않은 경우 어설션 대화 상자를 표시하는 것입니다. 필요에 따라 분석기에서 예외를 throw하도록 지시할 수 있습니다. userMessage 매개 변수는 디버거 출력에 전달됩니다. userMessage 가 상수 문자열 리터럴이 아니면 도구에서 읽지 못할 수 있습니다.