ContractVerificationAttribute Класс

Определение

Указывает, что средствам анализа следует принимать правильность сборки, типа или члена без выполнения статической проверки.Instructs analysis tools to assume the correctness of an assembly, type, or member without performing static verification.

public ref class ContractVerificationAttribute sealed : Attribute
[System.Diagnostics.Conditional("CONTRACTS_FULL")]
[System.AttributeUsage(System.AttributeTargets.Assembly | System.AttributeTargets.Class | System.AttributeTargets.Constructor | System.AttributeTargets.Method | System.AttributeTargets.Property | System.AttributeTargets.Struct)]
public sealed class ContractVerificationAttribute : Attribute
type ContractVerificationAttribute = class
    inherit Attribute
Public NotInheritable Class ContractVerificationAttribute
Inherits Attribute
Наследование
ContractVerificationAttribute
Атрибуты

Комментарии

Используйте ContractVerification(false), чтобы явно пометить сборку, тип или член как не нуждающиеся в проверке.Use ContractVerification(false) to explicitly mark an assembly, type, or member as not requiring verification. Приоритет имеет наиболее конкретный найденный элемент (элемент, тип и сборка).The most specific element found (member, type, and then assembly) takes precedence. Применение этого атрибута к свойству, типу или сборке имеет следующие последствия.Applying this attribute to a property, type, or assembly has the following effects:

  • При применении к свойству оно применяется как к методу доступа get, так и к методу доступа set.When you apply it to a property, it applies to both the get accessor and the set accessor.

  • При применении к типу он применяется ко всем элементам типа, включая вложенные типы.When you apply it to a type, it applies to all members of the type, including nested types.

  • При применении к сборке она применяется ко всем типам и членам сборки.When you apply it to an assembly, it applies to all types and members of the assembly.

Конструкторы

ContractVerificationAttribute(Boolean)

Инициализация нового экземпляра класса ContractVerificationAttribute.Initializes a new instance of the ContractVerificationAttribute class.

Свойства

TypeId

When implemented in a derived class, gets a unique identifier for this Attribute.When implemented in a derived class, gets a unique identifier for this Attribute.

(Унаследовано от Attribute)
Value

Получает значение, определяющее, следует ли проверять контракт целевого объекта.Gets the value that indicates whether to verify the contract of the target.

Методы

Equals(Object)

Returns a value that indicates whether this instance is equal to a specified object.Returns a value that indicates whether this instance is equal to a specified object.

(Унаследовано от Attribute)
GetHashCode()

Returns the hash code for this instance.Returns the hash code for this instance.

(Унаследовано от Attribute)
GetType()

Возвращает объект Type для текущего экземпляра.Gets the Type of the current instance.

(Унаследовано от Object)
IsDefaultAttribute()

When overridden in a derived class, indicates whether the value of this instance is the default value for the derived class.When overridden in a derived class, indicates whether the value of this instance is the default value for the derived class.

(Унаследовано от Attribute)
Match(Object)

When overridden in a derived class, returns a value that indicates whether this instance equals a specified object.When overridden in a derived class, returns a value that indicates whether this instance equals a specified object.

(Унаследовано от Attribute)
MemberwiseClone()

Создает неполную копию текущего объекта Object.Creates a shallow copy of the current Object.

(Унаследовано от Object)
ToString()

Возвращает строку, представляющую текущий объект.Returns a string that represents the current object.

(Унаследовано от Object)

Явные реализации интерфейса

_Attribute.GetIDsOfNames(Guid, IntPtr, UInt32, UInt32, IntPtr)

Maps a set of names to a corresponding set of dispatch identifiers.Maps a set of names to a corresponding set of dispatch identifiers.

(Унаследовано от Attribute)
_Attribute.GetTypeInfo(UInt32, UInt32, IntPtr)

Retrieves the type information for an object, which can be used to get the type information for an interface.Retrieves the type information for an object, which can be used to get the type information for an interface.

(Унаследовано от Attribute)
_Attribute.GetTypeInfoCount(UInt32)

Retrieves the number of type information interfaces that an object provides (either 0 or 1).Retrieves the number of type information interfaces that an object provides (either 0 or 1).

(Унаследовано от Attribute)
_Attribute.Invoke(UInt32, Guid, UInt32, Int16, IntPtr, IntPtr, IntPtr, IntPtr)

Provides access to properties and methods exposed by an object.Provides access to properties and methods exposed by an object.

(Унаследовано от Attribute)

Применяется к