public static string GetErrorText(this MalformedContractWarning warning, string contractMethodName)
{
switch (warning)
{
case MalformedContractWarning.NonVoidReturnMethodCall:
//Code Contract warning: warning CC1069: Detected expression statement evaluated for potential side-effect in contracts of method 'RequiresInconsistentVisibility.WarningForMalformedContract.WarningOnMethodCallWithResul'.
return(string.Format("Detected expression statement evaluated for potential side-effect in contracts of method '{0}'",
contractMethodName));
default:
Contract.Assert(false, "Unknown malformed contract warning: " + warning);
throw new InvalidOperationException("Unknown malformed contract warning: " + warning);
}
}
public CodeContractWarningValidationResult(ICSharpStatement statement, MalformedContractWarning warning)
: base(statement)
{
Warning = warning;
}
public static ValidationResult CreateWarning(ICSharpStatement statement, MalformedContractWarning warning)
{
return(new CodeContractWarningValidationResult(statement, warning));
}
