Contract.EnsuresOnThrow 메서드

정의

네임스페이스:

System.Diagnostics.Contracts

어셈블리:

System.Diagnostics.Contracts.dll

제공된 예외와 조건에 따라 바깥쪽 메서드 또는 속성에 대한 사후 조건 계약을 지정합니다.

오버로드

EnsuresOnThrow<TException>(Boolean)	제공된 예외와 조건에 따라 바깥쪽 메서드 또는 속성에 대한 사후 조건 계약을 지정합니다.
EnsuresOnThrow<TException>(Boolean, String)	제공된 예외와 조건에 따라 바깥쪽 메서드 또는 속성에 대한 해당 조건이 false인 경우 표시할 사후 조건 계약과 메시지를 지정합니다.

EnsuresOnThrow<TException>(Boolean)

Source:

Contracts.cs

제공된 예외와 조건에 따라 바깥쪽 메서드 또는 속성에 대한 사후 조건 계약을 지정합니다.

public:
generic <typename TException>
 where TException : Exception static void EnsuresOnThrow(bool condition);

[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public static void EnsuresOnThrow<TException> (bool condition) where TException : Exception;

[<System.Diagnostics.Conditional("CONTRACTS_FULL")>]
static member EnsuresOnThrow : bool -> unit (requires 'Exception :> Exception)

Public Shared Sub EnsuresOnThrow(Of TException As Exception) (condition As Boolean)

형식 매개 변수

TException

사후 조건 확인을 호출하는 예외의 형식입니다.

매개 변수

condition

Boolean

테스트할 조건식입니다.

특성

ConditionalAttribute

설명

매개 변수는 condition 바깥쪽 메서드 또는 속성이 비정상적으로 종료되고 형식 TException 의 예외가 throw될 true 때 예상되는 사후 조건을 지정합니다.

• 이 메서드 호출은 다른 코드 앞에 있는 메서드 또는 속성의 시작 부분에 있어야 합니다.

• 이 계약은 클라이언트에 노출됩니다. 따라서 최소한 바깥쪽 메서드만큼 표시되는 멤버만 참조해야 합니다.

• 이 사후 조건의 런타임 적용을 위해 이진 재작성기를 사용해야 합니다.

EnsuresOnThrow<TException>(Boolean, String)

Source:

Contracts.cs

제공된 예외와 조건에 따라 바깥쪽 메서드 또는 속성에 대한 해당 조건이 false인 경우 표시할 사후 조건 계약과 메시지를 지정합니다.

public:
generic <typename TException>
 where TException : Exception static void EnsuresOnThrow(bool condition, System::String ^ userMessage);

[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public static void EnsuresOnThrow<TException> (bool condition, string? userMessage) where TException : Exception;

[<System.Diagnostics.Conditional("CONTRACTS_FULL")>]
static member EnsuresOnThrow : bool * string -> unit (requires 'Exception :> Exception)

Public Shared Sub EnsuresOnThrow(Of TException As Exception) (condition As Boolean, userMessage As String)

형식 매개 변수

TException

사후 조건 확인을 호출하는 예외의 형식입니다.

매개 변수

condition

Boolean

테스트할 조건식입니다.

userMessage

String

식이 false이면 표시할 메시지입니다.

특성

ConditionalAttribute

설명

매개 변수는 condition 바깥쪽 메서드 또는 속성이 비정상적으로 종료되고 형식 TException 의 예외가 throw될 true 때 예상되는 사후 조건을 지정합니다. 매개 변수는 message 조건이 false인지 표시할 메시지를 지정합니다.

• 이 메서드 호출은 다른 코드 앞에 있는 메서드 또는 속성의 시작 부분에 있어야 합니다.

• 이 계약은 클라이언트에 노출됩니다. 따라서 최소한 바깥쪽 메서드만큼 표시되는 멤버만 참조해야 합니다.

• 이 사후 조건의 런타임 적용을 위해 이진 재작성기를 사용해야 합니다.

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