System.Diagnostics.Contracts 네임스페이스
중요
일부 정보는 릴리스되기 전에 상당 부분 수정될 수 있는 시험판 제품과 관련이 있습니다. Microsoft는 여기에 제공된 정보에 대해 어떠한 명시적이거나 묵시적인 보증도 하지 않습니다.
사전 조건, 사후 조건, 고정 조건과 같은 프로그램 계약을 나타내는 정적 클래스가 포함되어 있습니다.
클래스
| Contract |
사전 조건, 사후 조건, 개체 고정 조건 같은 프로그램 계약을 나타내는 정적 메서드가 포함됩니다. |
| ContractAbbreviatorAttribute |
전체 계약 구문을 대신 사용할 수 있는 약어를 정의합니다. |
| ContractArgumentValidatorAttribute |
다시 사용하기 위해 별도의 메서드로 레거시 |
| ContractClassAttribute |
이 형식에 대한 코드 계약이 별도 형식에 포함된다고 지정합니다. |
| ContractClassForAttribute |
클래스가 형식에 대한 계약임을 지정합니다. |
| ContractFailedEventArgs |
ContractFailed 이벤트에 대한 메서드와 데이터를 제공합니다. |
| ContractInvariantMethodAttribute |
메서드가 클래스에 대한 고정 메서드가 됨을 표시합니다. |
| ContractOptionAttribute |
어셈블리, 형식 또는 메서드 세분 수준에서 계약 및 도구 옵션을 설정할 수 있도록 합니다. |
| ContractPublicPropertyNameAttribute |
필드가 메서드보다 잘 표시되지 않을 때 메서드 계약에서 필드를 사용할 수 있다고 지정합니다. |
| ContractReferenceAssemblyAttribute |
어셈블리가 계약을 포함하는 참조 어셈블리임을 지정합니다. |
| ContractRuntimeIgnoredAttribute |
런타임 동작이 없는 멤버를 식별합니다. |
| ContractVerificationAttribute |
분석 도구가 정적 확인을 수행하지 않고도 어셈블리, 형식 또는 멤버의 정확성을 가정하도록 지시합니다. |
| PureAttribute |
시각적인 상태 변화가 없는 순수한 형식이나 메서드를 나타냅니다. |
열거형
| ContractFailureKind |
실패한 계약의 형식을 지정합니다. |
