ContractOptionAttribute Class
[ This article is for Windows Phone 8 developers. If you’re developing for Windows 10, see the latest documentation. ]
Enables you to set contract and tool options at assembly, type, or method granularity.
Assembly: mscorlib (in mscorlib.dll)
The ContractOptionAttribute type exposes the following members.
| Name | Description | |
|---|---|---|
 | ContractOptionAttribute(String, String, Boolean) | Initializes a new instance of the ContractOptionAttribute class by using the provided category, setting, and enable/disable value. |
| ContractOptionAttribute(String, String, String) | Initializes a new instance of the ContractOptionAttribute class by using the provided category, setting, and value. |
| Name | Description | |
|---|---|---|
| Equals | Infrastructure. Returns a value that indicates whether this instance is equal to a specified object. (Inherited from Attribute.) |
 | Finalize | Allows an object to try to free resources and perform other cleanup operations before the Object is reclaimed by garbage collection. (Inherited from Object.) |
| GetHashCode | Returns the hash code for this instance. (Inherited from Attribute.) |
| GetType | Gets the Type of the current instance. (Inherited from Object.) |
| Match | When overridden in a derived class, returns a value that indicates whether this instance equals a specified object. (Inherited from Attribute.) |
| MemberwiseClone | Creates a shallow copy of the current Object. (Inherited from Object.) |
| ToString | Returns a string that represents the current object. (Inherited from Object.) |
The following table shows the currently supported options.
Category | Setting | Value/effect |
|---|---|---|
contract | inheritance | true to turn contract inheritance on; false to turn it off. The default is true. |
runtime | checking | true to turn run-time checking on; false to turn it off. 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(...) {
...
}
}