This documentation is archived and is not being maintained.

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.

  NameDescription
Public method Static member Invariant(Boolean) Specifies an invariant contract for the enclosing method or property.
Public method Static member Invariant(Boolean, String) Specifies an invariant contract for the enclosing method or property, and displays a message if the condition for the contract fails.
Top
Show: