internal CodeContractWarningHighlighting(CodeContractWarningValidationResult warning, ValidatedContractBlock contractBlock) { Contract.Requires(warning != null); Contract.Requires(contractBlock != null); _warning = warning; _contractBlock = contractBlock; _toolTip = warning.GetErrorText(); }
internal CodeContractWarningHighlighting(ICSharpStatement statement, CodeContractWarningValidationResult warning, ValidatedContractBlock contractBlock) { Contract.Requires(warning != null); Contract.Requires(contractBlock != null); Contract.Requires(statement != null); _warning = warning; _contractBlock = contractBlock; _range = statement.GetHighlightingRange(); _toolTip = warning.GetErrorText(); }