ContractInvariantMethodAttribute Class
Marks a method as being the invariant method for a class.
Namespace: System.Diagnostics.Contracts
Assembly: mscorlib (in mscorlib.dll)
The ContractInvariantMethodAttribute type exposes the following members.
| Name | Description | |
|---|---|---|
![]() | ContractInvariantMethodAttribute | Initializes a new instance of the ContractInvariantMethodAttribute 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 invariant method can have any name, but it must return void and take no parameters. A suggested name for the method is ObjectInvariant. The body of the invariant method must consist solely of one or more calls to the Contract.Invariant method. A type can have more than one contract invariant method, which can be public or private.
For a list of the operating systems and browsers that are supported by Silverlight, see Supported Operating Systems and Browsers.

