a839c9411fd6a8a9efb7fd1aa887ced6550668fc
[WebKit-https.git] / Source / JavaScriptCore / runtime / JSActivation.cpp
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 "JSActivation.h"
31
32 #include "Arguments.h"
33 #include "Interpreter.h"
34 #include "JSFunction.h"
35 #include "Operations.h"
36
37 using namespace std;
38
39 namespace JSC {
40
41 const ClassInfo JSActivation::s_info = { "JSActivation", &Base::s_info, 0, 0, CREATE_METHOD_TABLE(JSActivation) };
42
43 void JSActivation::visitChildren(JSCell* cell, SlotVisitor& visitor)
44 {
45     JSActivation* thisObject = jsCast<JSActivation*>(cell);
46     ASSERT_GC_OBJECT_INHERITS(thisObject, info());
47     COMPILE_ASSERT(StructureFlags & OverridesVisitChildren, OverridesVisitChildrenWithoutSettingFlag);
48     ASSERT(thisObject->structure()->typeInfo().overridesVisitChildren());
49     Base::visitChildren(thisObject, visitor);
50
51     // No need to mark our registers if they're still in the JSStack.
52     if (!thisObject->isTornOff())
53         return;
54
55     for (int i = 0; i < thisObject->symbolTable()->captureCount(); ++i)
56         visitor.append(&thisObject->storage()[i]);
57 }
58
59 inline bool JSActivation::symbolTableGet(PropertyName propertyName, PropertySlot& slot)
60 {
61     SymbolTableEntry entry = symbolTable()->inlineGet(propertyName.publicName());
62     if (entry.isNull())
63         return false;
64
65     // Defend against the inspector asking for a var after it has been optimized out.
66     if (isTornOff() && !isValid(entry))
67         return false;
68
69     slot.setValue(this, DontEnum, registerAt(entry.getIndex()).get());
70     return true;
71 }
72
73 inline bool JSActivation::symbolTableGet(PropertyName propertyName, PropertyDescriptor& descriptor)
74 {
75     SymbolTableEntry entry = symbolTable()->inlineGet(propertyName.publicName());
76     if (entry.isNull())
77         return false;
78
79     // Defend against the inspector asking for a var after it has been optimized out.
80     if (isTornOff() && !isValid(entry))
81         return false;
82
83     descriptor.setDescriptor(registerAt(entry.getIndex()).get(), entry.getAttributes());
84     return true;
85 }
86
87 inline bool JSActivation::symbolTablePut(ExecState* exec, PropertyName propertyName, JSValue value, bool shouldThrow)
88 {
89     VM& vm = exec->vm();
90     ASSERT(!Heap::heap(value) || Heap::heap(value) == Heap::heap(this));
91     
92     SymbolTableEntry entry = symbolTable()->inlineGet(propertyName.publicName());
93     if (entry.isNull())
94         return false;
95     if (entry.isReadOnly()) {
96         if (shouldThrow)
97             throwTypeError(exec, StrictModeReadonlyPropertyWriteError);
98         return true;
99     }
100
101     // Defend against the inspector asking for a var after it has been optimized out.
102     if (isTornOff() && !isValid(entry))
103         return false;
104
105     registerAt(entry.getIndex()).set(vm, this, value);
106     return true;
107 }
108
109 void JSActivation::getOwnNonIndexPropertyNames(JSObject* object, ExecState* exec, PropertyNameArray& propertyNames, EnumerationMode mode)
110 {
111     JSActivation* thisObject = jsCast<JSActivation*>(object);
112
113     CallFrame* callFrame = CallFrame::create(reinterpret_cast<Register*>(thisObject->m_registers));
114     if (mode == IncludeDontEnumProperties && !thisObject->isTornOff() && (callFrame->codeBlock()->usesArguments() || callFrame->codeBlock()->usesEval()))
115         propertyNames.add(exec->propertyNames().arguments);
116
117     {
118         ConcurrentJITLocker locker(thisObject->symbolTable()->m_lock);
119         SymbolTable::Map::iterator end = thisObject->symbolTable()->end(locker);
120         for (SymbolTable::Map::iterator it = thisObject->symbolTable()->begin(locker); it != end; ++it) {
121             if (it->value.getAttributes() & DontEnum && mode != IncludeDontEnumProperties)
122                 continue;
123             if (!thisObject->isValid(it->value))
124                 continue;
125             propertyNames.add(Identifier(exec, it->key.get()));
126         }
127     }
128     // Skip the JSVariableObject implementation of getOwnNonIndexPropertyNames
129     JSObject::getOwnNonIndexPropertyNames(thisObject, exec, propertyNames, mode);
130 }
131
132 inline bool JSActivation::symbolTablePutWithAttributes(VM& vm, PropertyName propertyName, JSValue value, unsigned attributes)
133 {
134     ASSERT(!Heap::heap(value) || Heap::heap(value) == Heap::heap(this));
135     
136     WriteBarrierBase<Unknown>* reg;
137     {
138         ConcurrentJITLocker locker(symbolTable()->m_lock);
139         SymbolTable::Map::iterator iter = symbolTable()->find(locker, propertyName.publicName());
140         if (iter == symbolTable()->end(locker))
141             return false;
142         SymbolTableEntry& entry = iter->value;
143         ASSERT(!entry.isNull());
144         if (!isValid(entry))
145             return false;
146         
147         entry.setAttributes(attributes);
148         reg = &registerAt(entry.getIndex());
149     }
150     reg->set(vm, this, value);
151     return true;
152 }
153
154 bool JSActivation::getOwnPropertySlot(JSObject* object, ExecState* exec, PropertyName propertyName, PropertySlot& slot)
155 {
156     JSActivation* thisObject = jsCast<JSActivation*>(object);
157
158     if (propertyName == exec->propertyNames().arguments) {
159         // Defend against the inspector asking for the arguments object after it has been optimized out.
160         CallFrame* callFrame = CallFrame::create(reinterpret_cast<Register*>(thisObject->m_registers));
161         if (!thisObject->isTornOff() && (callFrame->codeBlock()->usesArguments() || callFrame->codeBlock()->usesEval())) {
162             slot.setCustom(thisObject, DontEnum, argumentsGetter);
163             return true;
164         }
165     }
166
167     if (thisObject->symbolTableGet(propertyName, slot))
168         return true;
169
170     unsigned attributes;
171     if (JSValue value = thisObject->getDirect(exec->vm(), propertyName, attributes)) {
172         slot.setValue(thisObject, attributes, value);
173         return true;
174     }
175
176     // We don't call through to JSObject because there's no way to give an 
177     // activation object getter properties or a prototype.
178     ASSERT(!thisObject->hasGetterSetterProperties());
179     ASSERT(thisObject->prototype().isNull());
180     return false;
181 }
182
183 void JSActivation::put(JSCell* cell, ExecState* exec, PropertyName propertyName, JSValue value, PutPropertySlot& slot)
184 {
185     JSActivation* thisObject = jsCast<JSActivation*>(cell);
186     ASSERT(!Heap::heap(value) || Heap::heap(value) == Heap::heap(thisObject));
187
188     if (thisObject->symbolTablePut(exec, propertyName, value, slot.isStrictMode()))
189         return;
190
191     // We don't call through to JSObject because __proto__ and getter/setter 
192     // properties are non-standard extensions that other implementations do not
193     // expose in the activation object.
194     ASSERT(!thisObject->hasGetterSetterProperties());
195     thisObject->putOwnDataProperty(exec->vm(), propertyName, value, slot);
196 }
197
198 bool JSActivation::deleteProperty(JSCell* cell, ExecState* exec, PropertyName propertyName)
199 {
200     if (propertyName == exec->propertyNames().arguments)
201         return false;
202
203     return Base::deleteProperty(cell, exec, propertyName);
204 }
205
206 JSValue JSActivation::toThis(JSCell*, ExecState* exec, ECMAMode ecmaMode)
207 {
208     if (ecmaMode == StrictMode)
209         return jsUndefined();
210     return exec->globalThisValue();
211 }
212
213 JSValue JSActivation::argumentsGetter(ExecState*, JSValue slotBase, PropertyName)
214 {
215     JSActivation* activation = jsCast<JSActivation*>(slotBase);
216     CallFrame* callFrame = CallFrame::create(reinterpret_cast<Register*>(activation->m_registers));
217     ASSERT(!activation->isTornOff() && (callFrame->codeBlock()->usesArguments() || callFrame->codeBlock()->usesEval()));
218     if (activation->isTornOff() || !(callFrame->codeBlock()->usesArguments() || callFrame->codeBlock()->usesEval()))
219         return jsUndefined();
220
221     VirtualRegister argumentsRegister = callFrame->codeBlock()->argumentsRegister();
222     if (JSValue arguments = callFrame->uncheckedR(argumentsRegister.offset()).jsValue())
223         return arguments;
224     int realArgumentsRegister = unmodifiedArgumentsRegister(argumentsRegister).offset();
225
226     JSValue arguments = JSValue(Arguments::create(callFrame->vm(), callFrame));
227     callFrame->uncheckedR(argumentsRegister.offset()) = arguments;
228     callFrame->uncheckedR(realArgumentsRegister) = arguments;
229     
230     ASSERT(callFrame->uncheckedR(realArgumentsRegister).jsValue().inherits(Arguments::info()));
231     return callFrame->uncheckedR(realArgumentsRegister).jsValue();
232 }
233
234 } // namespace JSC