Introduce the ThrowScope and force every throw site to instantiate a ThrowScope.
[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 "JSArray.h"
32 #include "JSFunction.h"
33 #include "JSGlobalObject.h"
34 #include "JSObject.h"
35 #include "JSString.h"
36 #include "NativeErrorConstructor.h"
37 #include "JSCInlines.h"
38 #include "SourceCode.h"
39
40 namespace JSC {
41
42 static const char* linePropertyName = "line";
43 static const char* sourceURLPropertyName = "sourceURL";
44
45 JSObject* createError(ExecState* exec, const String& message, ErrorInstance::SourceAppender appender)
46 {
47     ASSERT(!message.isEmpty());
48     JSGlobalObject* globalObject = exec->lexicalGlobalObject();
49     return ErrorInstance::create(exec, globalObject->vm(), globalObject->errorStructure(), message, appender, TypeNothing, true);
50 }
51
52 JSObject* createEvalError(ExecState* exec, const String& message, ErrorInstance::SourceAppender appender)
53 {
54     ASSERT(!message.isEmpty());
55     JSGlobalObject* globalObject = exec->lexicalGlobalObject();
56     return ErrorInstance::create(exec, globalObject->vm(), globalObject->evalErrorConstructor()->errorStructure(), message, appender, TypeNothing, true);
57 }
58
59 JSObject* createRangeError(ExecState* exec, const String& message, ErrorInstance::SourceAppender appender)
60 {
61     ASSERT(!message.isEmpty());
62     JSGlobalObject* globalObject = exec->lexicalGlobalObject();
63     return ErrorInstance::create(exec, globalObject->vm(), globalObject->rangeErrorConstructor()->errorStructure(), message, appender, TypeNothing, true);
64 }
65
66 JSObject* createReferenceError(ExecState* exec, const String& message, ErrorInstance::SourceAppender appender)
67 {
68     ASSERT(!message.isEmpty());
69     JSGlobalObject* globalObject = exec->lexicalGlobalObject();
70     return ErrorInstance::create(exec, globalObject->vm(), globalObject->referenceErrorConstructor()->errorStructure(), message, appender, TypeNothing, true);
71 }
72
73 JSObject* createSyntaxError(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->syntaxErrorConstructor()->errorStructure(), message, appender, TypeNothing, true);
78 }
79
80 JSObject* createTypeError(ExecState* exec, const String& message, ErrorInstance::SourceAppender appender, RuntimeType type)
81 {
82     ASSERT(!message.isEmpty());
83     JSGlobalObject* globalObject = exec->lexicalGlobalObject();
84     return ErrorInstance::create(exec, globalObject->vm(), globalObject->typeErrorConstructor()->errorStructure(), message, appender, type, true);
85 }
86
87 JSObject* createNotEnoughArgumentsError(ExecState* exec, ErrorInstance::SourceAppender appender)
88 {
89     return createTypeError(exec, ASCIILiteral("Not enough arguments"), appender, TypeNothing);
90 }
91
92 JSObject* createURIError(ExecState* exec, const String& message, ErrorInstance::SourceAppender appender)
93 {
94     ASSERT(!message.isEmpty());
95     JSGlobalObject* globalObject = exec->lexicalGlobalObject();
96     return ErrorInstance::create(exec, globalObject->vm(), globalObject->URIErrorConstructor()->errorStructure(), message, appender, TypeNothing, true);
97 }
98
99 class FindFirstCallerFrameWithCodeblockFunctor {
100 public:
101     FindFirstCallerFrameWithCodeblockFunctor(CallFrame* startCallFrame)
102         : m_startCallFrame(startCallFrame)
103         , m_foundCallFrame(nullptr)
104         , m_foundStartCallFrame(false)
105         , m_index(0)
106     { }
107
108     StackVisitor::Status operator()(StackVisitor& visitor) const
109     {
110         if (!m_foundStartCallFrame && (visitor->callFrame() == m_startCallFrame))
111             m_foundStartCallFrame = true;
112
113         if (m_foundStartCallFrame) {
114             if (visitor->callFrame()->codeBlock()) {
115                 m_foundCallFrame = visitor->callFrame();
116                 return StackVisitor::Done;
117             }
118             m_index++;
119         }
120
121         return StackVisitor::Continue;
122     }
123
124     CallFrame* foundCallFrame() const { return m_foundCallFrame; }
125     unsigned index() const { return m_index; }
126
127 private:
128     CallFrame* m_startCallFrame;
129     mutable CallFrame* m_foundCallFrame;
130     mutable bool m_foundStartCallFrame;
131     mutable unsigned m_index;
132 };
133
134 bool addErrorInfoAndGetBytecodeOffset(ExecState* exec, VM& vm, JSObject* obj, bool useCurrentFrame, CallFrame*& callFrame, unsigned* bytecodeOffset)
135 {
136     Vector<StackFrame> stackTrace = Vector<StackFrame>();
137
138     size_t framesToSkip = useCurrentFrame ? 0 : 1;
139     vm.interpreter->getStackTrace(stackTrace, framesToSkip);
140     if (!stackTrace.isEmpty()) {
141
142         ASSERT(exec == vm.topCallFrame || exec == exec->lexicalGlobalObject()->globalExec() || exec == exec->vmEntryGlobalObject()->globalExec());
143
144         StackFrame* firstNonNativeFrame = nullptr;
145         for (unsigned i = 0 ; i < stackTrace.size(); ++i) {
146             firstNonNativeFrame = &stackTrace.at(i);
147             if (!firstNonNativeFrame->isNative())
148                 break;
149         }
150
151         if (bytecodeOffset) {
152             FindFirstCallerFrameWithCodeblockFunctor functor(exec);
153             vm.topCallFrame->iterate(functor);
154             callFrame = functor.foundCallFrame();
155             unsigned stackIndex = functor.index();
156             *bytecodeOffset = stackTrace.at(stackIndex).bytecodeOffset;
157         }
158         
159         unsigned line;
160         unsigned column;
161         firstNonNativeFrame->computeLineAndColumn(line, column);
162         obj->putDirect(vm, vm.propertyNames->line, jsNumber(line));
163         obj->putDirect(vm, vm.propertyNames->column, jsNumber(column));
164
165         String frameSourceURL = firstNonNativeFrame->sourceURL();
166         if (!frameSourceURL.isEmpty())
167             obj->putDirect(vm, vm.propertyNames->sourceURL, jsString(&vm, frameSourceURL));
168
169         obj->putDirect(vm, vm.propertyNames->stack, Interpreter::stackTraceAsString(vm, stackTrace), DontEnum);
170
171         return true;
172     }
173     return false;
174 }
175
176 void addErrorInfo(ExecState* exec, JSObject* obj, bool useCurrentFrame)
177 {
178     CallFrame* callFrame = nullptr;
179     addErrorInfoAndGetBytecodeOffset(exec, exec->vm(), obj, useCurrentFrame, callFrame);
180 }
181
182 JSObject* addErrorInfo(CallFrame* callFrame, JSObject* error, int line, const SourceCode& source)
183 {
184     VM* vm = &callFrame->vm();
185     const String& sourceURL = source.provider()->url();
186
187     if (line != -1)
188         error->putDirect(*vm, Identifier::fromString(vm, linePropertyName), jsNumber(line));
189     if (!sourceURL.isNull())
190         error->putDirect(*vm, Identifier::fromString(vm, sourceURLPropertyName), jsString(vm, sourceURL));
191     return error;
192 }
193
194
195 bool hasErrorInfo(ExecState* exec, JSObject* error)
196 {
197     return error->hasProperty(exec, Identifier::fromString(exec, linePropertyName))
198         || error->hasProperty(exec, Identifier::fromString(exec, sourceURLPropertyName));
199 }
200
201 JSObject* throwConstructorCannotBeCalledAsFunctionTypeError(ExecState* exec, ThrowScope& scope, const char* constructorName)
202 {
203     return throwTypeError(exec, scope, makeString("calling ", constructorName, " constructor without new is invalid"));
204 }
205
206 JSObject* throwTypeError(ExecState* exec, ThrowScope& scope)
207 {
208     return throwException(exec, scope, createTypeError(exec));
209 }
210
211 JSObject* throwTypeError(ExecState* exec, ThrowScope& scope, ASCIILiteral errorMessage)
212 {
213     return throwTypeError(exec, scope, String(errorMessage));
214 }
215
216 JSObject* throwTypeError(ExecState* exec, ThrowScope& scope, const String& message)
217 {
218     return throwException(exec, scope, createTypeError(exec, message));
219 }
220
221 JSObject* throwSyntaxError(ExecState* exec, ThrowScope& scope)
222 {
223     return throwException(exec, scope, createSyntaxError(exec, ASCIILiteral("Syntax error")));
224 }
225
226 JSObject* throwSyntaxError(ExecState* exec, ThrowScope& scope, const String& message)
227 {
228     return throwException(exec, scope, createSyntaxError(exec, message));
229 }
230
231 JSObject* createError(ExecState* exec, const String& message)
232 {
233     return createError(exec, message, nullptr);
234 }
235
236 JSObject* createEvalError(ExecState* exec, const String& message)
237 {
238     return createEvalError(exec, message, nullptr);
239 }
240
241 JSObject* createRangeError(ExecState* exec, const String& message)
242 {
243     return createRangeError(exec, message, nullptr);
244 }
245
246 JSObject* createReferenceError(ExecState* exec, const String& message)
247 {
248     return createReferenceError(exec, message, nullptr);
249 }
250
251 JSObject* createSyntaxError(ExecState* exec, const String& message)
252 {
253     return createSyntaxError(exec, message, nullptr);
254 }
255
256 JSObject* createTypeError(ExecState* exec)
257 {
258     return createTypeError(exec, ASCIILiteral("Type error"));
259 }
260
261 JSObject* createTypeError(ExecState* exec, const String& message)
262 {
263     return createTypeError(exec, message, nullptr, TypeNothing);
264 }
265
266 JSObject* createNotEnoughArgumentsError(ExecState* exec)
267 {
268     return createNotEnoughArgumentsError(exec, nullptr);
269 }
270
271 JSObject* createURIError(ExecState* exec, const String& message)
272 {
273     return createURIError(exec, message, nullptr);
274 }
275
276 JSObject* createOutOfMemoryError(ExecState* exec)
277 {
278     return createError(exec, ASCIILiteral("Out of memory"), nullptr);
279 }
280
281
282 const ClassInfo StrictModeTypeErrorFunction::s_info = { "Function", &Base::s_info, 0, CREATE_METHOD_TABLE(StrictModeTypeErrorFunction) };
283
284 void StrictModeTypeErrorFunction::destroy(JSCell* cell)
285 {
286     static_cast<StrictModeTypeErrorFunction*>(cell)->StrictModeTypeErrorFunction::~StrictModeTypeErrorFunction();
287 }
288
289 } // namespace JSC