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 |