[JSC] Add @throwXXXError bytecode intrinsic
[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-2006, 2008, 2016 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     Vector<StackFrame> stackTrace = Vector<StackFrame>();
161
162     size_t framesToSkip = useCurrentFrame ? 0 : 1;
163     vm.interpreter->getStackTrace(stackTrace, framesToSkip);
164     if (!stackTrace.isEmpty()) {
165
166         ASSERT(exec == vm.topCallFrame || exec == exec->lexicalGlobalObject()->globalExec() || exec == exec->vmEntryGlobalObject()->globalExec());
167
168         StackFrame* firstNonNativeFrame = nullptr;
169         for (unsigned i = 0 ; i < stackTrace.size(); ++i) {
170             firstNonNativeFrame = &stackTrace.at(i);
171             if (!firstNonNativeFrame->isNative())
172                 break;
173         }
174
175         if (bytecodeOffset) {
176             FindFirstCallerFrameWithCodeblockFunctor functor(exec);
177             vm.topCallFrame->iterate(functor);
178             callFrame = functor.foundCallFrame();
179             unsigned stackIndex = functor.index();
180             *bytecodeOffset = stackTrace.at(stackIndex).bytecodeOffset;
181         }
182         
183         unsigned line;
184         unsigned column;
185         firstNonNativeFrame->computeLineAndColumn(line, column);
186         obj->putDirect(vm, vm.propertyNames->line, jsNumber(line));
187         obj->putDirect(vm, vm.propertyNames->column, jsNumber(column));
188
189         String frameSourceURL = firstNonNativeFrame->sourceURL();
190         if (!frameSourceURL.isEmpty())
191             obj->putDirect(vm, vm.propertyNames->sourceURL, jsString(&vm, frameSourceURL));
192
193         obj->putDirect(vm, vm.propertyNames->stack, Interpreter::stackTraceAsString(vm, stackTrace), DontEnum);
194
195         return true;
196     }
197     return false;
198 }
199
200 void addErrorInfo(ExecState* exec, JSObject* obj, bool useCurrentFrame)
201 {
202     CallFrame* callFrame = nullptr;
203     addErrorInfoAndGetBytecodeOffset(exec, exec->vm(), obj, useCurrentFrame, callFrame);
204 }
205
206 JSObject* addErrorInfo(CallFrame* callFrame, JSObject* error, int line, const SourceCode& source)
207 {
208     VM* vm = &callFrame->vm();
209     const String& sourceURL = source.provider()->url();
210
211     if (line != -1)
212         error->putDirect(*vm, Identifier::fromString(vm, linePropertyName), jsNumber(line));
213     if (!sourceURL.isNull())
214         error->putDirect(*vm, Identifier::fromString(vm, sourceURLPropertyName), jsString(vm, sourceURL));
215     return error;
216 }
217
218 JSObject* throwConstructorCannotBeCalledAsFunctionTypeError(ExecState* exec, ThrowScope& scope, const char* constructorName)
219 {
220     return throwTypeError(exec, scope, makeString("calling ", constructorName, " constructor without new is invalid"));
221 }
222
223 JSObject* throwTypeError(ExecState* exec, ThrowScope& scope)
224 {
225     return throwException(exec, scope, createTypeError(exec));
226 }
227
228 JSObject* throwTypeError(ExecState* exec, ThrowScope& scope, ASCIILiteral errorMessage)
229 {
230     return throwTypeError(exec, scope, String(errorMessage));
231 }
232
233 JSObject* throwTypeError(ExecState* exec, ThrowScope& scope, const String& message)
234 {
235     return throwException(exec, scope, createTypeError(exec, message));
236 }
237
238 JSObject* throwSyntaxError(ExecState* exec, ThrowScope& scope)
239 {
240     return throwException(exec, scope, createSyntaxError(exec, ASCIILiteral("Syntax error")));
241 }
242
243 JSObject* throwSyntaxError(ExecState* exec, ThrowScope& scope, const String& message)
244 {
245     return throwException(exec, scope, createSyntaxError(exec, message));
246 }
247
248 JSObject* createError(ExecState* exec, const String& message)
249 {
250     return createError(exec, message, nullptr);
251 }
252
253 JSObject* createEvalError(ExecState* exec, const String& message)
254 {
255     return createEvalError(exec, message, nullptr);
256 }
257
258 JSObject* createRangeError(ExecState* exec, const String& message)
259 {
260     return createRangeError(exec, message, nullptr);
261 }
262
263 JSObject* createReferenceError(ExecState* exec, const String& message)
264 {
265     return createReferenceError(exec, message, nullptr);
266 }
267
268 JSObject* createSyntaxError(ExecState* exec, const String& message)
269 {
270     return createSyntaxError(exec, message, nullptr);
271 }
272
273 JSObject* createTypeError(ExecState* exec)
274 {
275     return createTypeError(exec, ASCIILiteral("Type error"));
276 }
277
278 JSObject* createTypeError(ExecState* exec, const String& message)
279 {
280     return createTypeError(exec, message, nullptr, TypeNothing);
281 }
282
283 JSObject* createNotEnoughArgumentsError(ExecState* exec)
284 {
285     return createNotEnoughArgumentsError(exec, nullptr);
286 }
287
288 JSObject* createURIError(ExecState* exec, const String& message)
289 {
290     return createURIError(exec, message, nullptr);
291 }
292
293 JSObject* createOutOfMemoryError(ExecState* exec)
294 {
295     return createError(exec, ASCIILiteral("Out of memory"), nullptr);
296 }
297
298
299 const ClassInfo StrictModeTypeErrorFunction::s_info = { "Function", &Base::s_info, 0, CREATE_METHOD_TABLE(StrictModeTypeErrorFunction) };
300
301 void StrictModeTypeErrorFunction::destroy(JSCell* cell)
302 {
303     static_cast<StrictModeTypeErrorFunction*>(cell)->StrictModeTypeErrorFunction::~StrictModeTypeErrorFunction();
304 }
305
306 } // namespace JSC
307
308 namespace WTF {
309
310 using namespace JSC;
311
312 void printInternal(PrintStream& out, JSC::ErrorType errorType)
313 {
314     switch (errorType) {
315     case JSC::ErrorType::Error:
316         out.print("Error");
317         break;
318     case JSC::ErrorType::EvalError:
319         out.print("EvalError");
320         break;
321     case JSC::ErrorType::RangeError:
322         out.print("RangeError");
323         break;
324     case JSC::ErrorType::ReferenceError:
325         out.print("ReferenceError");
326         break;
327     case JSC::ErrorType::SyntaxError:
328         out.print("SyntaxError");
329         break;
330     case JSC::ErrorType::TypeError:
331         out.print("TypeError");
332         break;
333     case JSC::ErrorType::URIError:
334         out.print("URIError");
335         break;
336     }
337 }
338
339 } // namespace WTF