| OLD | NEW | 
|---|
| 1 <!DOCTYPE HTML> | 1 <!DOCTYPE HTML> | 
| 2 <html> | 2 <html> | 
| 3 <head> | 3 <head> | 
| 4   <title>Matcher initialization performance measurements</title> | 4   <title>Matcher initialization performance measurements</title> | 
| 5   <script type="application/x-javascript;version=1.7" src="common.js"></script> | 5   <script type="application/x-javascript;version=1.7" src="common.js"></script> | 
| 6   <script type="application/x-javascript;version=1.7" src="../common.js"></scrip
    t> | 6   <script type="application/x-javascript;version=1.7" src="../common.js"></scrip
    t> | 
| 7 </head> | 7 </head> | 
| 8 <body> | 8 <body> | 
| 9   <p> | 9   <p> | 
| 10     Filters to be used:<br> | 10     Filters to be used:<br> | 
| (...skipping 33 matching lines...) Expand 10 before | Expand all | Expand 10 after  Loading... | 
| 44       document.getElementById("result").textContent = ""; | 44       document.getElementById("result").textContent = ""; | 
| 45       document.getElementById("progress").style.display = ""; | 45       document.getElementById("progress").style.display = ""; | 
| 46 | 46 | 
| 47       runTests(runTest, cleanup, finalize); | 47       runTests(runTest, cleanup, finalize); | 
| 48     } | 48     } | 
| 49 | 49 | 
| 50     function runTest() | 50     function runTest() | 
| 51     { | 51     { | 
| 52       // Add everything to the same matcher, don't bother separating whitelist a
    nd blacklist | 52       // Add everything to the same matcher, don't bother separating whitelist a
    nd blacklist | 
| 53       let matcher = new CombinedMatcher(); | 53       let matcher = new CombinedMatcher(); | 
| 54       for each (let filter in filters) | 54       for (let filter of filters) | 
| 55         matcher.add(filter); | 55         matcher.add(filter); | 
| 56     } | 56     } | 
| 57 | 57 | 
| 58     function cleanup() | 58     function cleanup() | 
| 59     { | 59     { | 
| 60     } | 60     } | 
| 61 | 61 | 
| 62     function finalize() | 62     function finalize() | 
| 63     { | 63     { | 
| 64       document.getElementById("progress").style.display = "none"; | 64       document.getElementById("progress").style.display = "none"; | 
| 65       document.getElementById("filters").disabled = false; | 65       document.getElementById("filters").disabled = false; | 
| 66       document.getElementById("startButton").disabled = false; | 66       document.getElementById("startButton").disabled = false; | 
| 67       filters = null; | 67       filters = null; | 
| 68     } | 68     } | 
| 69   </script> | 69   </script> | 
| 70 </body> | 70 </body> | 
| 71 </html> | 71 </html> | 
| OLD | NEW | 
|---|