| OLD | NEW |
| 1 #!/usr/bin/python | 1 #!/usr/bin/python |
| 2 # Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file | 2 # Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file |
| 3 # for details. All rights reserved. Use of this source code is governed by a | 3 # for details. All rights reserved. Use of this source code is governed by a |
| 4 # BSD-style license that can be found in the LICENSE file. | 4 # BSD-style license that can be found in the LICENSE file. |
| 5 | 5 |
| 6 """This module provides base functionality for systems to generate | 6 """This module provides base functionality for systems to generate |
| 7 Dart APIs from the IDL database.""" | 7 Dart APIs from the IDL database.""" |
| 8 | 8 |
| 9 import os | 9 import os |
| 10 import re | 10 #import re |
| 11 from generator import * | 11 import generator |
| 12 | 12 |
| 13 class System(object): | 13 class System(object): |
| 14 """Generates all the files for one implementation.""" | 14 """A System generates all the files for one implementation. |
| 15 |
| 16 This is a base class for all the specific systems. |
| 17 The life-cycle of a System is: |
| 18 - construction (__init__) |
| 19 - (InterfaceGenerator | ProcessCallback)* # for each IDL interface |
| 20 - GenerateLibraries |
| 21 - Finish |
| 22 """ |
| 15 | 23 |
| 16 def __init__(self, templates, database, emitters, output_dir): | 24 def __init__(self, templates, database, emitters, output_dir): |
| 17 self._templates = templates | 25 self._templates = templates |
| 18 self._database = database | 26 self._database = database |
| 19 self._emitters = emitters | 27 self._emitters = emitters |
| 20 self._output_dir = output_dir | 28 self._output_dir = output_dir |
| 21 self._dart_callback_file_paths = [] | 29 self._dart_callback_file_paths = [] |
| 22 | 30 |
| 23 def InterfaceGenerator(self, | 31 def InterfaceGenerator(self, |
| 24 interface, | 32 interface, |
| 25 common_prefix, | 33 common_prefix, |
| 26 super_interface_name, | 34 super_interface_name, |
| 27 source_filter): | 35 source_filter): |
| 28 """Returns an interface generator for |interface|.""" | 36 """Returns an interface generator for |interface|. |
| 37 |
| 38 Called once for each interface that is not a callback function. |
| 39 """ |
| 29 return None | 40 return None |
| 30 | 41 |
| 31 def ProcessCallback(self, interface, info): | 42 def ProcessCallback(self, interface, info): |
| 43 """Processes an interface that is a callback function.""" |
| 32 pass | 44 pass |
| 33 | 45 |
| 34 def GenerateLibraries(self, lib_dir): | 46 def GenerateLibraries(self, lib_dir): |
| 35 pass | 47 pass |
| 36 | 48 |
| 37 def Finish(self): | 49 def Finish(self): |
| 38 pass | 50 pass |
| 39 | 51 |
| 40 | 52 |
| 53 # Helper methods used by several systems. |
| 54 |
| 41 def _ProcessCallback(self, interface, info, file_path): | 55 def _ProcessCallback(self, interface, info, file_path): |
| 42 """Generates a typedef for the callback interface.""" | 56 """Generates a typedef for the callback interface.""" |
| 43 self._dart_callback_file_paths.append(file_path) | 57 self._dart_callback_file_paths.append(file_path) |
| 44 code = self._emitters.FileEmitter(file_path) | 58 code = self._emitters.FileEmitter(file_path) |
| 45 | 59 |
| 46 code.Emit(self._templates.Load('callback.darttemplate')) | 60 code.Emit(self._templates.Load('callback.darttemplate')) |
| 47 code.Emit('typedef $TYPE $NAME($PARAMS);\n', | 61 code.Emit('typedef $TYPE $NAME($PARAMS);\n', |
| 48 NAME=interface.id, | 62 NAME=interface.id, |
| 49 TYPE=info.type_name, | 63 TYPE=info.type_name, |
| 50 PARAMS=info.ParametersImplementationDeclaration()) | 64 PARAMS=info.ParametersImplementationDeclaration()) |
| 51 | 65 |
| 66 |
| 52 def _GenerateLibFile(self, lib_template, lib_file_path, file_paths, | 67 def _GenerateLibFile(self, lib_template, lib_file_path, file_paths, |
| 53 **template_args): | 68 **template_args): |
| 54 """Generates a lib file from a template and a list of files. | 69 """Generates a lib file from a template and a list of files. |
| 55 | 70 |
| 56 Additional keyword arguments are passed to the template. | 71 Additional keyword arguments are passed to the template. |
| 72 Typically called from self.GenerateLibraries. |
| 57 """ | 73 """ |
| 58 # Load template. | 74 # Load template. |
| 59 template = self._templates.Load(lib_template) | 75 template = self._templates.Load(lib_template) |
| 60 # Generate the .lib file. | 76 # Generate the .lib file. |
| 61 lib_file_contents = self._emitters.FileEmitter(lib_file_path) | 77 lib_file_contents = self._emitters.FileEmitter(lib_file_path) |
| 62 | 78 |
| 63 # Emit the list of #source directives. | 79 # Emit the list of #source directives. |
| 64 list_emitter = lib_file_contents.Emit(template, **template_args) | 80 list_emitter = lib_file_contents.Emit(template, **template_args) |
| 65 lib_file_dir = os.path.dirname(lib_file_path) | 81 lib_file_dir = os.path.dirname(lib_file_path) |
| 66 for path in sorted(file_paths): | 82 for path in sorted(file_paths): |
| 67 relpath = os.path.relpath(path, lib_file_dir) | 83 relpath = os.path.relpath(path, lib_file_dir) |
| 68 list_emitter.Emit("#source('$PATH');\n", PATH=relpath) | 84 list_emitter.Emit("#source('$PATH');\n", PATH=relpath) |
| 69 | 85 |
| 70 | 86 |
| 71 def _BaseDefines(self, interface): | 87 def _BaseDefines(self, interface): |
| 72 """Returns a set of names (strings) for members defined in a base class. | 88 """Returns a set of names (strings) for members defined in a base class. |
| 73 """ | 89 """ |
| 74 def WalkParentChain(interface): | 90 def WalkParentChain(interface): |
| 75 if interface.parents: | 91 if interface.parents: |
| 76 # Only consider primary parent, secondary parents are not on the | 92 # Only consider primary parent, secondary parents are not on the |
| 77 # implementation class inheritance chain. | 93 # implementation class inheritance chain. |
| 78 parent = interface.parents[0] | 94 parent = interface.parents[0] |
| 79 if IsDartCollectionType(parent.type.id): | 95 if generator.IsDartCollectionType(parent.type.id): |
| 80 return | 96 return |
| 81 if self._database.HasInterface(parent.type.id): | 97 if self._database.HasInterface(parent.type.id): |
| 82 parent_interface = self._database.GetInterface(parent.type.id) | 98 parent_interface = self._database.GetInterface(parent.type.id) |
| 83 for attr in parent_interface.attributes: | 99 for attr in parent_interface.attributes: |
| 84 result.add(attr.id) | 100 result.add(attr.id) |
| 85 for op in parent_interface.operations: | 101 for op in parent_interface.operations: |
| 86 result.add(op.id) | 102 result.add(op.id) |
| 87 WalkParentChain(parent_interface) | 103 WalkParentChain(parent_interface) |
| 88 | 104 |
| 89 result = set() | 105 result = set() |
| 90 WalkParentChain(interface) | 106 WalkParentChain(interface) |
| 91 return result; | 107 return result; |
| 92 | |
| 93 | |
| 94 # ------------------------------------------------------------------------------ | |
| 95 | |
| 96 class InterfacesSystem(System): | |
| 97 | |
| 98 def __init__(self, templates, database, emitters, output_dir): | |
| 99 super(InterfacesSystem, self).__init__( | |
| 100 templates, database, emitters, output_dir) | |
| 101 self._dart_interface_file_paths = [] | |
| 102 | |
| 103 | |
| 104 def InterfaceGenerator(self, | |
| 105 interface, | |
| 106 common_prefix, | |
| 107 super_interface_name, | |
| 108 source_filter): | |
| 109 """.""" | |
| 110 interface_name = interface.id | |
| 111 dart_interface_file_path = self._FilePathForDartInterface(interface_name) | |
| 112 | |
| 113 self._dart_interface_file_paths.append(dart_interface_file_path) | |
| 114 | |
| 115 dart_interface_code = self._emitters.FileEmitter(dart_interface_file_path) | |
| 116 | |
| 117 template_file = 'interface_%s.darttemplate' % interface_name | |
| 118 template = self._templates.TryLoad(template_file) | |
| 119 if not template: | |
| 120 template = self._templates.Load('interface.darttemplate') | |
| 121 | |
| 122 return DartInterfaceGenerator( | |
| 123 interface, dart_interface_code, | |
| 124 template, | |
| 125 common_prefix, super_interface_name, | |
| 126 source_filter) | |
| 127 | |
| 128 def ProcessCallback(self, interface, info): | |
| 129 """Generates a typedef for the callback interface.""" | |
| 130 interface_name = interface.id | |
| 131 file_path = self._FilePathForDartInterface(interface_name) | |
| 132 self._ProcessCallback(interface, info, file_path) | |
| 133 | |
| 134 def GenerateLibraries(self, lib_dir): | |
| 135 pass | |
| 136 | |
| 137 | |
| 138 def _FilePathForDartInterface(self, interface_name): | |
| 139 """Returns the file path of the Dart interface definition.""" | |
| 140 return os.path.join(self._output_dir, 'src', 'interface', | |
| 141 '%s.dart' % interface_name) | |
| 142 | |
| 143 # ------------------------------------------------------------------------------ | |
| 144 | |
| 145 class DartInterfaceGenerator(object): | |
| 146 """Generates Dart Interface definition for one DOM IDL interface.""" | |
| 147 | |
| 148 def __init__(self, interface, emitter, template, | |
| 149 common_prefix, super_interface, source_filter): | |
| 150 """Generates Dart code for the given interface. | |
| 151 | |
| 152 Args: | |
| 153 interface -- an IDLInterface instance. It is assumed that all types have | |
| 154 been converted to Dart types (e.g. int, String), unless they are in the | |
| 155 same package as the interface. | |
| 156 common_prefix -- the prefix for the common library, if any. | |
| 157 super_interface -- the name of the common interface that this interface | |
| 158 implements, if any. | |
| 159 source_filter -- if specified, rewrites the names of any superinterfaces | |
| 160 that are not from these sources to use the common prefix. | |
| 161 """ | |
| 162 self._interface = interface | |
| 163 self._emitter = emitter | |
| 164 self._template = template | |
| 165 self._common_prefix = common_prefix | |
| 166 self._super_interface = super_interface | |
| 167 self._source_filter = source_filter | |
| 168 | |
| 169 | |
| 170 def StartInterface(self): | |
| 171 if self._super_interface: | |
| 172 typename = self._super_interface | |
| 173 else: | |
| 174 typename = self._interface.id | |
| 175 | |
| 176 | |
| 177 extends = [] | |
| 178 suppressed_extends = [] | |
| 179 | |
| 180 for parent in self._interface.parents: | |
| 181 # TODO(vsm): Remove source_filter. | |
| 182 if MatchSourceFilter(self._source_filter, parent): | |
| 183 # Parent is a DOM type. | |
| 184 extends.append(parent.type.id) | |
| 185 elif '<' in parent.type.id: | |
| 186 # Parent is a Dart collection type. | |
| 187 # TODO(vsm): Make this check more robust. | |
| 188 extends.append(parent.type.id) | |
| 189 else: | |
| 190 suppressed_extends.append('%s.%s' % | |
| 191 (self._common_prefix, parent.type.id)) | |
| 192 | |
| 193 comment = ' extends' | |
| 194 extends_str = '' | |
| 195 if extends: | |
| 196 extends_str += ' extends ' + ', '.join(extends) | |
| 197 comment = ',' | |
| 198 if suppressed_extends: | |
| 199 extends_str += ' /*%s %s */' % (comment, ', '.join(suppressed_extends)) | |
| 200 | |
| 201 if typename in interface_factories: | |
| 202 extends_str += ' default ' + interface_factories[typename] | |
| 203 | |
| 204 # TODO(vsm): Add appropriate package / namespace syntax. | |
| 205 (self._members_emitter, | |
| 206 self._top_level_emitter) = self._emitter.Emit( | |
| 207 self._template + '$!TOP_LEVEL', | |
| 208 ID=typename, | |
| 209 EXTENDS=extends_str) | |
| 210 | |
| 211 element_type = MaybeTypedArrayElementType(self._interface) | |
| 212 if element_type: | |
| 213 self._members_emitter.Emit( | |
| 214 '\n' | |
| 215 ' $CTOR(int length);\n' | |
| 216 '\n' | |
| 217 ' $CTOR.fromList(List<$TYPE> list);\n' | |
| 218 '\n' | |
| 219 ' $CTOR.fromBuffer(ArrayBuffer buffer);\n', | |
| 220 CTOR=self._interface.id, | |
| 221 TYPE=element_type) | |
| 222 | |
| 223 | |
| 224 def FinishInterface(self): | |
| 225 # TODO(vsm): Use typedef if / when that is supported in Dart. | |
| 226 # Define variant as subtype. | |
| 227 if (self._super_interface and | |
| 228 self._interface.id is not self._super_interface): | |
| 229 consts_emitter = self._top_level_emitter.Emit( | |
| 230 '\n' | |
| 231 'interface $NAME extends $BASE {\n' | |
| 232 '$!CONSTS' | |
| 233 '}\n', | |
| 234 NAME=self._interface.id, | |
| 235 BASE=self._super_interface) | |
| 236 for const in sorted(self._interface.constants, ConstantOutputOrder): | |
| 237 self._EmitConstant(consts_emitter, const) | |
| 238 | |
| 239 def AddConstant(self, constant): | |
| 240 if (not self._super_interface or | |
| 241 self._interface.id is self._super_interface): | |
| 242 self._EmitConstant(self._members_emitter, constant) | |
| 243 | |
| 244 def _EmitConstant(self, emitter, constant): | |
| 245 emitter.Emit('\n static final $TYPE $NAME = $VALUE;\n', | |
| 246 NAME=constant.id, | |
| 247 TYPE=constant.type.id, | |
| 248 VALUE=constant.value) | |
| 249 | |
| 250 def AddAttribute(self, getter, setter): | |
| 251 if getter and setter and getter.type.id == setter.type.id: | |
| 252 self._members_emitter.Emit('\n $TYPE $NAME;\n', | |
| 253 NAME=getter.id, TYPE=getter.type.id); | |
| 254 return | |
| 255 if getter and not setter: | |
| 256 self._members_emitter.Emit('\n final $TYPE $NAME;\n', | |
| 257 NAME=getter.id, TYPE=getter.type.id); | |
| 258 return | |
| 259 raise Exception('Unexpected getter/setter combination %s %s' % | |
| 260 (getter, setter)) | |
| 261 | |
| 262 def AddIndexer(self, element_type): | |
| 263 # Interface inherits all operations from List<element_type>. | |
| 264 pass | |
| 265 | |
| 266 def AddOperation(self, info): | |
| 267 """ | |
| 268 Arguments: | |
| 269 operations - contains the overloads, one or more operations with the same | |
| 270 name. | |
| 271 """ | |
| 272 self._members_emitter.Emit('\n' | |
| 273 ' $TYPE $NAME($PARAMS);\n', | |
| 274 TYPE=info.type_name, | |
| 275 NAME=info.name, | |
| 276 PARAMS=info.ParametersInterfaceDeclaration()) | |
| 277 | |
| 278 # Interfaces get secondary members directly via the superinterfaces. | |
| 279 def AddSecondaryAttribute(self, interface, getter, setter): | |
| 280 pass | |
| 281 | |
| 282 def AddSecondaryOperation(self, interface, attr): | |
| 283 pass | |
| 284 | |
| 285 def AddEventAttributes(self, event_attrs): | |
| 286 pass | |
| 287 | |
| 288 # Given a sorted sequence of type identifiers, return an appropriate type | |
| 289 # name | |
| 290 def TypeName(typeIds, interface): | |
| 291 # Dynamically type this field for now. | |
| 292 return 'var' | |
| 293 | |
| 294 # ------------------------------------------------------------------------------ | |
| 295 | |
| 296 class DummyInterfaceGenerator(object): | |
| 297 """Generates nothing.""" | |
| 298 | |
| 299 def __init__(self, system, interface): | |
| 300 pass | |
| 301 | |
| 302 def StartInterface(self): | |
| 303 pass | |
| 304 | |
| 305 def FinishInterface(self): | |
| 306 pass | |
| 307 | |
| 308 def AddConstant(self, constant): | |
| 309 pass | |
| 310 | |
| 311 def AddAttribute(self, getter, setter): | |
| 312 pass | |
| 313 | |
| 314 def AddSecondaryAttribute(self, interface, getter, setter): | |
| 315 pass | |
| 316 | |
| 317 def AddSecondaryOperation(self, interface, info): | |
| 318 pass | |
| 319 | |
| 320 def AddIndexer(self, element_type): | |
| 321 pass | |
| 322 | |
| 323 def AddTypedArrayConstructors(self, element_type): | |
| 324 pass | |
| 325 | |
| 326 def AddOperation(self, info): | |
| 327 pass | |
| 328 | |
| 329 def AddEventAttributes(self, event_attrs): | |
| 330 pass | |
| 331 | |
| OLD | NEW |