public void Push(NameToken name, DictionaryToken properties) { if (builderStack.Count == 0) // only increase index if root { number++; } top = new MarkedContentElementActiveBuilder(number, name, properties); builderStack.Push(top); }
public void Push(NameToken name, DictionaryToken properties) { if (builderStack.Count > 0) { number++; } top = new MarkedContentElementActiveBuilder(number, name, properties); builderStack.Push(top); }
public MarkedContentElement Pop(IPdfTokenScanner pdfScanner) { var builder = builderStack.Pop(); var result = builder.Build(pdfScanner); if (builderStack.Count > 0) { top = builderStack.Peek(); top.Children.Add(result); } else { top = null; } return(result); }