IDL: restructure logic handling registration of methods

Source/bindings/scripts/v8_interface.py

Index: Source/bindings/scripts/v8_interface.py
diff --git a/Source/bindings/scripts/v8_interface.py b/Source/bindings/scripts/v8_interface.py
index db90d4c09eb55a64bbd26bdd3f54021a24b4685f..fd92287221c17be846655dc25c39a51f75b3ac92 100644
--- a/Source/bindings/scripts/v8_interface.py
+++ b/Source/bindings/scripts/v8_interface.py
@@ -251,11 +251,17 @@ def generate_interface(interface):
                if method.name]  # Skip anonymous special operations (methods)
     generate_method_overloads(methods)
     for method in methods:
-        method['do_generate_method_configuration'] = (
-            method['do_not_check_signature'] and
-            not method['per_context_enabled_function'] and
-            # For overloaded methods, only generate one accessor
-            ('overload_index' not in method or method['overload_index'] == 1))
+        if 'overloads' in method:

[Nils Barth (inactive), 2014/06/11 06:28:28]

Comment:
# For overloaded methods, only generate one accessor

+            overloads = method['overloads']
+            method['do_generate_method_configuration'] = (
+                overloads['do_not_check_signature_any'] and

[Jens Widell, 2014/06/10 09:42:47]

I'm not 100 % sure about using "any" instead of "all" here, but it's correct for
these cases that I'm at least somewhat familiar with:

- Overloaded static methods: 'do_not_check_signature' is guaranteed false on all
overloads, and thus 'do_not_check_signature_any' is false, and
'do_generate_method_configuration' is false.

- Partially [RuntimeEnabled] overloaded methods: 'do_not_check_signature' will
be true on those that aren't runtime enabled, and so
'do_not_check_signature_any' is true, and 'do_generate_method_configuration' is
true (which is good; a method that is only partially runtime enabled is
unconditionally configured.)

Where this might be wrong would be overloads where only some overloads have any
of the attributes [DoNotCheckSecurity], [DoNotCheckSignature], [NotEnumerable],
[ReadOnly] or [Unforgeable]. Having overloads with different [NotEnumerable],
[ReadOnly] or [Unforgeable] makes no sense I think, and the others I'm not
really familiar with.

Anyway: with the current set of overloads in current IDL files, this code does
not change the generated code.

[Nils Barth (inactive), 2014/06/11 06:28:28]

haraken:
Thoughts on do_not_check_signature on overloaded methods?
I'm not clear on what check signature actually does, or why we're skipping it;
are there security or type-checking implications?

Jens: I think your code and reasoning are correct;
could you put a comment somewhere that this is fiddly?
(I think in generate_overloads; see below.)

[DoNotCheckSecurity] is quite rare (only used in Location and Window)
http://www.chromium.org/blink/webidl/blink-idl-extended-attributes#TOC-DoNotC...

...and [DoNotCheckSignature] is only used one place:
(for what should be a stringifier in Window):
http://www.chromium.org/blink/webidl/blink-idl-extended-attributes#TOC-Immuta...

[haraken, 2014/06/11 06:38:08]

Good question.

I think it doesn't make sense at all to specify [DoNotCheckSecurity] and/or
[DoNotCheckSignature] on a part of overloaded methods (I cannot imagine use
cases, and in fact there is no use case at the moment). We should specify
[DoNotCheckSecurity] and/or [DoNotCheckSignature] on either all of the
overloaded methods or none of the overloaded methods.

Shall we add the check about it, instead of worrying about "any" or "all"?

+                not overloads['per_context_enabled_function_all'])

[Nils Barth (inactive), 2014/06/11 06:28:28]

I'd slightly prefer |continue| to |else|
(slightly flatter, clearly exceptional case).

+        else:
+            method['do_generate_method_configuration'] = (
+                method['do_not_check_signature'] and
+                not method['per_context_enabled_function'] and
+                # Ignore any overload not handled by the case above

[Nils Barth (inactive), 2014/06/11 06:28:28]

Comment tweak:
# Overloaded methods are handled above (only one accessor)

+                'overload_index' not in method)
 
         # The value of the Function object’s “length” property is a Number
         # determined as follows:
@@ -385,12 +391,15 @@ def generate_overloads(overloads):
 
     return {
         'deprecate_all_as': common_value(overloads, 'deprecate_as'),  # [DeprecateAs]
+        'do_not_check_signature_any': any(method.get('do_not_check_signature')

[Nils Barth (inactive), 2014/06/11 06:28:28]

Maybe a comment on this being potentially wrong if weird mix of overloads?

+                                          for method in overloads),
         'length_tests_methods': length_tests_methods(effective_overloads_by_length),
         'minarg': lengths[0],
         # 1. Let maxarg be the length of the longest type list of the
         # entries in S.
         'maxarg': lengths[-1],
         'measure_all_as': common_value(overloads, 'measure_as'),  # [MeasureAs]
+        'per_context_enabled_function_all': common_value(overloads, 'per_context_enabled_function'),  # [PerContextEnabled]
         'valid_arities': lengths
             # Only need to report valid arities if there is a gap in the
             # sequence of possible lengths, otherwise invalid length means