|
|
|
@ -21,8 +21,8 @@ if (typeof PDFJS === 'undefined') {
@@ -21,8 +21,8 @@ if (typeof PDFJS === 'undefined') {
|
|
|
|
|
(typeof window !== 'undefined' ? window : this).PDFJS = {}; |
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
PDFJS.version = '1.0.499'; |
|
|
|
|
PDFJS.build = '2e47b58'; |
|
|
|
|
PDFJS.version = '1.0.501'; |
|
|
|
|
PDFJS.build = '6038ee7'; |
|
|
|
|
|
|
|
|
|
(function pdfjsWrapper() { |
|
|
|
|
// Use strict in our context only - users might not want it
|
|
|
|
@ -34359,6 +34359,8 @@ var PostScriptLexer = (function PostScriptLexerClosure() {
@@ -34359,6 +34359,8 @@ var PostScriptLexer = (function PostScriptLexerClosure() {
|
|
|
|
|
function PostScriptLexer(stream) { |
|
|
|
|
this.stream = stream; |
|
|
|
|
this.nextChar(); |
|
|
|
|
|
|
|
|
|
this.strBuf = []; |
|
|
|
|
} |
|
|
|
|
PostScriptLexer.prototype = { |
|
|
|
|
nextChar: function PostScriptLexer_nextChar() { |
|
|
|
@ -34399,11 +34401,15 @@ var PostScriptLexer = (function PostScriptLexerClosure() {
@@ -34399,11 +34401,15 @@ var PostScriptLexer = (function PostScriptLexerClosure() {
|
|
|
|
|
return PostScriptToken.RBRACE; |
|
|
|
|
} |
|
|
|
|
// operator
|
|
|
|
|
var str = String.fromCharCode(ch); |
|
|
|
|
var strBuf = this.strBuf; |
|
|
|
|
strBuf.length = 0; |
|
|
|
|
strBuf[0] = String.fromCharCode(ch); |
|
|
|
|
|
|
|
|
|
while ((ch = this.nextChar()) >= 0 && // and 'A'-'Z', 'a'-'z'
|
|
|
|
|
((ch >= 0x41 && ch <= 0x5A) || (ch >= 0x61 && ch <= 0x7A))) { |
|
|
|
|
str += String.fromCharCode(ch); |
|
|
|
|
strBuf.push(String.fromCharCode(ch)); |
|
|
|
|
} |
|
|
|
|
var str = strBuf.join(''); |
|
|
|
|
switch (str.toLowerCase()) { |
|
|
|
|
case 'if': |
|
|
|
|
return PostScriptToken.IF; |
|
|
|
@ -34415,16 +34421,19 @@ var PostScriptLexer = (function PostScriptLexerClosure() {
@@ -34415,16 +34421,19 @@ var PostScriptLexer = (function PostScriptLexerClosure() {
|
|
|
|
|
}, |
|
|
|
|
getNumber: function PostScriptLexer_getNumber() { |
|
|
|
|
var ch = this.currentChar; |
|
|
|
|
var str = String.fromCharCode(ch); |
|
|
|
|
var strBuf = this.strBuf; |
|
|
|
|
strBuf.length = 0; |
|
|
|
|
strBuf[0] = String.fromCharCode(ch); |
|
|
|
|
|
|
|
|
|
while ((ch = this.nextChar()) >= 0) { |
|
|
|
|
if ((ch >= 0x30 && ch <= 0x39) || // '0'-'9'
|
|
|
|
|
ch === 0x2D || ch === 0x2E) { // '-', '.'
|
|
|
|
|
str += String.fromCharCode(ch); |
|
|
|
|
strBuf.push(String.fromCharCode(ch)); |
|
|
|
|
} else { |
|
|
|
|
break; |
|
|
|
|
} |
|
|
|
|
} |
|
|
|
|
var value = parseFloat(str); |
|
|
|
|
var value = parseFloat(strBuf.join('')); |
|
|
|
|
if (isNaN(value)) { |
|
|
|
|
error('Invalid floating point number: ' + value); |
|
|
|
|
} |
|
|
|
|