private void ReportDuplicateDirective([NotNull] IT4Directive directive)
{
var warning = new IgnoredDirectiveWarning(directive);
var highlightingInfo = new HighlightingInfo(directive.GetHighlightingRange(), warning);
MyHighlightings.Add(highlightingInfo);
}
private void AddHighlighting([NotNull] ITreeNode node, [NotNull] IHighlighting highlighting) => MyHighlightings.Add(new HighlightingInfo(node.GetHighlightingRange(), highlighting));
