mirror of
https://github.com/flutter/flutter.git
synced 2026-02-20 02:29:02 +08:00
752 lines
31 KiB
Python
752 lines
31 KiB
Python
# Copyright (C) 2013 Google Inc. All rights reserved.
|
|
# coding=utf-8
|
|
#
|
|
# Redistribution and use in source and binary forms, with or without
|
|
# modification, are permitted provided that the following conditions are
|
|
# met:
|
|
#
|
|
# * Redistributions of source code must retain the above copyright
|
|
# notice, this list of conditions and the following disclaimer.
|
|
# * Redistributions in binary form must reproduce the above
|
|
# copyright notice, this list of conditions and the following disclaimer
|
|
# in the documentation and/or other materials provided with the
|
|
# distribution.
|
|
# * Neither the name of Google Inc. nor the names of its
|
|
# contributors may be used to endorse or promote products derived from
|
|
# this software without specific prior written permission.
|
|
#
|
|
# THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
|
|
# "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
|
|
# LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
|
|
# A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
|
|
# OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
|
|
# SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
|
|
# LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
|
|
# DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
|
|
# THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
|
|
# (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
|
|
# OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
|
|
|
|
"""Generate template values for an interface.
|
|
|
|
Design doc: http://www.chromium.org/developers/design-documents/idl-compiler
|
|
"""
|
|
|
|
from collections import defaultdict
|
|
import itertools
|
|
from operator import itemgetter
|
|
|
|
import idl_types
|
|
from idl_types import IdlType, inherits_interface, IdlArrayOrSequenceType, IdlArrayType
|
|
import dart_attributes
|
|
import dart_methods
|
|
import dart_types
|
|
from dart_utilities import DartUtilities
|
|
from v8_globals import includes
|
|
import v8_attributes
|
|
import v8_interface
|
|
|
|
|
|
INTERFACE_H_INCLUDES = frozenset([
|
|
'dart/runtime/include/dart_api.h',
|
|
])
|
|
|
|
|
|
INTERFACE_CPP_INCLUDES = frozenset([
|
|
'sky/engine/bindings/exception_state.h',
|
|
'sky/engine/core/script/dom_dart_state.h',
|
|
'sky/engine/tonic/dart_converter.h',
|
|
'sky/engine/tonic/dart_wrappable.h',
|
|
'sky/engine/wtf/GetPtr.h',
|
|
'sky/engine/wtf/RefPtr.h',
|
|
])
|
|
|
|
# TODO(terry): Rename genenerate_interface to interface_context.
|
|
def interface_context(interface):
|
|
context = v8_interface.interface_context(interface)
|
|
|
|
includes.clear()
|
|
|
|
includes.update(INTERFACE_CPP_INCLUDES)
|
|
header_includes = set(INTERFACE_H_INCLUDES)
|
|
|
|
parent_interface = interface.parent
|
|
if parent_interface:
|
|
header_includes.update(dart_types.includes_for_interface(parent_interface))
|
|
extended_attributes = interface.extended_attributes
|
|
|
|
if inherits_interface(interface.name, 'EventTarget'):
|
|
includes.update(['bindings/dart_event_listener.h'])
|
|
|
|
# [SetWrapperReferenceTo]
|
|
set_wrapper_reference_to_list = [{
|
|
'name': argument.name,
|
|
# FIXME: properly should be:
|
|
# 'cpp_type': argument.idl_type.cpp_type_args(used_as_rvalue_type=True),
|
|
# (if type is non-wrapper type like NodeFilter, normally RefPtr)
|
|
# Raw pointers faster though, and NodeFilter hacky anyway.
|
|
'cpp_type': argument.idl_type.implemented_as + '*',
|
|
'idl_type': argument.idl_type,
|
|
} for argument in extended_attributes.get('SetWrapperReferenceTo', [])]
|
|
for set_wrapper_reference_to in set_wrapper_reference_to_list:
|
|
set_wrapper_reference_to['idl_type'].add_includes_for_type()
|
|
|
|
context.update({
|
|
'cpp_class': DartUtilities.cpp_name(interface),
|
|
'header_includes': header_includes,
|
|
'set_wrapper_reference_to_list': set_wrapper_reference_to_list,
|
|
'dart_class': dart_types.dart_type(interface.name),
|
|
})
|
|
|
|
# Constructors
|
|
constructors = [constructor_context(interface, constructor)
|
|
for constructor in interface.constructors
|
|
# FIXME: shouldn't put named constructors with constructors
|
|
# (currently needed for Perl compatibility)
|
|
# Handle named constructors separately
|
|
if constructor.name == 'Constructor']
|
|
if len(constructors) > 1:
|
|
context.update({'constructor_overloads': overloads_context(constructors)})
|
|
|
|
# [CustomConstructor]
|
|
custom_constructors = [custom_constructor_context(interface, constructor)
|
|
for constructor in interface.custom_constructors]
|
|
|
|
# [NamedConstructor]
|
|
named_constructor = generate_named_constructor(interface)
|
|
|
|
generate_method_native_entries(interface, constructors, 'Constructor')
|
|
generate_method_native_entries(interface, custom_constructors, 'Constructor')
|
|
if named_constructor:
|
|
generate_method_native_entries(interface, [named_constructor],
|
|
'Constructor')
|
|
event_constructor = None
|
|
if context['has_event_constructor']:
|
|
event_constructor = {
|
|
'native_entries': [
|
|
DartUtilities.generate_native_entry(
|
|
interface.name, None, 'Constructor', False, 2)],
|
|
}
|
|
|
|
if (context['constructors'] or custom_constructors or context['has_event_constructor'] or
|
|
named_constructor):
|
|
includes.add('core/frame/LocalDOMWindow.h')
|
|
|
|
context.update({
|
|
'constructors': constructors,
|
|
'custom_constructors': custom_constructors,
|
|
'event_constructor': event_constructor,
|
|
'has_custom_constructor': bool(custom_constructors),
|
|
'interface_length':
|
|
v8_interface.interface_length(interface, constructors + custom_constructors),
|
|
'is_constructor_call_with_document': DartUtilities.has_extended_attribute_value(
|
|
interface, 'ConstructorCallWith', 'Document'), # [ConstructorCallWith=Document]
|
|
'is_constructor_call_with_execution_context': DartUtilities.has_extended_attribute_value(
|
|
interface, 'ConstructorCallWith', 'ExecutionContext'), # [ConstructorCallWith=ExeuctionContext]
|
|
'named_constructor': named_constructor,
|
|
})
|
|
|
|
# Attributes
|
|
attributes = [dart_attributes.attribute_context(interface, attribute)
|
|
for attribute in interface.attributes
|
|
if not v8_attributes.is_constructor_attribute(attribute)]
|
|
context.update({
|
|
'attributes': attributes,
|
|
'has_constructor_attributes': any(attribute['constructor_type'] for attribute in attributes),
|
|
'has_replaceable_attributes': any(attribute['is_replaceable'] for attribute in attributes),
|
|
})
|
|
|
|
# Methods
|
|
methods = [dart_methods.method_context(interface, method)
|
|
for method in interface.operations
|
|
# Skip anonymous special operations (methods name empty).
|
|
if (method.name and
|
|
# detect unnamed getters from v8_interface.
|
|
method.name != 'anonymousNamedGetter')]
|
|
compute_method_overloads_context(methods)
|
|
for method in methods:
|
|
method['do_generate_method_configuration'] = (
|
|
# For overloaded methods, only generate one accessor
|
|
('overload_index' not in method or method['overload_index'] == 1))
|
|
|
|
for method in methods:
|
|
assert 'overloads' not in method, 'Dart does not support overloads, %s in %s' % (method['name'], interface.name)
|
|
|
|
generate_method_native_entries(interface, methods, 'Method')
|
|
|
|
context.update({
|
|
'has_method_configuration': any(method['do_generate_method_configuration'] for method in methods),
|
|
'methods': methods,
|
|
})
|
|
|
|
context.update({
|
|
'indexed_property_getter': indexed_property_getter(interface),
|
|
'indexed_property_setter': indexed_property_setter(interface),
|
|
'indexed_property_deleter': v8_interface.indexed_property_deleter(interface),
|
|
'is_override_builtins': 'OverrideBuiltins' in extended_attributes,
|
|
'named_property_getter': named_property_getter(interface),
|
|
'named_property_setter': named_property_setter(interface),
|
|
'named_property_deleter': v8_interface.named_property_deleter(interface),
|
|
})
|
|
|
|
generate_native_entries_for_specials(interface, context)
|
|
|
|
native_entries = generate_interface_native_entries(context)
|
|
|
|
context.update({
|
|
'native_entries': native_entries,
|
|
})
|
|
|
|
return context
|
|
|
|
|
|
def generate_interface_native_entries(context):
|
|
entries = {}
|
|
|
|
def add(ne):
|
|
entries[ne['blink_entry']] = ne
|
|
|
|
def addAll(nes):
|
|
for ne in nes:
|
|
add(ne)
|
|
|
|
for constructor in context['constructors']:
|
|
addAll(constructor['native_entries'])
|
|
for constructor in context['custom_constructors']:
|
|
addAll(constructor['native_entries'])
|
|
if context['named_constructor']:
|
|
addAll(context['named_constructor']['native_entries'])
|
|
if context['event_constructor']:
|
|
addAll(context['event_constructor']['native_entries'])
|
|
for method in context['methods']:
|
|
addAll(method['native_entries'])
|
|
for attribute in context['attributes']:
|
|
add(attribute['native_entry_getter'])
|
|
if not attribute['is_read_only'] or attribute['put_forwards']:
|
|
add(attribute['native_entry_setter'])
|
|
if context['indexed_property_getter']:
|
|
addAll(context['indexed_property_getter']['native_entries'])
|
|
if context['indexed_property_setter']:
|
|
addAll(context['indexed_property_setter']['native_entries'])
|
|
if context['indexed_property_deleter']:
|
|
addAll(context['indexed_property_deleter']['native_entries'])
|
|
if context['named_property_getter']:
|
|
addAll(context['named_property_getter']['native_entries'])
|
|
if context['named_property_setter']:
|
|
addAll(context['named_property_setter']['native_entries'])
|
|
if context['named_property_deleter']:
|
|
addAll(context['named_property_deleter']['native_entries'])
|
|
return list(entries.values())
|
|
|
|
|
|
def generate_method_native_entry(interface, method, count, kind):
|
|
name = method.get('name')
|
|
is_static = bool(method.get('is_static'))
|
|
native_entry = \
|
|
DartUtilities.generate_native_entry(interface.name, name,
|
|
kind, is_static, count)
|
|
return native_entry
|
|
|
|
|
|
def generate_method_native_entries(interface, methods, kind):
|
|
for method in methods:
|
|
native_entries = []
|
|
arg_count = method['number_of_arguments']
|
|
native_entry = \
|
|
generate_method_native_entry(interface, method, arg_count, kind)
|
|
native_entries.append(native_entry)
|
|
|
|
method.update({'native_entries': native_entries})
|
|
|
|
|
|
################################################################################
|
|
# Overloads
|
|
################################################################################
|
|
|
|
def compute_method_overloads_context(methods):
|
|
# Regular methods
|
|
compute_method_overloads_context_by_type([method for method in methods
|
|
if not method['is_static']])
|
|
# Static methods
|
|
compute_method_overloads_context_by_type([method for method in methods
|
|
if method['is_static']])
|
|
|
|
|
|
def compute_method_overloads_context_by_type(methods):
|
|
"""Computes |method.overload*| template values.
|
|
|
|
Called separately for static and non-static (regular) methods,
|
|
as these are overloaded separately.
|
|
Modifies |method| in place for |method| in |methods|.
|
|
Doesn't change the |methods| list itself (only the values, i.e. individual
|
|
methods), so ok to treat these separately.
|
|
"""
|
|
# Add overload information only to overloaded methods, so template code can
|
|
# easily verify if a function is overloaded
|
|
for name, overloads in v8_interface.method_overloads_by_name(methods):
|
|
# Resolution function is generated after last overloaded function;
|
|
# package necessary information into |method.overloads| for that method.
|
|
overloads[-1]['overloads'] = overloads_context(overloads)
|
|
overloads[-1]['overloads']['name'] = name
|
|
|
|
|
|
def overloads_context(overloads):
|
|
"""Returns |overloads| template values for a single name.
|
|
|
|
Sets |method.overload_index| in place for |method| in |overloads|
|
|
and returns dict of overall overload template values.
|
|
"""
|
|
assert len(overloads) > 1 # only apply to overloaded names
|
|
for index, method in enumerate(overloads, 1):
|
|
method['overload_index'] = index
|
|
|
|
effective_overloads_by_length = v8_interface.effective_overload_set_by_length(overloads)
|
|
lengths = [length for length, _ in effective_overloads_by_length]
|
|
name = overloads[0].get('name', '<constructor>')
|
|
|
|
# Check and fail if all overloads with the shortest acceptable arguments
|
|
# list are runtime enabled, since we would otherwise set 'length' on the
|
|
# function object to an incorrect value when none of those overloads were
|
|
# actually enabled at runtime. The exception is if all overloads are
|
|
# controlled by the same runtime enabled feature, in which case there would
|
|
# be no function object at all if it is not enabled.
|
|
shortest_overloads = effective_overloads_by_length[0][1]
|
|
|
|
return {
|
|
'exposed_test_all': v8_interface.common_value(overloads, 'exposed_test'), # [Exposed]
|
|
'length_tests_methods': length_tests_methods(effective_overloads_by_length),
|
|
# 1. Let maxarg be the length of the longest type list of the
|
|
# entries in S.
|
|
'maxarg': lengths[-1],
|
|
'minarg': lengths[0],
|
|
'valid_arities': lengths
|
|
# Only need to report valid arities if there is a gap in the
|
|
# sequence of possible lengths, otherwise invalid length means
|
|
# "not enough arguments".
|
|
if lengths[-1] - lengths[0] != len(lengths) - 1 else None,
|
|
}
|
|
|
|
|
|
def length_tests_methods(effective_overloads_by_length):
|
|
"""Returns sorted list of resolution tests and associated methods, by length.
|
|
|
|
This builds the main data structure for the overload resolution loop.
|
|
For a given argument length, bindings test argument at distinguishing
|
|
argument index, in order given by spec: if it is compatible with
|
|
(optionality or) type required by an overloaded method, resolve to that
|
|
method.
|
|
|
|
Returns:
|
|
[(length, [(test, method)])]
|
|
"""
|
|
return [(length, list(resolution_tests_methods(effective_overloads)))
|
|
for length, effective_overloads in effective_overloads_by_length]
|
|
|
|
|
|
DART_CHECK_TYPE = {
|
|
'ArrayBufferView': 'Dart_IsTypedData({cpp_value})',
|
|
'ArrayBuffer': 'Dart_IsByteBuffer({cpp_value})',
|
|
'Uint8Array': 'Dart_GetTypeOfTypedData({cpp_value}) == Dart_TypedData_kUint8',
|
|
'Uint8ClampedArray': 'Dart_GetTypeOfTypedData({cpp_value}) == Dart_TypedData_kUint8Clamped',
|
|
}
|
|
|
|
|
|
def resolution_tests_methods(effective_overloads):
|
|
"""Yields resolution test and associated method, in resolution order, for effective overloads of a given length.
|
|
|
|
This is the heart of the resolution algorithm.
|
|
http://heycam.github.io/webidl/#dfn-overload-resolution-algorithm
|
|
|
|
Note that a given method can be listed multiple times, with different tests!
|
|
This is to handle implicit type conversion.
|
|
|
|
Returns:
|
|
[(test, method)]
|
|
"""
|
|
methods = [effective_overload[0]
|
|
for effective_overload in effective_overloads]
|
|
if len(methods) == 1:
|
|
# If only one method with a given length, no test needed
|
|
yield 'true', methods[0]
|
|
return
|
|
|
|
# 6. If there is more than one entry in S, then set d to be the
|
|
# distinguishing argument index for the entries of S.
|
|
index = v8_interface.distinguishing_argument_index(effective_overloads)
|
|
# (7-9 are for handling |undefined| values for optional arguments before
|
|
# the distinguishing argument (as "missing"), so you can specify only some
|
|
# optional arguments. We don't support this, so we skip these steps.)
|
|
# 10. If i = d, then:
|
|
# (d is the distinguishing argument index)
|
|
# 1. Let V be argi.
|
|
# Note: This is the argument that will be used to resolve which
|
|
# overload is selected.
|
|
cpp_value = 'Dart_GetNativeArgument(args, %s + argOffset)' % index
|
|
|
|
# Extract argument and IDL type to simplify accessing these in each loop.
|
|
arguments = [method['arguments'][index] for method in methods]
|
|
arguments_methods = zip(arguments, methods)
|
|
idl_types = [argument['idl_type_object'] for argument in arguments]
|
|
idl_types_methods = zip(idl_types, methods)
|
|
|
|
# We can't do a single loop through all methods or simply sort them, because
|
|
# a method may be listed in multiple steps of the resolution algorithm, and
|
|
# which test to apply differs depending on the step.
|
|
#
|
|
# Instead, we need to go through all methods at each step, either finding
|
|
# first match (if only one test is allowed) or filtering to matches (if
|
|
# multiple tests are allowed), and generating an appropriate tests.
|
|
|
|
# 2. If V is undefined, and there is an entry in S whose list of
|
|
# optionality values has "optional" at index i, then remove from S all
|
|
# other entries.
|
|
try:
|
|
method = next(method for argument, method in arguments_methods
|
|
if argument['is_optional'])
|
|
test = 'Dart_IsNull(%s)' % cpp_value
|
|
yield test, method
|
|
except StopIteration:
|
|
pass
|
|
|
|
# 3. Otherwise: if V is null or undefined, and there is an entry in S that
|
|
# has one of the following types at position i of its type list,
|
|
# - a nullable type
|
|
try:
|
|
method = next(method for idl_type, method in idl_types_methods
|
|
if idl_type.is_nullable)
|
|
test = 'Dart_IsNull(%s)' % cpp_value
|
|
yield test, method
|
|
except StopIteration:
|
|
pass
|
|
|
|
# 4. Otherwise: if V is a platform object - but not a platform array
|
|
# object - and there is an entry in S that has one of the following
|
|
# types at position i of its type list,
|
|
# - an interface type that V implements
|
|
# (Unlike most of these tests, this can return multiple methods, since we
|
|
# test if it implements an interface. Thus we need a for loop, not a next.)
|
|
# (We distinguish wrapper types from built-in interface types.)
|
|
for idl_type, method in ((idl_type, method)
|
|
for idl_type, method in idl_types_methods
|
|
if idl_type.is_wrapper_type):
|
|
fmtstr = 'Dart{idl_type}::hasInstance({cpp_value})'
|
|
if idl_type.base_type in DART_CHECK_TYPE:
|
|
fmtstr = DART_CHECK_TYPE[idl_type.base_type]
|
|
test = fmtstr.format(idl_type=idl_type.base_type, cpp_value=cpp_value)
|
|
yield test, method
|
|
|
|
# 8. Otherwise: if V is any kind of object except for a native Date object,
|
|
# a native RegExp object, and there is an entry in S that has one of the
|
|
# following types at position i of its type list,
|
|
# - an array type
|
|
# - a sequence type
|
|
# ...
|
|
# - a dictionary
|
|
try:
|
|
idl_type, method = next((idl_type, method)
|
|
for idl_type, method in idl_types_methods
|
|
if (idl_type.native_array_element_type))
|
|
if idl_type.native_array_element_type:
|
|
# (We test for Array instead of generic Object to type-check.)
|
|
# FIXME: test for Object during resolution, then have type check for
|
|
# Array in overloaded method: http://crbug.com/262383
|
|
test = 'Dart_IsList(%s)' % cpp_value
|
|
else:
|
|
# FIXME: should be '{1}->IsObject() && !{1}->IsDate() && !{1}->IsRegExp()'.format(cpp_value)
|
|
# FIXME: the IsDate and IsRegExp checks can be skipped if we've
|
|
# already generated tests for them.
|
|
test = 'Dart_IsInstance(%s)' % cpp_value
|
|
yield test, method
|
|
except StopIteration:
|
|
pass
|
|
|
|
# (Check for exact type matches before performing automatic type conversion;
|
|
# only needed if distinguishing between primitive types.)
|
|
if len([idl_type.is_primitive_type for idl_type in idl_types]) > 1:
|
|
# (Only needed if match in step 11, otherwise redundant.)
|
|
if any(idl_type.is_string_type or idl_type.is_enum
|
|
for idl_type in idl_types):
|
|
# 10. Otherwise: if V is a Number value, and there is an entry in S
|
|
# that has one of the following types at position i of its type
|
|
# list,
|
|
# - a numeric type
|
|
try:
|
|
method = next(method for idl_type, method in idl_types_methods
|
|
if idl_type.is_numeric_type)
|
|
test = 'Dart_IsNumber(%s)' % cpp_value
|
|
yield test, method
|
|
except StopIteration:
|
|
pass
|
|
|
|
# (Perform automatic type conversion, in order. If any of these match,
|
|
# that's the end, and no other tests are needed.) To keep this code simple,
|
|
# we rely on the C++ compiler's dead code elimination to deal with the
|
|
# redundancy if both cases below trigger.
|
|
|
|
# 11. Otherwise: if there is an entry in S that has one of the following
|
|
# types at position i of its type list,
|
|
# - DOMString
|
|
# - ByteString
|
|
# - ScalarValueString [a DOMString typedef, per definition.]
|
|
# - an enumeration type
|
|
try:
|
|
method = next(method for idl_type, method in idl_types_methods
|
|
if idl_type.is_string_type or idl_type.is_enum)
|
|
yield 'true', method
|
|
except StopIteration:
|
|
pass
|
|
|
|
# 12. Otherwise: if there is an entry in S that has one of the following
|
|
# types at position i of its type list,
|
|
# - a numeric type
|
|
try:
|
|
method = next(method for idl_type, method in idl_types_methods
|
|
if idl_type.is_numeric_type)
|
|
yield 'true', method
|
|
except StopIteration:
|
|
pass
|
|
|
|
|
|
################################################################################
|
|
# Constructors
|
|
################################################################################
|
|
|
|
# [Constructor]
|
|
def custom_constructor_context(interface, constructor):
|
|
return {
|
|
'arguments': [custom_constructor_argument(argument, index)
|
|
for index, argument in enumerate(constructor.arguments)],
|
|
'auto_scope': 'true',
|
|
'is_auto_scope': True,
|
|
'is_call_with_script_arguments': False,
|
|
'is_custom': True,
|
|
'number_of_arguments': len(constructor.arguments),
|
|
'number_of_required_arguments':
|
|
v8_interface.number_of_required_arguments(constructor),
|
|
}
|
|
|
|
|
|
# We don't need much from this - just the idl_type_objects and preproceed_type
|
|
# to use in generating the resolver strings.
|
|
def custom_constructor_argument(argument, index):
|
|
return {
|
|
'idl_type_object': argument.idl_type,
|
|
'name': argument.name,
|
|
'preprocessed_type': str(argument.idl_type.preprocessed_type),
|
|
}
|
|
|
|
|
|
# [Constructor]
|
|
def constructor_context(interface, constructor):
|
|
return {
|
|
'arguments': [dart_methods.argument_context(interface, constructor, argument, index)
|
|
for index, argument in enumerate(constructor.arguments)],
|
|
'auto_scope': 'true',
|
|
'cpp_value': dart_methods.cpp_value(
|
|
interface, constructor, len(constructor.arguments)),
|
|
'has_exception_state':
|
|
# [RaisesException=Constructor]
|
|
interface.extended_attributes.get('RaisesException') == 'Constructor' or
|
|
any(argument for argument in constructor.arguments
|
|
if argument.idl_type.name == 'SerializedScriptValue' or
|
|
argument.idl_type.is_integer_type),
|
|
'is_auto_scope': True,
|
|
'is_call_with_script_arguments': False,
|
|
'is_constructor': True,
|
|
'is_custom': False,
|
|
'is_variadic': False, # Required for overload resolution
|
|
'number_of_required_arguments':
|
|
v8_interface.number_of_required_arguments(constructor),
|
|
'number_of_arguments': len(constructor.arguments),
|
|
}
|
|
|
|
|
|
# [NamedConstructor]
|
|
def generate_named_constructor(interface):
|
|
extended_attributes = interface.extended_attributes
|
|
if 'NamedConstructor' not in extended_attributes:
|
|
return None
|
|
# FIXME: parser should return named constructor separately;
|
|
# included in constructors (and only name stored in extended attribute)
|
|
# for Perl compatibility
|
|
idl_constructor = interface.constructors[0]
|
|
constructor = constructor_context(interface, idl_constructor)
|
|
# FIXME(vsm): We drop the name. We don't use this in Dart APIs right now.
|
|
# We probably need to encode this somehow to deal with conflicts.
|
|
# constructor['name'] = extended_attributes['NamedConstructor']
|
|
return constructor
|
|
|
|
|
|
################################################################################
|
|
# Special operations (methods)
|
|
# http://heycam.github.io/webidl/#idl-special-operations
|
|
################################################################################
|
|
|
|
def property_getter(getter, cpp_arguments):
|
|
def is_null_expression(idl_type):
|
|
if idl_type.is_union_type:
|
|
return ' && '.join('!result%sEnabled' % i
|
|
for i, _ in enumerate(idl_type.member_types))
|
|
if idl_type.name == 'String':
|
|
# FIXME(vsm): This looks V8 specific.
|
|
return 'result.isNull()'
|
|
if idl_type.is_interface_type:
|
|
return '!result'
|
|
return ''
|
|
|
|
context = v8_interface.property_getter(getter, [])
|
|
|
|
idl_type = getter.idl_type
|
|
extended_attributes = getter.extended_attributes
|
|
is_raises_exception = 'RaisesException' in extended_attributes
|
|
|
|
# FIXME: make more generic, so can use dart_methods.cpp_value
|
|
cpp_method_name = 'receiver->%s' % DartUtilities.cpp_name(getter)
|
|
|
|
if is_raises_exception:
|
|
cpp_arguments.append('es')
|
|
union_arguments = idl_type.union_arguments
|
|
if union_arguments:
|
|
cpp_arguments.extend([member_argument['cpp_value']
|
|
for member_argument in union_arguments])
|
|
|
|
cpp_value = '%s(%s)' % (cpp_method_name, ', '.join(cpp_arguments))
|
|
|
|
context.update({
|
|
'cpp_type': idl_type.cpp_type,
|
|
'cpp_value': cpp_value,
|
|
'is_null_expression': is_null_expression(idl_type),
|
|
'is_raises_exception': is_raises_exception,
|
|
'name': DartUtilities.cpp_name(getter),
|
|
'union_arguments': union_arguments,
|
|
'dart_set_return_value': idl_type.dart_set_return_value('result',
|
|
extended_attributes=extended_attributes,
|
|
script_wrappable='receiver',
|
|
release=idl_type.release)})
|
|
return context
|
|
|
|
|
|
def property_setter(setter, cpp_arguments):
|
|
context = v8_interface.property_setter(setter)
|
|
|
|
idl_type = setter.idl_type
|
|
extended_attributes = setter.extended_attributes
|
|
is_raises_exception = 'RaisesException' in extended_attributes
|
|
|
|
cpp_method_name = 'receiver->%s' % DartUtilities.cpp_name(setter)
|
|
|
|
if is_raises_exception:
|
|
cpp_arguments.append('es')
|
|
|
|
cpp_value = '%s(%s)' % (cpp_method_name, ', '.join(cpp_arguments))
|
|
context.update({
|
|
'cpp_type': idl_type.cpp_type,
|
|
'cpp_value': cpp_value,
|
|
'is_raises_exception': is_raises_exception,
|
|
'name': DartUtilities.cpp_name(setter)})
|
|
return context
|
|
|
|
|
|
################################################################################
|
|
# Indexed properties
|
|
# http://heycam.github.io/webidl/#idl-indexed-properties
|
|
################################################################################
|
|
|
|
def indexed_property_getter(interface):
|
|
try:
|
|
# Find indexed property getter, if present; has form:
|
|
# getter TYPE [OPTIONAL_IDENTIFIER](unsigned long ARG1)
|
|
getter = next(
|
|
method
|
|
for method in interface.operations
|
|
if ('getter' in method.specials and
|
|
len(method.arguments) == 1 and
|
|
str(method.arguments[0].idl_type) == 'unsigned long'))
|
|
except StopIteration:
|
|
return None
|
|
|
|
getter.name = getter.name or 'anonymousIndexedGetter'
|
|
|
|
return property_getter(getter, ['index'])
|
|
|
|
|
|
def indexed_property_setter(interface):
|
|
try:
|
|
# Find indexed property setter, if present; has form:
|
|
# setter RETURN_TYPE [OPTIONAL_IDENTIFIER](unsigned long ARG1, ARG_TYPE ARG2)
|
|
setter = next(
|
|
method
|
|
for method in interface.operations
|
|
if ('setter' in method.specials and
|
|
len(method.arguments) == 2 and
|
|
str(method.arguments[0].idl_type) == 'unsigned long'))
|
|
except StopIteration:
|
|
return None
|
|
|
|
return property_setter(setter)
|
|
|
|
|
|
################################################################################
|
|
# Named properties
|
|
# http://heycam.github.io/webidl/#idl-named-properties
|
|
################################################################################
|
|
|
|
def named_property_getter(interface):
|
|
try:
|
|
# Find named property getter, if present; has form:
|
|
# getter TYPE [OPTIONAL_IDENTIFIER](DOMString ARG1)
|
|
getter = next(
|
|
method
|
|
for method in interface.operations
|
|
if ('getter' in method.specials and
|
|
len(method.arguments) == 1 and
|
|
str(method.arguments[0].idl_type) == 'DOMString'))
|
|
except StopIteration:
|
|
return None
|
|
|
|
getter.name = getter.name or 'anonymousNamedGetter'
|
|
|
|
return property_getter(getter, [getter.arguments[0].name])
|
|
|
|
|
|
def named_property_setter(interface):
|
|
try:
|
|
# Find named property setter, if present; has form:
|
|
# setter RETURN_TYPE [OPTIONAL_IDENTIFIER](DOMString ARG1, ARG_TYPE ARG2)
|
|
setter = next(
|
|
method
|
|
for method in interface.operations
|
|
if ('setter' in method.specials and
|
|
len(method.arguments) == 2 and
|
|
str(method.arguments[0].idl_type) == 'DOMString'))
|
|
except StopIteration:
|
|
return None
|
|
|
|
return property_setter(setter, [setter.arguments[0].name,
|
|
setter.arguments[1].name])
|
|
|
|
|
|
def generate_native_entries_for_specials(interface, context):
|
|
def add(prop, name, arity):
|
|
if context[prop]:
|
|
if 'native_entries' not in context[prop]:
|
|
context[prop].update({'native_entries': []})
|
|
context[prop]['native_entries'].append(
|
|
DartUtilities.generate_native_entry(
|
|
interface.name, name, 'Method', False, arity))
|
|
|
|
pre = ['indexed_property', 'named_property']
|
|
post = [('setter', '__setter__', 2),
|
|
('getter', '__getter__', 1),
|
|
('deleter', '__delete__', 1),
|
|
]
|
|
props = [(p1 + "_" + p2, name, arity)
|
|
for (p1, (p2, name, arity)) in itertools.product(pre, post)]
|
|
for t in props:
|
|
add(*t)
|
|
|
|
for (p, name, arity) in props:
|
|
if context[p]:
|
|
if context[p].get('is_custom_property_query'):
|
|
add(p, '__propertyQuery__', 1)
|