diff options
Diffstat (limited to 'tests/wpt/web-platform-tests/tools/pywebsocket/src/example/util_main.js')
m--------- | tests/wpt/web-platform-tests | 0 | ||||
-rw-r--r-- | tests/wpt/web-platform-tests/tools/pywebsocket/src/example/util_main.js | 63 |
2 files changed, 63 insertions, 0 deletions
diff --git a/tests/wpt/web-platform-tests b/tests/wpt/web-platform-tests deleted file mode 160000 -Subproject 29dfb8944e535d439ca94cf7d1b1d9138a8ad11 diff --git a/tests/wpt/web-platform-tests/tools/pywebsocket/src/example/util_main.js b/tests/wpt/web-platform-tests/tools/pywebsocket/src/example/util_main.js new file mode 100644 index 00000000000..b03d1c2bdc4 --- /dev/null +++ b/tests/wpt/web-platform-tests/tools/pywebsocket/src/example/util_main.js @@ -0,0 +1,63 @@ +// Copyright 2014 Google Inc. All rights reserved. +// +// Use of this source code is governed by a BSD-style +// license that can be found in the COPYING file or at +// https://developers.google.com/open-source/licenses/bsd + +// Utilities for example applications (for the main thread only). + +var logBox = null; +var queuedLog = ''; + +var summaryBox = null; + +function queueLog(log) { + queuedLog += log + '\n'; +} + +function addToLog(log) { + logBox.value += queuedLog; + queuedLog = ''; + logBox.value += log + '\n'; + logBox.scrollTop = 1000000; +} + +function addToSummary(log) { + summaryBox.value += log + '\n'; + summaryBox.scrollTop = 1000000; +} + +// value: execution time in milliseconds. +// config.measureValue is intended to be used in Performance Tests. +// Do nothing here in non-PerformanceTest. +function measureValue(value) { +} + +function getIntFromInput(id) { + return parseInt(document.getElementById(id).value); +} + +function getStringFromRadioBox(name) { + var list = document.getElementById('benchmark_form')[name]; + for (var i = 0; i < list.length; ++i) + if (list.item(i).checked) + return list.item(i).value; + return undefined; +} +function getBoolFromCheckBox(id) { + return document.getElementById(id).checked; +} + +function getIntArrayFromInput(id) { + var strArray = document.getElementById(id).value.split(','); + return strArray.map(function(str) { return parseInt(str, 10); }); +} + +function onMessage(message) { + if (message.data.type === 'addToLog') + addToLog(message.data.data); + else if (message.data.type === 'addToSummary') + addToSummary(message.data.data); + else if (message.data.type === 'measureValue') + measureValue(message.data.data); +} |