[JSC][DFG][DOMJIT] Extend CheckDOM to CheckSubClass
[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     JSGlobalObject* globalObject = exec->lexicalGlobalObject();
64     return createRangeError(exec, globalObject, message, appender);
65 }
66
67 JSObject* createRangeError(ExecState* exec, JSGlobalObject* globalObject, const String& message, ErrorInstance::SourceAppender appender)
68 {
69     ASSERT(!message.isEmpty());
70     return ErrorInstance::create(exec, globalObject->vm(), globalObject->rangeErrorConstructor()->errorStructure(), message, appender, TypeNothing, true);
71 }
72
73 JSObject* createReferenceError(ExecState* exec, const String& message, ErrorInstance::SourceAppender appender)
74 {
75     ASSERT(!message.isEmpty());
76     JSGlobalObject* globalObject = exec->lexicalGlobalObject();
77     return ErrorInstance::create(exec, globalObject->vm(), globalObject->referenceErrorConstructor()->errorStructure(), message, appender, TypeNothing, true);
78 }
79
80 JSObject* createSyntaxError(ExecState* exec, const String& message, ErrorInstance::SourceAppender appender)
81 {
82     ASSERT(!message.isEmpty());
83     JSGlobalObject* globalObject = exec->lexicalGlobalObject();
84     return ErrorInstance::create(exec, globalObject->vm(), globalObject->syntaxErrorConstructor()->errorStructure(), message, appender, TypeNothing, true);
85 }
86
87 JSObject* createTypeError(ExecState* exec, const String& message, ErrorInstance::SourceAppender appender, RuntimeType type)
88 {
89     ASSERT(!message.isEmpty());
90     JSGlobalObject* globalObject = exec->lexicalGlobalObject();
91     return ErrorInstance::create(exec, globalObject->vm(), globalObject->typeErrorConstructor()->errorStructure(), message, appender, type, true);
92 }
93
94 JSObject* createNotEnoughArgumentsError(ExecState* exec, ErrorInstance::SourceAppender appender)
95 {
96     return createTypeError(exec, ASCIILiteral("Not enough arguments"), appender, TypeNothing);
97 }
98
99 JSObject* createURIError(ExecState* exec, const String& message, ErrorInstance::SourceAppender appender)
100 {
101     ASSERT(!message.isEmpty());
102     JSGlobalObject* globalObject = exec->lexicalGlobalObject();
103     return ErrorInstance::create(exec, globalObject->vm(), globalObject->URIErrorConstructor()->errorStructure(), message, appender, TypeNothing, true);
104 }
105
106 JSObject* createError(ExecState* exec, ErrorType errorType, const String& message)
107 {
108     switch (errorType) {
109     case ErrorType::Error:
110         return createError(exec, message);
111     case ErrorType::EvalError:
112         return createEvalError(exec, message);
113     case ErrorType::RangeError:
114         return createRangeError(exec, message);
115     case ErrorType::ReferenceError:
116         return createReferenceError(exec, message);
117     case ErrorType::SyntaxError:
118         return createSyntaxError(exec, message);
119     case ErrorType::TypeError:
120         return createTypeError(exec, message);
121     case ErrorType::URIError:
122         return createURIError(exec, message);
123     }
124     ASSERT_NOT_REACHED();
125     return nullptr;
126 }
127
128 class FindFirstCallerFrameWithCodeblockFunctor {
129 public:
130     FindFirstCallerFrameWithCodeblockFunctor(CallFrame* startCallFrame)
131         : m_startCallFrame(startCallFrame)
132         , m_foundCallFrame(nullptr)
133         , m_foundStartCallFrame(false)
134         , m_index(0)
135     { }
136
137     StackVisitor::Status operator()(StackVisitor& visitor) const
138     {
139         if (!m_foundStartCallFrame && (visitor->callFrame() == m_startCallFrame))
140             m_foundStartCallFrame = true;
141
142         if (m_foundStartCallFrame) {
143             if (visitor->callFrame()->codeBlock()) {
144                 m_foundCallFrame = visitor->callFrame();
145                 return StackVisitor::Done;
146             }
147             m_index++;
148         }
149
150         return StackVisitor::Continue;
151     }
152
153     CallFrame* foundCallFrame() const { return m_foundCallFrame; }
154     unsigned index() const { return m_index; }
155
156 private:
157     CallFrame* m_startCallFrame;
158     mutable CallFrame* m_foundCallFrame;
159     mutable bool m_foundStartCallFrame;
160     mutable unsigned m_index;
161 };
162
163 bool addErrorInfoAndGetBytecodeOffset(ExecState* exec, VM& vm, JSObject* obj, bool useCurrentFrame, CallFrame*& callFrame, unsigned* bytecodeOffset)
164 {
165     JSGlobalObject* globalObject = obj->globalObject();
166     ErrorConstructor* errorConstructor = globalObject->errorConstructor();
167     if (!errorConstructor->stackTraceLimit())
168         return false;
169
170     Vector<StackFrame> stackTrace = Vector<StackFrame>();
171     size_t framesToSkip = useCurrentFrame ? 0 : 1;
172     vm.interpreter->getStackTrace(stackTrace, framesToSkip, errorConstructor->stackTraceLimit().value());
173     if (!stackTrace.isEmpty()) {
174
175         ASSERT(exec == vm.topCallFrame || exec == exec->lexicalGlobalObject()->globalExec() || exec == exec->vmEntryGlobalObject()->globalExec());
176
177         StackFrame* firstFrameWithLineAndColumnInfo = nullptr;
178         for (unsigned i = 0 ; i < stackTrace.size(); ++i) {
179             firstFrameWithLineAndColumnInfo = &stackTrace.at(i);
180             if (firstFrameWithLineAndColumnInfo->hasLineAndColumnInfo())
181                 break;
182         }
183
184         if (bytecodeOffset) {
185             FindFirstCallerFrameWithCodeblockFunctor functor(exec);
186             StackVisitor::visit(vm.topCallFrame, &vm, functor);
187             callFrame = functor.foundCallFrame();
188             unsigned stackIndex = functor.index();
189             *bytecodeOffset = 0;
190             if (stackIndex < stackTrace.size() && stackTrace.at(stackIndex).hasBytecodeOffset())
191                 *bytecodeOffset = stackTrace.at(stackIndex).bytecodeOffset();
192         }
193         
194         unsigned line;
195         unsigned column;
196         firstFrameWithLineAndColumnInfo->computeLineAndColumn(line, column);
197         obj->putDirect(vm, vm.propertyNames->line, jsNumber(line));
198         obj->putDirect(vm, vm.propertyNames->column, jsNumber(column));
199
200         String frameSourceURL = firstFrameWithLineAndColumnInfo->sourceURL();
201         if (!frameSourceURL.isEmpty())
202             obj->putDirect(vm, vm.propertyNames->sourceURL, jsString(&vm, frameSourceURL));
203
204         obj->putDirect(vm, vm.propertyNames->stack, Interpreter::stackTraceAsString(vm, stackTrace), DontEnum);
205
206         return true;
207     }
208
209     obj->putDirect(vm, vm.propertyNames->stack, vm.smallStrings.emptyString(), DontEnum);
210     return false;
211 }
212
213 void addErrorInfo(ExecState* exec, JSObject* obj, bool useCurrentFrame)
214 {
215     CallFrame* callFrame = nullptr;
216     addErrorInfoAndGetBytecodeOffset(exec, exec->vm(), obj, useCurrentFrame, callFrame);
217 }
218
219 JSObject* addErrorInfo(CallFrame* callFrame, JSObject* error, int line, const SourceCode& source)
220 {
221     VM* vm = &callFrame->vm();
222     const String& sourceURL = source.provider()->url();
223
224     if (line != -1)
225         error->putDirect(*vm, Identifier::fromString(vm, linePropertyName), jsNumber(line));
226     if (!sourceURL.isNull())
227         error->putDirect(*vm, Identifier::fromString(vm, sourceURLPropertyName), jsString(vm, sourceURL));
228     return error;
229 }
230
231 JSObject* throwConstructorCannotBeCalledAsFunctionTypeError(ExecState* exec, ThrowScope& scope, const char* constructorName)
232 {
233     return throwTypeError(exec, scope, makeString("calling ", constructorName, " constructor without new is invalid"));
234 }
235
236 JSObject* throwTypeError(ExecState* exec, ThrowScope& scope)
237 {
238     return throwException(exec, scope, createTypeError(exec));
239 }
240
241 JSObject* throwTypeError(ExecState* exec, ThrowScope& scope, ASCIILiteral errorMessage)
242 {
243     return throwTypeError(exec, scope, String(errorMessage));
244 }
245
246 JSObject* throwTypeError(ExecState* exec, ThrowScope& scope, const String& message)
247 {
248     return throwException(exec, scope, createTypeError(exec, message));
249 }
250
251 JSObject* throwSyntaxError(ExecState* exec, ThrowScope& scope)
252 {
253     return throwException(exec, scope, createSyntaxError(exec, ASCIILiteral("Syntax error")));
254 }
255
256 JSObject* throwSyntaxError(ExecState* exec, ThrowScope& scope, const String& message)
257 {
258     return throwException(exec, scope, createSyntaxError(exec, message));
259 }
260
261 JSObject* createError(ExecState* exec, const String& message)
262 {
263     return createError(exec, message, nullptr);
264 }
265
266 JSObject* createEvalError(ExecState* exec, const String& message)
267 {
268     return createEvalError(exec, message, nullptr);
269 }
270
271 JSObject* createRangeError(ExecState* exec, const String& message)
272 {
273     return createRangeError(exec, message, nullptr);
274 }
275
276 JSObject* createRangeError(ExecState* exec, JSGlobalObject* globalObject, const String& message)
277 {
278     return createRangeError(exec, globalObject, message, nullptr);
279 }
280
281 JSObject* createReferenceError(ExecState* exec, const String& message)
282 {
283     return createReferenceError(exec, message, nullptr);
284 }
285
286 JSObject* createSyntaxError(ExecState* exec, const String& message)
287 {
288     return createSyntaxError(exec, message, nullptr);
289 }
290
291 JSObject* createTypeError(ExecState* exec)
292 {
293     return createTypeError(exec, ASCIILiteral("Type error"));
294 }
295
296 JSObject* createTypeError(ExecState* exec, const String& message)
297 {
298     return createTypeError(exec, message, nullptr, TypeNothing);
299 }
300
301 JSObject* createNotEnoughArgumentsError(ExecState* exec)
302 {
303     return createNotEnoughArgumentsError(exec, nullptr);
304 }
305
306 JSObject* createURIError(ExecState* exec, const String& message)
307 {
308     return createURIError(exec, message, nullptr);
309 }
310
311 JSObject* createOutOfMemoryError(ExecState* exec)
312 {
313     return createError(exec, ASCIILiteral("Out of memory"), nullptr);
314 }
315
316
317 const ClassInfo StrictModeTypeErrorFunction::s_info = { "Function", &Base::s_info, nullptr, nullptr, CREATE_METHOD_TABLE(StrictModeTypeErrorFunction) };
318
319 void StrictModeTypeErrorFunction::destroy(JSCell* cell)
320 {
321     static_cast<StrictModeTypeErrorFunction*>(cell)->StrictModeTypeErrorFunction::~StrictModeTypeErrorFunction();
322 }
323
324 } // namespace JSC
325
326 namespace WTF {
327
328 using namespace JSC;
329
330 void printInternal(PrintStream& out, JSC::ErrorType errorType)
331 {
332     switch (errorType) {
333     case JSC::ErrorType::Error:
334         out.print("Error");
335         break;
336     case JSC::ErrorType::EvalError:
337         out.print("EvalError");
338         break;
339     case JSC::ErrorType::RangeError:
340         out.print("RangeError");
341         break;
342     case JSC::ErrorType::ReferenceError:
343         out.print("ReferenceError");
344         break;
345     case JSC::ErrorType::SyntaxError:
346         out.print("SyntaxError");
347         break;
348     case JSC::ErrorType::TypeError:
349         out.print("TypeError");
350         break;
351     case JSC::ErrorType::URIError:
352         out.print("URIError");
353         break;
354     }
355 }
356
357 } // namespace WTF