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); }
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); }