System.Diagnostics.Contracts 네임스페이스

System.Diagnostics.Contracts 네임스페이스에는 사전 조건, 사후 조건 및 고정 같은 프로그램 계약을 나타내는 정적 클래스가 들어 있습니다. The System.Diagnostics.Contracts namespace contains static classes for representing program contracts such as preconditions, postconditions, and invariants.

클래스

Contract

사전 조건, 사후 조건, 개체 고정 조건 같은 프로그램 계약을 나타내는 정적 메서드가 포함됩니다.Contains static methods for representing program contracts such as preconditions, postconditions, and object invariants.

ContractAbbreviatorAttribute

전체 계약 구문을 대신 사용할 수 있는 약어를 정의합니다.Defines abbreviations that you can use in place of the full contract syntax.

ContractArgumentValidatorAttribute

다시 사용하기 위해 별도의 메서드로 레거시 if-then-throw 코드의 팩터링을 사용하도록 설정하고 throw된 예외 및 인수를 완전히 제어할 수 있도록 합니다.Enables the factoring of legacy if-then-throw code into separate methods for reuse, and provides full control over thrown exceptions and arguments.

ContractClassAttribute

이 형식에 대한 코드 계약이 별도 형식에 포함된다고 지정합니다.Specifies that a separate type contains the code contracts for this type.

ContractClassForAttribute

클래스가 형식에 대한 계약임을 지정합니다.Specifies that a class is a contract for a type.

ContractFailedEventArgs

ContractFailed 이벤트에 대한 메서드와 데이터를 제공합니다.Provides methods and data for the ContractFailed event.

ContractInvariantMethodAttribute

메서드가 클래스에 대한 고정 메서드가 됨을 표시합니다.Marks a method as being the invariant method for a class.

ContractOptionAttribute

어셈블리, 형식 또는 메서드의 세분화 정도로 계약 및 도구 옵션을 설정할 수 있습니다.Enables you to set contract and tool options at assembly, type, or method granularity.

ContractPublicPropertyNameAttribute

필드가 메서드보다 잘 표시되지 않을 때 메서드 계약에서 필드를 사용할 수 있다고 지정합니다.Specifies that a field can be used in method contracts when the field has less visibility than the method.

ContractReferenceAssemblyAttribute

어셈블리가 계약을 포함하는 참조 어셈블리임을 지정합니다.Specifies that an assembly is a reference assembly that contains contracts.

ContractRuntimeIgnoredAttribute

런타임 동작이 없는 멤버를 식별합니다.Identifies a member that has no run-time behavior.

ContractVerificationAttribute

분석 도구가 정적 확인을 수행하지 않고도 어셈블리, 형식 또는 멤버의 정확성을 가정하도록 지시합니다.Instructs analysis tools to assume the correctness of an assembly, type, or member without performing static verification.

PureAttribute

시각적인 상태 변화가 없는 순수한 형식이나 메서드를 나타냅니다.Indicates that a type or method is pure, that is, it does not make any visible state changes.

열거형

ContractFailureKind

실패한 계약의 형식을 지정합니다.Specifies the type of contract that failed.