Reland: Generate separate files for union type containers

third_party/WebKit/Source/bindings/templates/union.cpp

-{% from 'utilities.cpp' import declare_enum_validation_variable %}
-{% include 'copyright_block.txt' %}
-#include "{{header_filename}}"
-
-{% from 'utilities.cpp' import v8_value_to_local_cpp_value %}
-{% macro assign_and_return_if_hasinstance(member) %}
-if (V8{{member.type_name}}::hasInstance(v8Value, isolate)) {
-    {{member.cpp_local_type}} cppValue = V8{{member.type_name}}::toImpl(v8::Local<v8::Object>::Cast(v8Value));
-    impl.set{{member.type_name}}(cppValue);
-    return;
-}
-{% endmacro %}
-{% for filename in cpp_includes %}
-#include "{{filename}}"
-{% endfor %}
-
-namespace blink {
-
-{% for container in containers %}
-{{container.cpp_class}}::{{container.cpp_class}}()
-    : m_type(SpecificTypeNone)
-{
-}
-
-{% for member in container.members %}
-{{member.rvalue_cpp_type}} {{container.cpp_class}}::getAs{{member.type_name}}() const
-{
-    ASSERT(is{{member.type_name}}());
-    return m_{{member.cpp_name}};
-}
-
-void {{container.cpp_class}}::set{{member.type_name}}({{member.rvalue_cpp_type}} value)
-{
-    ASSERT(isNull());
-    {% if member.enum_values %}
-    NonThrowableExceptionState exceptionState;
-    {{declare_enum_validation_variable(member.enum_values) | indent}}
-    if (!isValidEnum(value, validValues, WTF_ARRAY_LENGTH(validValues), "{{member.type_name}}", exceptionState)) {
-        ASSERT_NOT_REACHED();
-        return;
-    }
-    {% endif %}
-    m_{{member.cpp_name}} = value;
-    m_type = {{member.specific_type_enum}};
-}
-
-{{container.cpp_class}} {{container.cpp_class}}::from{{member.type_name}}({{member.rvalue_cpp_type}} value)
-{
-    {{container.cpp_class}} container;
-    container.set{{member.type_name}}(value);
-    return container;
-}
-
-{% endfor %}
-{{container.cpp_class}}::{{container.cpp_class}}(const {{container.cpp_class}}&) = default;
-{{container.cpp_class}}::~{{container.cpp_class}}() = default;
-{{container.cpp_class}}& {{container.cpp_class}}::operator=(const {{container.cpp_class}}&) = default;
-
-DEFINE_TRACE({{container.cpp_class}})
-{
-    {% for member in container.members if member.is_traceable %}
-    visitor->trace(m_{{member.cpp_name}});
-    {% endfor %}
-}
-
-void V8{{container.cpp_class}}::toImpl(v8::Isolate* isolate, v8::Local<v8::Value> v8Value, {{container.cpp_class}}& impl, UnionTypeConversionMode conversionMode, ExceptionState& exceptionState)
-{
-    if (v8Value.IsEmpty())
-        return;
-
-    {# The numbers in the following comments refer to the steps described in
-       http://heycam.github.io/webidl/#es-union #}
-    {# 1. null or undefined #}
-    if (conversionMode == UnionTypeConversionMode::Nullable && isUndefinedOrNull(v8Value))
-        return;
-
-    {# 3. Platform objects (interfaces) #}
-    {% for interface in container.interface_types %}
-    {{assign_and_return_if_hasinstance(interface) | indent}}
-
-    {% endfor %}
-    {# 8. ArrayBuffer #}
-    {% if container.array_buffer_type %}
-    {{assign_and_return_if_hasinstance(container.array_buffer_type) | indent}}
-
-    {% endif %}
-    {# 9., 10. ArrayBufferView #}
-    {# FIXME: Individual typed arrays (e.g. Uint8Array) aren't supported yet. #}
-    {% if container.array_buffer_view_type %}
-    {{assign_and_return_if_hasinstance(container.array_buffer_view_type) | indent}}
-
-    {% endif %}
-    {% if container.dictionary_type %}
-    {# 12. Dictionaries #}
-    {# FIXME: This should also check "object but not Date or RegExp". Add checks
-       when we implement conversions for Date and RegExp. #}
-    if (isUndefinedOrNull(v8Value) || v8Value->IsObject()) {
-        {{v8_value_to_local_cpp_value(container.dictionary_type) | indent(8)}}
-        impl.set{{container.dictionary_type.type_name}}(cppValue);
-        return;
-    }
-
-    {% endif %}
-    {% if container.array_or_sequence_type %}
-    {# 13.1, 13.2. Arrays and Sequences #}
-    {# FIXME: This should also check "object but not Date or RegExp". Add checks
-       when we implement conversions for Date and RegExp. #}
-    {# FIXME: Should check for sequences too, not just Array instances. #}
-    if (v8Value->IsArray()) {
-        {{v8_value_to_local_cpp_value(container.array_or_sequence_type) | indent(8)}}
-        impl.set{{container.array_or_sequence_type.type_name}}(cppValue);
-        return;
-    }
-
-    {% endif %}
-    {# TODO(bashi): Support 13.3 Callback interface when we need it #}
-    {# 13.4. Objects #}
-    {% if container.object_type %}
-    if (isUndefinedOrNull(v8Value) || v8Value->IsObject()) {
-        {{v8_value_to_local_cpp_value(container.object_type) | indent(8)}}
-        impl.set{{container.object_type.type_name}}(cppValue);
-        return;
-    }
-
-    {% endif %}
-    {# FIXME: In some cases, we can omit boolean and numeric type checks because
-       we have fallback conversions. (step 17 and 18) #}
-    {% if container.boolean_type %}
-    {# 14. Boolean #}
-    if (v8Value->IsBoolean()) {
-        impl.setBoolean(v8Value.As<v8::Boolean>()->Value());
-        return;
-    }
-
-    {% endif %}
-    {% if container.numeric_type %}
-    {# 15. Number #}
-    if (v8Value->IsNumber()) {
-        {{v8_value_to_local_cpp_value(container.numeric_type) | indent(8)}}
-        impl.set{{container.numeric_type.type_name}}(cppValue);
-        return;
-    }
-
-    {% endif %}
-    {% if container.string_type %}
-    {# 16. String #}
-    {
-        {{v8_value_to_local_cpp_value(container.string_type) | indent(8)}}
-        {% if container.string_type.enum_values %}
-        {{declare_enum_validation_variable(container.string_type.enum_values) | indent(8)}}
-        if (!isValidEnum(cppValue, validValues, WTF_ARRAY_LENGTH(validValues), "{{container.string_type.type_name}}", exceptionState))
-            return;
-        {% endif %}
-        impl.set{{container.string_type.type_name}}(cppValue);
-        return;
-    }
-
-    {# 17. Number (fallback) #}
-    {% elif container.numeric_type %}
-    {
-        {{v8_value_to_local_cpp_value(container.numeric_type) | indent(8)}}
-        impl.set{{container.numeric_type.type_name}}(cppValue);
-        return;
-    }
-
-    {# 18. Boolean (fallback) #}
-    {% elif container.boolean_type %}
-    {
-        impl.setBoolean(v8Value->BooleanValue());
-        return;
-    }
-
-    {% else %}
-    {# 19. TypeError #}
-    exceptionState.throwTypeError("The provided value is not of type '{{container.type_string}}'");
-    {% endif %}
-}
-
-v8::Local<v8::Value> toV8(const {{container.cpp_class}}& impl, v8::Local<v8::Object> creationContext, v8::Isolate* isolate)
-{
-    switch (impl.m_type) {
-    case {{container.cpp_class}}::SpecificTypeNone:
-        {# FIXME: We might want to return undefined in some cases #}
-        return v8::Null(isolate);
-    {% for member in container.members %}
-    case {{container.cpp_class}}::{{member.specific_type_enum}}:
-        return {{member.cpp_value_to_v8_value}};
-    {% endfor %}
-    default:
-        ASSERT_NOT_REACHED();
-    }
-    return v8::Local<v8::Value>();
-}
-
-{{container.cpp_class}} NativeValueTraits<{{container.cpp_class}}>::nativeValue(v8::Isolate* isolate, v8::Local<v8::Value> value, ExceptionState& exceptionState)
-{
-    {{container.cpp_class}} impl;
-    V8{{container.cpp_class}}::toImpl(isolate, value, impl, UnionTypeConversionMode::NotNullable, exceptionState);
-    return impl;
-}
-
-{% endfor %}
-} // namespace blink