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 shared functionality for the system to generate | 6 """This module provides shared functionality for the system to generate |
7 Dart:html APIs from the IDL database.""" | 7 Dart:html APIs from the IDL database.""" |
8 | 8 |
9 import emitter | 9 import emitter |
10 import logging | 10 import logging |
(...skipping 476 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
487 self._interface) | 487 self._interface) |
488 | 488 |
489 code.Emit('$(ANNOTATIONS)typedef void $NAME($PARAMS);\n', | 489 code.Emit('$(ANNOTATIONS)typedef void $NAME($PARAMS);\n', |
490 ANNOTATIONS=annotations, | 490 ANNOTATIONS=annotations, |
491 NAME=typedef_name, | 491 NAME=typedef_name, |
492 PARAMS=info.ParametersAsDeclaration(self._DartType)) | 492 PARAMS=info.ParametersAsDeclaration(self._DartType)) |
493 self._backend.GenerateCallback(info) | 493 self._backend.GenerateCallback(info) |
494 | 494 |
495 def GenerateInterface(self): | 495 def GenerateInterface(self): |
496 interface_name = self._interface_type_info.interface_name() | 496 interface_name = self._interface_type_info.interface_name() |
497 | |
498 implementation_name = self._interface_type_info.implementation_name() | 497 implementation_name = self._interface_type_info.implementation_name() |
499 self._library_emitter.AddTypeEntry(self._library_name, | 498 self._library_emitter.AddTypeEntry(self._library_name, |
500 self._interface.id, implementation_name) | 499 self._interface.id, implementation_name) |
501 | 500 |
502 factory_provider = None | 501 factory_provider = None |
503 if interface_name in interface_factories: | 502 if interface_name in interface_factories: |
504 factory_provider = interface_factories[interface_name] | 503 factory_provider = interface_factories[interface_name] |
505 factory_constructor_name = None | 504 factory_constructor_name = None |
506 | 505 |
507 constructors = [] | 506 constructors = [] |
(...skipping 45 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
553 secure_base_name = self._backend.SecureBaseName(interface_name) | 552 secure_base_name = self._backend.SecureBaseName(interface_name) |
554 if secure_base_name: | 553 if secure_base_name: |
555 implements.append(secure_base_name) | 554 implements.append(secure_base_name) |
556 | 555 |
557 implements_str = '' | 556 implements_str = '' |
558 if implements: | 557 if implements: |
559 implements_str = ' implements ' + ', '.join(set(implements)) | 558 implements_str = ' implements ' + ', '.join(set(implements)) |
560 | 559 |
561 mixins = self._backend.Mixins() | 560 mixins = self._backend.Mixins() |
562 | 561 |
| 562 # TODO(terry): Do we need a more generic solution other than handling NamedN
odeMap |
| 563 # we can't call super on a mixin interface - yet. |
| 564 if self._options.templates._conditions['DARTIUM'] and self._options.dart_js_
interop and self._interface.id == 'NamedNodeMap': |
| 565 mixins = None |
563 mixins_str = '' | 566 mixins_str = '' |
564 if mixins: | 567 if mixins: |
565 mixins_str = ' with ' + ', '.join(mixins) | 568 mixins_str = ' with ' + ', '.join(mixins) |
566 if not base_class: | 569 if not base_class: |
567 base_class = 'Interceptor' | 570 base_class = 'Interceptor' |
568 elif (base_class == 'NativeFieldWrapperClass2' and | |
569 self._options.dart_js_interop and | |
570 not(isinstance(self._backend, Dart2JSBackend))): | |
571 base_class = 'JsoNativeFieldWrapper' | |
572 | 571 |
573 annotations = self._metadata.GetFormattedMetadata( | 572 annotations = self._metadata.GetFormattedMetadata( |
574 self._library_name, self._interface, None, '') | 573 self._library_name, self._interface, None, '') |
575 | 574 |
576 class_modifiers = '' | 575 class_modifiers = '' |
577 if (self._renamer.ShouldSuppressInterface(self._interface) or | 576 if (self._renamer.ShouldSuppressInterface(self._interface) or |
578 IsPureInterface(self._interface.id)): | 577 IsPureInterface(self._interface.id)): |
579 # XMLHttpRequestProgressEvent can't be abstract we need to instantiate | 578 # XMLHttpRequestProgressEvent can't be abstract we need to instantiate |
580 # for JsInterop. | 579 # for JsInterop. |
581 if (not(isinstance(self._backend, Dart2JSBackend)) and | 580 if (not(isinstance(self._backend, Dart2JSBackend)) and |
582 self._interface.id == 'XMLHttpRequestProgressEvent'): | 581 self._interface.id == 'XMLHttpRequestProgressEvent'): |
583 # Only suppress abstract for XMLHttpRequestProgressEvent for Dartium. | 582 # Only suppress abstract for XMLHttpRequestProgressEvent for Dartium. |
584 # Need to be able to instantiate the class; can't be abstract. | 583 # Need to be able to instantiate the class; can't be abstract. |
585 class_modifiers = '' | 584 class_modifiers = '' |
586 else: | 585 else: |
587 # For Dartium w/ JsInterop these suppressed interfaces are needed to | 586 class_modifiers = 'abstract ' |
588 # instanciate the internal classes when wrap_jso is called for a JS obje
ct. | |
589 if (self._renamer.ShouldSuppressInterface(self._interface) and | |
590 not(isinstance(self._backend, Dart2JSBackend)) and | |
591 self._options.dart_js_interop): | |
592 class_modifiers = '' | |
593 else: | |
594 class_modifiers = 'abstract ' | |
595 | 587 |
596 native_spec = '' | 588 native_spec = '' |
597 if not IsPureInterface(self._interface.id): | 589 if not IsPureInterface(self._interface.id): |
598 native_spec = self._backend.NativeSpec() | 590 native_spec = self._backend.NativeSpec() |
599 | 591 |
600 class_name = self._interface_type_info.implementation_name() | 592 class_name = self._interface_type_info.implementation_name() |
601 | 593 |
602 js_interop_equivalence_op = \ | 594 js_interop_equivalence_op = \ |
603 ' bool operator ==(other) => unwrap_jso(other) == unwrap_jso(this) || ide
ntical(this, other);\n' \ | 595 ' bool operator ==(other) => unwrap_jso(other) == unwrap_jso(this) || ide
ntical(this, other);\n' |
604 + ' int get hashCode => unwrap_jso(this).hashCode;\n' | |
605 # ClientRect overrides the equivalence operator. | 596 # ClientRect overrides the equivalence operator. |
606 if interface_name == 'ClientRect' or interface_name == 'DomRectReadOnly': | 597 if interface_name == 'ClientRect' or interface_name == 'DomRectReadOnly': |
607 js_interop_equivalence_op = '' | 598 js_interop_equivalence_op = '' |
608 | 599 |
609 js_interop_wrapper = ''' | 600 js_interop_wrapper = ''' |
610 | 601 |
611 static {0} internalCreate{0}() {{ | 602 static {0} internalCreate{0}() {{ |
612 return new {0}._internalWrap(); | 603 return new {0}._internalWrap(); |
613 }} | 604 }} |
614 | 605 |
615 factory {0}._internalWrap() {{ | 606 factory {0}._internalWrap() {{ |
616 return new {0}.internal_(); | 607 return new {0}._internal(); |
617 }} | 608 }} |
618 | 609 |
619 {0}.internal_() : super.internal_(); | 610 {0}._internal() : super._internal(); |
620 | 611 |
621 '''.format(class_name) | 612 '''.format(class_name) |
622 """ | 613 """ |
623 TODO(terry): Don't use Dart expando really don't need. | 614 TODO(terry): Don't use Dart expando really don't need. |
624 final Object expandoJsObject = new Object(); | 615 final Object expandoJsObject = new Object(); |
625 final Expando<JsObject> dartium_expando = new Expando<JsObject>("Expando_j
sObject"); | 616 final Expando<JsObject> dartium_expando = new Expando<JsObject>("Expando_j
sObject"); |
626 """ | 617 """ |
627 if base_class == 'NativeFieldWrapperClass2' or base_class == 'JsoNativeField
Wrapper': | 618 if base_class == 'NativeFieldWrapperClass2': |
628 js_interop_wrapper = ''' | 619 js_interop_wrapper = ''' |
629 static {0} internalCreate{0}() {{ | 620 static {0} internalCreate{0}() {{ |
630 return new {0}._internalWrap(); | 621 return new {0}._internalWrap(); |
631 }} | 622 }} |
632 | 623 |
633 js.JsObject blink_jsObject; | 624 JsObject blink_jsObject = null; |
634 | 625 |
635 factory {0}._internalWrap() {{ | 626 factory {0}._internalWrap() {{ |
636 return new {0}.internal_(); | 627 return new {0}._internal(); |
637 }} | 628 }} |
638 | 629 |
639 {0}.internal_() {{ }} | 630 {0}._internal() {{ }} |
640 | 631 |
641 {1}'''.format(class_name, js_interop_equivalence_op) | 632 {1}'''.format(class_name, js_interop_equivalence_op) |
642 # Change to use the synthesized class so we can construct with a mixin | |
643 # classes prefixed with name of NativeFieldWrapperClass2 don't have a | |
644 # default constructor so classes with mixins can't be new'd. | |
645 if (self._options.templates._conditions['DARTIUM'] and | |
646 self._options.dart_js_interop and | |
647 (self._interface.id == 'NamedNodeMap' or | |
648 self._interface.id == 'CSSStyleDeclaration')): | |
649 base_class = 'JsoNativeFieldWrapper' | |
650 | 633 |
651 implementation_members_emitter = implementation_emitter.Emit( | 634 implementation_members_emitter = implementation_emitter.Emit( |
652 self._backend.ImplementationTemplate(), | 635 self._backend.ImplementationTemplate(), |
653 LIBRARYNAME='dart.dom.%s' % self._library_name, | 636 LIBRARYNAME='dart.dom.%s' % self._library_name, |
654 ANNOTATIONS=annotations, | 637 ANNOTATIONS=annotations, |
655 CLASS_MODIFIERS=class_modifiers, | 638 CLASS_MODIFIERS=class_modifiers, |
656 CLASSNAME=self._interface_type_info.implementation_name(), | 639 CLASSNAME=self._interface_type_info.implementation_name(), |
657 EXTENDS=' extends %s' % base_class if base_class else '', | 640 EXTENDS=' extends %s' % base_class if base_class else '', |
658 IMPLEMENTS=implements_str, | 641 IMPLEMENTS=implements_str, |
659 MIXINS=mixins_str, | 642 MIXINS=mixins_str, |
(...skipping 330 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
990 TYPE=return_type, | 973 TYPE=return_type, |
991 NATIVE_TYPE=native_type) | 974 NATIVE_TYPE=native_type) |
992 | 975 |
993 def _AddRenamingSetter(self, attr, html_name): | 976 def _AddRenamingSetter(self, attr, html_name): |
994 | 977 |
995 conversion = self._InputConversion(attr.type.id, attr.id) | 978 conversion = self._InputConversion(attr.type.id, attr.id) |
996 if conversion: | 979 if conversion: |
997 return self._AddConvertingSetter(attr, html_name, conversion) | 980 return self._AddConvertingSetter(attr, html_name, conversion) |
998 self._members_emitter.Emit( | 981 self._members_emitter.Emit( |
999 # TODO(sra): Use metadata to provide native name. | 982 # TODO(sra): Use metadata to provide native name. |
1000 '\n set $HTML_NAME($TYPE value) {' | 983 '\n void set $HTML_NAME($TYPE value) {' |
1001 '\n JS("void", "#.$NAME = #", this, value);' | 984 '\n JS("void", "#.$NAME = #", this, value);' |
1002 '\n }' | 985 '\n }' |
1003 '\n', | 986 '\n', |
1004 HTML_NAME=html_name, | 987 HTML_NAME=html_name, |
1005 NAME=attr.id, | 988 NAME=attr.id, |
1006 TYPE=self._NarrowInputType(attr.type.id)) | 989 TYPE=self._NarrowInputType(attr.type.id)) |
1007 | 990 |
1008 def _AddConvertingGetter(self, attr, html_name, conversion): | 991 def _AddConvertingGetter(self, attr, html_name, conversion): |
1009 self._members_emitter.Emit( | 992 self._members_emitter.Emit( |
1010 '\n $(METADATA)$RETURN_TYPE get $HTML_NAME => ' | 993 '\n $(METADATA)$RETURN_TYPE get $HTML_NAME => ' |
1011 '$CONVERT(this._get_$(HTML_NAME));' | 994 '$CONVERT(this._get_$(HTML_NAME));' |
1012 "\n @JSName('$NAME')" | 995 "\n @JSName('$NAME')" |
1013 '\n $(JS_METADATA)final $NATIVE_TYPE _get_$HTML_NAME;' | 996 '\n $(JS_METADATA)final $NATIVE_TYPE _get_$HTML_NAME;' |
1014 '\n', | 997 '\n', |
1015 METADATA=self._metadata.GetFormattedMetadata( | 998 METADATA=self._metadata.GetFormattedMetadata( |
1016 self._library_name, self._interface, html_name, ' '), | 999 self._library_name, self._interface, html_name, ' '), |
1017 JS_METADATA=self._Metadata(attr.type.id, html_name, conversion.input_typ
e), | 1000 JS_METADATA=self._Metadata(attr.type.id, html_name, conversion.input_typ
e), |
1018 CONVERT=conversion.function_name, | 1001 CONVERT=conversion.function_name, |
1019 HTML_NAME=html_name, | 1002 HTML_NAME=html_name, |
1020 NAME=attr.id, | 1003 NAME=attr.id, |
1021 RETURN_TYPE=conversion.output_type, | 1004 RETURN_TYPE=conversion.output_type, |
1022 NATIVE_TYPE=conversion.input_type) | 1005 NATIVE_TYPE=conversion.input_type) |
1023 | 1006 |
1024 def _AddConvertingSetter(self, attr, html_name, conversion): | 1007 def _AddConvertingSetter(self, attr, html_name, conversion): |
1025 self._members_emitter.Emit( | 1008 self._members_emitter.Emit( |
1026 # TODO(sra): Use metadata to provide native name. | 1009 # TODO(sra): Use metadata to provide native name. |
1027 '\n set $HTML_NAME($INPUT_TYPE value) {' | 1010 '\n void set $HTML_NAME($INPUT_TYPE value) {' |
1028 '\n this._set_$HTML_NAME = $CONVERT(value);' | 1011 '\n this._set_$HTML_NAME = $CONVERT(value);' |
1029 '\n }' | 1012 '\n }' |
1030 '\n set _set_$HTML_NAME(/*$NATIVE_TYPE*/ value) {' | 1013 '\n void set _set_$HTML_NAME(/*$NATIVE_TYPE*/ value) {' |
1031 '\n JS("void", "#.$NAME = #", this, value);' | 1014 '\n JS("void", "#.$NAME = #", this, value);' |
1032 '\n }' | 1015 '\n }' |
1033 '\n', | 1016 '\n', |
1034 CONVERT=conversion.function_name, | 1017 CONVERT=conversion.function_name, |
1035 HTML_NAME=html_name, | 1018 HTML_NAME=html_name, |
1036 NAME=attr.id, | 1019 NAME=attr.id, |
1037 INPUT_TYPE=conversion.input_type, | 1020 INPUT_TYPE=conversion.input_type, |
1038 NATIVE_TYPE=conversion.output_type) | 1021 NATIVE_TYPE=conversion.output_type) |
1039 | 1022 |
1040 def AmendIndexer(self, element_type): | 1023 def AmendIndexer(self, element_type): |
(...skipping 28 matching lines...) Expand all Loading... |
1069 '\n' | 1052 '\n' |
1070 ' $RENAME$METADATA$MODIFIERS$TYPE $NAME($PARAMS) native;\n', | 1053 ' $RENAME$METADATA$MODIFIERS$TYPE $NAME($PARAMS) native;\n', |
1071 RENAME=self._RenamingAnnotation(info.declared_name, html_name), | 1054 RENAME=self._RenamingAnnotation(info.declared_name, html_name), |
1072 METADATA=self._Metadata(info.type_name, info.declared_name, | 1055 METADATA=self._Metadata(info.type_name, info.declared_name, |
1073 self.SecureOutputType(info.type_name)), | 1056 self.SecureOutputType(info.type_name)), |
1074 MODIFIERS='static ' if info.IsStatic() else '', | 1057 MODIFIERS='static ' if info.IsStatic() else '', |
1075 TYPE=self.SecureOutputType(info.type_name, False, True), | 1058 TYPE=self.SecureOutputType(info.type_name, False, True), |
1076 NAME=html_name, | 1059 NAME=html_name, |
1077 PARAMS=info.ParametersAsDeclaration(self._NarrowInputType)) | 1060 PARAMS=info.ParametersAsDeclaration(self._NarrowInputType)) |
1078 | 1061 |
| 1062 def _ConvertArgumentTypes( |
| 1063 self, stmts_emitter, arguments, argument_count, info): |
| 1064 temp_version = [0] |
| 1065 converted_arguments = [] |
| 1066 target_parameters = [] |
| 1067 for position, arg in enumerate(arguments[:argument_count]): |
| 1068 conversion = self._InputConversion(arg.type.id, info.declared_name) |
| 1069 param_name = arguments[position].id |
| 1070 if conversion: |
| 1071 temp_version[0] += 1 |
| 1072 temp_name = '%s_%s' % (param_name, temp_version[0]) |
| 1073 temp_type = conversion.output_type |
| 1074 stmts_emitter.Emit( |
| 1075 '$(INDENT)$TYPE $NAME = $CONVERT($ARG);\n', |
| 1076 TYPE=TypeOrVar(temp_type), |
| 1077 NAME=temp_name, |
| 1078 CONVERT=conversion.function_name, |
| 1079 ARG=info.param_infos[position].name) |
| 1080 converted_arguments.append(temp_name) |
| 1081 param_type = temp_type |
| 1082 verified_type = temp_type # verified by assignment in checked mode. |
| 1083 else: |
| 1084 converted_arguments.append(info.param_infos[position].name) |
| 1085 param_type = self._NarrowInputType(arg.type.id) |
| 1086 # Verified by argument checking on entry to the dispatcher. |
| 1087 |
| 1088 verified_type = self._InputType( |
| 1089 info.param_infos[position].type_id, info) |
| 1090 # The native method does not need an argument type if we know the type. |
| 1091 # But we do need the native methods to have correct function types, so |
| 1092 # be conservative. |
| 1093 if param_type == verified_type: |
| 1094 if param_type in ['String', 'num', 'int', 'double', 'bool', 'Object']: |
| 1095 param_type = 'dynamic' |
| 1096 |
| 1097 target_parameters.append( |
| 1098 '%s%s' % (TypeOrNothing(param_type), param_name)) |
| 1099 |
| 1100 return target_parameters, converted_arguments |
| 1101 |
| 1102 def _InputType(self, type_name, info): |
| 1103 conversion = self._InputConversion(type_name, info.declared_name) |
| 1104 if conversion: |
| 1105 return conversion.input_type |
| 1106 else: |
| 1107 return self._NarrowInputType(type_name) if type_name else 'dynamic' |
| 1108 |
1079 def _AddOperationWithConversions(self, info, html_name): | 1109 def _AddOperationWithConversions(self, info, html_name): |
1080 # Assert all operations have same return type. | 1110 # Assert all operations have same return type. |
1081 assert len(set([op.type.id for op in info.operations])) == 1 | 1111 assert len(set([op.type.id for op in info.operations])) == 1 |
1082 output_conversion = self._OutputConversion(info.type_name, | 1112 output_conversion = self._OutputConversion(info.type_name, |
1083 info.declared_name) | 1113 info.declared_name) |
1084 if output_conversion: | 1114 if output_conversion: |
1085 return_type = output_conversion.output_type | 1115 return_type = output_conversion.output_type |
1086 native_return_type = output_conversion.input_type | 1116 native_return_type = output_conversion.input_type |
1087 else: | 1117 else: |
1088 return_type = self._NarrowInputType(info.type_name) | 1118 return_type = self._NarrowInputType(info.type_name) |
(...skipping 246 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1335 | 1365 |
1336 def AddFile(self, basename, library_name, path): | 1366 def AddFile(self, basename, library_name, path): |
1337 self._libraries[library_name].AddFile(path) | 1367 self._libraries[library_name].AddFile(path) |
1338 | 1368 |
1339 def AddTypeEntry(self, library_name, idl_name, dart_name): | 1369 def AddTypeEntry(self, library_name, idl_name, dart_name): |
1340 self._libraries[library_name].AddTypeEntry(idl_name, dart_name) | 1370 self._libraries[library_name].AddTypeEntry(idl_name, dart_name) |
1341 | 1371 |
1342 def Emit(self, emitter, auxiliary_dir): | 1372 def Emit(self, emitter, auxiliary_dir): |
1343 for lib in self._libraries.values(): | 1373 for lib in self._libraries.values(): |
1344 lib.Emit(emitter, auxiliary_dir) | 1374 lib.Emit(emitter, auxiliary_dir) |
OLD | NEW |