private void UpdateNavigationTargets(AntlrParseResultEventArgs antlrParseResultArgs)
        {
            Contract.Requires<ArgumentNullException>(antlrParseResultArgs != null, "antlrParseResultArgs");

            NavigationTargetListener listener = new NavigationTargetListener(this, antlrParseResultArgs.Snapshot, antlrParseResultArgs.Tokens);
            ParseTreeWalker.Default.Walk(listener, antlrParseResultArgs.Result);
            _navigationTargets = listener.NavigationTargets;
            OnNavigationTargetsChanged(EventArgs.Empty);
        }
        private void UpdateNavigationTargets(AntlrParseResultEventArgs antlrParseResultArgs)
        {
            Contract.Requires <ArgumentNullException>(antlrParseResultArgs != null, "antlrParseResultArgs");

            NavigationTargetListener listener = new NavigationTargetListener(this, antlrParseResultArgs.Snapshot, antlrParseResultArgs.Tokens);

            ParseTreeWalker.Default.Walk(listener, antlrParseResultArgs.Result);
            _navigationTargets = listener.NavigationTargets;
            OnNavigationTargetsChanged(EventArgs.Empty);
        }
Exemplo n.º 3
0
        private void UpdateNavigationTargets([NotNull] AntlrParseResultEventArgs antlrParseResultArgs)
        {
            Requires.NotNull(antlrParseResultArgs, nameof(antlrParseResultArgs));

            NavigationTargetListener listener = new NavigationTargetListener(this, antlrParseResultArgs.Snapshot, antlrParseResultArgs.Tokens);

            ParseTreeWalker.Default.Walk(listener, antlrParseResultArgs.Result);
            _navigationTargets = listener.NavigationTargets;
            OnNavigationTargetsChanged(EventArgs.Empty);
        }