내보내기(0) 인쇄
모두 확장
이 문서는 수동으로 번역한 것입니다. 원본 텍스트를 보려면 포인터를 문서의 문장 위로 올리십시오.
번역
원본

System.Diagnostics.Contracts 네임스페이스

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

  클래스 설명
Public 클래스 Contract 사전 조건, 사후 조건, 개체 고정 조건 같은 프로그램 계약을 나타내는 정적 메서드가 포함됩니다.
Public 클래스 ContractClassAttribute 별도의 형식이 이 형식에 대한 코드 계약을 포함하도록 지정합니다.
Public 클래스 ContractClassForAttribute 클래스가 특정 형식의 계약임을 지정합니다.
Public 클래스 ContractInvariantMethodAttribute 메서드를 클래스의 고정 메서드로 표시합니다.
Public 클래스 ContractPublicPropertyNameAttribute 필드의 표시 유형이 메서드보다 제한적인 경우 필드를 메서드 계약에 사용할 수 있음을 지정합니다.
Public 클래스 ContractReferenceAssemblyAttribute 어셈블리가 계약을 포함하는 참조 어셈블리임을 지정합니다.
Public 클래스 ContractRuntimeIgnoredAttribute 런타임 동작이 없는 멤버를 식별합니다.
Public 클래스 ContractVerificationAttribute 분석 도구가 정적 확인을 수행하지 않고 어셈블리, 형식 또는 멤버의 정확성을 가정하도록 지시합니다.
Public 클래스 PureAttribute 시각적인 상태 변화가 없는 순수한 형식이나 메서드를 나타냅니다.

  열거형 설명
Public 열거형 ContractFailureKind 실패한 계약의 형식을 지정합니다.

커뮤니티 추가 항목

추가
표시:
© 2015 Microsoft