private void UpdateTags(AntlrParseResultEventArgs antlrParseResultArgs)
{
Contract.Requires <ArgumentNullException>(antlrParseResultArgs != null, "antlrParseResultArgs");
OutliningRegionListener listener = new OutliningRegionListener(antlrParseResultArgs.Snapshot, antlrParseResultArgs.Tokens);
ParseTreeWalker.Default.Walk(listener, antlrParseResultArgs.Result);
_outliningRegions = listener.OutliningRegions;
OnTagsChanged(new SnapshotSpanEventArgs(new SnapshotSpan(antlrParseResultArgs.Snapshot, new Span(0, antlrParseResultArgs.Snapshot.Length))));
}
private void UpdateTags([NotNull] AntlrParseResultEventArgs antlrParseResultArgs)
{
Requires.NotNull(antlrParseResultArgs, nameof(antlrParseResultArgs));
OutliningRegionListener listener = new OutliningRegionListener(antlrParseResultArgs.Snapshot, antlrParseResultArgs.Tokens);
ParseTreeWalker.Default.Walk(listener, antlrParseResultArgs.Result);
_outliningRegions = listener.OutliningRegions;
OnTagsChanged(new SnapshotSpanEventArgs(new SnapshotSpan(antlrParseResultArgs.Snapshot, new Span(0, antlrParseResultArgs.Snapshot.Length))));
}
