| 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 |