Contract.Invariant Method
Specifies a contract for an enclosing method or property.
This member is overloaded. For complete information about this member, including syntax, usage, and examples, click a name in the overload list.
| Name | Description | |
|---|---|---|
|
Invariant(Boolean) | Specifies an invariant contract for the enclosing method or property. |
|
Invariant(Boolean, String) | Specifies an invariant contract for the enclosing method or property, and displays a message if the condition for the contract fails. |