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
40 namespace JSC {
41
42 class InterruptedExecutionError : public JSObject {
43 public:
InterruptedExecutionError(JSGlobalData * globalData)44 InterruptedExecutionError(JSGlobalData* globalData)
45 : JSObject(globalData->interruptedExecutionErrorStructure)
46 {
47 }
48
isWatchdogException() const49 virtual bool isWatchdogException() const { return true; }
50
toString(ExecState *) const51 virtual UString toString(ExecState*) const { return "JavaScript execution exceeded timeout."; }
52 };
53
createInterruptedExecutionException(JSGlobalData * globalData)54 JSValue createInterruptedExecutionException(JSGlobalData* globalData)
55 {
56 return new (globalData) InterruptedExecutionError(globalData);
57 }
58
createError(ExecState * exec,ErrorType e,const char * msg)59 static JSValue createError(ExecState* exec, ErrorType e, const char* msg)
60 {
61 return Error::create(exec, e, msg, -1, -1, UString());
62 }
63
createStackOverflowError(ExecState * exec)64 JSValue createStackOverflowError(ExecState* exec)
65 {
66 return createError(exec, RangeError, "Maximum call stack size exceeded.");
67 }
68
createTypeError(ExecState * exec,const char * message)69 JSValue createTypeError(ExecState* exec, const char* message)
70 {
71 return createError(exec, TypeError, message);
72 }
73
createUndefinedVariableError(ExecState * exec,const Identifier & ident,unsigned bytecodeOffset,CodeBlock * codeBlock)74 JSValue 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, divotPoint, startOffset, endOffset);
80 JSObject* exception = Error::create(exec, ReferenceError, makeString("Can't find variable: ", ident.ustring()), line, codeBlock->ownerExecutable()->sourceID(), codeBlock->ownerExecutable()->sourceURL());
81 exception->putWithAttributes(exec, Identifier(exec, expressionBeginOffsetPropertyName), jsNumber(exec, divotPoint - startOffset), ReadOnly | DontDelete);
82 exception->putWithAttributes(exec, Identifier(exec, expressionCaretOffsetPropertyName), jsNumber(exec, divotPoint), ReadOnly | DontDelete);
83 exception->putWithAttributes(exec, Identifier(exec, expressionEndOffsetPropertyName), jsNumber(exec, divotPoint + endOffset), ReadOnly | DontDelete);
84 return exception;
85 }
86
createErrorMessage(ExecState * exec,CodeBlock * codeBlock,int,int expressionStart,int expressionStop,JSValue value,UString error)87 static 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(value.toString(exec), " is ", error);
91 if (expressionStart < expressionStop)
92 return makeString("Result of expression '", codeBlock->source()->getRange(expressionStart, expressionStop), "' [", value.toString(exec), "] is ", error, ".");
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("Result of expression near '...", codeBlock->source()->getRange(start, stop), "...' [", value.toString(exec), "] is ", error, ".");
110 }
111
createInvalidParamError(ExecState * exec,const char * op,JSValue value,unsigned bytecodeOffset,CodeBlock * codeBlock)112 JSObject* 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, divotPoint, startOffset, endOffset);
118 UString errorMessage = createErrorMessage(exec, codeBlock, line, divotPoint, divotPoint + endOffset, value, makeString("not a valid argument for '", op, "'"));
119 JSObject* exception = Error::create(exec, TypeError, errorMessage, line, codeBlock->ownerExecutable()->sourceID(), codeBlock->ownerExecutable()->sourceURL());
120 exception->putWithAttributes(exec, Identifier(exec, expressionBeginOffsetPropertyName), jsNumber(exec, divotPoint - startOffset), ReadOnly | DontDelete);
121 exception->putWithAttributes(exec, Identifier(exec, expressionCaretOffsetPropertyName), jsNumber(exec, divotPoint), ReadOnly | DontDelete);
122 exception->putWithAttributes(exec, Identifier(exec, expressionEndOffsetPropertyName), jsNumber(exec, divotPoint + endOffset), ReadOnly | DontDelete);
123 return exception;
124 }
125
createNotAConstructorError(ExecState * exec,JSValue value,unsigned bytecodeOffset,CodeBlock * codeBlock)126 JSObject* 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, 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, startPoint, divotPoint, value, "not a constructor");
140 JSObject* exception = Error::create(exec, TypeError, errorMessage, line, codeBlock->ownerExecutable()->sourceID(), codeBlock->ownerExecutable()->sourceURL());
141 exception->putWithAttributes(exec, Identifier(exec, expressionBeginOffsetPropertyName), jsNumber(exec, divotPoint - startOffset), ReadOnly | DontDelete);
142 exception->putWithAttributes(exec, Identifier(exec, expressionCaretOffsetPropertyName), jsNumber(exec, divotPoint), ReadOnly | DontDelete);
143 exception->putWithAttributes(exec, Identifier(exec, expressionEndOffsetPropertyName), jsNumber(exec, divotPoint + endOffset), ReadOnly | DontDelete);
144 return exception;
145 }
146
createNotAFunctionError(ExecState * exec,JSValue value,unsigned bytecodeOffset,CodeBlock * codeBlock)147 JSValue 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, divotPoint, startOffset, endOffset);
153 UString errorMessage = createErrorMessage(exec, codeBlock, line, divotPoint - startOffset, divotPoint, value, "not a function");
154 JSObject* exception = Error::create(exec, TypeError, errorMessage, line, codeBlock->ownerExecutable()->sourceID(), codeBlock->ownerExecutable()->sourceURL());
155 exception->putWithAttributes(exec, Identifier(exec, expressionBeginOffsetPropertyName), jsNumber(exec, divotPoint - startOffset), ReadOnly | DontDelete);
156 exception->putWithAttributes(exec, Identifier(exec, expressionCaretOffsetPropertyName), jsNumber(exec, divotPoint), ReadOnly | DontDelete);
157 exception->putWithAttributes(exec, Identifier(exec, expressionEndOffsetPropertyName), jsNumber(exec, divotPoint + endOffset), ReadOnly | DontDelete);
158 return exception;
159 }
160
createNotAnObjectErrorStub(ExecState * exec,bool isNull)161 JSNotAnObjectErrorStub* createNotAnObjectErrorStub(ExecState* exec, bool isNull)
162 {
163 return new (exec) JSNotAnObjectErrorStub(exec, isNull);
164 }
165
createNotAnObjectError(ExecState * exec,JSNotAnObjectErrorStub * error,unsigned bytecodeOffset,CodeBlock * codeBlock)166 JSObject* 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, error->isNull() ? jsNull() : jsUndefined(), bytecodeOffset, codeBlock);
176 return createInvalidParamError(exec, "instanceof", 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, divotPoint, startOffset, endOffset);
183 UString errorMessage = createErrorMessage(exec, codeBlock, line, divotPoint - startOffset, divotPoint, error->isNull() ? jsNull() : jsUndefined(), "not an object");
184 JSObject* exception = Error::create(exec, TypeError, errorMessage, line, codeBlock->ownerExecutable()->sourceID(), codeBlock->ownerExecutable()->sourceURL());
185 exception->putWithAttributes(exec, Identifier(exec, expressionBeginOffsetPropertyName), jsNumber(exec, divotPoint - startOffset), ReadOnly | DontDelete);
186 exception->putWithAttributes(exec, Identifier(exec, expressionCaretOffsetPropertyName), jsNumber(exec, divotPoint), ReadOnly | DontDelete);
187 exception->putWithAttributes(exec, Identifier(exec, expressionEndOffsetPropertyName), jsNumber(exec, divotPoint + endOffset), ReadOnly | DontDelete);
188 return exception;
189 }
190
throwOutOfMemoryError(ExecState * exec)191 JSValue throwOutOfMemoryError(ExecState* exec)
192 {
193 return throwError(exec, GeneralError, "Out of memory");
194 }
195
196 } // namespace JSC
197