third_party/WebKit/Source/devtools/scripts/generate_devtools_extension_api.py

   1 #!/usr/bin/env python
   2 #
   3 # Copyright (C) 2011 Google Inc. All rights reserved.
   4 #
   5 # Redistribution and use in source and binary forms, with or without
   6 # modification, are permitted provided that the following conditions are
   7 # met:
   8 #
   9 #         * Redistributions of source code must retain the above copyright
  10 # notice, this list of conditions and the following disclaimer.
  11 #         * Redistributions in binary form must reproduce the above
  12 # copyright notice, this list of conditions and the following disclaimer
  13 # in the documentation and/or other materials provided with the
  14 # distribution.
  15 #         * Neither the name of Google Inc. nor the names of its
  16 # contributors may be used to endorse or promote products derived from
  17 # this software without specific prior written permission.
  18 #
  19 # THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
  20 # "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
  21 # LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
  22 # A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
  23 # OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
  24 # SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
  25 # LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
  26 # DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
  27 # THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
  28 # (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
  29 # OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  30 #
  31
  32 import sys
  33
  34
  35 def write_devtools_extension_api(output, input_names):
  36     output.write("""(function() {
  37     """)
  38     for input_name in input_names:
  39         input = open(input_name, 'r')
  40         output.write(input.read())
  41     output.write("""
  42         var tabId;
  43         var extensionInfo = {};
  44         var extensionServer;
  45         platformExtensionAPI(injectedExtensionAPI("remote-" + window.parent.frames.length));
  46     })();""")
  47
  48
  49 def main(argv):
  50
  51     if len(argv) < 3:
  52         print('usage: %s output_js input_files ...' % argv[0])
  53         return 1
  54
  55     output_name = argv[1]
  56     output = open(output_name, 'w')
  57     write_devtools_extension_api(output, argv[2:])
  58     output.close()
  59
  60
  61 if __name__ == '__main__':
  62     sys.exit(main(sys.argv))