1/*
2 * Copyright (C) 2008, 2009 Apple Inc. All rights reserved.
3 *
4 * Redistribution and use in source and binary forms, with or without
5 * modification, are permitted provided that the following conditions
6 * are met:
7 *
8 * 1. Redistributions of source code must retain the above copyright
9 * notice, this list of conditions and the following disclaimer.
10 * 2. Redistributions in binary form must reproduce the above copyright
11 * notice, this list of conditions and the following disclaimer in the
12 * documentation and/or other materials provided with the distribution.
13 * 3. Neither the name of Apple Computer, Inc. ("Apple") nor the names of
14 * its contributors may be used to endorse or promote products derived
15 * from this software without specific prior written permission.
16 *
17 * THIS SOFTWARE IS PROVIDED BY APPLE AND ITS CONTRIBUTORS "AS IS" AND ANY
18 * EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
19 * WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
20 * DISCLAIMED. IN NO EVENT SHALL APPLE OR ITS CONTRIBUTORS BE LIABLE FOR ANY
21 * DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
22 * (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
23 * LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND
24 * ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
25 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
26 * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
27 */
28
29#include "config.h"
30#include "ExceptionHelpers.h"
31
32#include "CodeBlock.h"
33#include "CallFrame.h"
34#include "JSGlobalObjectFunctions.h"
35#include "JSObject.h"
36#include "JSNotAnObject.h"
37#include "Interpreter.h"
38#include "Nodes.h"
39
40namespace JSC {
41
42class InterruptedExecutionError : public JSObject {
43public:
44 InterruptedExecutionError(JSGlobalData* globalData)
45 : JSObject(globalData->interruptedExecutionErrorStructure)
46 {
47 }
48
49 virtual bool isWatchdogException() const { return true; }
50
51 virtual UString toString(ExecState*) const { return "JavaScript execution exceeded timeout."; }
52};
53
54JSValue createInterruptedExecutionException(JSGlobalData* globalData)
55{
56 return new (globalData) InterruptedExecutionError(globalData);
57}
58
59static JSValue createError(ExecState* exec, ErrorType e, const char* msg)
60{
61 return Error::create(exec, e, message: msg, lineNumber: -1, sourceID: -1, sourceURL: 0);
62}
63
64JSValue createStackOverflowError(ExecState* exec)
65{
66 return createError(exec, e: RangeError, msg: "Maximum call stack size exceeded.");
67}
68
69JSValue createTypeError(ExecState* exec, const char* message)
70{
71 return createError(exec, e: TypeError, msg: message);
72}
73
74JSValue createUndefinedVariableError(ExecState* exec, const Identifier& ident, unsigned bytecodeOffset, CodeBlock* codeBlock)
75{
76 int startOffset = 0;
77 int endOffset = 0;
78 int divotPoint = 0;
79 int line = codeBlock->expressionRangeForBytecodeOffset(exec, bytecodeOffset, divot&: divotPoint, startOffset, endOffset);
80 JSObject* exception = Error::create(exec, ReferenceError, message: makeString(string1: "Can't find variable: ", string2: ident.ustring()), lineNumber: line, sourceID: codeBlock->ownerExecutable()->sourceID(), sourceURL: codeBlock->ownerExecutable()->sourceURL());
81 exception->putWithAttributes(exec, propertyName: Identifier(exec, expressionBeginOffsetPropertyName), value: jsNumber(exec, i: divotPoint - startOffset), attributes: ReadOnly | DontDelete);
82 exception->putWithAttributes(exec, propertyName: Identifier(exec, expressionCaretOffsetPropertyName), value: jsNumber(exec, i: divotPoint), attributes: ReadOnly | DontDelete);
83 exception->putWithAttributes(exec, propertyName: Identifier(exec, expressionEndOffsetPropertyName), value: jsNumber(exec, i: divotPoint + endOffset), attributes: ReadOnly | DontDelete);
84 return exception;
85}
86
87static UString createErrorMessage(ExecState* exec, CodeBlock* codeBlock, int, int expressionStart, int expressionStop, JSValue value, UString error)
88{
89 if (!expressionStop || expressionStart > codeBlock->source()->length())
90 return makeString(string1: value.toString(exec), string2: " is ", string3: error);
91 if (expressionStart < expressionStop)
92 return makeString(string1: "Result of expression '", string2: codeBlock->source()->getRange(start: expressionStart, end: expressionStop), string3: "' [", string4: value.toString(exec), string5: "] is ", string6: error, string7: ".");
93
94 // No range information, so give a few characters of context
95 const UChar* data = codeBlock->source()->data();
96 int dataLength = codeBlock->source()->length();
97 int start = expressionStart;
98 int stop = expressionStart;
99 // Get up to 20 characters of context to the left and right of the divot, clamping to the line.
100 // then strip whitespace.
101 while (start > 0 && (expressionStart - start < 20) && data[start - 1] != '\n')
102 start--;
103 while (start < (expressionStart - 1) && isStrWhiteSpace(data[start]))
104 start++;
105 while (stop < dataLength && (stop - expressionStart < 20) && data[stop] != '\n')
106 stop++;
107 while (stop > expressionStart && isStrWhiteSpace(data[stop]))
108 stop--;
109 return makeString(string1: "Result of expression near '...", string2: codeBlock->source()->getRange(start, end: stop), string3: "...' [", string4: value.toString(exec), string5: "] is ", string6: error, string7: ".");
110}
111
112JSObject* createInvalidParamError(ExecState* exec, const char* op, JSValue value, unsigned bytecodeOffset, CodeBlock* codeBlock)
113{
114 int startOffset = 0;
115 int endOffset = 0;
116 int divotPoint = 0;
117 int line = codeBlock->expressionRangeForBytecodeOffset(exec, bytecodeOffset, divot&: divotPoint, startOffset, endOffset);
118 UString errorMessage = createErrorMessage(exec, codeBlock, line, expressionStart: divotPoint, expressionStop: divotPoint + endOffset, value, error: makeString(string1: "not a valid argument for '", string2: op, string3: "'"));
119 JSObject* exception = Error::create(exec, TypeError, message: errorMessage, lineNumber: line, sourceID: codeBlock->ownerExecutable()->sourceID(), sourceURL: codeBlock->ownerExecutable()->sourceURL());
120 exception->putWithAttributes(exec, propertyName: Identifier(exec, expressionBeginOffsetPropertyName), value: jsNumber(exec, i: divotPoint - startOffset), attributes: ReadOnly | DontDelete);
121 exception->putWithAttributes(exec, propertyName: Identifier(exec, expressionCaretOffsetPropertyName), value: jsNumber(exec, i: divotPoint), attributes: ReadOnly | DontDelete);
122 exception->putWithAttributes(exec, propertyName: Identifier(exec, expressionEndOffsetPropertyName), value: jsNumber(exec, i: divotPoint + endOffset), attributes: ReadOnly | DontDelete);
123 return exception;
124}
125
126JSObject* createNotAConstructorError(ExecState* exec, JSValue value, unsigned bytecodeOffset, CodeBlock* codeBlock)
127{
128 int startOffset = 0;
129 int endOffset = 0;
130 int divotPoint = 0;
131 int line = codeBlock->expressionRangeForBytecodeOffset(exec, bytecodeOffset, divot&: divotPoint, startOffset, endOffset);
132
133 // We're in a "new" expression, so we need to skip over the "new.." part
134 int startPoint = divotPoint - (startOffset ? startOffset - 4 : 0); // -4 for "new "
135 const UChar* data = codeBlock->source()->data();
136 while (startPoint < divotPoint && isStrWhiteSpace(data[startPoint]))
137 startPoint++;
138
139 UString errorMessage = createErrorMessage(exec, codeBlock, line, expressionStart: startPoint, expressionStop: divotPoint, value, error: "not a constructor");
140 JSObject* exception = Error::create(exec, TypeError, message: errorMessage, lineNumber: line, sourceID: codeBlock->ownerExecutable()->sourceID(), sourceURL: codeBlock->ownerExecutable()->sourceURL());
141 exception->putWithAttributes(exec, propertyName: Identifier(exec, expressionBeginOffsetPropertyName), value: jsNumber(exec, i: divotPoint - startOffset), attributes: ReadOnly | DontDelete);
142 exception->putWithAttributes(exec, propertyName: Identifier(exec, expressionCaretOffsetPropertyName), value: jsNumber(exec, i: divotPoint), attributes: ReadOnly | DontDelete);
143 exception->putWithAttributes(exec, propertyName: Identifier(exec, expressionEndOffsetPropertyName), value: jsNumber(exec, i: divotPoint + endOffset), attributes: ReadOnly | DontDelete);
144 return exception;
145}
146
147JSValue createNotAFunctionError(ExecState* exec, JSValue value, unsigned bytecodeOffset, CodeBlock* codeBlock)
148{
149 int startOffset = 0;
150 int endOffset = 0;
151 int divotPoint = 0;
152 int line = codeBlock->expressionRangeForBytecodeOffset(exec, bytecodeOffset, divot&: divotPoint, startOffset, endOffset);
153 UString errorMessage = createErrorMessage(exec, codeBlock, line, expressionStart: divotPoint - startOffset, expressionStop: divotPoint, value, error: "not a function");
154 JSObject* exception = Error::create(exec, TypeError, message: errorMessage, lineNumber: line, sourceID: codeBlock->ownerExecutable()->sourceID(), sourceURL: codeBlock->ownerExecutable()->sourceURL());
155 exception->putWithAttributes(exec, propertyName: Identifier(exec, expressionBeginOffsetPropertyName), value: jsNumber(exec, i: divotPoint - startOffset), attributes: ReadOnly | DontDelete);
156 exception->putWithAttributes(exec, propertyName: Identifier(exec, expressionCaretOffsetPropertyName), value: jsNumber(exec, i: divotPoint), attributes: ReadOnly | DontDelete);
157 exception->putWithAttributes(exec, propertyName: Identifier(exec, expressionEndOffsetPropertyName), value: jsNumber(exec, i: divotPoint + endOffset), attributes: ReadOnly | DontDelete);
158 return exception;
159}
160
161JSNotAnObjectErrorStub* createNotAnObjectErrorStub(ExecState* exec, bool isNull)
162{
163 return new (exec) JSNotAnObjectErrorStub(exec, isNull);
164}
165
166JSObject* createNotAnObjectError(ExecState* exec, JSNotAnObjectErrorStub* error, unsigned bytecodeOffset, CodeBlock* codeBlock)
167{
168 // Both op_construct and op_instanceof require a use of op_get_by_id to get
169 // the prototype property from an object. The exception messages for exceptions
170 // thrown by these instances op_get_by_id need to reflect this.
171 OpcodeID followingOpcodeID;
172 if (codeBlock->getByIdExceptionInfoForBytecodeOffset(exec, bytecodeOffset, followingOpcodeID)) {
173 ASSERT(followingOpcodeID == op_construct || followingOpcodeID == op_instanceof);
174 if (followingOpcodeID == op_construct)
175 return createNotAConstructorError(exec, value: error->isNull() ? jsNull() : jsUndefined(), bytecodeOffset, codeBlock);
176 return createInvalidParamError(exec, op: "instanceof", value: error->isNull() ? jsNull() : jsUndefined(), bytecodeOffset, codeBlock);
177 }
178
179 int startOffset = 0;
180 int endOffset = 0;
181 int divotPoint = 0;
182 int line = codeBlock->expressionRangeForBytecodeOffset(exec, bytecodeOffset, divot&: divotPoint, startOffset, endOffset);
183 UString errorMessage = createErrorMessage(exec, codeBlock, line, expressionStart: divotPoint - startOffset, expressionStop: divotPoint, value: error->isNull() ? jsNull() : jsUndefined(), error: "not an object");
184 JSObject* exception = Error::create(exec, TypeError, message: errorMessage, lineNumber: line, sourceID: codeBlock->ownerExecutable()->sourceID(), sourceURL: codeBlock->ownerExecutable()->sourceURL());
185 exception->putWithAttributes(exec, propertyName: Identifier(exec, expressionBeginOffsetPropertyName), value: jsNumber(exec, i: divotPoint - startOffset), attributes: ReadOnly | DontDelete);
186 exception->putWithAttributes(exec, propertyName: Identifier(exec, expressionCaretOffsetPropertyName), value: jsNumber(exec, i: divotPoint), attributes: ReadOnly | DontDelete);
187 exception->putWithAttributes(exec, propertyName: Identifier(exec, expressionEndOffsetPropertyName), value: jsNumber(exec, i: divotPoint + endOffset), attributes: ReadOnly | DontDelete);
188 return exception;
189}
190
191} // namespace JSC
192

source code of qtscript/src/3rdparty/javascriptcore/JavaScriptCore/runtime/ExceptionHelpers.cpp