mirror of
https://github.com/darlinghq/darling-JavaScriptCore.git
synced 2024-11-23 04:09:40 +00:00
338 lines
15 KiB
C++
338 lines
15 KiB
C++
/*
|
|
* Copyright (C) 1999-2000 Harri Porten (porten@kde.org)
|
|
* Copyright (C) 2003-2019 Apple Inc. All Rights Reserved.
|
|
* Copyright (C) 2009 Torch Mobile, Inc.
|
|
*
|
|
* 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
|
|
*
|
|
*/
|
|
|
|
#include "config.h"
|
|
#include "RegExpConstructor.h"
|
|
|
|
#include "JSCInlines.h"
|
|
#include "RegExpGlobalDataInlines.h"
|
|
#include "RegExpPrototype.h"
|
|
#include "YarrFlags.h"
|
|
|
|
namespace JSC {
|
|
|
|
static JSC_DECLARE_CUSTOM_GETTER(regExpConstructorInput);
|
|
static JSC_DECLARE_CUSTOM_GETTER(regExpConstructorMultiline);
|
|
static JSC_DECLARE_CUSTOM_GETTER(regExpConstructorLastMatch);
|
|
static JSC_DECLARE_CUSTOM_GETTER(regExpConstructorLastParen);
|
|
static JSC_DECLARE_CUSTOM_GETTER(regExpConstructorLeftContext);
|
|
static JSC_DECLARE_CUSTOM_GETTER(regExpConstructorRightContext);
|
|
static JSC_DECLARE_CUSTOM_GETTER(regExpConstructorDollar1);
|
|
static JSC_DECLARE_CUSTOM_GETTER(regExpConstructorDollar2);
|
|
static JSC_DECLARE_CUSTOM_GETTER(regExpConstructorDollar3);
|
|
static JSC_DECLARE_CUSTOM_GETTER(regExpConstructorDollar4);
|
|
static JSC_DECLARE_CUSTOM_GETTER(regExpConstructorDollar5);
|
|
static JSC_DECLARE_CUSTOM_GETTER(regExpConstructorDollar6);
|
|
static JSC_DECLARE_CUSTOM_GETTER(regExpConstructorDollar7);
|
|
static JSC_DECLARE_CUSTOM_GETTER(regExpConstructorDollar8);
|
|
static JSC_DECLARE_CUSTOM_GETTER(regExpConstructorDollar9);
|
|
static JSC_DECLARE_CUSTOM_SETTER(setRegExpConstructorInput);
|
|
static JSC_DECLARE_CUSTOM_SETTER(setRegExpConstructorMultiline);
|
|
|
|
} // namespace JSC
|
|
|
|
#include "RegExpConstructor.lut.h"
|
|
|
|
namespace JSC {
|
|
|
|
const ClassInfo RegExpConstructor::s_info = { "Function", &InternalFunction::s_info, ®ExpConstructorTable, nullptr, CREATE_METHOD_TABLE(RegExpConstructor) };
|
|
|
|
/* Source for RegExpConstructor.lut.h
|
|
@begin regExpConstructorTable
|
|
input regExpConstructorInput None
|
|
$_ regExpConstructorInput DontEnum
|
|
multiline regExpConstructorMultiline None
|
|
$* regExpConstructorMultiline DontEnum
|
|
lastMatch regExpConstructorLastMatch DontDelete|ReadOnly
|
|
$& regExpConstructorLastMatch DontDelete|ReadOnly|DontEnum
|
|
lastParen regExpConstructorLastParen DontDelete|ReadOnly
|
|
$+ regExpConstructorLastParen DontDelete|ReadOnly|DontEnum
|
|
leftContext regExpConstructorLeftContext DontDelete|ReadOnly
|
|
$` regExpConstructorLeftContext DontDelete|ReadOnly|DontEnum
|
|
rightContext regExpConstructorRightContext DontDelete|ReadOnly
|
|
$' regExpConstructorRightContext DontDelete|ReadOnly|DontEnum
|
|
$1 regExpConstructorDollar1 DontDelete|ReadOnly
|
|
$2 regExpConstructorDollar2 DontDelete|ReadOnly
|
|
$3 regExpConstructorDollar3 DontDelete|ReadOnly
|
|
$4 regExpConstructorDollar4 DontDelete|ReadOnly
|
|
$5 regExpConstructorDollar5 DontDelete|ReadOnly
|
|
$6 regExpConstructorDollar6 DontDelete|ReadOnly
|
|
$7 regExpConstructorDollar7 DontDelete|ReadOnly
|
|
$8 regExpConstructorDollar8 DontDelete|ReadOnly
|
|
$9 regExpConstructorDollar9 DontDelete|ReadOnly
|
|
@end
|
|
*/
|
|
|
|
|
|
static JSC_DECLARE_HOST_FUNCTION(callRegExpConstructor);
|
|
static JSC_DECLARE_HOST_FUNCTION(constructWithRegExpConstructor);
|
|
|
|
RegExpConstructor::RegExpConstructor(VM& vm, Structure* structure)
|
|
: InternalFunction(vm, structure, callRegExpConstructor, constructWithRegExpConstructor)
|
|
{
|
|
}
|
|
|
|
void RegExpConstructor::finishCreation(VM& vm, RegExpPrototype* regExpPrototype, GetterSetter* speciesSymbol)
|
|
{
|
|
Base::finishCreation(vm, 2, vm.propertyNames->RegExp.string(), PropertyAdditionMode::WithoutStructureTransition);
|
|
ASSERT(inherits(vm, info()));
|
|
|
|
putDirectWithoutTransition(vm, vm.propertyNames->prototype, regExpPrototype, PropertyAttribute::DontEnum | PropertyAttribute::DontDelete | PropertyAttribute::ReadOnly);
|
|
|
|
putDirectNonIndexAccessorWithoutTransition(vm, vm.propertyNames->speciesSymbol, speciesSymbol, PropertyAttribute::Accessor | PropertyAttribute::ReadOnly | PropertyAttribute::DontEnum);
|
|
}
|
|
|
|
template<int N>
|
|
inline EncodedJSValue regExpConstructorDollarImpl(JSGlobalObject*, EncodedJSValue thisValue, PropertyName)
|
|
{
|
|
JSGlobalObject* globalObject = jsCast<RegExpConstructor*>(JSValue::decode(thisValue))->globalObject();
|
|
return JSValue::encode(globalObject->regExpGlobalData().getBackref(globalObject, N));
|
|
}
|
|
|
|
JSC_DEFINE_CUSTOM_GETTER(regExpConstructorDollar1, (JSGlobalObject* globalObject, EncodedJSValue thisValue, PropertyName propertyName))
|
|
{
|
|
return regExpConstructorDollarImpl<1>(globalObject, thisValue, propertyName);
|
|
}
|
|
JSC_DEFINE_CUSTOM_GETTER(regExpConstructorDollar2, (JSGlobalObject* globalObject, EncodedJSValue thisValue, PropertyName propertyName))
|
|
{
|
|
return regExpConstructorDollarImpl<2>(globalObject, thisValue, propertyName);
|
|
}
|
|
JSC_DEFINE_CUSTOM_GETTER(regExpConstructorDollar3, (JSGlobalObject* globalObject, EncodedJSValue thisValue, PropertyName propertyName))
|
|
{
|
|
return regExpConstructorDollarImpl<3>(globalObject, thisValue, propertyName);
|
|
}
|
|
JSC_DEFINE_CUSTOM_GETTER(regExpConstructorDollar4, (JSGlobalObject* globalObject, EncodedJSValue thisValue, PropertyName propertyName))
|
|
{
|
|
return regExpConstructorDollarImpl<4>(globalObject, thisValue, propertyName);
|
|
}
|
|
JSC_DEFINE_CUSTOM_GETTER(regExpConstructorDollar5, (JSGlobalObject* globalObject, EncodedJSValue thisValue, PropertyName propertyName))
|
|
{
|
|
return regExpConstructorDollarImpl<5>(globalObject, thisValue, propertyName);
|
|
}
|
|
JSC_DEFINE_CUSTOM_GETTER(regExpConstructorDollar6, (JSGlobalObject* globalObject, EncodedJSValue thisValue, PropertyName propertyName))
|
|
{
|
|
return regExpConstructorDollarImpl<6>(globalObject, thisValue, propertyName);
|
|
}
|
|
JSC_DEFINE_CUSTOM_GETTER(regExpConstructorDollar7, (JSGlobalObject* globalObject, EncodedJSValue thisValue, PropertyName propertyName))
|
|
{
|
|
return regExpConstructorDollarImpl<7>(globalObject, thisValue, propertyName);
|
|
}
|
|
JSC_DEFINE_CUSTOM_GETTER(regExpConstructorDollar8, (JSGlobalObject* globalObject, EncodedJSValue thisValue, PropertyName propertyName))
|
|
{
|
|
return regExpConstructorDollarImpl<8>(globalObject, thisValue, propertyName);
|
|
}
|
|
JSC_DEFINE_CUSTOM_GETTER(regExpConstructorDollar9, (JSGlobalObject* globalObject, EncodedJSValue thisValue, PropertyName propertyName))
|
|
{
|
|
return regExpConstructorDollarImpl<9>(globalObject, thisValue, propertyName);
|
|
}
|
|
|
|
JSC_DEFINE_CUSTOM_GETTER(regExpConstructorInput, (JSGlobalObject*, EncodedJSValue thisValue, PropertyName))
|
|
{
|
|
JSGlobalObject* globalObject = jsCast<RegExpConstructor*>(JSValue::decode(thisValue))->globalObject();
|
|
return JSValue::encode(globalObject->regExpGlobalData().input());
|
|
}
|
|
|
|
JSC_DEFINE_CUSTOM_GETTER(regExpConstructorMultiline, (JSGlobalObject*, EncodedJSValue thisValue, PropertyName))
|
|
{
|
|
JSGlobalObject* globalObject = jsCast<RegExpConstructor*>(JSValue::decode(thisValue))->globalObject();
|
|
return JSValue::encode(jsBoolean(globalObject->regExpGlobalData().multiline()));
|
|
}
|
|
|
|
JSC_DEFINE_CUSTOM_GETTER(regExpConstructorLastMatch, (JSGlobalObject*, EncodedJSValue thisValue, PropertyName))
|
|
{
|
|
JSGlobalObject* globalObject = jsCast<RegExpConstructor*>(JSValue::decode(thisValue))->globalObject();
|
|
return JSValue::encode(globalObject->regExpGlobalData().getBackref(globalObject, 0));
|
|
}
|
|
|
|
JSC_DEFINE_CUSTOM_GETTER(regExpConstructorLastParen, (JSGlobalObject*, EncodedJSValue thisValue, PropertyName))
|
|
{
|
|
JSGlobalObject* globalObject = jsCast<RegExpConstructor*>(JSValue::decode(thisValue))->globalObject();
|
|
return JSValue::encode(globalObject->regExpGlobalData().getLastParen(globalObject));
|
|
}
|
|
|
|
JSC_DEFINE_CUSTOM_GETTER(regExpConstructorLeftContext, (JSGlobalObject*, EncodedJSValue thisValue, PropertyName))
|
|
{
|
|
JSGlobalObject* globalObject = jsCast<RegExpConstructor*>(JSValue::decode(thisValue))->globalObject();
|
|
return JSValue::encode(globalObject->regExpGlobalData().getLeftContext(globalObject));
|
|
}
|
|
|
|
JSC_DEFINE_CUSTOM_GETTER(regExpConstructorRightContext, (JSGlobalObject*, EncodedJSValue thisValue, PropertyName))
|
|
{
|
|
JSGlobalObject* globalObject = jsCast<RegExpConstructor*>(JSValue::decode(thisValue))->globalObject();
|
|
return JSValue::encode(globalObject->regExpGlobalData().getRightContext(globalObject));
|
|
}
|
|
|
|
JSC_DEFINE_CUSTOM_SETTER(setRegExpConstructorInput, (JSGlobalObject* globalObject, EncodedJSValue thisValue, EncodedJSValue value))
|
|
{
|
|
VM& vm = globalObject->vm();
|
|
auto scope = DECLARE_THROW_SCOPE(vm);
|
|
if (auto constructor = jsDynamicCast<RegExpConstructor*>(vm, JSValue::decode(thisValue))) {
|
|
auto* string = JSValue::decode(value).toString(globalObject);
|
|
RETURN_IF_EXCEPTION(scope, { });
|
|
scope.release();
|
|
JSGlobalObject* globalObject = constructor->globalObject();
|
|
globalObject->regExpGlobalData().setInput(globalObject, string);
|
|
return true;
|
|
}
|
|
return false;
|
|
}
|
|
|
|
JSC_DEFINE_CUSTOM_SETTER(setRegExpConstructorMultiline, (JSGlobalObject* globalObject, EncodedJSValue thisValue, EncodedJSValue value))
|
|
{
|
|
VM& vm = globalObject->vm();
|
|
auto scope = DECLARE_THROW_SCOPE(vm);
|
|
if (auto constructor = jsDynamicCast<RegExpConstructor*>(vm, JSValue::decode(thisValue))) {
|
|
bool multiline = JSValue::decode(value).toBoolean(globalObject);
|
|
RETURN_IF_EXCEPTION(scope, { });
|
|
scope.release();
|
|
JSGlobalObject* globalObject = constructor->globalObject();
|
|
globalObject->regExpGlobalData().setMultiline(multiline);
|
|
return true;
|
|
}
|
|
return false;
|
|
}
|
|
|
|
inline Structure* getRegExpStructure(JSGlobalObject* globalObject, JSValue newTarget)
|
|
{
|
|
return !newTarget || newTarget == globalObject->regExpConstructor()
|
|
? globalObject->regExpStructure()
|
|
: InternalFunction::createSubclassStructure(globalObject, asObject(newTarget), getFunctionRealm(globalObject->vm(), asObject(newTarget))->regExpStructure());
|
|
}
|
|
|
|
inline OptionSet<Yarr::Flags> toFlags(JSGlobalObject* globalObject, JSValue flags)
|
|
{
|
|
VM& vm = globalObject->vm();
|
|
auto scope = DECLARE_THROW_SCOPE(vm);
|
|
|
|
if (flags.isUndefined())
|
|
return { };
|
|
|
|
auto result = Yarr::parseFlags(flags.toWTFString(globalObject));
|
|
RETURN_IF_EXCEPTION(scope, { });
|
|
if (!result) {
|
|
throwSyntaxError(globalObject, scope, "Invalid flags supplied to RegExp constructor."_s);
|
|
return { };
|
|
}
|
|
|
|
return result.value();
|
|
}
|
|
|
|
static JSObject* regExpCreate(JSGlobalObject* globalObject, JSValue newTarget, JSValue patternArg, JSValue flagsArg)
|
|
{
|
|
VM& vm = globalObject->vm();
|
|
auto scope = DECLARE_THROW_SCOPE(vm);
|
|
|
|
String pattern = patternArg.isUndefined() ? emptyString() : patternArg.toWTFString(globalObject);
|
|
RETURN_IF_EXCEPTION(scope, nullptr);
|
|
|
|
auto flags = toFlags(globalObject, flagsArg);
|
|
RETURN_IF_EXCEPTION(scope, nullptr);
|
|
|
|
RegExp* regExp = RegExp::create(vm, pattern, flags);
|
|
if (UNLIKELY(!regExp->isValid())) {
|
|
throwException(globalObject, scope, regExp->errorToThrow(globalObject));
|
|
return nullptr;
|
|
}
|
|
|
|
Structure* structure = getRegExpStructure(globalObject, newTarget);
|
|
RETURN_IF_EXCEPTION(scope, nullptr);
|
|
return RegExpObject::create(vm, structure, regExp);
|
|
}
|
|
|
|
JSObject* constructRegExp(JSGlobalObject* globalObject, const ArgList& args, JSObject* callee, JSValue newTarget)
|
|
{
|
|
VM& vm = globalObject->vm();
|
|
auto scope = DECLARE_THROW_SCOPE(vm);
|
|
JSValue patternArg = args.at(0);
|
|
JSValue flagsArg = args.at(1);
|
|
|
|
bool isPatternRegExp = patternArg.inherits<RegExpObject>(vm);
|
|
bool constructAsRegexp = isRegExp(vm, globalObject, patternArg);
|
|
RETURN_IF_EXCEPTION(scope, nullptr);
|
|
|
|
if (!newTarget && constructAsRegexp && flagsArg.isUndefined()) {
|
|
JSValue constructor = patternArg.get(globalObject, vm.propertyNames->constructor);
|
|
RETURN_IF_EXCEPTION(scope, nullptr);
|
|
if (callee == constructor) {
|
|
// We know that patternArg is a object otherwise constructAsRegexp would be false.
|
|
return patternArg.getObject();
|
|
}
|
|
}
|
|
|
|
if (isPatternRegExp) {
|
|
RegExp* regExp = jsCast<RegExpObject*>(patternArg)->regExp();
|
|
Structure* structure = getRegExpStructure(globalObject, newTarget);
|
|
RETURN_IF_EXCEPTION(scope, nullptr);
|
|
|
|
if (!flagsArg.isUndefined()) {
|
|
auto flags = toFlags(globalObject, flagsArg);
|
|
RETURN_IF_EXCEPTION(scope, nullptr);
|
|
|
|
regExp = RegExp::create(vm, regExp->pattern(), flags);
|
|
if (UNLIKELY(!regExp->isValid())) {
|
|
throwException(globalObject, scope, regExp->errorToThrow(globalObject));
|
|
return nullptr;
|
|
}
|
|
}
|
|
|
|
return RegExpObject::create(vm, structure, regExp);
|
|
}
|
|
|
|
if (constructAsRegexp) {
|
|
JSValue pattern = patternArg.get(globalObject, vm.propertyNames->source);
|
|
RETURN_IF_EXCEPTION(scope, nullptr);
|
|
if (flagsArg.isUndefined()) {
|
|
flagsArg = patternArg.get(globalObject, vm.propertyNames->flags);
|
|
RETURN_IF_EXCEPTION(scope, nullptr);
|
|
}
|
|
patternArg = pattern;
|
|
}
|
|
|
|
RELEASE_AND_RETURN(scope, regExpCreate(globalObject, newTarget, patternArg, flagsArg));
|
|
}
|
|
|
|
JSC_DEFINE_HOST_FUNCTION(esSpecRegExpCreate, (JSGlobalObject* globalObject, CallFrame* callFrame))
|
|
{
|
|
JSValue patternArg = callFrame->argument(0);
|
|
JSValue flagsArg = callFrame->argument(1);
|
|
return JSValue::encode(regExpCreate(globalObject, JSValue(), patternArg, flagsArg));
|
|
}
|
|
|
|
JSC_DEFINE_HOST_FUNCTION(esSpecIsRegExp, (JSGlobalObject* globalObject, CallFrame* callFrame))
|
|
{
|
|
VM& vm = globalObject->vm();
|
|
return JSValue::encode(jsBoolean(isRegExp(vm, globalObject, callFrame->argument(0))));
|
|
}
|
|
|
|
JSC_DEFINE_HOST_FUNCTION(constructWithRegExpConstructor, (JSGlobalObject* globalObject, CallFrame* callFrame))
|
|
{
|
|
ArgList args(callFrame);
|
|
return JSValue::encode(constructRegExp(globalObject, args, callFrame->jsCallee(), callFrame->newTarget()));
|
|
}
|
|
|
|
JSC_DEFINE_HOST_FUNCTION(callRegExpConstructor, (JSGlobalObject* globalObject, CallFrame* callFrame))
|
|
{
|
|
ArgList args(callFrame);
|
|
return JSValue::encode(constructRegExp(globalObject, args, callFrame->jsCallee()));
|
|
}
|
|
|
|
} // namespace JSC
|