Make string MaxLength for all WTF and JS strings consistently equal to INT_MAX.
[WebKit-https.git] / Source / JavaScriptCore / runtime / FunctionConstructor.cpp
1 /*
2  *  Copyright (C) 1999-2001 Harri Porten (porten@kde.org)
3  *  Copyright (C) 2003-2017 Apple Inc. All rights reserved.
4  *
5  *  This library is free software; you can redistribute it and/or
6  *  modify it under the terms of the GNU Lesser General Public
7  *  License as published by the Free Software Foundation; either
8  *  version 2 of the License, or (at your option) any later version.
9  *
10  *  This library is distributed in the hope that it will be useful,
11  *  but WITHOUT ANY WARRANTY; without even the implied warranty of
12  *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
13  *  Lesser General Public License for more details.
14  *
15  *  You should have received a copy of the GNU Lesser General Public
16  *  License along with this library; if not, write to the Free Software
17  *  Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301  USA
18  *
19  */
20
21 #include "config.h"
22 #include "FunctionConstructor.h"
23
24 #include "Completion.h"
25 #include "ExceptionHelpers.h"
26 #include "FunctionPrototype.h"
27 #include "JSAsyncFunction.h"
28 #include "JSAsyncGeneratorFunction.h"
29 #include "JSFunction.h"
30 #include "JSGeneratorFunction.h"
31 #include "JSGlobalObject.h"
32 #include "JSCInlines.h"
33 #include <wtf/text/StringBuilder.h>
34
35 namespace JSC {
36
37 STATIC_ASSERT_IS_TRIVIALLY_DESTRUCTIBLE(FunctionConstructor);
38
39 const ClassInfo FunctionConstructor::s_info = { "Function", &Base::s_info, nullptr, nullptr, CREATE_METHOD_TABLE(FunctionConstructor) };
40
41 static EncodedJSValue JSC_HOST_CALL constructWithFunctionConstructor(ExecState* exec)
42 {
43     ArgList args(exec);
44     return JSValue::encode(constructFunction(exec, jsCast<InternalFunction*>(exec->jsCallee())->globalObject(exec->vm()), args, FunctionConstructionMode::Function, exec->newTarget()));
45 }
46
47 // ECMA 15.3.1 The Function Constructor Called as a Function
48 static EncodedJSValue JSC_HOST_CALL callFunctionConstructor(ExecState* exec)
49 {
50     ArgList args(exec);
51     return JSValue::encode(constructFunction(exec, jsCast<InternalFunction*>(exec->jsCallee())->globalObject(exec->vm()), args));
52 }
53
54 FunctionConstructor::FunctionConstructor(VM& vm, Structure* structure)
55     : InternalFunction(vm, structure, callFunctionConstructor, constructWithFunctionConstructor)
56 {
57 }
58
59 void FunctionConstructor::finishCreation(VM& vm, FunctionPrototype* functionPrototype)
60 {
61     Base::finishCreation(vm, functionPrototype->classInfo()->className);
62     putDirectWithoutTransition(vm, vm.propertyNames->prototype, functionPrototype, PropertyAttribute::DontEnum | PropertyAttribute::DontDelete | PropertyAttribute::ReadOnly);
63     putDirectWithoutTransition(vm, vm.propertyNames->length, jsNumber(1), PropertyAttribute::ReadOnly | PropertyAttribute::DontEnum);
64 }
65
66 // ECMA 15.3.2 The Function Constructor
67 JSObject* constructFunction(ExecState* exec, JSGlobalObject* globalObject, const ArgList& args, const Identifier& functionName, const SourceOrigin& sourceOrigin, const String& sourceURL, const TextPosition& position, FunctionConstructionMode functionConstructionMode, JSValue newTarget)
68 {
69     VM& vm = exec->vm();
70     auto scope = DECLARE_THROW_SCOPE(vm);
71
72     if (!globalObject->evalEnabled())
73         return throwException(exec, scope, createEvalError(exec, globalObject->evalDisabledErrorMessage()));
74     RELEASE_AND_RETURN(scope, constructFunctionSkippingEvalEnabledCheck(exec, globalObject, args, functionName, sourceOrigin, sourceURL, position, -1, functionConstructionMode, newTarget));
75 }
76
77 JSObject* constructFunctionSkippingEvalEnabledCheck(
78     ExecState* exec, JSGlobalObject* globalObject, const ArgList& args, 
79     const Identifier& functionName, const SourceOrigin& sourceOrigin, const String& sourceURL, 
80     const TextPosition& position, int overrideLineNumber, FunctionConstructionMode functionConstructionMode, JSValue newTarget)
81 {
82     VM& vm = exec->vm();
83     auto scope = DECLARE_THROW_SCOPE(vm);
84
85     const char* prefix = nullptr;
86     switch (functionConstructionMode) {
87     case FunctionConstructionMode::Function:
88         prefix = "function ";
89         break;
90     case FunctionConstructionMode::Generator:
91         prefix = "function *";
92         break;
93     case FunctionConstructionMode::Async:
94         prefix = "async function ";
95         break;
96     case FunctionConstructionMode::AsyncGenerator:
97         prefix = "{async function*";
98         break;
99     }
100
101     auto checkBody = [&] (const String& body) {
102         // The spec mandates that the body parses a valid function body independent
103         // of the parameters.
104         String program = makeString("(", prefix, "(){\n", body, "\n})");
105         SourceCode source = makeSource(program, sourceOrigin, sourceURL, position);
106         JSValue exception;
107         checkSyntax(exec, source, &exception);
108         if (exception) {
109             scope.throwException(exec, exception);
110             return;
111         }
112     };
113
114     // How we stringify functions is sometimes important for web compatibility.
115     // See https://bugs.webkit.org/show_bug.cgi?id=24350.
116     String program;
117     if (args.isEmpty())
118         program = makeString("{", prefix, functionName.string(), "() {\n\n}}");
119     else if (args.size() == 1) {
120         auto body = args.at(0).toWTFString(exec);
121         RETURN_IF_EXCEPTION(scope, nullptr);
122         checkBody(body);
123         RETURN_IF_EXCEPTION(scope, nullptr);
124         program = makeString("{", prefix, functionName.string(), "() {\n", body, "\n}}");
125     } else {
126         StringBuilder builder;
127         builder.append('{');
128         builder.append(prefix);
129         builder.append(functionName.string());
130         builder.append('(');
131         StringBuilder parameterBuilder;
132         auto viewWithString = args.at(0).toString(exec)->viewWithUnderlyingString(exec);
133         RETURN_IF_EXCEPTION(scope, nullptr);
134         parameterBuilder.append(viewWithString.view);
135         for (size_t i = 1; i < args.size() - 1; i++) {
136             parameterBuilder.appendLiteral(", ");
137             auto viewWithString = args.at(i).toString(exec)->viewWithUnderlyingString(exec);
138             RETURN_IF_EXCEPTION(scope, nullptr);
139             parameterBuilder.append(viewWithString.view);
140         }
141         auto body = args.at(args.size() - 1).toWTFString(exec);
142         RETURN_IF_EXCEPTION(scope, nullptr);
143
144         {
145             // The spec mandates that the parameters parse as a valid parameter list
146             // independent of the function body.
147             String program = tryMakeString("(", prefix, "(", parameterBuilder.toString(), "){\n\n})");
148             if (UNLIKELY(!program)) {
149                 throwOutOfMemoryError(exec, scope);
150                 return nullptr;
151             }
152             SourceCode source = makeSource(program, sourceOrigin, sourceURL, position);
153             JSValue exception;
154             checkSyntax(exec, source, &exception);
155             if (exception) {
156                 scope.throwException(exec, exception);
157                 return nullptr;
158             }
159         }
160
161         builder.append(parameterBuilder);
162         builder.appendLiteral(") {\n");
163         checkBody(body);
164         RETURN_IF_EXCEPTION(scope, nullptr);
165         builder.append(body);
166         builder.appendLiteral("\n}}");
167         program = builder.toString();
168     }
169
170     SourceCode source = makeSource(program, sourceOrigin, sourceURL, position);
171     JSObject* exception = nullptr;
172     FunctionExecutable* function = FunctionExecutable::fromGlobalCode(functionName, *exec, source, exception, overrideLineNumber);
173     if (!function) {
174         ASSERT(exception);
175         return throwException(exec, scope, exception);
176     }
177
178     Structure* structure = nullptr;
179     switch (functionConstructionMode) {
180     case FunctionConstructionMode::Function:
181         structure = JSFunction::selectStructureForNewFuncExp(globalObject, function);
182         break;
183     case FunctionConstructionMode::Generator:
184         structure = globalObject->generatorFunctionStructure();
185         break;
186     case FunctionConstructionMode::Async:
187         structure = globalObject->asyncFunctionStructure();
188         break;
189     case FunctionConstructionMode::AsyncGenerator:
190         structure = globalObject->asyncGeneratorFunctionStructure();
191         break;
192     }
193
194     Structure* subclassStructure = InternalFunction::createSubclassStructure(exec, newTarget, structure);
195     RETURN_IF_EXCEPTION(scope, nullptr);
196
197     switch (functionConstructionMode) {
198     case FunctionConstructionMode::Function:
199         return JSFunction::create(vm, function, globalObject->globalScope(), subclassStructure);
200     case FunctionConstructionMode::Generator:
201         return JSGeneratorFunction::create(vm, function, globalObject->globalScope(), subclassStructure);
202     case FunctionConstructionMode::Async:
203         return JSAsyncFunction::create(vm, function, globalObject->globalScope(), subclassStructure);
204     case FunctionConstructionMode::AsyncGenerator:
205         return JSAsyncGeneratorFunction::create(vm, function, globalObject->globalScope(), subclassStructure);
206     }
207
208     ASSERT_NOT_REACHED();
209     return nullptr;
210 }
211
212 // ECMA 15.3.2 The Function Constructor
213 JSObject* constructFunction(ExecState* exec, JSGlobalObject* globalObject, const ArgList& args, FunctionConstructionMode functionConstructionMode, JSValue newTarget)
214 {
215     VM& vm = exec->vm();
216     return constructFunction(exec, globalObject, args, vm.propertyNames->anonymous, exec->callerSourceOrigin(), String(), TextPosition(), functionConstructionMode, newTarget);
217 }
218
219 } // namespace JSC