internal LegacyContractCustomWarningHighlighting(ICSharpFunctionDeclaration element, CustomWarningValidationResult warning, ValidatedContractBlock contractBlock)
{
Contract.Requires(warning != null);
Contract.Requires(contractBlock != null);
_toolTip = warning.GetErrorText();
_range = element.GetHighlightingRange();
_validationResult = warning;
_contractBlock = contractBlock;
MethodName = warning.GetEnclosingMethodName();
}
internal ContractCustomWarningHighlighting(ICSharpStatement statement, CustomWarningValidationResult warning, ValidatedContractBlock contractBlock)
{
Contract.Requires(warning != null);
Contract.Requires(contractBlock != null);
Contract.Assert(_range != null);
_range = statement.GetHighlightingRange();
_toolTip = warning.GetErrorText();
_validationResult = warning;
_contractBlock = contractBlock;
MethodName = warning.GetEnclosingMethodName();
}
