3fb4ab9d3aa2e34bbcd9adffa7307e7076a461af
[WebKit-https.git] / Source / JavaScriptCore / runtime / Completion.cpp
1 /*
2  *  Copyright (C) 1999-2001 Harri Porten (porten@kde.org)
3  *  Copyright (C) 2001 Peter Kelly (pmk@post.com)
4  *  Copyright (C) 2003-2019 Apple Inc.
5  *
6  *  This library is free software; you can redistribute it and/or
7  *  modify it under the terms of the GNU Library General Public
8  *  License as published by the Free Software Foundation; either
9  *  version 2 of the License, or (at your option) any later version.
10  *
11  *  This library is distributed in the hope that it will be useful,
12  *  but WITHOUT ANY WARRANTY; without even the implied warranty of
13  *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
14  *  Library General Public License for more details.
15  *
16  *  You should have received a copy of the GNU Library General Public License
17  *  along with this library; see the file COPYING.LIB.  If not, write to
18  *  the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor,
19  *  Boston, MA 02110-1301, USA.
20  *
21  */
22
23 #include "config.h"
24 #include "Completion.h"
25
26 #include "CallFrame.h"
27 #include "CatchScope.h"
28 #include "CodeProfiling.h"
29 #include "Exception.h"
30 #include "IdentifierInlines.h"
31 #include "Interpreter.h"
32 #include "JSCInlines.h"
33 #include "JSGlobalObject.h"
34 #include "JSInternalPromise.h"
35 #include "JSInternalPromiseDeferred.h"
36 #include "JSLock.h"
37 #include "JSModuleLoader.h"
38 #include "JSModuleRecord.h"
39 #include "JSWithScope.h"
40 #include "ModuleAnalyzer.h"
41 #include "Parser.h"
42 #include "ProgramExecutable.h"
43 #include "ScriptProfilingScope.h"
44
45 namespace JSC {
46
47 static inline bool checkSyntaxInternal(VM& vm, const SourceCode& source, ParserError& error)
48 {
49     return !!parse<ProgramNode>(
50         &vm, source, Identifier(), JSParserBuiltinMode::NotBuiltin,
51         JSParserStrictMode::NotStrict, JSParserScriptMode::Classic, SourceParseMode::ProgramMode, SuperBinding::NotNeeded, error);
52 }
53
54 bool checkSyntax(ExecState* exec, const SourceCode& source, JSValue* returnedException)
55 {
56     VM& vm = exec->vm();
57     JSLockHolder lock(vm);
58     RELEASE_ASSERT(vm.atomicStringTable() == Thread::current().atomicStringTable());
59
60     ParserError error;
61     if (checkSyntaxInternal(vm, source, error))
62         return true;
63     ASSERT(error.isValid());
64     if (returnedException)
65         *returnedException = error.toErrorObject(exec->lexicalGlobalObject(), source);
66     return false;
67 }
68
69 bool checkSyntax(VM& vm, const SourceCode& source, ParserError& error)
70 {
71     JSLockHolder lock(vm);
72     RELEASE_ASSERT(vm.atomicStringTable() == Thread::current().atomicStringTable());
73     return checkSyntaxInternal(vm, source, error);
74 }
75
76 bool checkModuleSyntax(ExecState* exec, const SourceCode& source, ParserError& error)
77 {
78     VM& vm = exec->vm();
79     JSLockHolder lock(vm);
80     RELEASE_ASSERT(vm.atomicStringTable() == Thread::current().atomicStringTable());
81     std::unique_ptr<ModuleProgramNode> moduleProgramNode = parse<ModuleProgramNode>(
82         &vm, source, Identifier(), JSParserBuiltinMode::NotBuiltin,
83         JSParserStrictMode::Strict, JSParserScriptMode::Module, SourceParseMode::ModuleAnalyzeMode, SuperBinding::NotNeeded, error);
84     if (!moduleProgramNode)
85         return false;
86
87     PrivateName privateName(PrivateName::Description, "EntryPointModule");
88     ModuleAnalyzer moduleAnalyzer(exec, Identifier::fromUid(privateName), source, moduleProgramNode->varDeclarations(), moduleProgramNode->lexicalVariables());
89     moduleAnalyzer.analyze(*moduleProgramNode);
90     return true;
91 }
92
93 JSValue evaluate(ExecState* exec, const SourceCode& source, JSValue thisValue, NakedPtr<Exception>& returnedException)
94 {
95     VM& vm = exec->vm();
96     JSLockHolder lock(vm);
97     auto scope = DECLARE_CATCH_SCOPE(vm);
98     RELEASE_ASSERT(vm.atomicStringTable() == Thread::current().atomicStringTable());
99     RELEASE_ASSERT(!vm.isCollectorBusyOnCurrentThread());
100
101     CodeProfiling profile(source);
102
103     if (!thisValue || thisValue.isUndefinedOrNull())
104         thisValue = vm.vmEntryGlobalObject(exec);
105     JSObject* thisObj = jsCast<JSObject*>(thisValue.toThis(exec, NotStrictMode));
106     JSValue result = vm.interpreter->executeProgram(source, exec, thisObj);
107
108     if (scope.exception()) {
109         returnedException = scope.exception();
110         scope.clearException();
111         return jsUndefined();
112     }
113
114     RELEASE_ASSERT(result);
115     return result;
116 }
117
118 JSValue profiledEvaluate(ExecState* exec, ProfilingReason reason, const SourceCode& source, JSValue thisValue, NakedPtr<Exception>& returnedException)
119 {
120     VM& vm = exec->vm();
121     ScriptProfilingScope profilingScope(vm.vmEntryGlobalObject(exec), reason);
122     return evaluate(exec, source, thisValue, returnedException);
123 }
124
125 JSValue evaluateWithScopeExtension(ExecState* exec, const SourceCode& source, JSObject* scopeExtensionObject, NakedPtr<Exception>& returnedException)
126 {
127     VM& vm = exec->vm();
128     JSGlobalObject* globalObject = vm.vmEntryGlobalObject(exec);
129
130     if (scopeExtensionObject) {
131         JSScope* ignoredPreviousScope = globalObject->globalScope();
132         globalObject->setGlobalScopeExtension(JSWithScope::create(vm, globalObject, ignoredPreviousScope, scopeExtensionObject));
133     }
134
135     JSValue returnValue = JSC::evaluate(globalObject->globalExec(), source, globalObject, returnedException);
136
137     if (scopeExtensionObject)
138         globalObject->clearGlobalScopeExtension();
139
140     return returnValue;
141 }
142
143 static Symbol* createSymbolForEntryPointModule(VM& vm)
144 {
145     // Generate the unique key for the source-provided module.
146     PrivateName privateName(PrivateName::Description, "EntryPointModule");
147     return Symbol::create(vm, privateName.uid());
148 }
149
150 static JSInternalPromise* rejectPromise(ExecState* exec, JSGlobalObject* globalObject)
151 {
152     VM& vm = exec->vm();
153     auto scope = DECLARE_CATCH_SCOPE(vm);
154     scope.assertNoException();
155     JSValue exception = scope.exception()->value();
156     scope.clearException();
157     JSInternalPromiseDeferred* deferred = JSInternalPromiseDeferred::tryCreate(exec, globalObject);
158     scope.releaseAssertNoException();
159     deferred->reject(exec, exception);
160     scope.releaseAssertNoException();
161     return deferred->promise();
162 }
163
164 JSInternalPromise* loadAndEvaluateModule(ExecState* exec, Symbol* moduleId, JSValue parameters, JSValue scriptFetcher)
165 {
166     VM& vm = exec->vm();
167     JSLockHolder lock(vm);
168     RELEASE_ASSERT(vm.atomicStringTable() == Thread::current().atomicStringTable());
169     RELEASE_ASSERT(!vm.isCollectorBusyOnCurrentThread());
170
171     return vm.vmEntryGlobalObject(exec)->moduleLoader()->loadAndEvaluateModule(exec, moduleId, parameters, scriptFetcher);
172 }
173
174 JSInternalPromise* loadAndEvaluateModule(ExecState* exec, const String& moduleName, JSValue parameters, JSValue scriptFetcher)
175 {
176     VM& vm = exec->vm();
177     JSLockHolder lock(vm);
178     RELEASE_ASSERT(vm.atomicStringTable() == Thread::current().atomicStringTable());
179     RELEASE_ASSERT(!vm.isCollectorBusyOnCurrentThread());
180
181     return vm.vmEntryGlobalObject(exec)->moduleLoader()->loadAndEvaluateModule(exec, identifierToJSValue(vm, Identifier::fromString(exec, moduleName)), parameters, scriptFetcher);
182 }
183
184 JSInternalPromise* loadAndEvaluateModule(ExecState* exec, const SourceCode& source, JSValue scriptFetcher)
185 {
186     VM& vm = exec->vm();
187     JSLockHolder lock(vm);
188     auto scope = DECLARE_THROW_SCOPE(vm);
189     RELEASE_ASSERT(vm.atomicStringTable() == Thread::current().atomicStringTable());
190     RELEASE_ASSERT(!vm.isCollectorBusyOnCurrentThread());
191
192     Symbol* key = createSymbolForEntryPointModule(vm);
193
194     JSGlobalObject* globalObject = vm.vmEntryGlobalObject(exec);
195
196     // Insert the given source code to the ModuleLoader registry as the fetched registry entry.
197     globalObject->moduleLoader()->provideFetch(exec, key, source);
198     RETURN_IF_EXCEPTION(scope, rejectPromise(exec, globalObject));
199
200     return globalObject->moduleLoader()->loadAndEvaluateModule(exec, key, jsUndefined(), scriptFetcher);
201 }
202
203 JSInternalPromise* loadModule(ExecState* exec, const String& moduleName, JSValue parameters, JSValue scriptFetcher)
204 {
205     VM& vm = exec->vm();
206     JSLockHolder lock(vm);
207     RELEASE_ASSERT(vm.atomicStringTable() == Thread::current().atomicStringTable());
208     RELEASE_ASSERT(!vm.isCollectorBusyOnCurrentThread());
209
210     return vm.vmEntryGlobalObject(exec)->moduleLoader()->loadModule(exec, identifierToJSValue(vm, Identifier::fromString(exec, moduleName)), parameters, scriptFetcher);
211 }
212
213 JSInternalPromise* loadModule(ExecState* exec, const SourceCode& source, JSValue scriptFetcher)
214 {
215     VM& vm = exec->vm();
216     JSLockHolder lock(vm);
217     auto scope = DECLARE_THROW_SCOPE(vm);
218     RELEASE_ASSERT(vm.atomicStringTable() == Thread::current().atomicStringTable());
219     RELEASE_ASSERT(!vm.isCollectorBusyOnCurrentThread());
220
221     Symbol* key = createSymbolForEntryPointModule(vm);
222
223     JSGlobalObject* globalObject = vm.vmEntryGlobalObject(exec);
224
225     // Insert the given source code to the ModuleLoader registry as the fetched registry entry.
226     // FIXME: Introduce JSSourceCode object to wrap around this source.
227     globalObject->moduleLoader()->provideFetch(exec, key, source);
228     RETURN_IF_EXCEPTION(scope, rejectPromise(exec, globalObject));
229
230     return globalObject->moduleLoader()->loadModule(exec, key, jsUndefined(), scriptFetcher);
231 }
232
233 JSValue linkAndEvaluateModule(ExecState* exec, const Identifier& moduleKey, JSValue scriptFetcher)
234 {
235     VM& vm = exec->vm();
236     JSLockHolder lock(vm);
237     RELEASE_ASSERT(vm.atomicStringTable() == Thread::current().atomicStringTable());
238     RELEASE_ASSERT(!vm.isCollectorBusyOnCurrentThread());
239
240     JSGlobalObject* globalObject = vm.vmEntryGlobalObject(exec);
241     return globalObject->moduleLoader()->linkAndEvaluateModule(exec, identifierToJSValue(vm, moduleKey), scriptFetcher);
242 }
243
244 JSInternalPromise* importModule(ExecState* exec, const Identifier& moduleKey, JSValue parameters, JSValue scriptFetcher)
245 {
246     VM& vm = exec->vm();
247     JSLockHolder lock(vm);
248     RELEASE_ASSERT(vm.atomicStringTable() == Thread::current().atomicStringTable());
249     RELEASE_ASSERT(!vm.isCollectorBusyOnCurrentThread());
250
251     return vm.vmEntryGlobalObject(exec)->moduleLoader()->requestImportModule(exec, moduleKey, parameters, scriptFetcher);
252 }
253
254 } // namespace JSC