Vivien Nicolas
14 years ago
18 changed files with 2005 additions and 701 deletions
|
After Width: | Height: | Size: 2.7 KiB |
|
After Width: | Height: | Size: 1.9 KiB |
Binary file not shown.
Binary file not shown.
@ -0,0 +1,184 @@
@@ -0,0 +1,184 @@
|
||||
/* -*- Mode: Java; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*- / |
||||
/* vim: set shiftwidth=4 tabstop=8 autoindent cindent expandtab: */ |
||||
|
||||
body { |
||||
background-color: #929292; |
||||
font-family: 'Lucida Grande', 'Lucida Sans Unicode', Helvetica, Arial, Verdana, sans-serif; |
||||
margin: 0px; |
||||
padding: 0px; |
||||
} |
||||
|
||||
canvas { |
||||
box-shadow: 0px 4px 10px #000; |
||||
-moz-box-shadow: 0px 4px 10px #000; |
||||
-webkit-box-shadow: 0px 4px 10px #000; |
||||
} |
||||
|
||||
span { |
||||
font-size: 0.8em; |
||||
} |
||||
|
||||
.control { |
||||
display: inline-block; |
||||
float: left; |
||||
margin: 0px 20px 0px 0px; |
||||
padding: 0px 4px 0px 0px; |
||||
} |
||||
|
||||
.control > input { |
||||
float: left; |
||||
margin: 0px 2px 0px 0px; |
||||
} |
||||
|
||||
.control > span { |
||||
cursor: default; |
||||
float: left; |
||||
height: 18px; |
||||
margin: 5px 2px 0px; |
||||
padding: 0px; |
||||
user-select: none; |
||||
-moz-user-select: none; |
||||
-webkit-user-select: none; |
||||
} |
||||
|
||||
.control .label { |
||||
clear: both; |
||||
float: left; |
||||
font-size: 0.65em; |
||||
margin: 2px 0px 0px; |
||||
position: relative; |
||||
text-align: center; |
||||
width: 100%; |
||||
} |
||||
|
||||
.page { |
||||
width: 816px; |
||||
height: 1056px; |
||||
margin: 10px auto; |
||||
} |
||||
|
||||
#controls { |
||||
background-color: #eee; |
||||
border-bottom: 1px solid #666; |
||||
padding: 4px 0px 0px 8px; |
||||
position:fixed; |
||||
left: 0px; |
||||
top: 0px; |
||||
height: 40px; |
||||
width: 100%; |
||||
box-shadow: 0px 2px 8px #000; |
||||
-moz-box-shadow: 0px 2px 8px #000; |
||||
-webkit-box-shadow: 0px 2px 8px #000; |
||||
} |
||||
|
||||
#controls input { |
||||
user-select: text; |
||||
-moz-user-select: text; |
||||
-webkit-user-select: text; |
||||
} |
||||
|
||||
#previousPageButton { |
||||
background: url('images/buttons.png') no-repeat 0px -23px; |
||||
cursor: pointer; |
||||
display: inline-block; |
||||
float: left; |
||||
margin: 0px; |
||||
width: 28px; |
||||
height: 23px; |
||||
} |
||||
|
||||
#previousPageButton.down { |
||||
background: url('images/buttons.png') no-repeat 0px -46px; |
||||
} |
||||
|
||||
#previousPageButton.disabled { |
||||
background: url('images/buttons.png') no-repeat 0px 0px; |
||||
} |
||||
|
||||
#nextPageButton { |
||||
background: url('images/buttons.png') no-repeat -28px -23px; |
||||
cursor: pointer; |
||||
display: inline-block; |
||||
float: left; |
||||
margin: 0px; |
||||
width: 28px; |
||||
height: 23px; |
||||
} |
||||
|
||||
#nextPageButton.down { |
||||
background: url('images/buttons.png') no-repeat -28px -46px; |
||||
} |
||||
|
||||
#nextPageButton.disabled { |
||||
background: url('images/buttons.png') no-repeat -28px 0px; |
||||
} |
||||
|
||||
#scaleComboBoxInput { |
||||
background: url('images/combobox.png') no-repeat 0px -23px; |
||||
display: inline-block; |
||||
float: left; |
||||
margin: 0px; |
||||
width: 35px; |
||||
height: 23px; |
||||
} |
||||
|
||||
#scaleComboBoxInput input { |
||||
background: none; |
||||
border: 0px; |
||||
margin: 3px 2px 0px; |
||||
width: 31px; |
||||
} |
||||
|
||||
#scaleComboBoxButton { |
||||
background: url('images/combobox.png') no-repeat -41px -23px; |
||||
cursor: pointer; |
||||
display: inline-block; |
||||
float: left; |
||||
margin: 0px; |
||||
width: 21px; |
||||
height: 23px; |
||||
} |
||||
|
||||
#scaleComboBoxButton.down { |
||||
background: url('images/combobox.png') no-repeat -41px -46px; |
||||
} |
||||
|
||||
#scaleComboBoxButton.disabled { |
||||
background: url('images/combobox.png') no-repeat -41px 0px; |
||||
} |
||||
|
||||
#scaleComboBoxList { |
||||
background-color: #fff; |
||||
border: 1px solid #666; |
||||
clear: both; |
||||
position: relative; |
||||
display: none; |
||||
top: -20px; |
||||
width: 48px; |
||||
} |
||||
|
||||
#scaleComboBoxList > ul { |
||||
list-style: none; |
||||
padding: 0px; |
||||
margin: 0px; |
||||
} |
||||
|
||||
#scaleComboBoxList > ul > li { |
||||
display: inline-block; |
||||
cursor: pointer; |
||||
width: 100%; |
||||
} |
||||
|
||||
#scaleComboBoxList > ul > li:hover { |
||||
background-color: #09f; |
||||
color: #fff; |
||||
} |
||||
|
||||
#pageNumber, #scale { |
||||
text-align: right; |
||||
} |
||||
|
||||
#viewer { |
||||
margin: 44px 0px 0px; |
||||
padding: 8px 0px; |
||||
} |
||||
@ -0,0 +1,40 @@
@@ -0,0 +1,40 @@
|
||||
<!DOCTYPE html> |
||||
<html> |
||||
<head> |
||||
<title>pdf.js Multi-Page Viewer</title> |
||||
<link rel="stylesheet" href="multi-page-viewer.css" type="text/css" media="screen" charset="utf-8"/> |
||||
<script type="text/javascript" src="pdf.js"></script> |
||||
<script type="text/javascript" src="fonts.js"></script> |
||||
<script type="text/javascript" src="glyphlist.js"></script> |
||||
<script type="text/javascript" src="multi-page-viewer.js"></script> |
||||
</head> |
||||
<body> |
||||
<div id="controls"> |
||||
<span class="control"> |
||||
<span id="previousPageButton"></span><span id="nextPageButton"></span> |
||||
<span class="label">Previous/Next</span> |
||||
</span> |
||||
<span class="control"> |
||||
<input type="text" id="pageNumber" value="1" size="2"/> |
||||
<span>/</span> |
||||
<span id="numPages">--</span> |
||||
<span class="label">Page Number</span> |
||||
</span> |
||||
<span class="control"> |
||||
<span id="scaleComboBoxInput"><input type="text" id="scale" value="100%" size="2"/></span><span id="scaleComboBoxButton"></span> |
||||
<span class="label">Zoom</span> |
||||
<div id="scaleComboBoxList"> |
||||
<ul> |
||||
<li>50%</li> |
||||
<li>75%</li> |
||||
<li>100%</li> |
||||
<li>125%</li> |
||||
<li>150%</li> |
||||
<li>200%</li> |
||||
</ul> |
||||
</div> |
||||
</span> |
||||
</div> |
||||
<div id="viewer"></div> |
||||
</body> |
||||
</html> |
||||
@ -0,0 +1,400 @@
@@ -0,0 +1,400 @@
|
||||
/* -*- Mode: Java; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*- / |
||||
/* vim: set shiftwidth=4 tabstop=8 autoindent cindent expandtab: */ |
||||
|
||||
"use strict"; |
||||
|
||||
var PDFViewer = { |
||||
queryParams: {}, |
||||
|
||||
element: null, |
||||
|
||||
previousPageButton: null, |
||||
nextPageButton: null, |
||||
pageNumberInput: null, |
||||
scaleInput: null, |
||||
|
||||
willJumpToPage: false, |
||||
|
||||
pdf: null, |
||||
|
||||
url: 'compressed.tracemonkey-pldi-09.pdf', |
||||
pageNumber: 1, |
||||
numberOfPages: 1, |
||||
|
||||
scale: 1.0, |
||||
|
||||
pageWidth: function() { |
||||
return 816 * PDFViewer.scale; |
||||
}, |
||||
|
||||
pageHeight: function() { |
||||
return 1056 * PDFViewer.scale; |
||||
}, |
||||
|
||||
lastPagesDrawn: [], |
||||
|
||||
visiblePages: function() { |
||||
var pageHeight = PDFViewer.pageHeight() + 20; // Add 20 for the margins.
|
||||
var windowTop = window.pageYOffset; |
||||
var windowBottom = window.pageYOffset + window.innerHeight; |
||||
var pageStartIndex = Math.floor(windowTop / pageHeight); |
||||
var pageStopIndex = Math.ceil(windowBottom / pageHeight); |
||||
|
||||
var pages = []; |
||||
|
||||
for (var i = pageStartIndex; i <= pageStopIndex; i++) { |
||||
pages.push(i + 1); |
||||
} |
||||
|
||||
return pages; |
||||
}, |
||||
|
||||
createPage: function(num) { |
||||
var anchor = document.createElement('a'); |
||||
anchor.name = '' + num; |
||||
|
||||
var div = document.createElement('div'); |
||||
div.id = 'pageContainer' + num; |
||||
div.className = 'page'; |
||||
div.style.width = PDFViewer.pageWidth() + 'px'; |
||||
div.style.height = PDFViewer.pageHeight() + 'px'; |
||||
|
||||
PDFViewer.element.appendChild(anchor); |
||||
PDFViewer.element.appendChild(div); |
||||
}, |
||||
|
||||
removePage: function(num) { |
||||
var div = document.getElementById('pageContainer' + num); |
||||
|
||||
if (div && div.hasChildNodes()) { |
||||
while (div.childNodes.length > 0) { |
||||
div.removeChild(div.firstChild); |
||||
} |
||||
} |
||||
}, |
||||
|
||||
drawPage: function(num) { |
||||
if (PDFViewer.pdf) { |
||||
var page = PDFViewer.pdf.getPage(num); |
||||
var div = document.getElementById('pageContainer' + num); |
||||
|
||||
if (div && !div.hasChildNodes()) { |
||||
var canvas = document.createElement('canvas'); |
||||
canvas.id = 'page' + num; |
||||
canvas.mozOpaque = true; |
||||
|
||||
// Canvas dimensions must be specified in CSS pixels. CSS pixels
|
||||
// are always 96 dpi. These dimensions are 8.5in x 11in at 96dpi.
|
||||
canvas.width = PDFViewer.pageWidth(); |
||||
canvas.height = PDFViewer.pageHeight(); |
||||
|
||||
var ctx = canvas.getContext('2d'); |
||||
ctx.save(); |
||||
ctx.fillStyle = 'rgb(255, 255, 255)'; |
||||
ctx.fillRect(0, 0, canvas.width, canvas.height); |
||||
ctx.restore(); |
||||
|
||||
var gfx = new CanvasGraphics(ctx); |
||||
var fonts = []; |
||||
|
||||
// page.compile will collect all fonts for us, once we have loaded them
|
||||
// we can trigger the actual page rendering with page.display
|
||||
page.compile(gfx, fonts); |
||||
|
||||
var fontsReady = true; |
||||
|
||||
// Inspect fonts and translate the missing one
|
||||
var fontCount = fonts.length; |
||||
|
||||
for (var i = 0; i < fontCount; i++) { |
||||
var font = fonts[i]; |
||||
|
||||
if (Fonts[font.name]) { |
||||
fontsReady = fontsReady && !Fonts[font.name].loading; |
||||
continue; |
||||
} |
||||
|
||||
new Font(font.name, font.file, font.properties); |
||||
|
||||
fontsReady = false; |
||||
} |
||||
|
||||
var pageInterval; |
||||
var delayLoadFont = function() { |
||||
for (var i = 0; i < fontCount; i++) { |
||||
if (Fonts[font.name].loading) { |
||||
return; |
||||
} |
||||
} |
||||
|
||||
clearInterval(pageInterval); |
||||
|
||||
PDFViewer.drawPage(num); |
||||
} |
||||
|
||||
if (!fontsReady) { |
||||
pageInterval = setInterval(delayLoadFont, 10); |
||||
return; |
||||
} |
||||
|
||||
page.display(gfx); |
||||
div.appendChild(canvas); |
||||
} |
||||
} |
||||
}, |
||||
|
||||
changeScale: function(num) { |
||||
while (PDFViewer.element.childNodes.length > 0) { |
||||
PDFViewer.element.removeChild(PDFViewer.element.firstChild); |
||||
} |
||||
|
||||
PDFViewer.scale = num / 100; |
||||
|
||||
if (PDFViewer.pdf) { |
||||
for (var i = 1; i <= PDFViewer.numberOfPages; i++) { |
||||
PDFViewer.createPage(i); |
||||
} |
||||
|
||||
if (PDFViewer.numberOfPages > 0) { |
||||
PDFViewer.drawPage(1); |
||||
} |
||||
} |
||||
|
||||
PDFViewer.scaleInput.value = Math.floor(PDFViewer.scale * 100) + '%'; |
||||
}, |
||||
|
||||
goToPage: function(num) { |
||||
if (1 <= num && num <= PDFViewer.numberOfPages) { |
||||
PDFViewer.pageNumber = num; |
||||
PDFViewer.pageNumberInput.value = PDFViewer.pageNumber; |
||||
PDFViewer.willJumpToPage = true; |
||||
|
||||
document.location.hash = PDFViewer.pageNumber; |
||||
|
||||
PDFViewer.previousPageButton.className = (PDFViewer.pageNumber === 1) ? |
||||
'disabled' : ''; |
||||
PDFViewer.nextPageButton.className = (PDFViewer.pageNumber === PDFViewer.numberOfPages) ? |
||||
'disabled' : ''; |
||||
} |
||||
}, |
||||
|
||||
goToPreviousPage: function() { |
||||
if (PDFViewer.pageNumber > 1) { |
||||
PDFViewer.goToPage(--PDFViewer.pageNumber); |
||||
} |
||||
}, |
||||
|
||||
goToNextPage: function() { |
||||
if (PDFViewer.pageNumber < PDFViewer.numberOfPages) { |
||||
PDFViewer.goToPage(++PDFViewer.pageNumber); |
||||
} |
||||
}, |
||||
|
||||
open: function(url) { |
||||
PDFViewer.url = url; |
||||
document.title = url; |
||||
|
||||
var req = new XMLHttpRequest(); |
||||
req.open('GET', url); |
||||
req.mozResponseType = req.responseType = 'arraybuffer'; |
||||
req.expected = (document.URL.indexOf('file:') === 0) ? 0 : 200; |
||||
|
||||
req.onreadystatechange = function() { |
||||
if (req.readyState === 4 && req.status === req.expected) { |
||||
var data = req.mozResponseArrayBuffer || |
||||
req.mozResponse || |
||||
req.responseArrayBuffer || |
||||
req.response; |
||||
|
||||
PDFViewer.pdf = new PDFDoc(new Stream(data)); |
||||
PDFViewer.numberOfPages = PDFViewer.pdf.numPages; |
||||
document.getElementById('numPages').innerHTML = PDFViewer.numberOfPages.toString(); |
||||
|
||||
for (var i = 1; i <= PDFViewer.numberOfPages; i++) { |
||||
PDFViewer.createPage(i); |
||||
} |
||||
|
||||
if (PDFViewer.numberOfPages > 0) { |
||||
PDFViewer.drawPage(1); |
||||
} |
||||
} |
||||
}; |
||||
|
||||
req.send(null); |
||||
} |
||||
}; |
||||
|
||||
window.onload = function() { |
||||
|
||||
// Parse the URL query parameters into a cached object.
|
||||
PDFViewer.queryParams = function() { |
||||
var qs = window.location.search.substring(1); |
||||
var kvs = qs.split('&'); |
||||
var params = {}; |
||||
for (var i = 0; i < kvs.length; ++i) { |
||||
var kv = kvs[i].split('='); |
||||
params[unescape(kv[0])] = unescape(kv[1]); |
||||
} |
||||
|
||||
return params; |
||||
}(); |
||||
|
||||
PDFViewer.element = document.getElementById('viewer'); |
||||
|
||||
PDFViewer.pageNumberInput = document.getElementById('pageNumber'); |
||||
PDFViewer.pageNumberInput.onkeydown = function(evt) { |
||||
var charCode = evt.charCode || evt.keyCode; |
||||
|
||||
// Up arrow key.
|
||||
if (charCode === 38) { |
||||
PDFViewer.goToNextPage(); |
||||
this.select(); |
||||
} |
||||
|
||||
// Down arrow key.
|
||||
else if (charCode === 40) { |
||||
PDFViewer.goToPreviousPage(); |
||||
this.select(); |
||||
} |
||||
|
||||
// All other non-numeric keys (excluding Left arrow, Right arrow,
|
||||
// Backspace, and Delete keys).
|
||||
else if ((charCode < 48 || charCode > 57) && |
||||
charCode !== 8 && // Backspace
|
||||
charCode !== 46 && // Delete
|
||||
charCode !== 37 && // Left arrow
|
||||
charCode !== 39 // Right arrow
|
||||
) { |
||||
return false; |
||||
} |
||||
|
||||
return true; |
||||
}; |
||||
PDFViewer.pageNumberInput.onkeyup = function(evt) { |
||||
var charCode = evt.charCode || evt.keyCode; |
||||
|
||||
// All numeric keys, Backspace, and Delete.
|
||||
if ((charCode >= 48 && charCode <= 57) || |
||||
charCode === 8 || // Backspace
|
||||
charCode === 46 // Delete
|
||||
) { |
||||
PDFViewer.goToPage(this.value); |
||||
} |
||||
|
||||
this.focus(); |
||||
}; |
||||
|
||||
PDFViewer.previousPageButton = document.getElementById('previousPageButton'); |
||||
PDFViewer.previousPageButton.onclick = function(evt) { |
||||
if (this.className.indexOf('disabled') === -1) { |
||||
PDFViewer.goToPreviousPage(); |
||||
} |
||||
}; |
||||
PDFViewer.previousPageButton.onmousedown = function(evt) { |
||||
if (this.className.indexOf('disabled') === -1) { |
||||
this.className = 'down'; |
||||
} |
||||
}; |
||||
PDFViewer.previousPageButton.onmouseup = function(evt) { |
||||
this.className = (this.className.indexOf('disabled') !== -1) ? 'disabled' : ''; |
||||
}; |
||||
PDFViewer.previousPageButton.onmouseout = function(evt) { |
||||
this.className = (this.className.indexOf('disabled') !== -1) ? 'disabled' : ''; |
||||
}; |
||||
|
||||
PDFViewer.nextPageButton = document.getElementById('nextPageButton'); |
||||
PDFViewer.nextPageButton.onclick = function(evt) { |
||||
if (this.className.indexOf('disabled') === -1) { |
||||
PDFViewer.goToNextPage(); |
||||
} |
||||
}; |
||||
PDFViewer.nextPageButton.onmousedown = function(evt) { |
||||
if (this.className.indexOf('disabled') === -1) { |
||||
this.className = 'down'; |
||||
} |
||||
}; |
||||
PDFViewer.nextPageButton.onmouseup = function(evt) { |
||||
this.className = (this.className.indexOf('disabled') !== -1) ? 'disabled' : ''; |
||||
}; |
||||
PDFViewer.nextPageButton.onmouseout = function(evt) { |
||||
this.className = (this.className.indexOf('disabled') !== -1) ? 'disabled' : ''; |
||||
}; |
||||
|
||||
PDFViewer.scaleInput = document.getElementById('scale'); |
||||
PDFViewer.scaleInput.buttonElement = document.getElementById('scaleComboBoxButton'); |
||||
PDFViewer.scaleInput.buttonElement.listElement = document.getElementById('scaleComboBoxList'); |
||||
PDFViewer.scaleInput.onchange = function(evt) { |
||||
PDFViewer.changeScale(parseInt(this.value)); |
||||
}; |
||||
|
||||
PDFViewer.scaleInput.buttonElement.onclick = function(evt) { |
||||
this.listElement.style.display = (this.listElement.style.display === 'block') ? 'none' : 'block'; |
||||
}; |
||||
PDFViewer.scaleInput.buttonElement.onmousedown = function(evt) { |
||||
if (this.className.indexOf('disabled') === -1) { |
||||
this.className = 'down'; |
||||
} |
||||
}; |
||||
PDFViewer.scaleInput.buttonElement.onmouseup = function(evt) { |
||||
this.className = (this.className.indexOf('disabled') !== -1) ? 'disabled' : ''; |
||||
}; |
||||
PDFViewer.scaleInput.buttonElement.onmouseout = function(evt) { |
||||
this.className = (this.className.indexOf('disabled') !== -1) ? 'disabled' : ''; |
||||
}; |
||||
|
||||
var listItems = PDFViewer.scaleInput.buttonElement.listElement.getElementsByTagName('LI'); |
||||
|
||||
for (var i = 0; i < listItems.length; i++) { |
||||
var listItem = listItems[i]; |
||||
listItem.onclick = function(evt) { |
||||
PDFViewer.changeScale(parseInt(this.innerHTML)); |
||||
PDFViewer.scaleInput.buttonElement.listElement.style.display = 'none'; |
||||
}; |
||||
} |
||||
|
||||
PDFViewer.pageNumber = parseInt(PDFViewer.queryParams.page) || PDFViewer.pageNumber; |
||||
PDFViewer.scale = parseInt(PDFViewer.scaleInput.value) / 100 || 1.0; |
||||
PDFViewer.open(PDFViewer.queryParams.file || PDFViewer.url); |
||||
|
||||
window.onscroll = function(evt) { |
||||
var lastPagesDrawn = PDFViewer.lastPagesDrawn; |
||||
var visiblePages = PDFViewer.visiblePages(); |
||||
|
||||
var pagesToDraw = []; |
||||
var pagesToKeep = []; |
||||
var pagesToRemove = []; |
||||
|
||||
var i; |
||||
|
||||
// Determine which visible pages were not previously drawn.
|
||||
for (i = 0; i < visiblePages.length; i++) { |
||||
if (lastPagesDrawn.indexOf(visiblePages[i]) === -1) { |
||||
pagesToDraw.push(visiblePages[i]); |
||||
PDFViewer.drawPage(visiblePages[i]); |
||||
} else { |
||||
pagesToKeep.push(visiblePages[i]); |
||||
} |
||||
} |
||||
|
||||
// Determine which previously drawn pages are no longer visible.
|
||||
for (i = 0; i < lastPagesDrawn.length; i++) { |
||||
if (visiblePages.indexOf(lastPagesDrawn[i]) === -1) { |
||||
pagesToRemove.push(lastPagesDrawn[i]); |
||||
PDFViewer.removePage(lastPagesDrawn[i]); |
||||
} |
||||
} |
||||
|
||||
PDFViewer.lastPagesDrawn = pagesToDraw.concat(pagesToKeep); |
||||
|
||||
// Update the page number input with the current page number.
|
||||
if (!PDFViewer.willJumpToPage && visiblePages.length > 0) { |
||||
PDFViewer.pageNumber = PDFViewer.pageNumberInput.value = visiblePages[0]; |
||||
PDFViewer.previousPageButton.className = (PDFViewer.pageNumber === 1) ? |
||||
'disabled' : ''; |
||||
PDFViewer.nextPageButton.className = (PDFViewer.pageNumber === PDFViewer.numberOfPages) ? |
||||
'disabled' : ''; |
||||
} else { |
||||
PDFViewer.willJumpToPage = false; |
||||
} |
||||
}; |
||||
}; |
||||
@ -0,0 +1,175 @@
@@ -0,0 +1,175 @@
|
||||
import json, os, sys, subprocess |
||||
from BaseHTTPServer import BaseHTTPRequestHandler, HTTPServer |
||||
|
||||
ANAL = True |
||||
VERBOSE = False |
||||
|
||||
MIMEs = { |
||||
'.css': 'text/css', |
||||
'.html': 'text/html', |
||||
'.js': 'application/json', |
||||
'.json': 'application/json', |
||||
'.pdf': 'application/pdf', |
||||
'.xhtml': 'application/xhtml+xml', |
||||
} |
||||
|
||||
class State: |
||||
browsers = [ ] |
||||
manifest = { } |
||||
taskResults = { } |
||||
remaining = 0 |
||||
results = { } |
||||
done = False |
||||
|
||||
class Result: |
||||
def __init__(self, snapshot, failure): |
||||
self.snapshot = snapshot |
||||
self.failure = failure |
||||
|
||||
|
||||
class PDFTestHandler(BaseHTTPRequestHandler): |
||||
# Disable annoying noise by default |
||||
def log_request(code=0, size=0): |
||||
if VERBOSE: |
||||
BaseHTTPRequestHandler.log_request(code, size) |
||||
|
||||
def do_GET(self): |
||||
cwd = os.getcwd() |
||||
path = os.path.abspath(os.path.realpath(cwd + os.sep + self.path)) |
||||
cwd = os.path.abspath(cwd) |
||||
prefix = os.path.commonprefix(( path, cwd )) |
||||
_, ext = os.path.splitext(path) |
||||
|
||||
if not (prefix == cwd |
||||
and os.path.isfile(path) |
||||
and ext in MIMEs): |
||||
self.send_error(404) |
||||
return |
||||
|
||||
if 'Range' in self.headers: |
||||
# TODO for fetch-as-you-go |
||||
self.send_error(501) |
||||
return |
||||
|
||||
self.send_response(200) |
||||
self.send_header("Content-Type", MIMEs[ext]) |
||||
self.end_headers() |
||||
|
||||
# Sigh, os.sendfile() plz |
||||
f = open(path) |
||||
self.wfile.write(f.read()) |
||||
f.close() |
||||
|
||||
|
||||
def do_POST(self): |
||||
numBytes = int(self.headers['Content-Length']) |
||||
|
||||
self.send_response(200) |
||||
self.send_header('Content-Type', 'text/plain') |
||||
self.end_headers() |
||||
|
||||
result = json.loads(self.rfile.read(numBytes)) |
||||
browser = 'firefox4' |
||||
id, failure, round, page, snapshot = result['id'], result['failure'], result['round'], result['page'], result['snapshot'] |
||||
taskResults = State.taskResults[browser][id] |
||||
taskResults[round][page - 1] = Result(snapshot, failure) |
||||
|
||||
if result['taskDone']: |
||||
check(State.manifest[id], taskResults, browser) |
||||
State.remaining -= 1 |
||||
|
||||
State.done = (0 == State.remaining) |
||||
|
||||
|
||||
def set_up(): |
||||
# Only serve files from a pdf.js clone |
||||
assert not ANAL or os.path.isfile('pdf.js') and os.path.isdir('.git') |
||||
|
||||
testBrowsers = [ b for b in |
||||
( 'firefox4', ) |
||||
#'chrome12', 'chrome13', 'firefox5', 'firefox6','opera11' ): |
||||
if os.access(b, os.R_OK | os.X_OK) ] |
||||
|
||||
mf = open('test_manifest.json') |
||||
manifestList = json.load(mf) |
||||
mf.close() |
||||
|
||||
for b in testBrowsers: |
||||
State.taskResults[b] = { } |
||||
for item in manifestList: |
||||
id, rounds = item['id'], int(item['rounds']) |
||||
State.manifest[id] = item |
||||
taskResults = [ ] |
||||
for r in xrange(rounds): |
||||
taskResults.append([ None ] * 100) |
||||
State.taskResults[b][id] = taskResults |
||||
|
||||
State.remaining = len(manifestList) |
||||
|
||||
for b in testBrowsers: |
||||
print 'Launching', b |
||||
subprocess.Popen(( os.path.abspath(os.path.realpath(b)), |
||||
'http://localhost:8080/test_slave.html' )) |
||||
|
||||
|
||||
def check(task, results, browser): |
||||
failed = False |
||||
for r in xrange(len(results)): |
||||
pageResults = results[r] |
||||
for p in xrange(len(pageResults)): |
||||
pageResult = pageResults[p] |
||||
if pageResult is None: |
||||
continue |
||||
failure = pageResult.failure |
||||
if failure: |
||||
failed = True |
||||
print 'TEST-UNEXPECTED-FAIL | test failed', task['id'], '| in', browser, '| page', p + 1, 'round', r, '|', failure |
||||
|
||||
if failed: |
||||
return |
||||
|
||||
kind = task['type'] |
||||
if '==' == kind: |
||||
checkEq(task, results, browser) |
||||
elif 'fbf' == kind: |
||||
checkFBF(task, results, browser) |
||||
elif 'load' == kind: |
||||
checkLoad(task, results, browser) |
||||
else: |
||||
assert 0 and 'Unknown test type' |
||||
|
||||
|
||||
def checkEq(task, results, browser): |
||||
print ' !!! [TODO: == tests] !!!' |
||||
print 'TEST-PASS | == test', task['id'], '| in', browser |
||||
|
||||
|
||||
printed = [False] |
||||
|
||||
def checkFBF(task, results, browser): |
||||
round0, round1 = results[0], results[1] |
||||
assert len(round0) == len(round1) |
||||
|
||||
for page in xrange(len(round1)): |
||||
r0Page, r1Page = round0[page], round1[page] |
||||
if r0Page is None: |
||||
break |
||||
if r0Page.snapshot != r1Page.snapshot: |
||||
print 'TEST-UNEXPECTED-FAIL | forward-back-forward test', task['id'], '| in', browser, '| first rendering of page', page + 1, '!= second' |
||||
print 'TEST-PASS | forward-back-forward test', task['id'], '| in', browser |
||||
|
||||
|
||||
def checkLoad(task, results, browser): |
||||
# Load just checks for absence of failure, so if we got here the |
||||
# test has passed |
||||
print 'TEST-PASS | load test', task['id'], '| in', browser |
||||
|
||||
|
||||
def main(): |
||||
set_up() |
||||
server = HTTPServer(('127.0.0.1', 8080), PDFTestHandler) |
||||
while not State.done: |
||||
server.handle_request() |
||||
|
||||
if __name__ == '__main__': |
||||
main() |
||||
@ -0,0 +1,17 @@
@@ -0,0 +1,17 @@
|
||||
[ |
||||
{ "id": "tracemonkey-==", |
||||
"file": "tests/tracemonkey.pdf", |
||||
"rounds": 1, |
||||
"type": "==" |
||||
}, |
||||
{ "id": "tracemonkey-fbf", |
||||
"file": "tests/tracemonkey.pdf", |
||||
"rounds": 2, |
||||
"type": "fbf" |
||||
}, |
||||
{ "id": "html5-canvas-cheat-sheet-load", |
||||
"file": "tests/canvas.pdf", |
||||
"rounds": 1, |
||||
"type": "load" |
||||
} |
||||
] |
||||
@ -0,0 +1,149 @@
@@ -0,0 +1,149 @@
|
||||
<html> |
||||
<head> |
||||
<title>pdf.js test slave</title> |
||||
<script type="text/javascript" src="pdf.js"></script> |
||||
<script type="text/javascript" src="fonts.js"></script> |
||||
<script type="text/javascript" src="glyphlist.js"></script> |
||||
<script type="application/javascript"> |
||||
var canvas, currentTask, currentTaskIdx, failure, manifest, pdfDoc, stdout; |
||||
|
||||
function load() { |
||||
canvas = document.createElement("canvas"); |
||||
// 8.5x11in @ 100% ... XXX need something better here |
||||
canvas.width = 816; |
||||
canvas.height = 1056; |
||||
canvas.mozOpaque = true; |
||||
stdout = document.getElementById("stdout"); |
||||
|
||||
log("Fetching manifest ..."); |
||||
|
||||
var r = new XMLHttpRequest(); |
||||
r.open("GET", "test_manifest.json", false); |
||||
r.onreadystatechange = function(e) { |
||||
if (r.readyState == 4) { |
||||
log("done\n"); |
||||
|
||||
manifest = JSON.parse(r.responseText); |
||||
currentTaskIdx = 0, nextTask(); |
||||
} |
||||
}; |
||||
r.send(null); |
||||
} |
||||
|
||||
function nextTask() { |
||||
if (currentTaskIdx == manifest.length) { |
||||
return done(); |
||||
} |
||||
currentTask = manifest[currentTaskIdx]; |
||||
currentTask.round = 0; |
||||
|
||||
log("Loading file "+ currentTask.file +"\n"); |
||||
|
||||
var r = new XMLHttpRequest(); |
||||
r.open("GET", currentTask.file); |
||||
r.mozResponseType = r.responseType = "arraybuffer"; |
||||
r.onreadystatechange = function() { |
||||
if (r.readyState == 4) { |
||||
var data = r.mozResponseArrayBuffer || r.mozResponse || |
||||
r.responseArrayBuffer || r.response; |
||||
pdfDoc = new PDFDoc(new Stream(data)); |
||||
currentTask.pageNum = 1, nextPage(); |
||||
} |
||||
}; |
||||
r.send(null); |
||||
} |
||||
|
||||
function nextPage() { |
||||
if (currentTask.pageNum > pdfDoc.numPages) { |
||||
if (++currentTask.round < currentTask.rounds) { |
||||
log(" Round "+ (1 + currentTask.round) +"\n"); |
||||
currentTask.pageNum = 1; |
||||
} else { |
||||
++currentTaskIdx, nextTask(); |
||||
return; |
||||
} |
||||
} |
||||
|
||||
failure = ''; |
||||
log(" drawing page "+ currentTask.pageNum +"..."); |
||||
|
||||
currentPage = pdfDoc.getPage(currentTask.pageNum); |
||||
|
||||
var ctx = canvas.getContext("2d"); |
||||
clear(ctx); |
||||
|
||||
var fonts = []; |
||||
var gfx = new CanvasGraphics(ctx); |
||||
try { |
||||
currentPage.compile(gfx, fonts); |
||||
} catch(e) { |
||||
failure = 'compile: '+ e.toString(); |
||||
} |
||||
|
||||
// TODO load fonts |
||||
setTimeout(function() { |
||||
if (!failure) { |
||||
try { |
||||
currentPage.display(gfx); |
||||
} catch(e) { |
||||
failure = 'render: '+ e.toString(); |
||||
} |
||||
} |
||||
currentTask.taskDone = (currentTask.pageNum == pdfDoc.numPages |
||||
&& (1 + currentTask.round) == currentTask.rounds); |
||||
sendTaskResult(canvas.toDataURL("image/png")); |
||||
log("done"+ (failure ? " (failed!)" : "") +"\n"); |
||||
|
||||
++currentTask.pageNum, nextPage(); |
||||
}, |
||||
0 |
||||
); |
||||
} |
||||
|
||||
function done() { |
||||
log("Done!\n"); |
||||
setTimeout(function() { |
||||
document.body.innerHTML = "Tests are finished. <h1>CLOSE ME!</h1>"; |
||||
window.close(); |
||||
}, |
||||
100 |
||||
); |
||||
} |
||||
|
||||
function sendTaskResult(snapshot) { |
||||
var result = { id: currentTask.id, |
||||
taskDone: currentTask.taskDone, |
||||
failure: failure, |
||||
file: currentTask.file, |
||||
round: currentTask.round, |
||||
page: currentTask.pageNum, |
||||
snapshot: snapshot }; |
||||
|
||||
var r = new XMLHttpRequest(); |
||||
// (The POST URI is ignored atm.) |
||||
r.open("POST", "submit_task_results", false); |
||||
r.setRequestHeader("Content-Type", "application/json"); |
||||
// XXX async |
||||
r.send(JSON.stringify(result)); |
||||
} |
||||
|
||||
function clear(ctx) { |
||||
var ctx = canvas.getContext("2d"); |
||||
ctx.save(); |
||||
ctx.fillStyle = "rgb(255, 255, 255)"; |
||||
ctx.fillRect(0, 0, canvas.width, canvas.height); |
||||
ctx.restore(); |
||||
} |
||||
|
||||
function log(str) { |
||||
stdout.innerHTML += str; |
||||
window.scrollTo(0, stdout.getBoundingClientRect().bottom); |
||||
} |
||||
</script> |
||||
</head> |
||||
|
||||
<body onload="load();"> |
||||
<pre id="stdout"></pre> |
||||
</body> |
||||
|
||||
</html> |
||||
Binary file not shown.
Binary file not shown.
Loading…
Reference in new issue