System.Diagnostics.Contracts 네임스페이스

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

클래스

Contract	사전 조건, 사후 조건, 개체 고정 조건 같은 프로그램 계약을 나타내는 정적 메서드가 포함됩니다.
ContractAbbreviatorAttribute	전체 계약 구문을 대신 사용할 수 있는 약어를 정의합니다.
ContractArgumentValidatorAttribute	다시 사용하기 위해 별도의 메서드로 레거시 if-then-throw 코드의 팩터링을 사용하도록 설정하고 throw된 예외 및 인수를 완전히 제어할 수 있도록 합니다.
ContractClassAttribute	이 형식에 대한 코드 계약이 별도 형식에 포함된다고 지정합니다.
ContractClassForAttribute	클래스가 형식에 대한 계약임을 지정합니다.
ContractFailedEventArgs	ContractFailed 이벤트에 대한 메서드와 데이터를 제공합니다.
ContractInvariantMethodAttribute	메서드가 클래스에 대한 고정 메서드가 됨을 표시합니다.
ContractOptionAttribute	어셈블리, 형식 또는 메서드 세분 수준에서 계약 및 도구 옵션을 설정할 수 있도록 합니다.
ContractPublicPropertyNameAttribute	필드가 메서드보다 잘 표시되지 않을 때 메서드 계약에서 필드를 사용할 수 있다고 지정합니다.
ContractReferenceAssemblyAttribute	어셈블리가 계약을 포함하는 참조 어셈블리임을 지정합니다.
ContractRuntimeIgnoredAttribute	런타임 동작이 없는 멤버를 식별합니다.
ContractVerificationAttribute	분석 도구가 정적 확인을 수행하지 않고도 어셈블리, 형식 또는 멤버의 정확성을 가정하도록 지시합니다.
PureAttribute	시각적인 상태 변화가 없는 순수한 형식이나 메서드를 나타냅니다.

열거형

ContractFailureKind

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