다음을 통해 공유


Contract.Assert 메서드

정의

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

오버로드

Assert(Boolean)

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

Assert(Boolean, String)

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

Assert(Boolean)

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

테스트할 조건식입니다.

특성

설명

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

적용 대상

Assert(Boolean, String)

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

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

특성

설명

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

적용 대상