Implement "create an element" when sync for Custom Element V1

third_party/WebKit/Source/bindings/core/v8/ScriptCustomElementDefinition.cpp

 // Copyright 2016 The Chromium Authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 #include "bindings/core/v8/ScriptCustomElementDefinition.h"
 
 #include "bindings/core/v8/ScriptState.h"
 #include "bindings/core/v8/V8Binding.h"
 #include "bindings/core/v8/V8BindingMacros.h"
 #include "bindings/core/v8/V8CustomElementsRegistry.h"
 #include "bindings/core/v8/V8Element.h"
 #include "bindings/core/v8/V8HiddenValue.h"
 #include "bindings/core/v8/V8ScriptRunner.h"
 #include "bindings/core/v8/V8ThrowException.h"
 #include "core/dom/ExceptionCode.h"
+#include "core/html/HTMLElement.h"
+#include "core/html/HTMLUnknownElement.h"
 #include "v8.h"
 #include "wtf/Allocator.h"
 
 namespace blink {
 
 // Retrieves the custom elements constructor -> name map, creating it
 // if necessary. The same map is used to keep prototypes alive.
 static v8::Local<v8::Map> ensureCustomElementsRegistryMap(
     ScriptState* scriptState,
     CustomElementsRegistry* registry)
@@ skipping 119 matching lines @@
     const v8::Local<v8::Object>& disconnectedCallback,
     const v8::Local<v8::Object>& attributeChangedCallback,
     const HashSet<AtomicString>& observedAttributes)
     : CustomElementDefinition(descriptor)
     , m_scriptState(scriptState)
     , m_constructor(scriptState->isolate(), constructor)
     , m_observedAttributes(observedAttributes)
 {
 }
 
