다음을 통해 공유


System.Diagnostics.Contracts 네임스페이스

사전 조건, 사후 조건, 고정 조건과 같은 프로그램 계약을 나타내는 정적 클래스가 포함되어 있습니다.

클래스

Contract

사전 조건, 사후 조건, 개체 고정 조건 같은 프로그램 계약을 나타내는 정적 메서드가 포함됩니다.

ContractAbbreviatorAttribute

전체 계약 구문을 대신 사용할 수 있는 약어를 정의합니다.

ContractArgumentValidatorAttribute

다시 사용하기 위해 별도의 메서드로 레거시 if-then-throw 코드의 팩터링을 사용하도록 설정하고 throw된 예외 및 인수를 완전히 제어할 수 있도록 합니다.

ContractClassAttribute

이 형식에 대한 코드 계약이 별도 형식에 포함된다고 지정합니다.

ContractClassForAttribute

클래스가 형식에 대한 계약임을 지정합니다.

ContractFailedEventArgs

ContractFailed 이벤트에 대한 메서드와 데이터를 제공합니다.

ContractInvariantMethodAttribute

메서드가 클래스에 대한 고정 메서드가 됨을 표시합니다.

ContractOptionAttribute

어셈블리, 형식 또는 메서드 세분 수준에서 계약 및 도구 옵션을 설정할 수 있도록 합니다.

ContractPublicPropertyNameAttribute

필드가 메서드보다 잘 표시되지 않을 때 메서드 계약에서 필드를 사용할 수 있다고 지정합니다.

ContractReferenceAssemblyAttribute

어셈블리가 계약을 포함하는 참조 어셈블리임을 지정합니다.

ContractRuntimeIgnoredAttribute

런타임 동작이 없는 멤버를 식별합니다.

ContractVerificationAttribute

분석 도구가 정적 확인을 수행하지 않고도 어셈블리, 형식 또는 멤버의 정확성을 가정하도록 지시합니다.

PureAttribute

시각적인 상태 변화가 없는 순수한 형식이나 메서드를 나타냅니다.

열거형

ContractFailureKind

실패한 계약의 형식을 지정합니다.