1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
|
/*
* Copyright (C) 1999-2000 Harri Porten (porten@kde.org)
* Copyright (C) 2003-2023 Apple Inc. All Rights Reserved.
*
* This library is free software; you can redistribute it and/or
* modify it under the terms of the GNU Lesser General Public
* License as published by the Free Software Foundation; either
* version 2 of the License, or (at your option) any later version.
*
* This library is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
* Lesser General Public License for more details.
*
* You should have received a copy of the GNU Lesser General Public
* License along with this library; if not, write to the Free Software
* Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
*
*/
#pragma once
#include "JSObject.h"
#include "RegExp.h"
#include "ThrowScope.h"
#include "TypeError.h"
namespace JSC {
class RegExpObject final : public JSNonFinalObject {
public:
using Base = JSNonFinalObject;
static constexpr unsigned StructureFlags = Base::StructureFlags | OverridesGetOwnPropertySlot | OverridesGetOwnSpecialPropertyNames | OverridesPut;
template<typename CellType, SubspaceAccess mode>
static GCClient::IsoSubspace* subspaceFor(VM& vm)
{
static_assert(CellType::needsDestruction == DoesNotNeedDestruction);
return &vm.regExpObjectSpace();
}
static constexpr uintptr_t lastIndexIsNotWritableFlag = 0b01;
static constexpr uintptr_t legacyFeaturesDisabledFlag = 0b10;
static constexpr uintptr_t flagsMask = lastIndexIsNotWritableFlag | legacyFeaturesDisabledFlag;
static constexpr uintptr_t regExpMask = ~flagsMask;
static RegExpObject* create(VM& vm, Structure* structure, RegExp* regExp, bool areLegacyFeaturesEnabled = true)
{
RegExpObject* object = new (NotNull, allocateCell<RegExpObject>(vm)) RegExpObject(vm, structure, regExp, areLegacyFeaturesEnabled);
object->finishCreation(vm);
return object;
}
static RegExpObject* create(VM& vm, Structure* structure, RegExp* regExp, JSValue lastIndex)
{
static constexpr bool areLegacyFeaturesEnabled = true;
auto* object = create(vm, structure, regExp, areLegacyFeaturesEnabled);
object->m_lastIndex.set(vm, object, lastIndex);
return object;
}
void setRegExp(VM& vm, RegExp* regExp)
{
uintptr_t result = (m_regExpAndFlags & flagsMask) | std::bit_cast<uintptr_t>(regExp);
m_regExpAndFlags = result;
vm.writeBarrier(this, regExp);
}
RegExp* regExp() const
{
return std::bit_cast<RegExp*>(m_regExpAndFlags & regExpMask);
}
bool setLastIndex(JSGlobalObject* globalObject, size_t lastIndex)
{
VM& vm = getVM(globalObject);
auto scope = DECLARE_THROW_SCOPE(vm);
if (LIKELY(lastIndexIsWritable())) {
m_lastIndex.setWithoutWriteBarrier(jsNumber(lastIndex));
return true;
}
throwTypeError(globalObject, scope, ReadonlyPropertyWriteError);
return false;
}
bool setLastIndex(JSGlobalObject* globalObject, JSValue lastIndex, bool shouldThrow)
{
VM& vm = getVM(globalObject);
auto scope = DECLARE_THROW_SCOPE(vm);
if (LIKELY(lastIndexIsWritable())) {
m_lastIndex.set(vm, this, lastIndex);
return true;
}
return typeError(globalObject, scope, shouldThrow, ReadonlyPropertyWriteError);
}
JSValue getLastIndex() const
{
return m_lastIndex.get();
}
bool test(JSGlobalObject* globalObject, JSString* string) { return !!match(globalObject, string); }
bool testInline(JSGlobalObject* globalObject, JSString* string) { return !!matchInline(globalObject, string); }
JS_EXPORT_PRIVATE JSValue exec(JSGlobalObject*, JSString*);
JSValue execInline(JSGlobalObject*, JSString*);
MatchResult match(JSGlobalObject*, JSString*);
JSValue matchGlobal(JSGlobalObject*, JSString*);
static bool getOwnPropertySlot(JSObject*, JSGlobalObject*, PropertyName, PropertySlot&);
static bool put(JSCell*, JSGlobalObject*, PropertyName, JSValue, PutPropertySlot&);
DECLARE_EXPORT_INFO;
inline static Structure* createStructure(VM&, JSGlobalObject*, JSValue);
static constexpr ptrdiff_t offsetOfRegExpAndFlags()
{
return OBJECT_OFFSETOF(RegExpObject, m_regExpAndFlags);
}
static constexpr ptrdiff_t offsetOfLastIndex()
{
return OBJECT_OFFSETOF(RegExpObject, m_lastIndex);
}
static size_t allocationSize(Checked<size_t> inlineCapacity)
{
ASSERT_UNUSED(inlineCapacity, !inlineCapacity);
return sizeof(RegExpObject);
}
bool areLegacyFeaturesEnabled() const { return !(m_regExpAndFlags & legacyFeaturesDisabledFlag); }
private:
JS_EXPORT_PRIVATE RegExpObject(VM&, Structure*, RegExp*, bool areLegacyFeaturesEnabled);
#if ASSERT_ENABLED
JS_EXPORT_PRIVATE void finishCreation(VM&);
#endif
DECLARE_VISIT_CHILDREN;
bool lastIndexIsWritable() const
{
return !(m_regExpAndFlags & lastIndexIsNotWritableFlag);
}
void setLastIndexIsNotWritable()
{
m_regExpAndFlags = (m_regExpAndFlags | lastIndexIsNotWritableFlag);
}
JS_EXPORT_PRIVATE static bool deleteProperty(JSCell*, JSGlobalObject*, PropertyName, DeletePropertySlot&);
JS_EXPORT_PRIVATE static void getOwnSpecialPropertyNames(JSObject*, JSGlobalObject*, PropertyNameArray&, DontEnumPropertiesMode);
JS_EXPORT_PRIVATE static bool defineOwnProperty(JSObject*, JSGlobalObject*, PropertyName, const PropertyDescriptor&, bool shouldThrow);
MatchResult matchInline(JSGlobalObject*, JSString*);
uintptr_t m_regExpAndFlags { 0 };
WriteBarrier<Unknown> m_lastIndex;
};
} // namespace JSC
|
