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 32import sys 33 34 35def 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 49def 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 61if __name__ == '__main__': 62 sys.exit(main(sys.argv)) 63