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 |