diff options
Diffstat (limited to 'Source/JavaScriptCore/runtime/PropertySlot.h')
| -rw-r--r-- | Source/JavaScriptCore/runtime/PropertySlot.h | 468 |
1 files changed, 265 insertions, 203 deletions
diff --git a/Source/JavaScriptCore/runtime/PropertySlot.h b/Source/JavaScriptCore/runtime/PropertySlot.h index 6fb80d23d..7e7ee058b 100644 --- a/Source/JavaScriptCore/runtime/PropertySlot.h +++ b/Source/JavaScriptCore/runtime/PropertySlot.h @@ -1,5 +1,5 @@ /* - * Copyright (C) 2005, 2007, 2008 Apple Inc. All rights reserved. + * Copyright (C) 2005, 2007, 2008, 2015 Apple Inc. All rights reserved. * * This library is free software; you can redistribute it and/or * modify it under the terms of the GNU Library General Public @@ -26,216 +26,278 @@ #include "PropertyOffset.h" #include "Register.h" #include <wtf/Assertions.h> -#include <wtf/NotFound.h> namespace JSC { - class ExecState; - class JSObject; - -#define JSC_VALUE_MARKER 0 -#define INDEX_GETTER_MARKER reinterpret_cast<GetValueFunc>(2) -#define GETTER_FUNCTION_MARKER reinterpret_cast<GetValueFunc>(3) - - class PropertySlot { - public: - enum CachedPropertyType { - Uncacheable, - Getter, - Custom, - Value - }; - - PropertySlot() - : m_cachedPropertyType(Uncacheable) - { - clearBase(); - clearOffset(); - clearValue(); - } - - explicit PropertySlot(const JSValue base) - : m_slotBase(base) - , m_cachedPropertyType(Uncacheable) - { - clearOffset(); - clearValue(); - } - - typedef JSValue (*GetValueFunc)(ExecState*, JSValue slotBase, PropertyName); - typedef JSValue (*GetIndexValueFunc)(ExecState*, JSValue slotBase, unsigned); - - JSValue getValue(ExecState* exec, PropertyName propertyName) const - { - if (m_getValue == JSC_VALUE_MARKER) - return m_value; - if (m_getValue == INDEX_GETTER_MARKER) - return m_getIndexValue(exec, slotBase(), index()); - if (m_getValue == GETTER_FUNCTION_MARKER) - return functionGetter(exec); - return m_getValue(exec, slotBase(), propertyName); - } - - JSValue getValue(ExecState* exec, unsigned propertyName) const - { - if (m_getValue == JSC_VALUE_MARKER) - return m_value; - if (m_getValue == INDEX_GETTER_MARKER) - return m_getIndexValue(exec, m_slotBase, m_data.index); - if (m_getValue == GETTER_FUNCTION_MARKER) - return functionGetter(exec); - return m_getValue(exec, slotBase(), Identifier::from(exec, propertyName)); - } - - CachedPropertyType cachedPropertyType() const { return m_cachedPropertyType; } - bool isCacheable() const { return m_cachedPropertyType != Uncacheable; } - bool isCacheableValue() const { return m_cachedPropertyType == Value; } - PropertyOffset cachedOffset() const - { - ASSERT(isCacheable()); - return m_offset; - } - - void setValue(JSValue slotBase, JSValue value) - { - ASSERT(value); - clearOffset(); - m_getValue = JSC_VALUE_MARKER; - m_slotBase = slotBase; - m_value = value; - } +class ExecState; +class GetterSetter; +class JSObject; + +// ECMA 262-3 8.6.1 +// Property attributes +enum Attribute { + None = 0, + ReadOnly = 1 << 1, // property can be only read, not written + DontEnum = 1 << 2, // property doesn't appear in (for .. in ..) + DontDelete = 1 << 3, // property can't be deleted + Accessor = 1 << 4, // property is a getter/setter + CustomAccessor = 1 << 5, + + // Things that are used by static hashtables are not in the attributes byte in PropertyMapEntry. + Function = 1 << 8, // property is a function - only used by static hashtables + Builtin = 1 << 9, // property is a builtin function - only used by static hashtables + ConstantInteger = 1 << 10, // property is a constant integer - only used by static hashtables + BuiltinOrFunction = Builtin | Function, // helper only used by static hashtables + BuiltinOrFunctionOrAccessor = Builtin | Function | Accessor, // helper only used by static hashtables + BuiltinOrFunctionOrAccessorOrConstant = Builtin | Function | Accessor | ConstantInteger, // helper only used by static hashtables +}; + +inline unsigned attributesForStructure(unsigned attributes) +{ + // The attributes that are used just for the static hashtable are at bit 8 and higher. + return static_cast<uint8_t>(attributes); +} + +class PropertySlot { + enum PropertyType : uint8_t { + TypeUnset, + TypeValue, + TypeGetter, + TypeCustom + }; + + enum CacheabilityType : uint8_t { + CachingDisallowed, + CachingAllowed + }; + +public: + enum class InternalMethodType : uint8_t { + Get, // [[Get]] internal method in the spec. + HasProperty, // [[HasProperty]] internal method in the spec. + GetOwnProperty, // [[GetOwnProperty]] internal method in the spec. + VMInquiry, // Our VM is just poking around. When this is the InternalMethodType, getOwnPropertySlot is not allowed to do user observable actions. + }; + + explicit PropertySlot(const JSValue thisValue, InternalMethodType internalMethodType) + : m_offset(invalidOffset) + , m_thisValue(thisValue) + , m_slotBase(nullptr) + , m_watchpointSet(nullptr) + , m_cacheability(CachingAllowed) + , m_propertyType(TypeUnset) + , m_internalMethodType(internalMethodType) + { + } + + typedef EncodedJSValue (*GetValueFunc)(ExecState*, EncodedJSValue thisValue, PropertyName); + + JSValue getValue(ExecState*, PropertyName) const; + JSValue getValue(ExecState*, unsigned propertyName) const; + + bool isCacheable() const { return m_cacheability == CachingAllowed && m_offset != invalidOffset; } + bool isUnset() const { return m_propertyType == TypeUnset; } + bool isValue() const { return m_propertyType == TypeValue; } + bool isAccessor() const { return m_propertyType == TypeGetter; } + bool isCustom() const { return m_propertyType == TypeCustom; } + bool isCacheableValue() const { return isCacheable() && isValue(); } + bool isCacheableGetter() const { return isCacheable() && isAccessor(); } + bool isCacheableCustom() const { return isCacheable() && isCustom(); } + + InternalMethodType internalMethodType() const { return m_internalMethodType; } + + void disableCaching() + { + m_cacheability = CachingDisallowed; + } + + unsigned attributes() const { return m_attributes; } + + PropertyOffset cachedOffset() const + { + ASSERT(isCacheable()); + return m_offset; + } + + GetterSetter* getterSetter() const + { + ASSERT(isAccessor()); + return m_data.getter.getterSetter; + } + + GetValueFunc customGetter() const + { + ASSERT(isCacheableCustom()); + return m_data.custom.getValue; + } + + JSObject* slotBase() const + { + return m_slotBase; + } + + WatchpointSet* watchpointSet() const + { + return m_watchpointSet; + } + + void setValue(JSObject* slotBase, unsigned attributes, JSValue value) + { + ASSERT(attributes == attributesForStructure(attributes)); - void setValue(JSValue slotBase, JSValue value, PropertyOffset offset) - { - ASSERT(value); - m_getValue = JSC_VALUE_MARKER; - m_slotBase = slotBase; - m_value = value; - m_offset = offset; - m_cachedPropertyType = Value; - } - - void setValue(JSValue value) - { - ASSERT(value); - clearBase(); - clearOffset(); - m_getValue = JSC_VALUE_MARKER; - m_value = value; - } - - void setCustom(JSValue slotBase, GetValueFunc getValue) - { - ASSERT(slotBase); - ASSERT(getValue); - m_getValue = getValue; - m_getIndexValue = 0; - m_slotBase = slotBase; - } + m_data.value = JSValue::encode(value); + m_attributes = attributes; + + ASSERT(slotBase); + m_slotBase = slotBase; + m_propertyType = TypeValue; + m_offset = invalidOffset; + } + + void setValue(JSObject* slotBase, unsigned attributes, JSValue value, PropertyOffset offset) + { + ASSERT(attributes == attributesForStructure(attributes)); - void setCacheableCustom(JSValue slotBase, GetValueFunc getValue) - { - ASSERT(slotBase); - ASSERT(getValue); - m_getValue = getValue; - m_getIndexValue = 0; - m_slotBase = slotBase; - m_cachedPropertyType = Custom; - } - - void setCustomIndex(JSValue slotBase, unsigned index, GetIndexValueFunc getIndexValue) - { - ASSERT(slotBase); - ASSERT(getIndexValue); - m_getValue = INDEX_GETTER_MARKER; - m_getIndexValue = getIndexValue; - m_slotBase = slotBase; - m_data.index = index; - } - - void setGetterSlot(JSObject* getterFunc) - { - ASSERT(getterFunc); - m_thisValue = m_slotBase; - m_getValue = GETTER_FUNCTION_MARKER; - m_data.getterFunc = getterFunc; - } - - void setCacheableGetterSlot(JSValue slotBase, JSObject* getterFunc, PropertyOffset offset) - { - ASSERT(getterFunc); - m_getValue = GETTER_FUNCTION_MARKER; - m_thisValue = m_slotBase; - m_slotBase = slotBase; - m_data.getterFunc = getterFunc; - m_offset = offset; - m_cachedPropertyType = Getter; - } - - void setUndefined() - { - setValue(jsUndefined()); - } - - JSValue slotBase() const - { - return m_slotBase; - } - - void setBase(JSValue base) - { - ASSERT(m_slotBase); - ASSERT(base); - m_slotBase = base; - } - - void clearBase() - { -#ifndef NDEBUG - m_slotBase = JSValue(); -#endif - } - - void clearValue() - { -#ifndef NDEBUG - m_value = JSValue(); -#endif - } - - void clearOffset() - { - // Clear offset even in release builds, in case this PropertySlot has been used before. - // (For other data members, we don't need to clear anything because reuse would meaningfully overwrite them.) - m_offset = invalidOffset; - m_cachedPropertyType = Uncacheable; - } - - unsigned index() const { return m_data.index; } - - GetValueFunc customGetter() const - { - ASSERT(m_cachedPropertyType == Custom); - return m_getValue; - } - private: - JS_EXPORT_PRIVATE JSValue functionGetter(ExecState*) const; - - GetValueFunc m_getValue; - GetIndexValueFunc m_getIndexValue; + ASSERT(value); + m_data.value = JSValue::encode(value); + m_attributes = attributes; + + ASSERT(slotBase); + m_slotBase = slotBase; + m_propertyType = TypeValue; + m_offset = offset; + } + + void setValue(JSString*, unsigned attributes, JSValue value) + { + ASSERT(attributes == attributesForStructure(attributes)); - JSValue m_slotBase; - union { - JSObject* getterFunc; - unsigned index; - } m_data; + ASSERT(value); + m_data.value = JSValue::encode(value); + m_attributes = attributes; - JSValue m_value; - JSValue m_thisValue; + m_slotBase = 0; + m_propertyType = TypeValue; + m_offset = invalidOffset; + } - PropertyOffset m_offset; - CachedPropertyType m_cachedPropertyType; - }; + void setCustom(JSObject* slotBase, unsigned attributes, GetValueFunc getValue) + { + ASSERT(attributes == attributesForStructure(attributes)); + + ASSERT(getValue); + m_data.custom.getValue = getValue; + m_attributes = attributes; + + ASSERT(slotBase); + m_slotBase = slotBase; + m_propertyType = TypeCustom; + m_offset = invalidOffset; + } + + void setCacheableCustom(JSObject* slotBase, unsigned attributes, GetValueFunc getValue) + { + ASSERT(attributes == attributesForStructure(attributes)); + + ASSERT(getValue); + m_data.custom.getValue = getValue; + m_attributes = attributes; + + ASSERT(slotBase); + m_slotBase = slotBase; + m_propertyType = TypeCustom; + m_offset = !invalidOffset; + } + + void setGetterSlot(JSObject* slotBase, unsigned attributes, GetterSetter* getterSetter) + { + ASSERT(attributes == attributesForStructure(attributes)); + + ASSERT(getterSetter); + m_data.getter.getterSetter = getterSetter; + m_attributes = attributes; + + ASSERT(slotBase); + m_slotBase = slotBase; + m_propertyType = TypeGetter; + m_offset = invalidOffset; + } + + void setCacheableGetterSlot(JSObject* slotBase, unsigned attributes, GetterSetter* getterSetter, PropertyOffset offset) + { + ASSERT(attributes == attributesForStructure(attributes)); + + ASSERT(getterSetter); + m_data.getter.getterSetter = getterSetter; + m_attributes = attributes; + + ASSERT(slotBase); + m_slotBase = slotBase; + m_propertyType = TypeGetter; + m_offset = offset; + } + + void setThisValue(JSValue thisValue) + { + m_thisValue = thisValue; + } + + void setUndefined() + { + m_data.value = JSValue::encode(jsUndefined()); + m_attributes = ReadOnly | DontDelete | DontEnum; + + m_slotBase = 0; + m_propertyType = TypeValue; + m_offset = invalidOffset; + } + + void setWatchpointSet(WatchpointSet& set) + { + m_watchpointSet = &set; + } + +private: + JS_EXPORT_PRIVATE JSValue functionGetter(ExecState*) const; + JS_EXPORT_PRIVATE JSValue customGetter(ExecState*, PropertyName) const; + + unsigned m_attributes; + union { + EncodedJSValue value; + struct { + GetterSetter* getterSetter; + } getter; + struct { + GetValueFunc getValue; + } custom; + } m_data; + + PropertyOffset m_offset; + JSValue m_thisValue; + JSObject* m_slotBase; + WatchpointSet* m_watchpointSet; + CacheabilityType m_cacheability; + PropertyType m_propertyType; + InternalMethodType m_internalMethodType; +}; + +ALWAYS_INLINE JSValue PropertySlot::getValue(ExecState* exec, PropertyName propertyName) const +{ + if (m_propertyType == TypeValue) + return JSValue::decode(m_data.value); + if (m_propertyType == TypeGetter) + return functionGetter(exec); + return customGetter(exec, propertyName); +} + +ALWAYS_INLINE JSValue PropertySlot::getValue(ExecState* exec, unsigned propertyName) const +{ + if (m_propertyType == TypeValue) + return JSValue::decode(m_data.value); + if (m_propertyType == TypeGetter) + return functionGetter(exec); + return customGetter(exec, Identifier::from(exec, propertyName)); +} } // namespace JSC |