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