public Parser(PdfDocument document) { this.document = document; this.lexer = document.lexer; this.stack = new ShiftStack(); }
public Parser(PdfDocument document, Stream pdf) { this.document = document; this.lexer = new Lexer(pdf); this.stack = new ShiftStack(); }
public Parser(PdfDocument document) { this.document = document; this.lexer = document.lexer; this.stack = new ShiftStack(); }
public Parser(PdfDocument document, Stream pdf) { this.document = document; this.lexer = new Lexer(pdf); this.stack = new ShiftStack(); }
public Parser(PdfDocument document) { _document = document; _lexer = document._lexer; _stack = new ShiftStack(); }
public Parser(PdfDocument document, Stream pdf) { _document = document; _lexer = new Lexer(pdf); _stack = new ShiftStack(); }