OLD | NEW |
1 <!DOCTYPE HTML> | 1 <!DOCTYPE HTML> |
2 <html> | 2 <html> |
3 <head> | 3 <head> |
4 <title>Filter matching performance measurements</title> | 4 <title>Filter matching 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 50 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
61 defaultMatcher.clear(); | 61 defaultMatcher.clear(); |
62 for (let filter of filters) | 62 for (let filter of filters) |
63 defaultMatcher.add(filter); | 63 defaultMatcher.add(filter); |
64 | 64 |
65 runTests(runTest, cleanup, finalize); | 65 runTests(runTest, cleanup, finalize); |
66 } | 66 } |
67 | 67 |
68 function runTest() | 68 function runTest() |
69 { | 69 { |
70 for (let address of addresses) | 70 for (let address of addresses) |
71 defaultMatcher.matchesAny(address, "IMAGE", null, false); | 71 defaultMatcher.matchesAny(address, RegExpFilter.typeMap.IMAGE, null, fal
se); |
72 } | 72 } |
73 | 73 |
74 function cleanup() | 74 function cleanup() |
75 { | 75 { |
76 // Add and remove a dummy filter to clear matcher's cache | 76 // Add and remove a dummy filter to clear matcher's cache |
77 let dummy = Filter.fromText("foobar"); | 77 let dummy = Filter.fromText("foobar"); |
78 defaultMatcher.add(dummy); | 78 defaultMatcher.add(dummy); |
79 defaultMatcher.remove(dummy); | 79 defaultMatcher.remove(dummy); |
80 } | 80 } |
81 | 81 |
82 function finalize() | 82 function finalize() |
83 { | 83 { |
84 document.getElementById("progress").style.display = "none"; | 84 document.getElementById("progress").style.display = "none"; |
85 document.getElementById("filters").disabled = false; | 85 document.getElementById("filters").disabled = false; |
86 document.getElementById("addresses").disabled = false; | 86 document.getElementById("addresses").disabled = false; |
87 document.getElementById("startButton").disabled = false; | 87 document.getElementById("startButton").disabled = false; |
88 filters = null; | 88 filters = null; |
89 addresses = null; | 89 addresses = null; |
90 } | 90 } |
91 </script> | 91 </script> |
92 </body> | 92 </body> |
93 </html> | 93 </html> |
OLD | NEW |