| 1 | /* |
| 2 | * Copyright (C) 1999-2001 Harri Porten ([email protected]) |
| 3 | * Copyright (C) 2001 Peter Kelly ([email protected]) |
| 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 | |