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(); }
internal PreconditionInAsyncMethodHighlighting(ICSharpFunctionDeclaration element, CustomWarningValidationResult warning, ValidatedContractBlock contractBlock) : base(element, warning, contractBlock) { }
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 static LegacyContractCustomWarningHighlighting Create(ICSharpFunctionDeclaration element, CustomWarningValidationResult warning, ValidatedContractBlock contractBlock) { switch (warning.Warning) { case MalformedContractCustomWarning.PreconditionInAsyncMethod: return(new PreconditionInAsyncMethodHighlighting(element, warning, contractBlock)); case MalformedContractCustomWarning.PreconditionInMethodWithIteratorBlock: return(new PreconditionInMethodWithIteratorBlockHighlighing(element, warning, contractBlock)); default: return(new LegacyContractCustomWarningHighlighting(element, warning, contractBlock)); } }
internal static ContractCustomWarningHighlighting Create(ICSharpStatement statement, CustomWarningValidationResult warning, ValidatedContractBlock contractBlock) { switch (warning.Warning) { case MalformedContractCustomWarning.PreconditionInAsyncMethod: case MalformedContractCustomWarning.PreconditionInMethodWithIteratorBlock: return(null); default: return(new ContractCustomWarningHighlighting(statement, warning, contractBlock)); } }