|
|
|
@ -2415,7 +2415,7 @@ var Lexer = (function() {
@@ -2415,7 +2415,7 @@ var Lexer = (function() {
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
constructor.isSpace = function(ch) { |
|
|
|
|
return ch == ' ' || ch == '\t' || ch == '\x0d'; |
|
|
|
|
return ch == ' ' || ch == '\t' || ch == '\x0d' || ch == '\x0a'; |
|
|
|
|
}; |
|
|
|
|
|
|
|
|
|
// A '1' in this array means the character is white space. A '1' or
|
|
|
|
@ -3094,10 +3094,11 @@ var XRef = (function() {
@@ -3094,10 +3094,11 @@ var XRef = (function() {
|
|
|
|
|
// check for 'XRefStm' key
|
|
|
|
|
if (IsInt(obj = dict.get('XRefStm'))) { |
|
|
|
|
var pos = obj; |
|
|
|
|
if (pos in this.xrefstms) |
|
|
|
|
error('Invalid XRef table'); |
|
|
|
|
this.xrefstms[pos] = 1; // avoid infinite recursion
|
|
|
|
|
this.readXRef(pos); |
|
|
|
|
// ignore previously loaded xref streams (possible infinite recursion)
|
|
|
|
|
if (!(pos in this.xrefstms)) { |
|
|
|
|
this.xrefstms[pos] = 1; |
|
|
|
|
this.readXRef(pos); |
|
|
|
|
} |
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
return dict; |
|
|
|
@ -4184,7 +4185,7 @@ var PartialEvaluator = (function() {
@@ -4184,7 +4185,7 @@ var PartialEvaluator = (function() {
|
|
|
|
|
if (typeNum == 1) { |
|
|
|
|
patternName.code = this.evaluate(pattern, xref, |
|
|
|
|
dict.get('Resources'), |
|
|
|
|
fonts); |
|
|
|
|
fonts, images); |
|
|
|
|
} |
|
|
|
|
} |
|
|
|
|
} |
|
|
|
@ -4324,14 +4325,16 @@ var PartialEvaluator = (function() {
@@ -4324,14 +4325,16 @@ var PartialEvaluator = (function() {
|
|
|
|
|
baseEncoding = Encodings[baseName.name].slice(); |
|
|
|
|
|
|
|
|
|
// Load the differences between the base and original
|
|
|
|
|
var diffEncoding = encoding.get('Differences'); |
|
|
|
|
var index = 0; |
|
|
|
|
for (var j = 0; j < diffEncoding.length; j++) { |
|
|
|
|
var data = diffEncoding[j]; |
|
|
|
|
if (IsNum(data)) |
|
|
|
|
index = data; |
|
|
|
|
else |
|
|
|
|
differences[index++] = data.name; |
|
|
|
|
if (encoding.has('Differences')) { |
|
|
|
|
var diffEncoding = encoding.get('Differences'); |
|
|
|
|
var index = 0; |
|
|
|
|
for (var j = 0; j < diffEncoding.length; j++) { |
|
|
|
|
var data = diffEncoding[j]; |
|
|
|
|
if (IsNum(data)) |
|
|
|
|
index = data; |
|
|
|
|
else |
|
|
|
|
differences[index++] = data.name; |
|
|
|
|
} |
|
|
|
|
} |
|
|
|
|
} else if (IsName(encoding)) { |
|
|
|
|
baseEncoding = Encodings[encoding.name].slice(); |
|
|
|
|