[WIP Prototype] ES6 https://html.spec.whatwg.org/#fetch-a-single-module-script implementation

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 "bindings/core/v8/V8Binding.h"
 #include "core/dom/Document.h"
 #include "core/dom/ExecutionContext.h"
 #include "core/dom/ModuleMap.h"
 #include "core/dom/ModuleScript.h"
 #include "core/dom/ScriptModuleResolverImpl.h"
 #include "core/dom/TaskRunnerHelper.h"
 #include "core/frame/LocalFrame.h"
 #include "core/loader/modulescript/ModuleScriptFetchRequest.h"
 #include "core/loader/modulescript/ModuleScriptLoaderRegistry.h"
 #include "core/loader/modulescript/ModuleTreeLinkerRegistry.h"
 #include "platform/loader/fetch/ResourceFetcher.h"
+#include "v8/include/v8.h"
 
 namespace blink {
 
 ModulatorImpl* ModulatorImpl::Create(RefPtr<ScriptState> script_state,
                                      Document& document) {
   return new ModulatorImpl(
       std::move(script_state),
       TaskRunnerHelper::Get(TaskType::kNetworking, &document),
       document.Fetcher());
 }
@@ skipping 99 matching lines @@
   ScriptState::Scope scope(script_state_.Get());
   return script_module.Instantiate(script_state_.Get());
 }
 
 Vector<String> ModulatorImpl::ModuleRequestsFromScriptModule(
     ScriptModule script_module) {
   ScriptState::Scope scope(script_state_.Get());
   return script_module.ModuleRequests(script_state_.Get());
 }
 
+void ModulatorImpl::ExecuteModule(const ModuleScript* module_script) {
+  // https://html.spec.whatwg.org/#run-a-module-script
+  ScriptState::Scope scope(script_state_.Get());
+
+  // 3. "If s's instantiation state is "errored", then report the exception
+  //     given by s's instantiation error for s and abort these steps."
+  printf("Exec module %p\n", module_script);
+  ModuleInstantiationState instantiationState =
+      module_script->InstantiationState();
+  if (instantiationState == ModuleInstantiationState::kErrored) {
+    v8::Isolate* isolate = script_state_->GetIsolate();
+
+    v8::TryCatch try_catch(isolate);
+    try_catch.SetVerbose(true);
+
+    // TODO(hiroshige): fix below
+    AccessControlStatus access_control_status = kSharableCrossOrigin;
+    v8::ScriptOrigin origin(
+        V8String(isolate, "fixme_get_this_info_from_module_script.js"),
+        v8::Integer::New(isolate, 0),  // line_offset
+        v8::Integer::New(isolate, 0),  // col_offset
+        V8Boolean(access_control_status == kSharableCrossOrigin, isolate),
+        v8::Local<v8::Integer>(),  // script id
+        V8String(isolate, ""),     // source_map_url
+        V8Boolean(access_control_status == kOpaqueResource, isolate),
+        V8Boolean(false, isolate),   // is_wasm
+        V8Boolean(false, isolate));  // is_module
+    // ^^^ is_module = false to compile a fragment that throws exception
+
+    V8ScriptRunner::ThrowException(
+        isolate, module_script->CreateInstantiationError(isolate), origin);
+    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.?
+  record.Evaluate(script_state_.Get());
+}
+
 inline ExecutionContext* ModulatorImpl::GetExecutionContext() const {
   return ExecutionContext::From(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