| public Warning ( string message, string hints = null ) : void | ||
| message | string | The message to be shown |
| hints | string | Optional hints about the warning |
| return | void | |
public void Warning(string message, string[] hints = null)
{
Contract.Requires(message != null);
}