blob: 018571e325834ad3b90f92a0fd0ce075bc0f70c7 [file] [log] [blame]
/****************************************************************************
**
** Copyright (C) 2016 The Qt Company Ltd.
** Contact: https://www.qt.io/licensing/
**
** This file is part of the QtQml module of the Qt Toolkit.
**
** $QT_BEGIN_LICENSE:LGPL$
** Commercial License Usage
** Licensees holding valid commercial Qt licenses may use this file in
** accordance with the commercial license agreement provided with the
** Software or, alternatively, in accordance with the terms contained in
** a written agreement between you and The Qt Company. For licensing terms
** and conditions see https://www.qt.io/terms-conditions. For further
** information use the contact form at https://www.qt.io/contact-us.
**
** GNU Lesser General Public License Usage
** Alternatively, this file may be used under the terms of the GNU Lesser
** General Public License version 3 as published by the Free Software
** Foundation and appearing in the file LICENSE.LGPL3 included in the
** packaging of this file. Please review the following information to
** ensure the GNU Lesser General Public License version 3 requirements
** will be met: https://www.gnu.org/licenses/lgpl-3.0.html.
**
** GNU General Public License Usage
** Alternatively, this file may be used under the terms of the GNU
** General Public License version 2.0 or (at your option) the GNU General
** Public license version 3 or any later version approved by the KDE Free
** Qt Foundation. The licenses are as published by the Free Software
** Foundation and appearing in the file LICENSE.GPL2 and LICENSE.GPL3
** included in the packaging of this file. Please review the following
** information to ensure the GNU General Public License requirements will
** be met: https://www.gnu.org/licenses/gpl-2.0.html and
** https://www.gnu.org/licenses/gpl-3.0.html.
**
** $QT_END_LICENSE$
**
****************************************************************************/
#include <QString>
#include "qv4debugging_p.h"
#include <qv4context_p.h>
#include <qv4object_p.h>
#include <qv4objectproto_p.h>
#include <private/qv4mm_p.h>
#include <qv4argumentsobject_p.h>
#include "qv4function_p.h"
#include "qv4errorobject_p.h"
#include "qv4string_p.h"
#include "qv4qmlcontext_p.h"
#include "qv4stackframe_p.h"
#include "qv4symbol_p.h"
using namespace QV4;
DEFINE_MANAGED_VTABLE(ExecutionContext);
DEFINE_MANAGED_VTABLE(CallContext);
Heap::CallContext *ExecutionContext::newBlockContext(CppStackFrame *frame, int blockIndex)
{
Function *function = frame->v4Function;
Heap::InternalClass *ic = function->executableCompilationUnit()->runtimeBlocks.at(blockIndex);
uint nLocals = ic->size;
size_t requiredMemory = sizeof(CallContext::Data) - sizeof(Value) + sizeof(Value) * nLocals;
ExecutionEngine *v4 = function->internalClass->engine;
Heap::CallContext *c = v4->memoryManager->allocManaged<CallContext>(requiredMemory, ic);
c->init();
c->type = Heap::ExecutionContext::Type_BlockContext;
Heap::ExecutionContext *outer = static_cast<Heap::ExecutionContext *>(frame->context()->m());
c->outer.set(v4, outer);
c->function.set(v4, static_cast<Heap::FunctionObject *>(
Value::fromStaticValue(frame->jsFrame->function).m()));
c->locals.size = nLocals;
c->locals.alloc = nLocals;
c->setupLocalTemporalDeadZone(function->executableCompilationUnit()->unitData()->blockAt(blockIndex));
return c;
}
Heap::CallContext *ExecutionContext::cloneBlockContext(ExecutionEngine *engine,
Heap::CallContext *callContext)
{
uint nLocals = callContext->locals.alloc;
size_t requiredMemory = sizeof(CallContext::Data) - sizeof(Value) + sizeof(Value) * nLocals;
Heap::CallContext *c = engine->memoryManager->allocManaged<CallContext>(
requiredMemory, callContext->internalClass);
memcpy(c, callContext, requiredMemory);
return c;
}
Heap::CallContext *ExecutionContext::newCallContext(CppStackFrame *frame)
{
Function *function = frame->v4Function;
Heap::ExecutionContext *outer = static_cast<Heap::ExecutionContext *>(frame->context()->m());
uint nFormals = qMax(static_cast<uint>(frame->originalArgumentsCount), function->nFormals);
uint localsAndFormals = function->compiledFunction->nLocals + nFormals;
size_t requiredMemory = sizeof(CallContext::Data) - sizeof(Value) + sizeof(Value) * (localsAndFormals);
ExecutionEngine *v4 = outer->internalClass->engine;
Heap::CallContext *c = v4->memoryManager->allocManaged<CallContext>(requiredMemory, function->internalClass);
c->init();
c->outer.set(v4, outer);
c->function.set(v4, static_cast<Heap::FunctionObject *>(
Value::fromStaticValue(frame->jsFrame->function).m()));
const CompiledData::Function *compiledFunction = function->compiledFunction;
uint nLocals = compiledFunction->nLocals;
c->locals.size = nLocals;
c->locals.alloc = localsAndFormals;
// memory allocated from the JS heap is 0 initialized, so check if empty is 0
Q_ASSERT(Value::undefinedValue().asReturnedValue() == 0);
c->setupLocalTemporalDeadZone(compiledFunction);
Value *args = c->locals.values + nLocals;
::memcpy(args, frame->originalArguments, frame->originalArgumentsCount * sizeof(Value));
c->nArgs = frame->originalArgumentsCount;
for (uint i = frame->originalArgumentsCount; i < function->nFormals; ++i)
args[i] = Encode::undefined();
return c;
}
Heap::ExecutionContext *ExecutionContext::newWithContext(Heap::Object *with) const
{
Heap::ExecutionContext *c = engine()->memoryManager->alloc<ExecutionContext>(Heap::ExecutionContext::Type_WithContext);
c->outer.set(engine(), d());
c->activation.set(engine(), with);
return c;
}
Heap::ExecutionContext *ExecutionContext::newCatchContext(CppStackFrame *frame, int blockIndex, Heap::String *exceptionVarName)
{
Scope scope(frame->context());
ScopedString name(scope, exceptionVarName);
ScopedValue val(scope, scope.engine->catchException(nullptr));
ScopedContext ctx(scope, newBlockContext(frame, blockIndex));
ctx->setProperty(name, val);
return ctx->d();
}
void ExecutionContext::createMutableBinding(String *name, bool deletable)
{
Scope scope(this);
// find the right context to create the binding on
ScopedObject activation(scope);
ScopedContext ctx(scope, this);
while (ctx) {
switch (ctx->d()->type) {
case Heap::ExecutionContext::Type_CallContext:
if (!activation) {
Heap::CallContext *c = static_cast<Heap::CallContext *>(ctx->d());
if (!c->activation)
c->activation.set(scope.engine, scope.engine->newObject());
activation = c->activation;
}
break;
case Heap::ExecutionContext::Type_QmlContext: {
// this is ugly, as it overrides the inner callcontext, but has to stay as long
// as bindings still get their own callcontext
activation = ctx->d()->activation;
break;
}
case Heap::ExecutionContext::Type_GlobalContext: {
Q_ASSERT(scope.engine->globalObject->d() == ctx->d()->activation);
if (!activation)
activation = ctx->d()->activation;
break;
}
case Heap::ExecutionContext::Type_BlockContext:
// never create activation records on block contexts
default:
break;
}
ctx = ctx->d()->outer;
}
PropertyKey id = name->toPropertyKey();
if (activation->getOwnProperty(id) != Attr_Invalid)
return;
ScopedProperty desc(scope);
PropertyAttributes attrs(Attr_Data);
attrs.setConfigurable(deletable);
if (!activation->defineOwnProperty(id, desc, attrs))
scope.engine->throwTypeError();
}
static bool unscopable(ExecutionEngine *engine, Heap::Object *withObject, PropertyKey id)
{
if (!withObject)
return false;
Scope scope(engine);
ScopedObject w(scope, withObject);
ScopedObject o(scope, w->get(scope.engine->symbol_unscopables()));
if (o) {
ScopedValue blocked(scope, o->get(id));
return blocked->toBoolean();
}
return false;
}
bool ExecutionContext::deleteProperty(String *name)
{
PropertyKey id = name->toPropertyKey();
Heap::ExecutionContext *ctx = d();
ExecutionEngine *engine = ctx->internalClass->engine;
for (; ctx; ctx = ctx->outer) {
switch (ctx->type) {
case Heap::ExecutionContext::Type_BlockContext:
case Heap::ExecutionContext::Type_CallContext: {
Heap::CallContext *c = static_cast<Heap::CallContext *>(ctx);
uint index = c->internalClass->indexOfValueOrGetter(id);
if (index < UINT_MAX)
// ### throw in strict mode?
return false;
Q_FALLTHROUGH();
}
case Heap::ExecutionContext::Type_WithContext: {
if (ctx->activation) {
Scope scope(this);
ScopedObject object(scope, ctx->activation);
if (object && object->hasProperty(id)) {
bool u = ::unscopable(engine, ctx->activation, id);
if (engine->hasException)
return false;
if (u)
break;
return object->deleteProperty(id);
}
}
break;
}
case Heap::ExecutionContext::Type_GlobalContext: {
if (ctx->activation) {
Scope scope(this);
ScopedObject object(scope, ctx->activation);
if (object && object->hasProperty(id))
return object->deleteProperty(id);
}
break;
}
case Heap::ExecutionContext::Type_QmlContext:
// can't delete properties on qml objects
break;
}
}
return !engine->currentStackFrame->v4Function->isStrict();
}
ExecutionContext::Error ExecutionContext::setProperty(String *name, const Value &value)
{
PropertyKey id = name->toPropertyKey();
Heap::ExecutionContext *ctx = d();
QV4::ExecutionEngine *engine = ctx->internalClass->engine;
for (; ctx; ctx = ctx->outer) {
switch (ctx->type) {
case Heap::ExecutionContext::Type_WithContext: {
Scope scope(engine);
ScopedObject w(scope, ctx->activation);
if (w->hasProperty(id)) {
bool u = ::unscopable(engine, ctx->activation, id);
if (engine->hasException)
return TypeError;
if (u)
break;
if (!w->put(name, value))
return TypeError;
return NoError;
}
break;
}
case Heap::ExecutionContext::Type_BlockContext:
case Heap::ExecutionContext::Type_CallContext: {
Heap::CallContext *c = static_cast<Heap::CallContext *>(ctx);
uint index = c->internalClass->indexOfValueOrGetter(id);
if (index < UINT_MAX) {
static_cast<Heap::CallContext *>(c)->locals.set(engine, index, value);
return NoError;
}
}
Q_FALLTHROUGH();
case Heap::ExecutionContext::Type_GlobalContext:
if (ctx->activation) {
auto member = ctx->activation->internalClass->findValueOrSetter(id);
if (member.index < UINT_MAX) {
Scope scope(engine);
ScopedObject a(scope, ctx->activation);
if (!a->putValue(member.index, member.attrs, value))
return TypeError;
return NoError;
}
}
break;
case Heap::ExecutionContext::Type_QmlContext: {
Scope scope(engine);
ScopedObject activation(scope, ctx->activation);
if (!activation->put(name, value))
return TypeError;
return NoError;
}
}
}
return RangeError;
}
ReturnedValue ExecutionContext::getProperty(String *name)
{
PropertyKey id = name->toPropertyKey();
Heap::ExecutionContext *ctx = d();
QV4::ExecutionEngine *engine = ctx->internalClass->engine;
for (; ctx; ctx = ctx->outer) {
switch (ctx->type) {
case Heap::ExecutionContext::Type_BlockContext:
case Heap::ExecutionContext::Type_CallContext: {
Heap::CallContext *c = static_cast<Heap::CallContext *>(ctx);
uint index = c->internalClass->indexOfValueOrGetter(id);
if (index < UINT_MAX)
return c->locals[index].asReturnedValue();
Q_FALLTHROUGH();
}
case Heap::ExecutionContext::Type_WithContext:
if (ctx->activation) {
Scope scope(this);
ScopedObject activation(scope, ctx->activation);
if (activation->hasProperty(id)) {
bool u = ::unscopable(engine, ctx->activation, id);
if (engine->hasException)
return false;
if (u)
break;
return activation->get(id);
}
}
break;
case Heap::ExecutionContext::Type_GlobalContext:
case Heap::ExecutionContext::Type_QmlContext: {
if (ctx->activation) {
Scope scope(this);
ScopedObject activation(scope, ctx->activation);
bool hasProperty = false;
ReturnedValue v = activation->get(id, nullptr, &hasProperty);
if (hasProperty)
return v;
}
break;
}
}
}
return engine->throwReferenceError(*name);
}
ReturnedValue ExecutionContext::getPropertyAndBase(String *name, Value *base)
{
base->setM(nullptr);
PropertyKey id = name->toPropertyKey();
Heap::ExecutionContext *ctx = d();
QV4::ExecutionEngine *engine = ctx->internalClass->engine;
for (; ctx; ctx = ctx->outer) {
switch (ctx->type) {
case Heap::ExecutionContext::Type_BlockContext:
case Heap::ExecutionContext::Type_CallContext: {
Heap::CallContext *c = static_cast<Heap::CallContext *>(ctx);
uint index = c->internalClass->indexOfValueOrGetter(id);
if (index < UINT_MAX)
return c->locals[index].asReturnedValue();
Q_FALLTHROUGH();
}
case Heap::ExecutionContext::Type_GlobalContext: {
if (ctx->activation) {
Scope scope(this);
ScopedObject activation(scope, ctx->activation);
bool hasProperty = false;
ReturnedValue v = activation->get(name, &hasProperty);
if (hasProperty)
return v;
}
break;
}
case Heap::ExecutionContext::Type_WithContext:
if (ctx->activation) {
Scope scope(this);
ScopedObject activation(scope, ctx->activation);
if (activation->hasProperty(id)) {
bool u = ::unscopable(engine, ctx->activation, id);
if (engine->hasException)
return false;
if (u)
break;
base->setM(activation->d());
return activation->get(id);
}
}
break;
case Heap::ExecutionContext::Type_QmlContext: {
Scope scope(this);
ScopedObject o(scope, ctx->activation);
bool hasProperty = false;
ReturnedValue v = o->get(id, nullptr, &hasProperty);
if (hasProperty) {
base->setM(o->d());
return v;
}
break;
}
}
}
return engine->throwReferenceError(*name);
}
void Heap::CallContext::setArg(uint index, Value v)
{
locals.set(internalClass->engine, locals.size + index, v);
}