Contract::Requires Method (Boolean, String^)
Specifies a precondition contract for the enclosing method or property, and displays a message if the condition for the contract fails.
Assembly: mscorlib (in mscorlib.dll)
public: [ConditionalAttribute("CONTRACTS_FULL")] static void Requires( bool condition, String^ userMessage )
Parameters
- condition
-
Type:
System::Boolean
The conditional expression to test.
- userMessage
-
Type:
System::String^
The message to display if the condition is false.
This method call must be at the beginning of a method or property, before any other code.
This contract is exposed to clients; therefore, it must only reference members that are at least as visible as the enclosing method.
Use this method instead of the Contract::Requires<TException>(Boolean, String^) method when backward compatibility does not force you to throw a particular exception.
Available since 8
.NET Framework
Available since 4.0
Portable Class Library
Supported in: portable .NET platforms
Silverlight
Available since 4.0
Windows Phone Silverlight
Available since 8.0
Windows Phone
Available since 8.1