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(); }