IDL: make optional arguments (without default) explicit sometimes

Source/bindings/templates/methods.cpp

 {##############################################################################}
 {% macro generate_method(method, world_suffix) %}
 {% filter conditional(method.conditional_string) %}
 static void {{method.name}}{{method.overload_index}}Method{{world_suffix}}(const v8::FunctionCallbackInfo<v8::Value>& info)
 {
     {# Local variables #}
     {% if method.has_exception_state %}
     ExceptionState exceptionState(ExceptionState::ExecutionContext, "{{method.name}}", "{{interface_name}}", info.Holder(), info.GetIsolate());
     {% endif %}
     {# Overloaded methods have length checked during overload resolution #}
@@ skipping 43 matching lines @@
     {{cpp_method_call(method, method.v8_set_return_value, method.cpp_value) | indent}}
     {% endif %}
 }
 {% endfilter %}
 {% endmacro %}
 
 
 {######################################}
 {% macro generate_arguments(method, world_suffix) %}
 {% for argument in method.arguments %}
-{{generate_argument_var_declaration(argument)}};
-{% endfor %}
+{{generate_argument_var_declaration(argument)}}
+{%- endfor %}
 {
     {% if method.arguments_need_try_catch %}
     v8::TryCatch block;
     V8RethrowTryCatchScope rethrow(block);
     {% endif %}
     {% for argument in method.arguments %}
-    {% if argument.default_value %}
+    {% if argument.is_optional %}
     if (!info[{{argument.index}}]->IsUndefined()) {
         {{generate_argument(method, argument, world_suffix) | indent(8)}}
     } else {
+        {% if argument.default_value %}
         {{argument.name}} = {{argument.default_value}};
+        {% else %}
+        {{argument.name}}Missing = true;
+        {% endif %}
     }
     {% else %}
     {{generate_argument(method, argument, world_suffix) | indent}}
     {% endif %}
     {% endfor %}
 }
 {% endmacro %}
 
 
 {######################################}
 {% macro generate_argument_var_declaration(argument) %}
 {% if argument.is_callback_interface %}
 {# FIXME: remove EventListener special case #}
 {% if argument.idl_type == 'EventListener' %}
-RefPtr<{{argument.idl_type}}> {{argument.name}}
-{%- else %}
-OwnPtr<{{argument.idl_type}}> {{argument.name}}
-{%- endif %}{# argument.idl_type == 'EventListener' #}
+RefPtr<{{argument.idl_type}}> {{argument.name}};
+{% else %}
+OwnPtr<{{argument.idl_type}}> {{argument.name}};
+{% endif %}{# argument.idl_type == 'EventListener' #}
 {%- elif argument.is_clamp %}{# argument.is_callback_interface #}
 {# NaN is treated as 0: http://www.w3.org/TR/WebIDL/#es-type-mapping #}
-{{argument.cpp_type}} {{argument.name}} = 0
-{%- else %}
-{{argument.cpp_type}} {{argument.name}}
-{%- endif %}
-{% endmacro %}
+{{argument.cpp_type}} {{argument.name}} = 0;
+{% else %}
+{{argument.cpp_type}} {{argument.name}}{% if argument.is_explicit_optional %}{{argument.cpp_type_initializer}}{% endif %};
+{% endif %}
+{% if argument.is_explicit_optional %}
+bool {{argument.name}}Missing = false;
+{% endif %}
+{%- endmacro %}
 
 
 {######################################}
 {% macro generate_argument(method, argument, world_suffix) %}
-{% if argument.is_optional and not argument.has_default and
-      argument.idl_type != 'Dictionary' and
-      not argument.is_callback_interface %}
-{# Optional arguments without a default value generate an early call with
-   fewer arguments if they are omitted.
-   Optional Dictionary arguments default to empty dictionary. #}
-if (UNLIKELY(info.Length() <= {{argument.index}})) {
-    {% if world_suffix %}
-    {{cpp_method_call(method, argument.v8_set_return_value_for_main_world, argument.cpp_value) | indent}}
-    {% else %}
-    {{cpp_method_call(method, argument.v8_set_return_value, argument.cpp_value) | indent}}
-    {% endif %}
-    {% if argument.has_event_listener_argument %}
-    {{hidden_dependency_action(method.name) | indent}}
-    {% endif %}
-    return;
-}
-{% endif %}
 {% if argument.has_type_checking_interface and not argument.is_variadic_wrapper_type %}
 {# Type checking for wrapper interface types (if interface not implemented,
    throw a TypeError), per http://www.w3.org/TR/WebIDL/#es-interface
    Note: for variadic arguments, the type checking is done for each matched
    argument instead; see argument.is_variadic_wrapper_type code-path below. #}
 if (info.Length() > {{argument.index}} && {% if argument.is_nullable %}!isUndefinedOrNull(info[{{argument.index}}]) && {% endif %}!V8{{argument.idl_type}}::hasInstance(info[{{argument.index}}], info.GetIsolate())) {
     {{throw_type_error(method, '"parameter %s is not of type \'%s\'."' %
                                (argument.index + 1, argument.idl_type)) | indent}}
     return;
 }
@@ skipping 485 matching lines @@
 v8::Handle<v8::Object> wrapper = wrap(impl.get(), info.Holder(), info.GetIsolate());
 {% else %}
 {% set constructor_class = v8_class + ('Constructor'
                                        if constructor.is_named_constructor else
                                        '') %}
 v8::Handle<v8::Object> wrapper = info.Holder();
 V8DOMWrapper::associateObjectWithWrapper<{{v8_class}}>(impl.release(), &{{constructor_class}}::wrapperTypeInfo, wrapper, info.GetIsolate(), {{wrapper_configuration}});
 {% endif %}
 v8SetReturnValue(info, wrapper);
 {% endmacro %}