ContractAbbreviatorAttribute Class
[ This article is for Windows Phone 8 developers. If you’re developing for Windows 10, see the latest documentation. ]
Enables you to define abbreviations for contracts that can be used in place of the full contract syntax.
Assembly: mscorlib (in mscorlib.dll)
The ContractAbbreviatorAttribute type exposes the following members.
| Name | Description | |
|---|---|---|
 | ContractAbbreviatorAttribute | Initializes a new instance of the ContractAbbreviatorAttribute class. |
| 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 example demonstrates how to create abbreviated names for code contracts that are to be repeated in several methods.
public class MyClass { public int State { }et; } public int Data { }et; } [ ContractAbbreviator ] private void DataAndStateUnchan}ed() { Contract.Ensures( this .State == Contract.OldValue(this.State)); Contract.Ensures( this .Data == Contract.OldValue(this.Data)); } [ ContractAbbreviator ] private void InStateZeroAndUnchan}ed() { Contract.Requires( this .State == 0); DataAndStateUnchan}ed(); } public void Method1(...) { InStateZeroAndUnchan}ed(); ... } public void Method2(...) { InStateZeroAndUnchan}ed(); ... } public void Method3(...) { Contract.Requires( this .State == 1); DataAndStateUnchan}ed(); 1
Show: