1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
|
/* -*- Mode: C++; tab-width: 8; indent-tabs-mode: nil; c-basic-offset: 2 -*-
* vim: set ts=8 sts=2 et sw=2 tw=80:
* This Source Code Form is subject to the terms of the Mozilla Public
* License, v. 2.0. If a copy of the MPL was not distributed with this
* file, You can obtain one at http://mozilla.org/MPL/2.0/. */
#ifndef vm_ModuleBuilder_h
#define vm_ModuleBuilder_h
#include "mozilla/Attributes.h" // MOZ_STACK_CLASS
#include "jstypes.h" // JS_PUBLIC_API
#include "frontend/EitherParser.h" // js::frontend::EitherParser
#include "frontend/ParserAtom.h" // js::frontend::TaggedParserAtomIndex
#include "frontend/Stencil.h" // js::frontend::StencilModuleEntry
#include "frontend/TaggedParserAtomIndexHasher.h" // frontend::TaggedParserAtomIndexHasher
#include "js/GCVector.h" // JS::GCVector
struct JS_PUBLIC_API JSContext;
class JS_PUBLIC_API JSAtom;
namespace js {
namespace frontend {
class BinaryNode;
class ListNode;
class ParseNode;
} // namespace frontend
// Process a module's parse tree to collate the import and export data used when
// creating a ModuleObject.
class MOZ_STACK_CLASS ModuleBuilder {
explicit ModuleBuilder(FrontendContext* fc,
const frontend::EitherParser& eitherParser);
public:
template <class Parser>
explicit ModuleBuilder(FrontendContext* fc, Parser* parser)
: ModuleBuilder(fc, frontend::EitherParser(parser)) {}
bool processImport(frontend::BinaryNode* importNode);
bool processExport(frontend::ParseNode* exportNode);
bool processExportFrom(frontend::BinaryNode* exportNode);
bool hasExportedName(frontend::TaggedParserAtomIndex name) const;
bool buildTables(frontend::StencilModuleMetadata& metadata);
// During BytecodeEmitter we note top-level functions, and afterwards we must
// call finishFunctionDecls on the list.
bool noteFunctionDeclaration(FrontendContext* fc, uint32_t funIndex);
void finishFunctionDecls(frontend::StencilModuleMetadata& metadata);
void noteAsync(frontend::StencilModuleMetadata& metadata);
private:
using MaybeModuleRequestIndex = frontend::MaybeModuleRequestIndex;
using ModuleRequestVector = frontend::StencilModuleMetadata::RequestVector;
using RequestedModuleVector = frontend::StencilModuleMetadata::EntryVector;
using AtomSet = HashSet<frontend::TaggedParserAtomIndex,
frontend::TaggedParserAtomIndexHasher>;
using ExportEntryVector = Vector<frontend::StencilModuleEntry>;
using ImportEntryMap =
HashMap<frontend::TaggedParserAtomIndex, frontend::StencilModuleEntry,
frontend::TaggedParserAtomIndexHasher>;
FrontendContext* fc_;
frontend::EitherParser eitherParser_;
// These are populated while parsing.
ModuleRequestVector moduleRequests_;
AtomSet requestedModuleSpecifiers_;
RequestedModuleVector requestedModules_;
ImportEntryMap importEntries_;
ExportEntryVector exportEntries_;
AtomSet exportNames_;
// These are populated while emitting bytecode.
FunctionDeclarationVector functionDecls_;
frontend::StencilModuleEntry* importEntryFor(
frontend::TaggedParserAtomIndex localName) const;
bool processExportBinding(frontend::ParseNode* binding);
bool processExportArrayBinding(frontend::ListNode* array);
bool processExportObjectBinding(frontend::ListNode* obj);
MaybeModuleRequestIndex appendModuleRequest(
frontend::TaggedParserAtomIndex specifier,
frontend::ListNode* assertionList);
bool appendExportEntry(frontend::TaggedParserAtomIndex exportName,
frontend::TaggedParserAtomIndex localName,
frontend::ParseNode* node = nullptr);
bool maybeAppendRequestedModule(MaybeModuleRequestIndex moduleRequest,
frontend::ParseNode* node);
void markUsedByStencil(frontend::TaggedParserAtomIndex name);
[[nodiscard]] bool processAssertions(frontend::StencilModuleRequest& request,
frontend::ListNode* assertionList);
[[nodiscard]] bool isAssertionSupported(
JS::ImportAssertion supportedAssertion,
frontend::TaggedParserAtomIndex key);
};
template <typename T>
ArrayObject* CreateArray(JSContext* cx,
const JS::Rooted<JS::GCVector<T>>& vector);
} // namespace js
#endif // vm_ModuleBuilder_h
|
