public override void VisitInvocationExpression(IInvocationExpression invocation, IHighlightingConsumer consumer) { if (IsCallWithTheSameContextAsFunctionOwner(invocation)) consumer.AddHighlighting(new CallWithSameContextWarning(invocation), invocation.GetHighlightingRange(), File); base.VisitInvocationExpression(invocation, consumer); }
public InvalidRequiresMessageHighlighting(IInvocationExpression invocationExpression, Message contractMessage) { Contract.Requires(contractMessage != null); Contract.Requires(invocationExpression != null); _range = invocationExpression.GetHighlightingRange(); _contractMessage = contractMessage; }
public override void VisitInvocationExpression(IInvocationExpression invocation, IHighlightingConsumer consumer) { if (IsCallWithTheSameContextAsFunctionOwner(invocation)) { consumer.AddHighlighting(new CallWithSameContextWarning(invocation), invocation.GetHighlightingRange(), File); } base.VisitInvocationExpression(invocation, consumer); }
internal RequiresExceptionValidityHighlighting(IInvocationExpression invocationExpression, IClass exceptionDeclaration, MemberWithAccess preconditionContainer) { Contract.Requires(exceptionDeclaration != null); Contract.Requires(preconditionContainer != null); Contract.Requires(invocationExpression != null); _range = invocationExpression.GetHighlightingRange(); _exceptionDeclaration = exceptionDeclaration; _preconditionContainer = preconditionContainer; }
internal RequiresExceptionInconsistentVisibiityHighlighting(IInvocationExpression invocationExpression, IClass exceptionDeclaration, MemberWithAccess preconditionContainer) { Contract.Requires(exceptionDeclaration != null); Contract.Requires(preconditionContainer != null); Contract.Requires(invocationExpression != null); _range = invocationExpression.GetHighlightingRange(); _exceptionDeclaration = exceptionDeclaration; _preconditionContainer = preconditionContainer; }
public DocumentRange CalculateRange() { return(_invocationExpression.GetHighlightingRange()); }