[ES6] Support subclassing the String builtin object
[WebKit-https.git] / Source / JavaScriptCore / runtime / PrototypeMap.cpp
1 /*
2  * Copyright (C) 2013, 2016 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  * 1. Redistributions of source code must retain the above copyright
8  *    notice, this list of conditions and the following disclaimer.
9  * 2. Redistributions in binary form must reproduce the above copyright
10  *    notice, this list of conditions and the following disclaimer in the
11  *    documentation and/or other materials provided with the distribution.
12  *
13  * THIS SOFTWARE IS PROVIDED BY APPLE INC. ``AS IS'' AND ANY
14  * EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
15  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
16  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL APPLE INC. OR
17  * CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
18  * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
19  * PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
20  * PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY
21  * OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
22  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
23  * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 
24  */
25
26 #include "config.h"
27 #include "PrototypeMap.h"
28
29 #include "IndexingType.h"
30 #include "JSGlobalObject.h"
31 #include "JSCInlines.h"
32
33 namespace JSC {
34
35 void PrototypeMap::addPrototype(JSObject* object)
36 {
37     m_prototypes.set(object, object);
38
39     // Note that this method makes the somewhat odd decision to not check if this
40     // object currently has indexed accessors. We could do that check here, and if
41     // indexed accessors were found, we could tell the global object to have a bad
42     // time. But we avoid this, to allow the following to be always fast:
43     //
44     // 1) Create an object.
45     // 2) Give it a setter or read-only property that happens to have a numeric name.
46     // 3) Allocate objects that use this object as a prototype.
47     //
48     // This avoids anyone having a bad time. Even if the instance objects end up
49     // having indexed storage, the creation of indexed storage leads to a prototype
50     // chain walk that detects the presence of indexed setters and then does the
51     // right thing. As a result, having a bad time only happens if you add an
52     // indexed setter (or getter, or read-only field) to an object that is already
53     // used as a prototype.
54 }
55
56 inline Structure* PrototypeMap::createEmptyStructure(JSObject* prototype, const TypeInfo& typeInfo, const ClassInfo* classInfo, IndexingType indexingType, unsigned inlineCapacity)
57 {
58     auto key = std::make_pair(prototype, std::make_pair(inlineCapacity, classInfo));
59     if (Structure* structure = m_structures.get(key)) {
60         ASSERT(isPrototype(prototype));
61         return structure;
62     }
63
64     addPrototype(prototype);
65     Structure* structure = Structure::create(
66         prototype->globalObject()->vm(), prototype->globalObject(), prototype, typeInfo, classInfo, indexingType, inlineCapacity);
67     m_structures.set(key, Weak<Structure>(structure));
68     return structure;
69 }
70
71 Structure* PrototypeMap::emptyStructureForPrototypeFromBaseStructure(JSObject* prototype, Structure* baseStructure)
72 {
73     // We currently do not have inline capacity static analysis for subclasses and all internal function constructors have a default inline capacity of 0.
74     IndexingType indexingType = baseStructure->indexingType();
75     if (prototype->structure()->anyObjectInChainMayInterceptIndexedAccesses() && hasIndexedProperties(indexingType))
76         indexingType = (indexingType & ~IndexingShapeMask) | SlowPutArrayStorageShape;
77
78     return createEmptyStructure(prototype, baseStructure->typeInfo(), baseStructure->classInfo(), indexingType, 0);
79 }
80
81 Structure* PrototypeMap::emptyObjectStructureForPrototype(JSObject* prototype, unsigned inlineCapacity)
82 {
83     return createEmptyStructure(prototype, JSFinalObject::typeInfo(), JSFinalObject::info(), JSFinalObject::defaultIndexingType, inlineCapacity);
84 }
85
86 void PrototypeMap::clearEmptyObjectStructureForPrototype(JSObject* object, unsigned inlineCapacity)
87 {
88     m_structures.remove(std::make_pair(object, std::make_pair(inlineCapacity, JSFinalObject::info())));
89 }
90
91 } // namespace JSC