Revision control
Copy as Markdown
// Copyright (C) 2018 Crimson AS <info@crimson.no>
// SPDX-License-Identifier: LicenseRef-Qt-Commercial OR LGPL-3.0-only OR GPL-2.0-only OR GPL-3.0-only
// Qt-Security score:significant
#include "qv4setobject_p.h"
#include "qv4setiterator_p.h"
#include "qv4estable_p.h"
#include "qv4symbol_p.h"
using namespace QV4;
using namespace Qt::Literals::StringLiterals;
DEFINE_OBJECT_VTABLE(SetCtor);
DEFINE_OBJECT_VTABLE(WeakSetCtor);
DEFINE_OBJECT_VTABLE(SetObject);
void Heap::WeakSetCtor::init(QV4::ExecutionEngine *engine)
{
Heap::FunctionObject::init(engine, QStringLiteral("WeakSet"));
}
void Heap::SetCtor::init(QV4::ExecutionEngine *engine)
{
Heap::FunctionObject::init(engine, QStringLiteral("Set"));
}
ReturnedValue WeakSetCtor::construct(const FunctionObject *f, const Value *argv, int argc, const Value *newTarget, bool isWeak)
{
Scope scope(f);
Scoped<SetObject> a(scope, scope.engine->memoryManager->allocate<SetObject>());
bool protoSet = false;
if (newTarget)
protoSet = a->setProtoFromNewTarget(newTarget);
if (!protoSet && isWeak)
a->setPrototypeOf(scope.engine->weakSetPrototype());
a->d()->isWeakSet = isWeak;
if (argc > 0) {
ScopedValue iterable(scope, argv[0]);
if (!iterable->isUndefined() && !iterable->isNull()) {
ScopedFunctionObject adder(scope, a->get(ScopedString(scope, scope.engine->newString(u"add"_s))));
if (!adder)
return scope.engine->throwTypeError();
ScopedObject iter(scope, Runtime::GetIterator::call(scope.engine, iterable, true));
CHECK_EXCEPTION();
if (!iter)
return a.asReturnedValue();
Value *nextValue = scope.constructUndefined(1);
ScopedValue done(scope);
forever {
done = Runtime::IteratorNext::call(scope.engine, iter, nextValue);
CHECK_EXCEPTION();
if (done->toBoolean())
return a.asReturnedValue();
adder->call(a, nextValue, 1);
if (scope.hasException())
return Runtime::IteratorClose::call(scope.engine, iter);
}
}
}
return a.asReturnedValue();
}
ReturnedValue WeakSetCtor::virtualCallAsConstructor(const FunctionObject *f, const Value *argv, int argc, const Value *newTarget)
{
return construct(f, argv, argc, newTarget, true);
}
ReturnedValue WeakSetCtor::virtualCall(const FunctionObject *f, const Value *, const Value *, int)
{
Scope scope(f);
return scope.engine->throwTypeError(QString::fromLatin1("Set requires new"));
}
ReturnedValue SetCtor::virtualCallAsConstructor(const FunctionObject *f, const Value *argv, int argc, const Value *newTarget)
{
return construct(f, argv, argc, newTarget, false);
}
void WeakSetPrototype::init(ExecutionEngine *engine, Object *ctor)
{
Scope scope(engine);
ScopedObject o(scope);
ctor->defineReadonlyConfigurableProperty(engine->id_length(), Value::fromInt32(0));
ctor->defineReadonlyProperty(engine->id_prototype(), (o = this));
defineDefaultProperty(engine->id_constructor(), (o = ctor));
defineDefaultProperty(QStringLiteral("add"), method_add, 1);
defineDefaultProperty(QStringLiteral("delete"), method_delete, 1);
defineDefaultProperty(QStringLiteral("has"), method_has, 1);
ScopedString val(scope, engine->newString(QLatin1String("WeakSet")));
defineReadonlyConfigurableProperty(engine->symbol_toStringTag(), val);
}
ReturnedValue WeakSetPrototype::method_add(const FunctionObject *b, const Value *thisObject, const Value *argv, int argc)
{
Scope scope(b);
Scoped<SetObject> that(scope, thisObject);
if ((!that || !that->d()->isWeakSet) ||
(!argc || !argv[0].isObject()))
return scope.engine->throwTypeError();
QV4::WriteBarrier::markCustom(scope.engine, [&](QV4::MarkStack *ms) {
if (scope.engine->memoryManager->gcStateMachine->state <= GCState::FreeWeakSets)
return;
argv[0].heapObject()->mark(ms);
});
that->d()->esTable->set(argv[0], Value::undefinedValue());
return that.asReturnedValue();
}
ReturnedValue WeakSetPrototype::method_delete(const FunctionObject *b, const Value *thisObject, const Value *argv, int argc)
{
Scope scope(b);
Scoped<SetObject> that(scope, thisObject);
if (!that || !that->d()->isWeakSet)
return scope.engine->throwTypeError();
if (!argc || !argv[0].isObject())
return Encode(false);
return Encode(that->d()->esTable->remove(argv[0]));
}
ReturnedValue WeakSetPrototype::method_has(const FunctionObject *b, const Value *thisObject, const Value *argv, int argc)
{
Scope scope(b);
Scoped<SetObject> that(scope, thisObject);
if (!that || !that->d()->isWeakSet)
return scope.engine->throwTypeError();
if (!argc || !argv[0].isObject())
return Encode(false);
return Encode(that->d()->esTable->has(argv[0]));
}
void SetPrototype::init(ExecutionEngine *engine, Object *ctor)
{
Scope scope(engine);
ScopedObject o(scope);
ctor->defineReadonlyConfigurableProperty(engine->id_length(), Value::fromInt32(0));
ctor->defineReadonlyProperty(engine->id_prototype(), (o = this));
ctor->addSymbolSpecies();
defineDefaultProperty(engine->id_constructor(), (o = ctor));
defineDefaultProperty(QStringLiteral("add"), method_add, 1);
defineDefaultProperty(QStringLiteral("clear"), method_clear, 0);
defineDefaultProperty(QStringLiteral("delete"), method_delete, 1);
defineDefaultProperty(QStringLiteral("entries"), method_entries, 0);
defineDefaultProperty(QStringLiteral("forEach"), method_forEach, 1);
defineDefaultProperty(QStringLiteral("has"), method_has, 1);
defineAccessorProperty(QStringLiteral("size"), method_get_size, nullptr);
// Per the spec, the value for 'keys' is the same as 'values'.
ScopedString valString(scope, scope.engine->newIdentifier(QStringLiteral("values")));
ScopedFunctionObject valuesFn(scope, FunctionObject::createBuiltinFunction(engine, valString, SetPrototype::method_values, 0));
defineDefaultProperty(QStringLiteral("keys"), valuesFn);
defineDefaultProperty(QStringLiteral("values"), valuesFn);
defineDefaultProperty(engine->symbol_iterator(), valuesFn);
ScopedString val(scope, engine->newString(QLatin1String("Set")));
defineReadonlyConfigurableProperty(engine->symbol_toStringTag(), val);
}
void Heap::SetObject::init()
{
Object::init();
esTable = new ESTable();
}
void Heap::SetObject::destroy()
{
delete esTable;
esTable = 0;
}
void Heap::SetObject::removeUnmarkedKeys()
{
esTable->removeUnmarkedKeys();
}
void Heap::SetObject::markObjects(Heap::Base *that, MarkStack *markStack)
{
SetObject *s = static_cast<SetObject *>(that);
s->esTable->markObjects(markStack, s->isWeakSet);
Object::markObjects(that, markStack);
}
ReturnedValue SetPrototype::method_add(const FunctionObject *b, const Value *thisObject, const Value *argv, int)
{
Scope scope(b);
Scoped<SetObject> that(scope, thisObject);
if (!that || that->d()->isWeakSet)
return scope.engine->throwTypeError();
QV4::WriteBarrier::markCustom(scope.engine, [&](QV4::MarkStack *ms) {
if (auto *h = argv[0].heapObject())
h->mark(ms);
});
that->d()->esTable->set(argv[0], Value::undefinedValue());
return that.asReturnedValue();
}
ReturnedValue SetPrototype::method_clear(const FunctionObject *b, const Value *thisObject, const Value *, int)
{
Scope scope(b);
Scoped<SetObject> that(scope, thisObject);
if (!that || that->d()->isWeakSet)
return scope.engine->throwTypeError();
that->d()->esTable->clear();
return Encode::undefined();
}
ReturnedValue SetPrototype::method_delete(const FunctionObject *b, const Value *thisObject, const Value *argv, int)
{
Scope scope(b);
Scoped<SetObject> that(scope, thisObject);
if (!that || that->d()->isWeakSet)
return scope.engine->throwTypeError();
return Encode(that->d()->esTable->remove(argv[0]));
}
ReturnedValue SetPrototype::method_entries(const FunctionObject *b, const Value *thisObject, const Value *, int)
{
Scope scope(b);
Scoped<SetObject> that(scope, thisObject);
if (!that || that->d()->isWeakSet)
return scope.engine->throwTypeError();
Scoped<SetIteratorObject> ao(scope, scope.engine->newSetIteratorObject(that));
ao->d()->iterationKind = IteratorKind::KeyValueIteratorKind;
return ao->asReturnedValue();
}
ReturnedValue SetPrototype::method_forEach(const FunctionObject *b, const Value *thisObject, const Value *argv, int argc)
{
Scope scope(b);
Scoped<SetObject> that(scope, thisObject);
if (!that || that->d()->isWeakSet)
return scope.engine->throwTypeError();
ScopedFunctionObject callbackfn(scope, argv[0]);
if (!callbackfn)
return scope.engine->throwTypeError();
ScopedValue thisArg(scope, Value::undefinedValue());
if (argc > 1)
thisArg = ScopedValue(scope, argv[1]);
ESTable::ShiftObserver observer{};
that->d()->esTable->observeShifts(observer);
Value *arguments = scope.constructUndefined(3);
while (observer.pivot < that->d()->esTable->size()) {
that->d()->esTable->iterate(observer.pivot, &arguments[0], &arguments[1]); // fill in key (0), value (1)
arguments[1] = arguments[0]; // but for set, we want to return the key twice; value is always undefined.
arguments[2] = that;
callbackfn->call(thisArg, arguments, 3);
CHECK_EXCEPTION();
observer.next();
}
that->d()->esTable->stopObservingShifts(observer);
return Encode::undefined();
}
ReturnedValue SetPrototype::method_has(const FunctionObject *b, const Value *thisObject, const Value *argv, int)
{
Scope scope(b);
Scoped<SetObject> that(scope, thisObject);
if (!that || that->d()->isWeakSet)
return scope.engine->throwTypeError();
return Encode(that->d()->esTable->has(argv[0]));
}
ReturnedValue SetPrototype::method_get_size(const FunctionObject *b, const Value *thisObject, const Value *, int)
{
Scope scope(b);
Scoped<SetObject> that(scope, thisObject);
if (!that || that->d()->isWeakSet)
return scope.engine->throwTypeError();
return Encode(that->d()->esTable->size());
}
ReturnedValue SetPrototype::method_values(const FunctionObject *b, const Value *thisObject, const Value *, int)
{
Scope scope(b);
Scoped<SetObject> that(scope, thisObject);
if (!that || that->d()->isWeakSet)
return scope.engine->throwTypeError();
Scoped<SetIteratorObject> ao(scope, scope.engine->newSetIteratorObject(that));
ao->d()->iterationKind = IteratorKind::ValueIteratorKind;
return ao->asReturnedValue();
}