다음을 통해 공유


Contract.EndContractBlock 메서드

정의

메서드의 계약에 if-then-throw 형태의 사전 조건만 포함되어 있을 때 계약 섹션의 끝을 표시합니다.

public:
 static void EndContractBlock();
[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public static void EndContractBlock ();
[<System.Diagnostics.Conditional("CONTRACTS_FULL")>]
static member EndContractBlock : unit -> unit
Public Shared Sub EndContractBlock ()
특성

설명

대부분의 코드에는 이미 코드 형식의 if--thenthrow 일부 매개 변수 유효성 검사가 포함되어 있습니다. 계약 도구는 문이 메서드 내에 처음 표시되고 이러한 문의 전체 집합 뒤에 , , EnsuresOnThrow또는 와 같은 Requires명시적 Contract 메서드 호출이 뒤에 올 때 문을 전제 조건으로 인식-then-throwif합니다.EndContractBlockEnsures

문이 이 형식으로 표시되면 if--thenthrow 계약 도구는 이를 레거시 필요 문으로 인식합니다. 양식은 EndContractBlock 시퀀스를 따르는throwif-then-다른 계약이 없는 경우에만 사용되지만 레거시 요구 사항으로 태그가 지정되어야 합니다.

적용 대상