Unreviewed, rolling out r223744, r223750, and r223751.
[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-2017 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 bool checkSyntax(ExecState* exec, const SourceCode& source, JSValue* returnedException)
48 {
49     VM& vm = exec->vm();
50     JSLockHolder lock(vm);
51     RELEASE_ASSERT(vm.atomicStringTable() == Thread::current().atomicStringTable());
52
53     ProgramExecutable* program = ProgramExecutable::create(exec, source);
54     JSObject* error = program->checkSyntax(exec);
55     if (error) {
56         if (returnedException)
57             *returnedException = error;
58         return false;
59     }
60
61     return true;
62 }
63     
64 bool checkSyntax(VM& vm, const SourceCode& source, ParserError& error)
65 {
66     JSLockHolder lock(vm);
67     RELEASE_ASSERT(vm.atomicStringTable() == Thread::current().atomicStringTable());
68     return !!parse<ProgramNode>(
69         &vm, source, Identifier(), JSParserBuiltinMode::NotBuiltin,
70         JSParserStrictMode::NotStrict, JSParserScriptMode::Classic, SourceParseMode::ProgramMode, SuperBinding::NotNeeded, error);
71 }
72
73 bool checkModuleSyntax(ExecState* exec, const SourceCode& source, ParserError& error)
74 {
75     VM& vm = exec->vm();
76     JSLockHolder lock(vm);
77     RELEASE_ASSERT(vm.atomicStringTable() == Thread::current().atomicStringTable());
78     std::unique_ptr<ModuleProgramNode> moduleProgramNode = parse<ModuleProgramNode>(
79         &vm, source, Identifier(), JSParserBuiltinMode::NotBuiltin,
80         JSParserStrictMode::Strict, JSParserScriptMode::Module, SourceParseMode::ModuleAnalyzeMode, SuperBinding::NotNeeded, error);
81     if (!moduleProgramNode)
82         return false;
83
84     PrivateName privateName(PrivateName::Description, "EntryPointModule");
85     ModuleAnalyzer moduleAnalyzer(exec, Identifier::fromUid(privateName), source, moduleProgramNode->varDeclarations(), moduleProgramNode->lexicalVariables());
86     moduleAnalyzer.analyze(*moduleProgramNode);
87     return true;
88 }
89
90 JSValue evaluate(ExecState* exec, const SourceCode& source, JSValue thisValue, NakedPtr<Exception>& returnedException)
91 {
92     VM& vm = exec->vm();
93     JSLockHolder lock(vm);
94     auto scope = DECLARE_CATCH_SCOPE(vm);
95     RELEASE_ASSERT(vm.atomicStringTable() == Thread::current().atomicStringTable());
96     RELEASE_ASSERT(!vm.isCollectorBusyOnCurrentThread());
97
98     CodeProfiling profile(source);
99
100     if (!thisValue || thisValue.isUndefinedOrNull())
101         thisValue = exec->vmEntryGlobalObject();
102     JSObject* thisObj = jsCast<JSObject*>(thisValue.toThis(exec, NotStrictMode));
103     JSValue result = vm.interpreter->executeProgram(source, exec, thisObj);
104
105     if (scope.exception()) {
106         returnedException = scope.exception();
107         scope.clearException();
108         return jsUndefined();
109     }
110
111     RELEASE_ASSERT(result);
112     return result;
113 }
114
115 JSValue profiledEvaluate(ExecState* exec, ProfilingReason reason, const SourceCode& source, JSValue thisValue, NakedPtr<Exception>& returnedException)
116 {
117     ScriptProfilingScope profilingScope(exec->vmEntryGlobalObject(), reason);
118     return evaluate(exec, source, thisValue, returnedException);
119 }
120
121 JSValue evaluateWithScopeExtension(ExecState* exec, const SourceCode& source, JSObject* scopeExtensionObject, NakedPtr<Exception>& returnedException)
122 {
123     JSGlobalObject* globalObject = exec->vmEntryGlobalObject();
124
125     if (scopeExtensionObject) {
126         JSScope* ignoredPreviousScope = globalObject->globalScope();
127         globalObject->setGlobalScopeExtension(JSWithScope::create(exec->vm(), globalObject, ignoredPreviousScope, scopeExtensionObject));
128     }
129
130     JSValue returnValue = JSC::evaluate(globalObject->globalExec(), source, globalObject, returnedException);
131
132     if (scopeExtensionObject)
133         globalObject->clearGlobalScopeExtension();
134
135     return returnValue;
136 }
137
138 static Symbol* createSymbolForEntryPointModule(VM& vm)
139 {
140     // Generate the unique key for the source-provided module.
141     PrivateName privateName(PrivateName::Description, "EntryPointModule");
142     return Symbol::create(vm, privateName.uid());
143 }
144
145 static JSInternalPromise* rejectPromise(ExecState* exec, JSGlobalObject* globalObject)
146 {
147     VM& vm = exec->vm();
148     auto scope = DECLARE_CATCH_SCOPE(vm);
149     scope.assertNoException();
150     JSValue exception = scope.exception()->value();
151     scope.clearException();
152     JSInternalPromiseDeferred* deferred = JSInternalPromiseDeferred::create(exec, globalObject);
153     deferred->reject(exec, exception);
154     return deferred->promise();
155 }
156
157 JSInternalPromise* loadAndEvaluateModule(ExecState* exec, const String& moduleName, JSValue parameters, JSValue scriptFetcher)
158 {
159     VM& vm = exec->vm();
160     JSLockHolder lock(vm);
161     RELEASE_ASSERT(vm.atomicStringTable() == Thread::current().atomicStringTable());
162     RELEASE_ASSERT(!vm.isCollectorBusyOnCurrentThread());
163
164     return exec->vmEntryGlobalObject()->moduleLoader()->loadAndEvaluateModule(exec, identifierToJSValue(vm, Identifier::fromString(exec, moduleName)), parameters, scriptFetcher);
165 }
166
167 JSInternalPromise* loadAndEvaluateModule(ExecState* exec, const SourceCode& source, JSValue scriptFetcher)
168 {
169     VM& vm = exec->vm();
170     JSLockHolder lock(vm);
171     auto scope = DECLARE_THROW_SCOPE(vm);
172     RELEASE_ASSERT(vm.atomicStringTable() == Thread::current().atomicStringTable());
173     RELEASE_ASSERT(!vm.isCollectorBusyOnCurrentThread());
174
175     Symbol* key = createSymbolForEntryPointModule(vm);
176
177     JSGlobalObject* globalObject = exec->vmEntryGlobalObject();
178
179     // Insert the given source code to the ModuleLoader registry as the fetched registry entry.
180     globalObject->moduleLoader()->provideFetch(exec, key, source);
181     RETURN_IF_EXCEPTION(scope, rejectPromise(exec, globalObject));
182
183     return globalObject->moduleLoader()->loadAndEvaluateModule(exec, key, jsUndefined(), scriptFetcher);
184 }
185
186 JSInternalPromise* loadModule(ExecState* exec, const String& moduleName, JSValue parameters, JSValue scriptFetcher)
187 {
188     VM& vm = exec->vm();
189     JSLockHolder lock(vm);
190     RELEASE_ASSERT(vm.atomicStringTable() == Thread::current().atomicStringTable());
191     RELEASE_ASSERT(!vm.isCollectorBusyOnCurrentThread());
192
193     return exec->vmEntryGlobalObject()->moduleLoader()->loadModule(exec, identifierToJSValue(vm, Identifier::fromString(exec, moduleName)), parameters, scriptFetcher);
194 }
195
196 JSInternalPromise* loadModule(ExecState* exec, const SourceCode& source, JSValue scriptFetcher)
197 {
198     VM& vm = exec->vm();
199     JSLockHolder lock(vm);
200     auto scope = DECLARE_THROW_SCOPE(vm);
201     RELEASE_ASSERT(vm.atomicStringTable() == Thread::current().atomicStringTable());
202     RELEASE_ASSERT(!vm.isCollectorBusyOnCurrentThread());
203
204     Symbol* key = createSymbolForEntryPointModule(vm);
205
206     JSGlobalObject* globalObject = exec->vmEntryGlobalObject();
207
208     // Insert the given source code to the ModuleLoader registry as the fetched registry entry.
209     // FIXME: Introduce JSSourceCode object to wrap around this source.
210     globalObject->moduleLoader()->provideFetch(exec, key, source);
211     RETURN_IF_EXCEPTION(scope, rejectPromise(exec, globalObject));
212
213     return globalObject->moduleLoader()->loadModule(exec, key, jsUndefined(), scriptFetcher);
214 }
215
216 JSValue linkAndEvaluateModule(ExecState* exec, const Identifier& moduleKey, JSValue scriptFetcher)
217 {
218     VM& vm = exec->vm();
219     JSLockHolder lock(vm);
220     RELEASE_ASSERT(vm.atomicStringTable() == Thread::current().atomicStringTable());
221     RELEASE_ASSERT(!vm.isCollectorBusyOnCurrentThread());
222
223     JSGlobalObject* globalObject = exec->vmEntryGlobalObject();
224     return globalObject->moduleLoader()->linkAndEvaluateModule(exec, identifierToJSValue(vm, moduleKey), scriptFetcher);
225 }
226
227 JSInternalPromise* importModule(ExecState* exec, const Identifier& moduleKey, JSValue parameters, JSValue scriptFetcher)
228 {
229     VM& vm = exec->vm();
230     JSLockHolder lock(vm);
231     RELEASE_ASSERT(vm.atomicStringTable() == Thread::current().atomicStringTable());
232     RELEASE_ASSERT(!vm.isCollectorBusyOnCurrentThread());
233
234     return exec->vmEntryGlobalObject()->moduleLoader()->requestImportModule(exec, moduleKey, parameters, scriptFetcher);
235 }
236
237 } // namespace JSC