Contract.Requires 메서드

정의

네임스페이스:

System.Diagnostics.Contracts

어셈블리:

System.Diagnostics.Contracts.dll

바깥쪽 메서드 또는 속성에 대한 사전 조건 계약을 지정합니다.

오버로드

Requires(Boolean)	바깥쪽 메서드 또는 속성에 대한 사전 조건 계약을 지정합니다.
Requires(Boolean, String)	바깥쪽 메서드나 속성에 대한 사전 조건 계약을 지정하고 계약의 조건이 실패한 경우 메시지를 표시합니다.
Requires<TException>(Boolean)	바깥쪽 메서드나 속성에 대한 사전 조건 계약을 지정하고 계약의 조건이 실패한 경우 예외를 throw합니다.
Requires<TException>(Boolean, String)	바깥쪽 메서드 또는 속성에 대한 사전 조건 계약을 지정하고 계약의 조건이 실패할 경우 제공된 메시지와 함께 예외를 throw합니다.

Requires(Boolean)

Source:

Contracts.cs

바깥쪽 메서드 또는 속성에 대한 사전 조건 계약을 지정합니다.

public:
 static void Requires(bool condition);

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

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

Public Shared Sub Requires (condition As Boolean)

매개 변수

condition

Boolean

테스트할 조건식입니다.

특성

ConditionalAttribute

설명

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

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

• 이전 버전과의 호환성이 특정 예외를 Contract.Requires<TException>(Boolean) throw하도록 강제하지 않는 경우 메서드 대신 이 메서드를 사용합니다.

Requires(Boolean, String)

Source:

Contracts.cs

바깥쪽 메서드나 속성에 대한 사전 조건 계약을 지정하고 계약의 조건이 실패한 경우 메시지를 표시합니다.

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

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

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

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

매개 변수

condition

Boolean

테스트할 조건식입니다.

userMessage

String

조건이 false인 경우 표시할 메시지입니다.

특성

ConditionalAttribute

설명

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

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

• 이전 버전과의 호환성이 특정 예외를 Contract.Requires<TException>(Boolean, String) throw하도록 강제하지 않는 경우 메서드 대신 이 메서드를 사용합니다.

Requires<TException>(Boolean)

Source:

Contracts.cs

바깥쪽 메서드나 속성에 대한 사전 조건 계약을 지정하고 계약의 조건이 실패한 경우 예외를 throw합니다.

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

public static void Requires<TException> (bool condition) where TException : Exception;

static member Requires : bool -> unit (requires 'Exception :> Exception)

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

형식 매개 변수

TException

조건이 false인 경우 throw할 예외입니다.

매개 변수

condition

Boolean

테스트할 조건식입니다.

설명

중요

메서드를 사용 Requires 하려면 런타임 검사를 켜야 합니다. 런타임 검사가 꺼져 있으면 프로세스가 종료됩니다. 런타임 검사를 위한 도구를 가져오려면 Visual Studio Marketplace의 코드 계약을 참조하세요.

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

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

• 사전 조건이 실패할 경우 예외를 Contract.Requires(Boolean) throw하려는 경우 메서드 대신 이 메서드를 사용합니다.

Requires<TException>(Boolean, String)

Source:

Contracts.cs

바깥쪽 메서드 또는 속성에 대한 사전 조건 계약을 지정하고 계약의 조건이 실패할 경우 제공된 메시지와 함께 예외를 throw합니다.

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

public static void Requires<TException> (bool condition, string? userMessage) where TException : Exception;

static member Requires : bool * string -> unit (requires 'Exception :> Exception)

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

형식 매개 변수

TException

조건이 false인 경우 throw할 예외입니다.

매개 변수

condition

Boolean

테스트할 조건식입니다.

userMessage

String

조건이 false인 경우 표시할 메시지입니다.

설명

• 중요

  메서드를 사용 Requires 하려면 런타임 검사를 켜야 합니다. 런타임 검사가 꺼져 있으면 프로세스가 종료됩니다. 런타임 검사를 위한 도구를 가져오려면 Visual Studio Marketplace의 코드 계약을 참조하세요.

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

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

• 사전 조건이 실패할 경우 예외를 Contract.Requires(Boolean, String) throw하려는 경우 메서드 대신 이 메서드를 사용합니다.