diff options
Diffstat (limited to 'chromium/v8/src/objects/module.h')
| -rw-r--r-- | chromium/v8/src/objects/module.h | 220 |
1 files changed, 28 insertions, 192 deletions
diff --git a/chromium/v8/src/objects/module.h b/chromium/v8/src/objects/module.h index a1672dce7e9..b776ddb0be1 100644 --- a/chromium/v8/src/objects/module.h +++ b/chromium/v8/src/objects/module.h @@ -9,6 +9,7 @@ #include "src/objects/js-objects.h" #include "src/objects/objects.h" #include "src/objects/struct.h" +#include "torque-generated/field-offsets-tq.h" // Has to be the last include (doesn't have include guards): #include "src/objects/object-macros.h" @@ -20,35 +21,23 @@ template <typename T> class Handle; class Isolate; class JSModuleNamespace; -class ModuleDescriptor; -class ModuleInfo; -class ModuleInfoEntry; +class SourceTextModuleDescriptor; +class SourceTextModuleInfo; +class SourceTextModuleInfoEntry; class String; class Zone; -// The runtime representation of an ECMAScript module. -class Module : public Struct { +// Module is the base class for ECMAScript module types, roughly corresponding +// to Abstract Module Record. +// https://tc39.github.io/ecma262/#sec-abstract-module-records +class Module : public HeapObject { public: NEVER_READ_ONLY_SPACE DECL_CAST(Module) DECL_VERIFIER(Module) DECL_PRINTER(Module) - // The code representing this module, or an abstraction thereof. - // This is either a SharedFunctionInfo, a JSFunction, a JSGeneratorObject, or - // a ModuleInfo, depending on the state (status) the module is in. See - // Module::ModuleVerify() for the precise invariant. - DECL_ACCESSORS(code, Object) - - // Arrays of cells corresponding to regular exports and regular imports. - // A cell's position in the array is determined by the cell index of the - // associated module entry (which coincides with the variable index of the - // associated variable). - DECL_ACCESSORS(regular_exports, FixedArray) - DECL_ACCESSORS(regular_imports, FixedArray) - // The complete export table, mapping an export name to its cell. - // TODO(neis): We may want to remove the regular exports from the table. DECL_ACCESSORS(exports, ObjectHashTable) // Hash for this object (a random non-zero Smi). @@ -67,31 +56,12 @@ class Module : public Struct { kErrored }; - // The exception in the case {status} is kErrored. - Object GetException(); - - // The shared function info in case {status} is not kEvaluating, kEvaluated or - // kErrored. - SharedFunctionInfo GetSharedFunctionInfo() const; - // The namespace object (or undefined). DECL_ACCESSORS(module_namespace, HeapObject) - // Modules imported or re-exported by this module. - // Corresponds 1-to-1 to the module specifier strings in - // ModuleInfo::module_requests. - DECL_ACCESSORS(requested_modules, FixedArray) - - // [script]: Script from which the module originates. - DECL_ACCESSORS(script, Script) - - // The value of import.meta inside of this module. - // Lazily initialized on first access. It's the hole before first access and - // a JSObject afterwards. - DECL_ACCESSORS(import_meta, Object) - - // Get the ModuleInfo associated with the code. - inline ModuleInfo info() const; + // The exception in the case {status} is kErrored. + Object GetException(); + DECL_ACCESSORS(exception, Object) // Implementation of spec operation ModuleDeclarationInstantiation. // Returns false if an exception occurred during instantiation, true @@ -105,63 +75,20 @@ class Module : public Struct { static V8_WARN_UNUSED_RESULT MaybeHandle<Object> Evaluate( Isolate* isolate, Handle<Module> module); - Cell GetCell(int cell_index); - static Handle<Object> LoadVariable(Isolate* isolate, Handle<Module> module, - int cell_index); - static void StoreVariable(Handle<Module> module, int cell_index, - Handle<Object> value); - - static int ImportIndex(int cell_index); - static int ExportIndex(int cell_index); - - // Get the namespace object for [module_request] of [module]. If it doesn't - // exist yet, it is created. - static Handle<JSModuleNamespace> GetModuleNamespace(Isolate* isolate, - Handle<Module> module, - int module_request); - // Get the namespace object for [module]. If it doesn't exist yet, it is // created. static Handle<JSModuleNamespace> GetModuleNamespace(Isolate* isolate, Handle<Module> module); // Layout description. -#define MODULE_FIELDS(V) \ - V(kCodeOffset, kTaggedSize) \ - V(kExportsOffset, kTaggedSize) \ - V(kRegularExportsOffset, kTaggedSize) \ - V(kRegularImportsOffset, kTaggedSize) \ - V(kHashOffset, kTaggedSize) \ - V(kModuleNamespaceOffset, kTaggedSize) \ - V(kRequestedModulesOffset, kTaggedSize) \ - V(kStatusOffset, kTaggedSize) \ - V(kDfsIndexOffset, kTaggedSize) \ - V(kDfsAncestorIndexOffset, kTaggedSize) \ - V(kExceptionOffset, kTaggedSize) \ - V(kScriptOffset, kTaggedSize) \ - V(kImportMetaOffset, kTaggedSize) \ - /* Total size. */ \ - V(kSize, 0) - - DEFINE_FIELD_OFFSET_CONSTANTS(Struct::kHeaderSize, MODULE_FIELDS) -#undef MODULE_FIELDS - - private: - friend class Factory; - - DECL_ACCESSORS(exception, Object) - - // TODO(neis): Don't store those in the module object? - DECL_INT_ACCESSORS(dfs_index) - DECL_INT_ACCESSORS(dfs_ancestor_index) + DEFINE_FIELD_OFFSET_CONSTANTS(Struct::kHeaderSize, + TORQUE_GENERATED_MODULE_FIELDS) - // Helpers for Instantiate and Evaluate. + using BodyDescriptor = + FixedBodyDescriptor<kExportsOffset, kHeaderSize, kHeaderSize>; - static void CreateExport(Isolate* isolate, Handle<Module> module, - int cell_index, Handle<FixedArray> names); - static void CreateIndirectExport(Isolate* isolate, Handle<Module> module, - Handle<String> name, - Handle<ModuleInfoEntry> entry); + protected: + friend class Factory; // The [must_resolve] argument indicates whether or not an exception should be // thrown in case the module does not provide an export named [name] @@ -176,32 +103,18 @@ class Module : public Struct { Isolate* isolate, Handle<Module> module, Handle<String> module_specifier, Handle<String> export_name, MessageLocation loc, bool must_resolve, ResolveSet* resolve_set); - static V8_WARN_UNUSED_RESULT MaybeHandle<Cell> ResolveImport( - Isolate* isolate, Handle<Module> module, Handle<String> name, - int module_request, MessageLocation loc, bool must_resolve, - ResolveSet* resolve_set); - - static V8_WARN_UNUSED_RESULT MaybeHandle<Cell> ResolveExportUsingStarExports( - Isolate* isolate, Handle<Module> module, Handle<String> module_specifier, - Handle<String> export_name, MessageLocation loc, bool must_resolve, - ResolveSet* resolve_set); static V8_WARN_UNUSED_RESULT bool PrepareInstantiate( Isolate* isolate, Handle<Module> module, v8::Local<v8::Context> context, v8::Module::ResolveCallback callback); static V8_WARN_UNUSED_RESULT bool FinishInstantiate( Isolate* isolate, Handle<Module> module, - ZoneForwardList<Handle<Module>>* stack, unsigned* dfs_index, Zone* zone); - static V8_WARN_UNUSED_RESULT bool RunInitializationCode( - Isolate* isolate, Handle<Module> module); + ZoneForwardList<Handle<SourceTextModule>>* stack, unsigned* dfs_index, + Zone* zone); static V8_WARN_UNUSED_RESULT MaybeHandle<Object> Evaluate( Isolate* isolate, Handle<Module> module, - ZoneForwardList<Handle<Module>>* stack, unsigned* dfs_index); - - static V8_WARN_UNUSED_RESULT bool MaybeTransitionComponent( - Isolate* isolate, Handle<Module> module, - ZoneForwardList<Handle<Module>>* stack, Status new_status); + ZoneForwardList<Handle<SourceTextModule>>* stack, unsigned* dfs_index); // Set module's status back to kUninstantiated and reset other internal state. // This is used when instantiation fails. @@ -217,7 +130,7 @@ class Module : public Struct { void PrintStatusTransition(Status new_status); #endif // DEBUG - OBJECT_CONSTRUCTORS(Module, Struct); + OBJECT_CONSTRUCTORS(Module, HeapObject); }; // When importing a module namespace (import * as foo from "bar"), a @@ -250,93 +163,16 @@ class JSModuleNamespace : public JSObject { kInObjectFieldCount, }; -// Layout description. -#define JS_MODULE_NAMESPACE_FIELDS(V) \ - V(kModuleOffset, kTaggedSize) \ - /* Header size. */ \ - V(kHeaderSize, 0) \ - V(kInObjectFieldsOffset, kTaggedSize* kInObjectFieldCount) \ - /* Total size. */ \ - V(kSize, 0) - + // Layout description. DEFINE_FIELD_OFFSET_CONSTANTS(JSObject::kHeaderSize, - JS_MODULE_NAMESPACE_FIELDS) -#undef JS_MODULE_NAMESPACE_FIELDS - - OBJECT_CONSTRUCTORS(JSModuleNamespace, JSObject); -}; - -// ModuleInfo is to ModuleDescriptor what ScopeInfo is to Scope. -class ModuleInfo : public FixedArray { - public: - DECL_CAST(ModuleInfo) - - static Handle<ModuleInfo> New(Isolate* isolate, Zone* zone, - ModuleDescriptor* descr); - - inline FixedArray module_requests() const; - inline FixedArray special_exports() const; - inline FixedArray regular_exports() const; - inline FixedArray regular_imports() const; - inline FixedArray namespace_imports() const; - inline FixedArray module_request_positions() const; - - // Accessors for [regular_exports]. - int RegularExportCount() const; - String RegularExportLocalName(int i) const; - int RegularExportCellIndex(int i) const; - FixedArray RegularExportExportNames(int i) const; + TORQUE_GENERATED_JSMODULE_NAMESPACE_FIELDS) -#ifdef DEBUG - inline bool Equals(ModuleInfo other) const; -#endif + // We need to include in-object fields + // TODO(v8:8944): improve handling of in-object fields + static constexpr int kSize = + kHeaderSize + (kTaggedSize * kInObjectFieldCount); - private: - friend class Factory; - friend class ModuleDescriptor; - enum { - kModuleRequestsIndex, - kSpecialExportsIndex, - kRegularExportsIndex, - kNamespaceImportsIndex, - kRegularImportsIndex, - kModuleRequestPositionsIndex, - kLength - }; - enum { - kRegularExportLocalNameOffset, - kRegularExportCellIndexOffset, - kRegularExportExportNamesOffset, - kRegularExportLength - }; - OBJECT_CONSTRUCTORS(ModuleInfo, FixedArray); -}; - -class ModuleInfoEntry : public Struct { - public: - DECL_CAST(ModuleInfoEntry) - DECL_PRINTER(ModuleInfoEntry) - DECL_VERIFIER(ModuleInfoEntry) - - DECL_ACCESSORS(export_name, Object) - DECL_ACCESSORS(local_name, Object) - DECL_ACCESSORS(import_name, Object) - DECL_INT_ACCESSORS(module_request) - DECL_INT_ACCESSORS(cell_index) - DECL_INT_ACCESSORS(beg_pos) - DECL_INT_ACCESSORS(end_pos) - - static Handle<ModuleInfoEntry> New(Isolate* isolate, - Handle<Object> export_name, - Handle<Object> local_name, - Handle<Object> import_name, - int module_request, int cell_index, - int beg_pos, int end_pos); - - DEFINE_FIELD_OFFSET_CONSTANTS(Struct::kHeaderSize, - TORQUE_GENERATED_MODULE_INFO_ENTRY_FIELDS) - - OBJECT_CONSTRUCTORS(ModuleInfoEntry, Struct); + OBJECT_CONSTRUCTORS(JSModuleNamespace, JSObject); }; } // namespace internal |