| Index: client/dom/scripts/dartgenerator.py
|
| diff --git a/client/dom/scripts/dartgenerator.py b/client/dom/scripts/dartgenerator.py
|
| index 45b41cecacddd4c7426dd62f0c27bbba85a6f06d..3ff8ceead68f56a05e765a16d3310e1189c93a85 100755
|
| --- a/client/dom/scripts/dartgenerator.py
|
| +++ b/client/dom/scripts/dartgenerator.py
|
| @@ -627,9 +627,6 @@ class DartGenerator(object):
|
| source_filter, common_prefix)
|
| processed_interfaces.append(interface)
|
|
|
| - self._GenerateBrowserAnalysis(processed_interfaces, output_dir)
|
| -
|
| -
|
| # Libraries
|
| if lib_dir:
|
| # New version: Monkey-patching interface library.
|
| @@ -1252,63 +1249,6 @@ class DartGenerator(object):
|
| props.add(name + '$member')
|
|
|
|
|
| - def _GenerateBrowserAnalysis(self, interfaces, output_dir):
|
| - """Generate a JavaScript file that provides info from the browser.
|
| - """
|
| - js_file_name = os.path.join(output_dir, 'browser_analysis.html')
|
| - code = self._emitters.FileEmitter(js_file_name)
|
| -
|
| - template = """<head>
|
| -<script>
|
| -function addText(e, text) {
|
| - var node = document.createElement('text');
|
| - node.innerHTML = String(text);
|
| - e.appendChild(node);
|
| -}
|
| -function check() {
|
| - var supported = [];
|
| - var missing = [];
|
| -$!CHECKS
|
| - addText(document.getElementById('agent'), navigator.userAgent);
|
| -
|
| - function fill(tag, elems) {
|
| - addText(document.getElementById(tag + '_count'), elems.length);
|
| - for (var i = 0; i < elems.length; ++i) {
|
| - var e = document.createElement('div');
|
| - e.innerHTML = ' "' + elems[i] + '",'
|
| - document.getElementById(tag).appendChild(e);
|
| - }
|
| - }
|
| - fill('supported', supported);
|
| - fill('missing', missing);
|
| -}
|
| -window.onload = check;
|
| -</script>
|
| -</head>
|
| -<div>
|
| -{ 'userAgent': '<span id='agent'></span>',
|
| -</div>
|
| -<div>
|
| -'supported': [ // (<span id='supported_count'></span>)
|
| -<div id='supported' style='font-size: -2;'></div>
|
| -],</div>
|
| -<div>
|
| -'missing': [ // (<span id='missing_count'></span>)
|
| -<div id='missing' style='font-size: -2;'></div>
|
| -]}</div>
|
| -
|
| -"""
|
| - checks = code.Emit(template)
|
| - names = sorted(interface.id for interface in interfaces)
|
| - for id in names:
|
| - checks.Emit(
|
| - ' if (typeof $ID == "undefined")\n'
|
| - ' missing.push("$ID");\n'
|
| - ' else\n'
|
| - ' supported.push("$ID");\n',
|
| - ID=id);
|
| -
|
| -
|
| class OperationInfo(object):
|
| """Holder for various derived information from a set of overloaded operations.
|
|
|
|
|