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);
}
}
internal ContractCustomWarningHighlighting(CustomWarningValidationResult warning, ValidatedContractBlock contractBlock)
{
Contract.Requires(warning != null);
Contract.Requires(contractBlock != null);
_toolTip = warning.GetErrorText();
_validationResult = warning;
_contractBlock = contractBlock;
MethodName = warning.GetEnclosingMethodName();
}
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 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 PreconditionInMethodWithIteratorBlockHighlighing(ICSharpFunctionDeclaration element, CustomWarningValidationResult warning, ValidatedContractBlock contractBlock)
: base(element, warning, contractBlock)
{}
internal PreconditionInMethodWithIteratorBlockHighlighing(CustomWarningValidationResult warning, ValidatedContractBlock contractBlock)
: base(warning, contractBlock)
{}
internal PreconditionInAsyncMethodHighlighting(CustomWarningValidationResult warning,
ValidatedContractBlock contractBlock)
: base(warning, contractBlock)
{}