+HTMLElement* ScriptCustomElementDefinition::createElementSync(
+    Document& document, const QualifiedName& tagName,
+    ExceptionState& exceptionState)
+{
+    // Create an element

[haraken, 2016/06/13 09:05:35]

Is it guaranteed that you're already in m_scriptState?

[kojii, 2016/06/13 10:28:25]

Yes, that's the assumption atm; we assume DOM createElement/createElementNS are
the only caller of this method.

If there's a good way to DCHECK it, I'd be happy to add.

+    // https://dom.spec.whatwg.org/#concept-create-element
+    // 6. If definition is non-null
+    // 6.1. If the synchronous custom elements flag is set:
+    // 6.1.2. Set result to Construct(C). Rethrow any exceptions.
+    Element* element;

[haraken, 2016/06/13 09:05:35]

element = nullptr

[kojii, 2016/06/13 10:28:25]

Will fix in the next CL.

+    {
+        v8::TryCatch tryCatch(m_scriptState->isolate());
+        element = runConstructor();
+        if (tryCatch.HasCaught()) {
+            exceptionState.rethrowV8Exception(tryCatch.Exception());
+            return nullptr;
+        }
+    }
+
+    // 6.1.3. through 6.1.9.
+    checkConstructorResult(element, document, tagName, exceptionState);
+    if (exceptionState.hadException())
+        return nullptr;
+
+    DCHECK_EQ(element->getCustomElementState(), CustomElementState::Custom);
+    return toHTMLElement(element);
+}
+
+HTMLElement* ScriptCustomElementDefinition::createElementSync(
+    Document& document, const QualifiedName& tagName)
+{
+    // When invoked from "create an element for a token":
+    // https://html.spec.whatwg.org/multipage/syntax.html#create-an-element-for-the-token
+    // 7. If this step throws an exception, then report the exception, and
+    // let element be instead a new element that implements HTMLUnknownElement,
+    // with no attributes, namespace set to given namespace, namespace prefix
+    // set to null, custom element state "undefined", and node document set to
+    // document.
+    ScriptState::Scope scope(m_scriptState.get());
+    v8::Isolate* isolate = m_scriptState->isolate();
+    v8::TryCatch tryCatch(isolate);

[haraken, 2016/06/13 09:05:35]

Why do you need this TryCatch?

+    tryCatch.SetVerbose(true);

[haraken, 2016/06/13 09:05:35]

Remove this line unless you really want to make it verbose.

[kojii, 2016/06/13 10:28:25]

The spec (copied in the comment above) says catch and report the error to
console.

I understand tryCatch w/SetVerbose() is the only way to do this, no?

+    ExceptionState exceptionState(ExceptionState::ConstructionContext, "CustomElement", constructor(), isolate);
+
+    HTMLElement* element = createElementSync(document, tagName, exceptionState);
+    DCHECK(!tryCatch.HasCaught());

[haraken, 2016/06/13 09:05:35]

Instead, you can check DCHECK(!exceptionState.hadException()).

[kojii, 2016/06/13 10:28:25]

There are errors here when JS throws. The purpose here is to ensure:
1. All errors are thrown to ExceptionState,
2. and that tryCatch doesn't catch anything.
Is this correct way?

+
+    exceptionState.throwIfNeeded();
+    if (tryCatch.HasCaught() || !element) {
+        element = HTMLUnknownElement::create(tagName, document);
+        element->setCustomElementState(CustomElementState::Undefined);
+    }
+    return element;
+}
+
 // https://html.spec.whatwg.org/multipage/scripting.html#upgrades
 bool ScriptCustomElementDefinition::runConstructor(Element* element)
 {
     if (!m_scriptState->contextIsValid())
         return false;
     ScriptState::Scope scope(m_scriptState.get());
     v8::Isolate* isolate = m_scriptState->isolate();
 
     // Step 5 says to rethrow the exception; but there is no one to
     // catch it. The side effect is to report the error.
     v8::TryCatch tryCatch(isolate);
     tryCatch.SetVerbose(true);

[haraken, 2016/06/13 09:05:35]

Remove this line.

[kojii, 2016/06/13 10:28:25]

The spec requires to "report the error" here, as in the comment above this line.

 
-    ExecutionContext* executionContext = m_scriptState->getExecutionContext();
-    v8::Local<v8::Value> result;
-    if (!v8Call(V8ScriptRunner::callAsConstructor(
-        isolate,
-        constructor(),
-        executionContext,
-        0,
-        nullptr),
-        result))
+    Element* result = runConstructor();
+    if (!result)
         return false;
 
-    if (V8Element::toImplWithTypeCheck(isolate, result) != element) {
+    if (result != element) {
         V8ThrowException::throwException(
             V8ThrowException::createDOMException(
                 m_scriptState->isolate(),
                 InvalidStateError,
                 "custom element constructors must call super() first and must "
                 "not return a different object",
                 constructor()),
             m_scriptState->isolate());
         return false;
     }
 
     return true;
 }
 
+Element* ScriptCustomElementDefinition::runConstructor()
+{
+    v8::Isolate* isolate = m_scriptState->isolate();

[haraken, 2016/06/13 09:05:35]

Is it guaranteed that you're already in m_scriptState?

[kojii, 2016/06/13 10:28:25]

Yes, this is called from either:
1. createElement above, where you commented, or
2. runConstructor(Element*) above, where we setup Scope.
Again, if there's a way to DCHECK(), I'm happy to add.

+    ExecutionContext* executionContext = m_scriptState->getExecutionContext();
+    v8::Local<v8::Value> result;
+    if (!v8Call(V8ScriptRunner::callAsConstructor(
+        isolate,
+        constructor(),
+        executionContext,
+        0,
+        nullptr),
+        result)) {
+        return nullptr;
+    }
+    return V8Element::toImplWithTypeCheck(isolate, result);
+}
+
 v8::Local<v8::Object> ScriptCustomElementDefinition::constructor() const
 {
     DCHECK(!m_constructor.isEmpty());
     return m_constructor.newLocal(m_scriptState->isolate());
 }
 
 v8::Local<v8::Object> ScriptCustomElementDefinition::prototype() const
 {
     DCHECK(!m_prototype.isEmpty());
     return m_prototype.newLocal(m_scriptState->isolate());
 }
 
 // CustomElementDefinition
 ScriptValue ScriptCustomElementDefinition::getConstructorForScript()
 {
     return ScriptValue(m_scriptState.get(), constructor());
 }
 
 } // namespace blink