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