Share via


STrace.Implies 메서드

정의

지정된 조건에서 어설션을 발생시킵니다.

오버로드

Implies(Boolean, Boolean)

premisetrue이고 conclusionfalse이면 어설션을 발생시킵니다.

Implies(Boolean, Boolean, String)

premisetrue이고 conclusionfalse이면 어설션을 발생시키고 어설션에 대한 메시지를 표시합니다.

Implies(Boolean, Boolean)

premisetrue이고 conclusionfalse이면 어설션을 발생시킵니다.

public:
 static void Implies(bool premise, bool conclusion);
[System.Diagnostics.Conditional("DEBUG")]
public static void Implies (bool premise, bool conclusion);
[<System.Diagnostics.Conditional("DEBUG")>]
static member Implies : bool * bool -> unit
Public Shared Sub Implies (premise As Boolean, conclusion As Boolean)

매개 변수

premise
Boolean

함축의 부울 전제입니다.

conclusion
Boolean

함축의 부울 결론입니다.

특성

적용 대상

Implies(Boolean, Boolean, String)

premisetrue이고 conclusionfalse이면 어설션을 발생시키고 어설션에 대한 메시지를 표시합니다.

public:
 static void Implies(bool premise, bool conclusion, System::String ^ message);
[System.Diagnostics.Conditional("DEBUG")]
public static void Implies (bool premise, bool conclusion, string message);
[<System.Diagnostics.Conditional("DEBUG")>]
static member Implies : bool * bool * string -> unit
Public Shared Sub Implies (premise As Boolean, conclusion As Boolean, message As String)

매개 변수

premise
Boolean

함축의 부울 전제입니다.

conclusion
Boolean

함축의 부울 결론입니다.

message
String

어설션 메시지입니다.

특성

적용 대상