ContractOptionAttribute Класс

Определение

Позволяет задавать параметры контракта и средств на уровне сборки, типа или метода.Enables you to set contract and tool options at assembly, type, or method granularity.

public ref class ContractOptionAttribute sealed : Attribute
[System.AttributeUsage(System.AttributeTargets.All, AllowMultiple=true, Inherited=false)]
[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public sealed class ContractOptionAttribute : Attribute
type ContractOptionAttribute = class
    inherit Attribute
Public NotInheritable Class ContractOptionAttribute
Inherits Attribute
Наследование
ContractOptionAttribute
Атрибуты

Комментарии

В следующей таблице приведены поддерживаемые в настоящее время параметры.The following table shows the currently supported options.

КатегорияCategory ПараметрSetting Значение/воздействиеValue/effect
контрактcontract наследованиеinheritance trueзначение, чтобы включить наследование контракта; false для его отключения.true to turn contract inheritance on; false to turn it off. Значение по умолчанию — true.The default is true.
исполняющая средаruntime проверкаchecking trueдля включения проверки во время выполнения; false для его отключения.true to turn run-time checking on; false to turn it off. Значение по умолчанию — true.The default is true.

Этот атрибут можно использовать, как показано в следующих примерах.You can use this attribute as illustrated in the following examples.

Чтобы отключить проверку во время выполнения для всей сборки, выполните следующие действия.To turn off run-time checking for the entire assembly:

[assembly:ContractOption("runtime", "checking", false)]  

Чтобы включить проверку контрактов во время выполнения для определенного типа, выполните следующие действия.To turn run-time contract checking on for a specific type:

   [ContractOption("runtime", "checking", true)]  
   class TypeWithRuntimeChecking {  
  
       ...  
  

Чтобы отключить проверку во время выполнения для конкретного метода, выполните следующие действия.To turn run-time checking off for a specific method:

// Turn off all contract inheritance from interface IList<T>  
[ContractOption("contract", "inheritance", false)]  
class MyConcurrentList<T> : IList<T> {  
   ...  
}  
  
[ContractOption("runtime", "checking", false)]  
public override MyMethod(int x) {  
   // no inherited contracts checked at runtime,  
   // no invariants checked at runtime.  
   ...  
}  
  
       [ContractOption("runtime", "checking", false)]  
       public void MethodWithoutRuntimeChecking(...) {  
          ...  
       }  
   }  
  

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

ContractOptionAttribute(String, String, Boolean)

Инициализирует новый экземпляр класса ContractOptionAttribute, используя предоставленную категорию, настройку и значение включения/отключения.Initializes a new instance of the ContractOptionAttribute class by using the provided category, setting, and enable/disable value.

ContractOptionAttribute(String, String, String)

Инициализирует новый экземпляр класса ContractOptionAttribute, используя предоставленную категорию, настройку и значение.Initializes a new instance of the ContractOptionAttribute class by using the provided category, setting, and value.

Свойства

Category

Получает категорию параметра.Gets the category of the option.

Enabled

Определяет, включен ли параметр.Determines if an option is enabled.

Setting

Получает настройку для параметра.Gets the setting for the option.

TypeId

При реализации в производном классе возвращает уникальный идентификатор для этого Attribute.When implemented in a derived class, gets a unique identifier for this Attribute.

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

Получает значение для параметра.Gets the value for the option.

Методы

Equals(Object)

Возвращает значение, показывающее, равен ли экземпляр указанному объекту.Returns a value that indicates whether this instance is equal to a specified object.

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

Возвращает хэш-код данного экземпляра.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.

(Унаследовано от Attribute)
Match(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.

(Унаследовано от 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.

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

Возвращает количество предоставляемых объектом интерфейсов для доступа к сведениям о типе (0 или 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.

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

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