WebAssembly: JSWebAssemblyCallee should not be a JSCell
[WebKit-https.git] / Source / JavaScriptCore / runtime / Error.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. All rights reserved.
5  *  Copyright (C) 2007 Eric Seidel (eric@webkit.org)
6  *
7  *  This library is free software; you can redistribute it and/or
8  *  modify it under the terms of the GNU Library General Public
9  *  License as published by the Free Software Foundation; either
10  *  version 2 of the License, or (at your option) any later version.
11  *
12  *  This library is distributed in the hope that it will be useful,
13  *  but WITHOUT ANY WARRANTY; without even the implied warranty of
14  *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
15  *  Library General Public License for more details.
16  *
17  *  You should have received a copy of the GNU Library General Public License
18  *  along with this library; see the file COPYING.LIB.  If not, write to
19  *  the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor,
20  *  Boston, MA 02110-1301, USA.
21  *
22  */
23
24 #include "config.h"
25 #include "Error.h"
26
27 #include "ConstructData.h"
28 #include "ErrorConstructor.h"
29 #include "ExceptionHelpers.h"
30 #include "FunctionPrototype.h"
31 #include "Interpreter.h"
32 #include "JSArray.h"
33 #include "JSFunction.h"
34 #include "JSGlobalObject.h"
35 #include "JSObject.h"
36 #include "JSString.h"
37 #include "JSCInlines.h"
38 #include "NativeErrorConstructor.h"
39 #include "SourceCode.h"
40 #include "StackFrame.h"
41
42 namespace JSC {
43
44 static const char* linePropertyName = "line";
45 static const char* sourceURLPropertyName = "sourceURL";
46
47 JSObject* createError(ExecState* exec, const String& message, ErrorInstance::SourceAppender appender)
48 {
49     ASSERT(!message.isEmpty());
50     JSGlobalObject* globalObject = exec->lexicalGlobalObject();
51     return ErrorInstance::create(exec, globalObject->vm(), globalObject->errorStructure(), message, appender, TypeNothing, true);
52 }
53
54 JSObject* createEvalError(ExecState* exec, const String& message, ErrorInstance::SourceAppender appender)
55 {
56     ASSERT(!message.isEmpty());
57     JSGlobalObject* globalObject = exec->lexicalGlobalObject();
58     return ErrorInstance::create(exec, globalObject->vm(), globalObject->evalErrorConstructor()->errorStructure(), message, appender, TypeNothing, true);
59 }
60
61 JSObject* createRangeError(ExecState* exec, const String& message, ErrorInstance::SourceAppender appender)
62 {
63     ASSERT(!message.isEmpty());
64     JSGlobalObject* globalObject = exec->lexicalGlobalObject();
65     return ErrorInstance::create(exec, globalObject->vm(), globalObject->rangeErrorConstructor()->errorStructure(), message, appender, TypeNothing, true);
66 }
67
68 JSObject* createReferenceError(ExecState* exec, const String& message, ErrorInstance::SourceAppender appender)
69 {
70     ASSERT(!message.isEmpty());
71     JSGlobalObject* globalObject = exec->lexicalGlobalObject();
72     return ErrorInstance::create(exec, globalObject->vm(), globalObject->referenceErrorConstructor()->errorStructure(), message, appender, TypeNothing, true);
73 }
74
75 JSObject* createSyntaxError(ExecState* exec, const String& message, ErrorInstance::SourceAppender appender)
76 {
77     ASSERT(!message.isEmpty());
78     JSGlobalObject* globalObject = exec->lexicalGlobalObject();
79     return ErrorInstance::create(exec, globalObject->vm(), globalObject->syntaxErrorConstructor()->errorStructure(), message, appender, TypeNothing, true);
80 }
81
82 JSObject* createTypeError(ExecState* exec, const String& message, ErrorInstance::SourceAppender appender, RuntimeType type)
83 {
84     ASSERT(!message.isEmpty());
85     JSGlobalObject* globalObject = exec->lexicalGlobalObject();
86     return ErrorInstance::create(exec, globalObject->vm(), globalObject->typeErrorConstructor()->errorStructure(), message, appender, type, true);
87 }
88
89 JSObject* createNotEnoughArgumentsError(ExecState* exec, ErrorInstance::SourceAppender appender)
90 {
91     return createTypeError(exec, ASCIILiteral("Not enough arguments"), appender, TypeNothing);
92 }
93
94 JSObject* createURIError(ExecState* exec, const String& message, ErrorInstance::SourceAppender appender)
95 {
96     ASSERT(!message.isEmpty());
97     JSGlobalObject* globalObject = exec->lexicalGlobalObject();
98     return ErrorInstance::create(exec, globalObject->vm(), globalObject->URIErrorConstructor()->errorStructure(), message, appender, TypeNothing, true);
99 }
100
101 JSObject* createError(ExecState* exec, ErrorType errorType, const String& message)
102 {
103     switch (errorType) {
104     case ErrorType::Error:
105         return createError(exec, message);
106     case ErrorType::EvalError:
107         return createEvalError(exec, message);
108     case ErrorType::RangeError:
109         return createRangeError(exec, message);
110     case ErrorType::ReferenceError:
111         return createReferenceError(exec, message);
112     case ErrorType::SyntaxError:
113         return createSyntaxError(exec, message);
114     case ErrorType::TypeError:
115         return createTypeError(exec, message);
116     case ErrorType::URIError:
117         return createURIError(exec, message);
118     }
119     ASSERT_NOT_REACHED();
120     return nullptr;
121 }
122
123 class FindFirstCallerFrameWithCodeblockFunctor {
124 public:
125     FindFirstCallerFrameWithCodeblockFunctor(CallFrame* startCallFrame)
126         : m_startCallFrame(startCallFrame)
127         , m_foundCallFrame(nullptr)
128         , m_foundStartCallFrame(false)
129         , m_index(0)
130     { }
131
132     StackVisitor::Status operator()(StackVisitor& visitor) const
133     {
134         if (!m_foundStartCallFrame && (visitor->callFrame() == m_startCallFrame))
135             m_foundStartCallFrame = true;
136
137         if (m_foundStartCallFrame) {
138             if (visitor->callFrame()->codeBlock()) {
139                 m_foundCallFrame = visitor->callFrame();
140                 return StackVisitor::Done;
141             }
142             m_index++;
143         }
144
145         return StackVisitor::Continue;
146     }
147
148     CallFrame* foundCallFrame() const { return m_foundCallFrame; }
149     unsigned index() const { return m_index; }
150
151 private:
152     CallFrame* m_startCallFrame;
153     mutable CallFrame* m_foundCallFrame;
154     mutable bool m_foundStartCallFrame;
155     mutable unsigned m_index;
156 };
157
158 bool addErrorInfoAndGetBytecodeOffset(ExecState* exec, VM& vm, JSObject* obj, bool useCurrentFrame, CallFrame*& callFrame, unsigned* bytecodeOffset)
159 {
160     JSGlobalObject* globalObject = obj->globalObject();
161     ErrorConstructor* errorConstructor = globalObject->errorConstructor();
162     if (!errorConstructor->stackTraceLimit())
163         return false;
164
165     Vector<StackFrame> stackTrace = Vector<StackFrame>();
166     size_t framesToSkip = useCurrentFrame ? 0 : 1;
167     vm.interpreter->getStackTrace(stackTrace, framesToSkip, errorConstructor->stackTraceLimit().value());
168     if (!stackTrace.isEmpty()) {
169
170         ASSERT(exec == vm.topCallFrame || exec == exec->lexicalGlobalObject()->globalExec() || exec == exec->vmEntryGlobalObject()->globalExec());
171
172         StackFrame* firstFrameWithLineAndColumnInfo = nullptr;
173         for (unsigned i = 0 ; i < stackTrace.size(); ++i) {
174             firstFrameWithLineAndColumnInfo = &stackTrace.at(i);
175             if (firstFrameWithLineAndColumnInfo->hasLineAndColumnInfo())
176                 break;
177         }
178
179         if (bytecodeOffset) {
180             FindFirstCallerFrameWithCodeblockFunctor functor(exec);
181             StackVisitor::visit(vm.topCallFrame, &vm, functor);
182             callFrame = functor.foundCallFrame();
183             unsigned stackIndex = functor.index();
184             *bytecodeOffset = 0;
185             if (stackTrace.at(stackIndex).hasBytecodeOffset())
186                 *bytecodeOffset = stackTrace.at(stackIndex).bytecodeOffset();
187         }
188         
189         unsigned line;
190         unsigned column;
191         firstFrameWithLineAndColumnInfo->computeLineAndColumn(line, column);
192         obj->putDirect(vm, vm.propertyNames->line, jsNumber(line));
193         obj->putDirect(vm, vm.propertyNames->column, jsNumber(column));
194
195         String frameSourceURL = firstFrameWithLineAndColumnInfo->sourceURL();
196         if (!frameSourceURL.isEmpty())
197             obj->putDirect(vm, vm.propertyNames->sourceURL, jsString(&vm, frameSourceURL));
198
199         obj->putDirect(vm, vm.propertyNames->stack, Interpreter::stackTraceAsString(vm, stackTrace), DontEnum);
200
201         return true;
202     }
203
204     obj->putDirect(vm, vm.propertyNames->stack, vm.smallStrings.emptyString(), DontEnum);
205     return false;
206 }
207
208 void addErrorInfo(ExecState* exec, JSObject* obj, bool useCurrentFrame)
209 {
210     CallFrame* callFrame = nullptr;
211     addErrorInfoAndGetBytecodeOffset(exec, exec->vm(), obj, useCurrentFrame, callFrame);
212 }
213
214 JSObject* addErrorInfo(CallFrame* callFrame, JSObject* error, int line, const SourceCode& source)
215 {
216     VM* vm = &callFrame->vm();
217     const String& sourceURL = source.provider()->url();
218
219     if (line != -1)
220         error->putDirect(*vm, Identifier::fromString(vm, linePropertyName), jsNumber(line));
221     if (!sourceURL.isNull())
222         error->putDirect(*vm, Identifier::fromString(vm, sourceURLPropertyName), jsString(vm, sourceURL));
223     return error;
224 }
225
226 JSObject* throwConstructorCannotBeCalledAsFunctionTypeError(ExecState* exec, ThrowScope& scope, const char* constructorName)
227 {
228     return throwTypeError(exec, scope, makeString("calling ", constructorName, " constructor without new is invalid"));
229 }
230
231 JSObject* throwTypeError(ExecState* exec, ThrowScope& scope)
232 {
233     return throwException(exec, scope, createTypeError(exec));
234 }
235
236 JSObject* throwTypeError(ExecState* exec, ThrowScope& scope, ASCIILiteral errorMessage)
237 {
238     return throwTypeError(exec, scope, String(errorMessage));
239 }
240
241 JSObject* throwTypeError(ExecState* exec, ThrowScope& scope, const String& message)
242 {
243     return throwException(exec, scope, createTypeError(exec, message));
244 }
245
246 JSObject* throwSyntaxError(ExecState* exec, ThrowScope& scope)
247 {
248     return throwException(exec, scope, createSyntaxError(exec, ASCIILiteral("Syntax error")));
249 }
250
251 JSObject* throwSyntaxError(ExecState* exec, ThrowScope& scope, const String& message)
252 {
253     return throwException(exec, scope, createSyntaxError(exec, message));
254 }
255
256 JSObject* createError(ExecState* exec, const String& message)
257 {
258     return createError(exec, message, nullptr);
259 }
260
261 JSObject* createEvalError(ExecState* exec, const String& message)
262 {
263     return createEvalError(exec, message, nullptr);
264 }
265
266 JSObject* createRangeError(ExecState* exec, const String& message)
267 {
268     return createRangeError(exec, message, nullptr);
269 }
270
271 JSObject* createReferenceError(ExecState* exec, const String& message)
272 {
273     return createReferenceError(exec, message, nullptr);
274 }
275
276 JSObject* createSyntaxError(ExecState* exec, const String& message)
277 {
278     return createSyntaxError(exec, message, nullptr);
279 }
280
281 JSObject* createTypeError(ExecState* exec)
282 {
283     return createTypeError(exec, ASCIILiteral("Type error"));
284 }
285
286 JSObject* createTypeError(ExecState* exec, const String& message)
287 {
288     return createTypeError(exec, message, nullptr, TypeNothing);
289 }
290
291 JSObject* createNotEnoughArgumentsError(ExecState* exec)
292 {
293     return createNotEnoughArgumentsError(exec, nullptr);
294 }
295
296 JSObject* createURIError(ExecState* exec, const String& message)
297 {
298     return createURIError(exec, message, nullptr);
299 }
300
301 JSObject* createOutOfMemoryError(ExecState* exec)
302 {
303     return createError(exec, ASCIILiteral("Out of memory"), nullptr);
304 }
305
306
307 const ClassInfo StrictModeTypeErrorFunction::s_info = { "Function", &Base::s_info, 0, CREATE_METHOD_TABLE(StrictModeTypeErrorFunction) };
308
309 void StrictModeTypeErrorFunction::destroy(JSCell* cell)
310 {
311     static_cast<StrictModeTypeErrorFunction*>(cell)->StrictModeTypeErrorFunction::~StrictModeTypeErrorFunction();
312 }
313
314 } // namespace JSC
315
316 namespace WTF {
317
318 using namespace JSC;
319
320 void printInternal(PrintStream& out, JSC::ErrorType errorType)
321 {
322     switch (errorType) {
323     case JSC::ErrorType::Error:
324         out.print("Error");
325         break;
326     case JSC::ErrorType::EvalError:
327         out.print("EvalError");
328         break;
329     case JSC::ErrorType::RangeError:
330         out.print("RangeError");
331         break;
332     case JSC::ErrorType::ReferenceError:
333         out.print("ReferenceError");
334         break;
335     case JSC::ErrorType::SyntaxError:
336         out.print("SyntaxError");
337         break;
338     case JSC::ErrorType::TypeError:
339         out.print("TypeError");
340         break;
341     case JSC::ErrorType::URIError:
342         out.print("URIError");
343         break;
344     }
345 }
346
347 } // namespace WTF