0 out of 1 rated this helpful - Rate this topic

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
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
Did you find this helpful?
(1500 characters remaining)
Community Content Add
Annotations FAQ