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;
        }
Beispiel #3
0
        public InvalidRequiresMessageHighlighting(IInvocationExpression invocationExpression, Message contractMessage)
        {
            Contract.Requires(contractMessage != null);
            Contract.Requires(invocationExpression != null);

            _range           = invocationExpression.GetHighlightingRange();
            _contractMessage = contractMessage;
        }
Beispiel #4
0
        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;
        }
Beispiel #7
0
 public DocumentRange CalculateRange()
 {
     return(_invocationExpression.GetHighlightingRange());
 }