blob: 02c3e13682b763322c077e7558d64e2700050866 [file] [log] [blame]
// 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 "third_party/blink/renderer/bindings/core/v8/script_module.h"
#include "third_party/blink/renderer/bindings/core/v8/script_value.h"
#include "third_party/blink/renderer/core/core_export.h"
#include "third_party/blink/renderer/core/script/modulator.h"
#include "third_party/blink/renderer/core/script/script.h"
#include "third_party/blink/renderer/platform/bindings/name_client.h"
#include "third_party/blink/renderer/platform/bindings/parkable_string.h"
#include "third_party/blink/renderer/platform/bindings/trace_wrapper_v8_reference.h"
#include "third_party/blink/renderer/platform/heap/handle.h"
#include "third_party/blink/renderer/platform/weborigin/kurl.h"
#include "third_party/blink/renderer/platform/weborigin/kurl_hash.h"
#include "third_party/blink/renderer/platform/wtf/hash_map.h"
#include "third_party/blink/renderer/platform/wtf/text/text_position.h"
namespace blink {
// ModuleScript is a model object for the "module script" spec concept.
class CORE_EXPORT ModuleScript final : public Script, public NameClient {
static ModuleScript* Create(
const ParkableString& source_text,
const KURL& source_url,
const KURL& base_url,
const ScriptFetchOptions&,
const TextPosition& start_position = TextPosition::MinimumPosition());
// Mostly corresponds to Create() but accepts ScriptModule as the argument
// and allows null ScriptModule.
static ModuleScript* CreateForTest(
const KURL& base_url,
const ScriptFetchOptions& = ScriptFetchOptions());
ModuleScript(Modulator* settings_object,
ScriptModule record,
const KURL& source_url,
const KURL& base_url,
const ScriptFetchOptions&,
const ParkableString& source_text,
const TextPosition& start_position);
~ModuleScript() override = default;
ScriptModule Record() const;
bool HasEmptyRecord() const;
// Note: ParseError-related methods should only be used from ModuleTreeLinker
// or unit tests. You probably want to check |*ErrorToRethrow*()|
// instead.
void SetParseErrorAndClearRecord(ScriptValue error);
bool HasParseError() const { return !parse_error_.IsEmpty(); }
// CreateParseError() retrieves |parse_error_| as a ScriptValue.
ScriptValue CreateParseError() const;
void SetErrorToRethrow(ScriptValue error);
bool HasErrorToRethrow() const { return !error_to_rethrow_.IsEmpty(); }
ScriptValue CreateErrorToRethrow() const;
const TextPosition& StartPosition() const { return start_position_; }
// Resolves a module specifier with the module script's base URL.
KURL ResolveModuleSpecifier(const String& module_request,
String* failure_reason = nullptr);
void Trace(blink::Visitor*) override;
const char* NameInHeapSnapshot() const override { return "ModuleScript"; }
static ModuleScript* CreateInternal(const ParkableString& source_text,
const KURL& source_url,
const KURL& base_url,
const ScriptFetchOptions&,
const TextPosition&);
mojom::ScriptType GetScriptType() const override {
return mojom::ScriptType::kModule;
void RunScript(LocalFrame*, const SecurityOrigin*) const override;
String InlineSourceTextForCSP() const override;
friend class ModulatorImplBase;
friend class ModuleTreeLinkerTestModulator;
Member<Modulator> settings_object_;
// TODO(keishi): Visitor only defines a trace method for v8::Value so this
// needs to be cast.
TraceWrapperV8Reference<v8::Module> record_;
// |record_|, |parse_error_| and |error_to_rethrow_| are wrapper traced and
// kept alive via one or more of following reference graphs:
// * non-inline module script case
// DOMWindow -> Modulator/ModulatorImpl -> ModuleMap -> ModuleMap::Entry
// -> ModuleScript
// * inline module script case, before the PendingScript is created.
// DOMWindow -> Modulator/ModulatorImpl -> ModuleTreeLinkerRegistry
// -> ModuleTreeLinker -> ModuleScript
// * inline module script case, after the PendingScript is created.
// HTMLScriptElement -> ScriptLoader -> ModulePendingScript
// -> ModulePendingScriptTreeClient -> ModuleScript.
// * inline module script case, queued in HTMLParserScriptRunner,
// when HTMLScriptElement is removed before execution.
// Document -> HTMLDocumentParser -> HTMLParserScriptRunner
// -> ModulePendingScript -> ModulePendingScriptTreeClient
// -> ModuleScript.
// * inline module script case, queued in ScriptRunner.
// Document -> ScriptRunner -> ScriptLoader -> ModulePendingScript
// -> ModulePendingScriptTreeClient -> ModuleScript.
// All the classes/references on the graphs above should be
// TraceWrapperMember<>/etc.,
// A parse error and an error to rethrow belong to a script, not to a
// |parse_error_| and |error_to_rethrow_| should belong to a script (i.e.
// blink::Script) according to the spec, but are put here in ModuleScript,
// because:
// - Error handling for classic and module scripts are somehow separated and
// there are no urgent motivation for merging the error handling and placing
// the errors in Script, and
// - Classic scripts are handled according to the spec before
// This shouldn't cause any
// observable functional changes, and updating the classic script handling
// will require moderate code changes (e.g. to move compilation timing).
TraceWrapperV8Reference<v8::Value> parse_error_;
TraceWrapperV8Reference<v8::Value> error_to_rethrow_;
// For CSP check.
const ParkableString source_text_;
const TextPosition start_position_;
HashMap<String, KURL> specifier_to_url_cache_;
KURL source_url_;
CORE_EXPORT std::ostream& operator<<(std::ostream&, const ModuleScript&);
} // namespace blink