Implement ModuleScript::RunScript()

third_party/WebKit/Source/core/dom/ModulatorImpl.cpp

 // Copyright 2017 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 "core/dom/ModulatorImpl.h"
 
 #include "core/dom/Document.h"
 #include "core/dom/ExecutionContext.h"
 #include "core/dom/ModuleMap.h"
 #include "core/dom/ModuleScript.h"
@@ skipping 120 matching lines @@
 Vector<String> ModulatorImpl::ModuleRequestsFromScriptModule(
     ScriptModule script_module) {
   ScriptState::Scope scope(script_state_.Get());
   return script_module.ModuleRequests(script_state_.Get());
 }
 
 inline ExecutionContext* ModulatorImpl::GetExecutionContext() const {
   return ExecutionContext::From(script_state_.Get());
 }
 
+void ModulatorImpl::ExecuteModule(const ModuleScript* module_script) {
+  // https://html.spec.whatwg.org/#run-a-module-script
+
+  // 1. "Let settings be the settings object of s."
+  // The settings object is |this|.
+
+  // 2. "Check if we can run script with settings.
+  //     If this returns "do not run" then abort these steps."
+  if (!GetExecutionContext()->CanExecuteScripts(kAboutToExecuteScript))
+    return;
+
+  ScriptState::Scope scope(script_state_.Get());

[kouhei (in TOK), 2017/04/26 00:57:42]

This is actually step 6 + 9.
Note that we can't move this to L174, as we need the handle scope to report the
exception

[hiroshige, 2017/04/26 17:25:16]

Done.

+
+  // 3. "If s's instantiation state is "errored", then report the exception
+  //     given by s's instantiation error for s and abort these steps."
+  ModuleInstantiationState instantiationState =
+      module_script->InstantiationState();
+  if (instantiationState == ModuleInstantiationState::kErrored) {
+    v8::Isolate* isolate = script_state_->GetIsolate();
+    ScriptModule::ReportException(
+        script_state_.Get(), module_script->CreateInstantiationError(isolate),
+        module_script->BaseURL().GetString());
+    return;
+  }
+
+  // 4. "Assert: s's instantiation state is "instantiated" (and thus its
+  //     module record is not null)."
+  CHECK_EQ(instantiationState, ModuleInstantiationState::kInstantiated);
+
+  // 5. "Let record be s's module record."
+  const ScriptModule& record = module_script->Record();
+  CHECK(!record.IsNull());
+
+  // 6.--9.?

[kouhei (in TOK), 2017/04/26 00:57:42]

This is Step 7+8.

[hiroshige, 2017/04/26 17:25:16]

Done.

+  record.Evaluate(script_state_.Get());
+}
+
 DEFINE_TRACE(ModulatorImpl) {
   Modulator::Trace(visitor);
   visitor->Trace(fetcher_);
   visitor->Trace(map_);
   visitor->Trace(loader_registry_);
   visitor->Trace(tree_linker_registry_);
   visitor->Trace(script_module_resolver_);
 }
 
 DEFINE_TRACE_WRAPPERS(ModulatorImpl) {
   visitor->TraceWrappers(map_);
 }
 
 }  // namespace blink