public override void ExitHtmlElements(HTMLParser.HtmlElementsContext ctx)
{
var topNodeCtx = ctx.htmlElement();
var expectedFullMarkup = MyTreeProperty.Get(topNodeCtx);
FilteredPut(ctx, expectedFullMarkup);
}
/// <summary>
/// Exit a parse tree produced by <see cref="HTMLParser.htmlElements"/>.
/// <para>The default implementation does nothing.</para>
/// </summary>
/// <param name="context">The parse tree.</param>
public virtual void ExitHtmlElements([NotNull] HTMLParser.HtmlElementsContext context)
{
}
