| 1 | /* | 
| 2 |  *  Copyright (C) 1999-2001 Harri Porten (porten@kde.org) | 
| 3 |  *  Copyright (C) 2001 Peter Kelly (pmk@post.com) | 
| 4 |  *  Copyright (C) 2003, 2004, 2005, 2007, 2008, 2009 Apple Inc. All rights reserved. | 
| 5 |  * | 
| 6 |  *  This library is free software; you can redistribute it and/or | 
| 7 |  *  modify it under the terms of the GNU Library General Public | 
| 8 |  *  License as published by the Free Software Foundation; either | 
| 9 |  *  version 2 of the License, or (at your option) any later version. | 
| 10 |  * | 
| 11 |  *  This library is distributed in the hope that it will be useful, | 
| 12 |  *  but WITHOUT ANY WARRANTY; without even the implied warranty of | 
| 13 |  *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU | 
| 14 |  *  Library General Public License for more details. | 
| 15 |  * | 
| 16 |  *  You should have received a copy of the GNU Library General Public License | 
| 17 |  *  along with this library; see the file COPYING.LIB.  If not, write to | 
| 18 |  *  the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, | 
| 19 |  *  Boston, MA 02110-1301, USA. | 
| 20 |  * | 
| 21 |  */ | 
| 22 |  | 
| 23 | #ifndef JSCell_h | 
| 24 | #define JSCell_h | 
| 25 |  | 
| 26 | #include "Collector.h" | 
| 27 | #include "JSImmediate.h" | 
| 28 | #include "JSValue.h" | 
| 29 | #include "MarkStack.h" | 
| 30 | #include "Structure.h" | 
| 31 | #include <wtf/Noncopyable.h> | 
| 32 |  | 
| 33 | namespace JSC { | 
| 34 |  | 
| 35 |     class JSCell : public NoncopyableCustomAllocated { | 
| 36 |         friend class GetterSetter; | 
| 37 |         friend class Heap; | 
| 38 |         friend class JIT; | 
| 39 |         friend class JSNumberCell; | 
| 40 |         friend class JSObject; | 
| 41 |         friend class JSPropertyNameIterator; | 
| 42 |         friend class JSString; | 
| 43 |         friend class JSValue; | 
| 44 |         friend class JSAPIValueWrapper; | 
| 45 |         friend class JSZombie; | 
| 46 |         friend class JSGlobalData; | 
| 47 |  | 
| 48 |     private: | 
| 49 |         explicit JSCell(Structure*); | 
| 50 |         virtual ~JSCell(); | 
| 51 |  | 
| 52 |     public: | 
| 53 |         static PassRefPtr<Structure> createDummyStructure() | 
| 54 |         { | 
| 55 |             return Structure::create(prototype: jsNull(), typeInfo: TypeInfo(UnspecifiedType)); | 
| 56 |         } | 
| 57 |  | 
| 58 |         // Querying the type. | 
| 59 | #if USE(JSVALUE32) | 
| 60 |         bool isNumber() const; | 
| 61 | #endif | 
| 62 |         bool isString() const; | 
| 63 |         bool isObject() const; | 
| 64 |         virtual bool isGetterSetter() const; | 
| 65 |         bool inherits(const ClassInfo*) const; | 
| 66 |         virtual bool isAPIValueWrapper() const { return false; } | 
| 67 |         virtual bool isPropertyNameIterator() const { return false; } | 
| 68 |  | 
| 69 |         Structure* structure() const; | 
| 70 |  | 
| 71 |         // Extracting the value. | 
| 72 |         bool getString(ExecState* exec, UString&) const; | 
| 73 |         UString getString(ExecState* exec) const; // null string if not a string | 
| 74 |         JSObject* getObject(); // NULL if not an object | 
| 75 |         const JSObject* getObject() const; // NULL if not an object | 
| 76 |          | 
| 77 |         virtual CallType getCallData(CallData&); | 
| 78 |         virtual ConstructType getConstructData(ConstructData&); | 
| 79 |  | 
| 80 |         // Extracting integer values. | 
| 81 |         // FIXME: remove these methods, can check isNumberCell in JSValue && then call asNumberCell::*. | 
| 82 |         virtual bool getUInt32(uint32_t&) const; | 
| 83 |  | 
| 84 |         // Basic conversions. | 
| 85 |         virtual JSValue toPrimitive(ExecState*, PreferredPrimitiveType) const; | 
| 86 |         virtual bool getPrimitiveNumber(ExecState*, double& number, JSValue&); | 
| 87 |         virtual bool toBoolean(ExecState*) const; | 
| 88 |         virtual double toNumber(ExecState*) const; | 
| 89 |         virtual UString toString(ExecState*) const; | 
| 90 |         virtual JSObject* toObject(ExecState*) const; | 
| 91 |  | 
| 92 |         // Garbage collection. | 
| 93 |         void* operator new(size_t, ExecState*); | 
| 94 |         void* operator new(size_t, JSGlobalData*); | 
| 95 |         void* operator new(size_t, void* placementNewDestination) { return placementNewDestination; } | 
| 96 |  | 
| 97 |         virtual void markChildren(MarkStack&); | 
| 98 | #if ENABLE(JSC_ZOMBIES) | 
| 99 |         virtual bool isZombie() const { return false; } | 
| 100 | #endif | 
| 101 |  | 
| 102 |         // Object operations, with the toObject operation included. | 
| 103 |         virtual const ClassInfo* classInfo() const; | 
| 104 |         virtual void put(ExecState*, const Identifier& propertyName, JSValue, PutPropertySlot&); | 
| 105 |         virtual void put(ExecState*, unsigned propertyName, JSValue); | 
| 106 |         virtual bool deleteProperty(ExecState*, const Identifier& propertyName); | 
| 107 |         virtual bool deleteProperty(ExecState*, unsigned propertyName); | 
| 108 |  | 
| 109 |         virtual JSObject* toThisObject(ExecState*) const; | 
| 110 |         virtual UString toThisString(ExecState*) const; | 
| 111 |         virtual JSString* toThisJSString(ExecState*); | 
| 112 |         virtual JSValue getJSNumber(); | 
| 113 |         void* vptr() { return *reinterpret_cast<void**>(this); } | 
| 114 |         void setVPtr(void* vptr) { *reinterpret_cast<void**>(this) = vptr; } | 
| 115 |  | 
| 116 |     private: | 
| 117 |         // Base implementation; for non-object classes implements getPropertySlot. | 
| 118 |         bool fastGetOwnPropertySlot(ExecState*, const Identifier& propertyName, PropertySlot&); | 
| 119 |         virtual bool getOwnPropertySlot(ExecState*, const Identifier& propertyName, PropertySlot&); | 
| 120 |         virtual bool getOwnPropertySlot(ExecState*, unsigned propertyName, PropertySlot&); | 
| 121 |          | 
| 122 |         Structure* m_structure; | 
| 123 |     }; | 
| 124 |  | 
| 125 |     inline JSCell::JSCell(Structure* structure) | 
| 126 |         : m_structure(structure) | 
| 127 |     { | 
| 128 |     } | 
| 129 |  | 
| 130 |     inline JSCell::~JSCell() | 
| 131 |     { | 
| 132 |     } | 
| 133 |  | 
| 134 | #if USE(JSVALUE32) | 
| 135 |     inline bool JSCell::isNumber() const | 
| 136 |     { | 
| 137 |         return m_structure->typeInfo().type() == NumberType; | 
| 138 |     } | 
| 139 | #endif | 
| 140 |  | 
| 141 |     inline bool JSCell::isObject() const | 
| 142 |     { | 
| 143 |         return m_structure->typeInfo().type() == ObjectType; | 
| 144 |     } | 
| 145 |  | 
| 146 |     inline bool JSCell::isString() const | 
| 147 |     { | 
| 148 |         return m_structure->typeInfo().type() == StringType; | 
| 149 |     } | 
| 150 |  | 
| 151 |     inline Structure* JSCell::structure() const | 
| 152 |     { | 
| 153 |         return m_structure; | 
| 154 |     } | 
| 155 |  | 
| 156 |     inline void JSCell::markChildren(MarkStack&) | 
| 157 |     { | 
| 158 |     } | 
| 159 |  | 
| 160 |     inline void* JSCell::operator new(size_t size, JSGlobalData* globalData) | 
| 161 |     { | 
| 162 |         return globalData->heap.allocate(size); | 
| 163 |     } | 
| 164 |  | 
| 165 |     inline void* JSCell::operator new(size_t size, ExecState* exec) | 
| 166 |     { | 
| 167 |         return exec->heap()->allocate(size); | 
| 168 |     } | 
| 169 |  | 
| 170 |     // --- JSValue inlines ---------------------------- | 
| 171 |  | 
| 172 |     inline bool JSValue::isString() const | 
| 173 |     { | 
| 174 |         return isCell() && asCell()->isString(); | 
| 175 |     } | 
| 176 |  | 
| 177 |     inline bool JSValue::isGetterSetter() const | 
| 178 |     { | 
| 179 |         return isCell() && asCell()->isGetterSetter(); | 
| 180 |     } | 
| 181 |  | 
| 182 |     inline bool JSValue::isObject() const | 
| 183 |     { | 
| 184 |         return isCell() && asCell()->isObject(); | 
| 185 |     } | 
| 186 |  | 
| 187 |     inline bool JSValue::getString(ExecState* exec, UString& s) const | 
| 188 |     { | 
| 189 |         return isCell() && asCell()->getString(exec, s); | 
| 190 |     } | 
| 191 |  | 
| 192 |     inline UString JSValue::getString(ExecState* exec) const | 
| 193 |     { | 
| 194 |         return isCell() ? asCell()->getString(exec) : UString(); | 
| 195 |     } | 
| 196 |  | 
| 197 |     inline JSObject* JSValue::getObject() const | 
| 198 |     { | 
| 199 |         return isCell() ? asCell()->getObject() : 0; | 
| 200 |     } | 
| 201 |  | 
| 202 |     inline CallType JSValue::getCallData(CallData& callData) | 
| 203 |     { | 
| 204 |         return isCell() ? asCell()->getCallData(callData) : CallTypeNone; | 
| 205 |     } | 
| 206 |  | 
| 207 |     inline ConstructType JSValue::getConstructData(ConstructData& constructData) | 
| 208 |     { | 
| 209 |         return isCell() ? asCell()->getConstructData(constructData) : ConstructTypeNone; | 
| 210 |     } | 
| 211 |  | 
| 212 |     ALWAYS_INLINE bool JSValue::getUInt32(uint32_t& v) const | 
| 213 |     { | 
| 214 |         if (isInt32()) { | 
| 215 |             int32_t i = asInt32(); | 
| 216 |             v = static_cast<uint32_t>(i); | 
| 217 |             return i >= 0; | 
| 218 |         } | 
| 219 |         if (isDouble()) { | 
| 220 |             double d = asDouble(); | 
| 221 |             v = static_cast<uint32_t>(d); | 
| 222 |             return v == d; | 
| 223 |         } | 
| 224 |         return false; | 
| 225 |     } | 
| 226 |  | 
| 227 | #if !USE(JSVALUE32_64) | 
| 228 |     ALWAYS_INLINE JSCell* JSValue::asCell() const | 
| 229 |     { | 
| 230 |         ASSERT(isCell()); | 
| 231 |         return m_ptr; | 
| 232 |     } | 
| 233 | #endif // !USE(JSVALUE32_64) | 
| 234 |  | 
| 235 |     inline JSValue JSValue::toPrimitive(ExecState* exec, PreferredPrimitiveType preferredType) const | 
| 236 |     { | 
| 237 |         return isCell() ? asCell()->toPrimitive(exec, preferredType) : asValue(); | 
| 238 |     } | 
| 239 |  | 
| 240 |     inline bool JSValue::getPrimitiveNumber(ExecState* exec, double& number, JSValue& value) | 
| 241 |     { | 
| 242 |         if (isInt32()) { | 
| 243 |             number = asInt32(); | 
| 244 |             value = *this; | 
| 245 |             return true; | 
| 246 |         } | 
| 247 |         if (isDouble()) { | 
| 248 |             number = asDouble(); | 
| 249 |             value = *this; | 
| 250 |             return true; | 
| 251 |         } | 
| 252 |         if (isCell()) | 
| 253 |             return asCell()->getPrimitiveNumber(exec, number, value); | 
| 254 |         if (isTrue()) { | 
| 255 |             number = 1.0; | 
| 256 |             value = *this; | 
| 257 |             return true; | 
| 258 |         } | 
| 259 |         if (isFalse() || isNull()) { | 
| 260 |             number = 0.0; | 
| 261 |             value = *this; | 
| 262 |             return true; | 
| 263 |         } | 
| 264 |         ASSERT(isUndefined()); | 
| 265 |         number = nonInlineNaN(); | 
| 266 |         value = *this; | 
| 267 |         return true; | 
| 268 |     } | 
| 269 |  | 
| 270 |     inline bool JSValue::toBoolean(ExecState* exec) const | 
| 271 |     { | 
| 272 |         if (isInt32()) | 
| 273 |             return asInt32() != 0; | 
| 274 |         if (isDouble()) | 
| 275 |             return asDouble() > 0.0 || asDouble() < 0.0; // false for NaN | 
| 276 |         if (isCell()) | 
| 277 |             return asCell()->toBoolean(exec); | 
| 278 |         return isTrue(); // false, null, and undefined all convert to false. | 
| 279 |     } | 
| 280 |  | 
| 281 |     ALWAYS_INLINE double JSValue::toNumber(ExecState* exec) const | 
| 282 |     { | 
| 283 |         if (isInt32()) | 
| 284 |             return asInt32(); | 
| 285 |         if (isDouble()) | 
| 286 |             return asDouble(); | 
| 287 |         if (isCell()) | 
| 288 |             return asCell()->toNumber(exec); | 
| 289 |         if (isTrue()) | 
| 290 |             return 1.0; | 
| 291 |         return isUndefined() ? nonInlineNaN() : 0; // null and false both convert to 0. | 
| 292 |     } | 
| 293 |  | 
| 294 |     inline bool JSValue::needsThisConversion() const | 
| 295 |     { | 
| 296 |         if (UNLIKELY(!isCell())) | 
| 297 |             return true; | 
| 298 |         return asCell()->structure()->typeInfo().needsThisConversion(); | 
| 299 |     } | 
| 300 |  | 
| 301 |     inline UString JSValue::toThisString(ExecState* exec) const | 
| 302 |     { | 
| 303 |         return isCell() ? asCell()->toThisString(exec) : toString(exec); | 
| 304 |     } | 
| 305 |  | 
| 306 |     inline JSValue JSValue::getJSNumber() | 
| 307 |     { | 
| 308 |         if (isInt32() || isDouble()) | 
| 309 |             return *this; | 
| 310 |         if (isCell()) | 
| 311 |             return asCell()->getJSNumber(); | 
| 312 |         return JSValue(); | 
| 313 |     } | 
| 314 |  | 
| 315 |     inline JSObject* JSValue::toObject(ExecState* exec) const | 
| 316 |     { | 
| 317 |         return isCell() ? asCell()->toObject(exec) : toObjectSlowCase(exec); | 
| 318 |     } | 
| 319 |  | 
| 320 |     inline JSObject* JSValue::toThisObject(ExecState* exec) const | 
| 321 |     { | 
| 322 |         return isCell() ? asCell()->toThisObject(exec) : toThisObjectSlowCase(exec); | 
| 323 |     } | 
| 324 |  | 
| 325 |     ALWAYS_INLINE void MarkStack::append(JSCell* cell) | 
| 326 |     { | 
| 327 |         ASSERT(!m_isCheckingForDefaultMarkViolation); | 
| 328 |         ASSERT(cell); | 
| 329 |         if (Heap::isCellMarked(cell)) | 
| 330 |             return; | 
| 331 |         Heap::markCell(cell); | 
| 332 |         if (cell->structure()->typeInfo().type() >= CompoundType) | 
| 333 |             m_values.append(v: cell); | 
| 334 |     } | 
| 335 |  | 
| 336 |     ALWAYS_INLINE void MarkStack::append(JSValue value) | 
| 337 |     { | 
| 338 |         ASSERT(value); | 
| 339 |         if (value.isCell()) | 
| 340 |             append(cell: value.asCell()); | 
| 341 |     } | 
| 342 |  | 
| 343 |     inline Heap* Heap::heap(JSValue v) | 
| 344 |     { | 
| 345 |         if (!v.isCell()) | 
| 346 |             return 0; | 
| 347 |         return heap(v.asCell()); | 
| 348 |     } | 
| 349 |  | 
| 350 |     inline Heap* Heap::heap(JSCell* c) | 
| 351 |     { | 
| 352 |         return cellBlock(cell: c)->heap; | 
| 353 |     } | 
| 354 |      | 
| 355 | #if ENABLE(JSC_ZOMBIES) | 
| 356 |     inline bool JSValue::isZombie() const | 
| 357 |     { | 
| 358 |         return isCell() && asCell() && asCell()->isZombie(); | 
| 359 |     } | 
| 360 | #endif | 
| 361 | } // namespace JSC | 
| 362 |  | 
| 363 | #endif // JSCell_h | 
| 364 |  |