ContractRequiresMessage Method |
[This is preliminary documentation and is subject to change.]
Name | Description | |
---|---|---|
![]() ![]() | RequiresMessage(Boolean, FuncString, String) |
Specifies a precondition contract for the enclosing method or property, and displays a message if the condition for the contract fails.
|
![]() ![]() | RequiresMessage(Boolean, String, String) |
Specifies a precondition contract for the enclosing method or property, and displays a message if the condition for the contract fails.
|
![]() ![]() | RequiresMessage(Boolean, FuncString, String, String, String) |
Specifies a precondition contract for the enclosing method or property, and displays a message if the condition for the contract fails.
|
![]() ![]() | RequiresMessage(Boolean, FuncString, String, String, String, String, String) |
Specifies a precondition contract for the enclosing method or property, and displays a message if the condition for the contract fails.
|