qv4context.cpp 20.56 KiB
/****************************************************************************
**
** Copyright (C) 2014 Digia Plc and/or its subsidiary(-ies).
** Contact: http://www.qt-project.org/legal
**
** This file is part of the QtQml module of the Qt Toolkit.
**
** $QT_BEGIN_LICENSE:LGPL21$
** 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 Digia. For licensing terms and
** conditions see http://qt.digia.com/licensing. For further information
** use the contact form at http://qt.digia.com/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 2.1 or version 3 as published by the Free
** Software Foundation and appearing in the file LICENSE.LGPLv21 and
** LICENSE.LGPLv3 included in the packaging of this file. Please review the
** following information to ensure the GNU Lesser General Public License
** requirements will be met: https://www.gnu.org/licenses/lgpl.html and
** http://www.gnu.org/licenses/old-licenses/lgpl-2.1.html.
** In addition, as a special exception, Digia gives you certain additional
** rights. These rights are described in the Digia Qt LGPL Exception
** version 1.1, included in the file LGPL_EXCEPTION.txt in this package.
** $QT_END_LICENSE$
****************************************************************************/
#include <QString>
#include "qv4debugging_p.h"
#include <qv4context_p.h>
#include <qv4object_p.h>
#include <qv4objectproto_p.h>
#include "qv4mm_p.h"
#include <qv4argumentsobject_p.h>
#include "qv4function_p.h"
#include "qv4errorobject_p.h"
using namespace QV4;
DEFINE_MANAGED_VTABLE(ExecutionContext);
DEFINE_MANAGED_VTABLE(CallContext);
DEFINE_MANAGED_VTABLE(WithContext);
DEFINE_MANAGED_VTABLE(GlobalContext);
HeapObject *ExecutionContext::newCallContext(FunctionObject *function, CallData *callData)
    Q_ASSERT(function->function());
    CallContext::Data *c = reinterpret_cast<CallContext::Data *>(d()->engine->memoryManager->allocManaged(requiredMemoryForExecutionContect(function, callData->argc)));
    new (c) CallContext::Data(d()->engine, Type_CallContext);
    c->function = function;
    c->realArgumentCount = callData->argc;
    c->strictMode = function->strictMode();
    c->outer = function->scope();
    c->activation = 0;
    c->compilationUnit = function->function()->compilationUnit;
    c->lookups = c->compilationUnit->runtimeLookups;
    c->locals = (Value *)((quintptr(c + 1) + 7) & ~7);
    const CompiledData::Function *compiledFunction = function->function()->compiledFunction;
7172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140
int nLocals = compiledFunction->nLocals; if (nLocals) std::fill(c->locals, c->locals + nLocals, Primitive::undefinedValue()); c->callData = reinterpret_cast<CallData *>(c->locals + nLocals); ::memcpy(c->callData, callData, sizeof(CallData) + (callData->argc - 1) * sizeof(Value)); if (callData->argc < static_cast<int>(compiledFunction->nFormals)) std::fill(c->callData->args + c->callData->argc, c->callData->args + compiledFunction->nFormals, Primitive::undefinedValue()); c->callData->argc = qMax((uint)callData->argc, compiledFunction->nFormals); return c; } WithContext *ExecutionContext::newWithContext(Object *with) { return d()->engine->memoryManager->alloc<WithContext>(d()->engine, with); } CatchContext *ExecutionContext::newCatchContext(String *exceptionVarName, const ValueRef exceptionValue) { return d()->engine->memoryManager->alloc<CatchContext>(d()->engine, exceptionVarName, exceptionValue); } CallContext *ExecutionContext::newQmlContext(FunctionObject *f, Object *qml) { CallContext *c = reinterpret_cast<CallContext*>(d()->engine->memoryManager->allocManaged(requiredMemoryForExecutionContect(f, 0))); new (c->d()) CallContext::Data(d()->engine, qml, f); return c; } void ExecutionContext::createMutableBinding(String *name, bool deletable) { Scope scope(this); // find the right context to create the binding on ScopedObject activation(scope, d()->engine->globalObject); ExecutionContext *ctx = this; while (ctx) { if (ctx->d()->type >= Type_CallContext) { CallContext *c = static_cast<CallContext *>(ctx); if (!c->d()->activation) c->d()->activation = d()->engine->newObject()->getPointer(); activation = c->d()->activation; break; } ctx = ctx->d()->outer; } if (activation->hasProperty(name)) return; Property desc(Primitive::undefinedValue()); PropertyAttributes attrs(Attr_Data); attrs.setConfigurable(deletable); activation->__defineOwnProperty__(this, name, desc, attrs); } GlobalContext::Data::Data(ExecutionEngine *eng) : ExecutionContext::Data(eng, Type_GlobalContext) { global = eng->globalObject; } WithContext::Data::Data(ExecutionEngine *engine, Object *with) : ExecutionContext::Data(engine, Type_WithContext) { callData = parent->d()->callData; outer = parent;
141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210
lookups = parent->d()->lookups; compilationUnit = parent->d()->compilationUnit; withObject = with; } CatchContext::Data::Data(ExecutionEngine *engine, String *exceptionVarName, const ValueRef exceptionValue) : ExecutionContext::Data(engine, Type_CatchContext) { strictMode = parent->d()->strictMode; callData = parent->d()->callData; outer = parent; lookups = parent->d()->lookups; compilationUnit = parent->d()->compilationUnit; this->exceptionVarName = exceptionVarName; this->exceptionValue = exceptionValue; } CallContext::Data::Data(ExecutionEngine *engine, Object *qml, FunctionObject *function) : ExecutionContext::Data(engine, Type_QmlContext) { this->function = function; callData = reinterpret_cast<CallData *>(this + 1); callData->tag = QV4::Value::_Integer_Type; callData->argc = 0; callData->thisObject = Primitive::undefinedValue(); strictMode = true; outer = function->scope(); activation = qml; if (function->function()) { compilationUnit = function->function()->compilationUnit; lookups = compilationUnit->runtimeLookups; } locals = (Value *)(this + 1); if (function->varCount()) std::fill(locals, locals + function->varCount(), Primitive::undefinedValue()); } String * const *CallContext::formals() const { return (d()->function && d()->function->function()) ? d()->function->function()->internalClass->nameMap.constData() : 0; } unsigned int CallContext::formalCount() const { return d()->function ? d()->function->formalParameterCount() : 0; } String * const *CallContext::variables() const { return (d()->function && d()->function->function()) ? d()->function->function()->internalClass->nameMap.constData() + d()->function->function()->compiledFunction->nFormals : 0; } unsigned int CallContext::variableCount() const { return d()->function ? d()->function->varCount() : 0; } bool ExecutionContext::deleteProperty(String *name) { Scope scope(this); bool hasWith = false; for (ExecutionContext *ctx = this; ctx; ctx = ctx->d()->outer) {
211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280
if (ctx->d()->type == Type_WithContext) { hasWith = true; WithContext *w = static_cast<WithContext *>(ctx); if (w->d()->withObject->hasProperty(name)) return w->d()->withObject->deleteProperty(name); } else if (ctx->d()->type == Type_CatchContext) { CatchContext *c = static_cast<CatchContext *>(ctx); if (c->d()->exceptionVarName->isEqualTo(name)) return false; } else if (ctx->d()->type >= Type_CallContext) { CallContext *c = static_cast<CallContext *>(ctx); FunctionObject *f = c->d()->function; if (f->needsActivation() || hasWith) { uint index = f->function()->internalClass->find(name); if (index < UINT_MAX) // ### throw in strict mode? return false; } if (c->d()->activation && c->d()->activation->hasProperty(name)) return c->d()->activation->deleteProperty(name); } else if (ctx->d()->type == Type_GlobalContext) { GlobalContext *g = static_cast<GlobalContext *>(ctx); if (g->d()->global->hasProperty(name)) return g->d()->global->deleteProperty(name); } } if (d()->strictMode) throwSyntaxError(QStringLiteral("Can't delete property %1").arg(name->toQString())); return true; } bool CallContext::needsOwnArguments() const { return d()->function->needsActivation() || d()->callData->argc < static_cast<int>(d()->function->formalParameterCount()); } void ExecutionContext::markObjects(Managed *m, ExecutionEngine *engine) { ExecutionContext *ctx = static_cast<ExecutionContext *>(m); if (ctx->d()->outer) ctx->d()->outer->mark(engine); // ### shouldn't need these 3 lines ctx->d()->callData->thisObject.mark(engine); for (int arg = 0; arg < ctx->d()->callData->argc; ++arg) ctx->d()->callData->args[arg].mark(engine); if (ctx->d()->type >= Type_CallContext) { QV4::CallContext *c = static_cast<CallContext *>(ctx); for (unsigned local = 0, lastLocal = c->d()->function->varCount(); local < lastLocal; ++local) c->d()->locals[local].mark(engine); if (c->d()->activation) c->d()->activation->mark(engine); c->d()->function->mark(engine); } else if (ctx->d()->type == Type_WithContext) { WithContext *w = static_cast<WithContext *>(ctx); w->d()->withObject->mark(engine); } else if (ctx->d()->type == Type_CatchContext) { CatchContext *c = static_cast<CatchContext *>(ctx); c->d()->exceptionVarName->mark(engine); c->d()->exceptionValue.mark(engine); } else if (ctx->d()->type == Type_GlobalContext) { GlobalContext *g = static_cast<GlobalContext *>(ctx); g->d()->global->mark(engine); } } void ExecutionContext::setProperty(String *name, const ValueRef value)
281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350
{ Scope scope(this); for (ExecutionContext *ctx = this; ctx; ctx = ctx->d()->outer) { if (ctx->d()->type == Type_WithContext) { ScopedObject w(scope, static_cast<WithContext *>(ctx)->d()->withObject); if (w->hasProperty(name)) { w->put(name, value); return; } } else if (ctx->d()->type == Type_CatchContext && static_cast<CatchContext *>(ctx)->d()->exceptionVarName->isEqualTo(name)) { static_cast<CatchContext *>(ctx)->d()->exceptionValue = *value; return; } else { ScopedObject activation(scope, (Object *)0); if (ctx->d()->type >= Type_CallContext) { CallContext *c = static_cast<CallContext *>(ctx); if (c->d()->function->function()) { uint index = c->d()->function->function()->internalClass->find(name); if (index < UINT_MAX) { if (index < c->d()->function->formalParameterCount()) { c->d()->callData->args[c->d()->function->formalParameterCount() - index - 1] = *value; } else { index -= c->d()->function->formalParameterCount(); c->d()->locals[index] = *value; } return; } } activation = c->d()->activation; } else if (ctx->d()->type == Type_GlobalContext) { activation = static_cast<GlobalContext *>(ctx)->d()->global; } if (activation) { if (ctx->d()->type == Type_QmlContext) { activation->put(name, value); return; } else { uint member = activation->internalClass()->find(name); if (member < UINT_MAX) { activation->putValue(activation->propertyAt(member), activation->internalClass()->propertyData[member], value); return; } } } } } if (d()->strictMode || name->equals(d()->engine->id_this.getPointer())) { ScopedValue n(scope, name->asReturnedValue()); throwReferenceError(n); return; } d()->engine->globalObject->put(name, value); } ReturnedValue ExecutionContext::getProperty(String *name) { Scope scope(this); ScopedValue v(scope); name->makeIdentifier(); if (name->equals(d()->engine->id_this.getPointer())) return d()->callData->thisObject.asReturnedValue(); bool hasWith = false; bool hasCatchScope = false; for (ExecutionContext *ctx = this; ctx; ctx = ctx->d()->outer) { if (ctx->d()->type == Type_WithContext) { ScopedObject w(scope, static_cast<WithContext *>(ctx)->d()->withObject); hasWith = true;
351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420
bool hasProperty = false; v = w->get(name, &hasProperty); if (hasProperty) { return v.asReturnedValue(); } continue; } else if (ctx->d()->type == Type_CatchContext) { hasCatchScope = true; CatchContext *c = static_cast<CatchContext *>(ctx); if (c->d()->exceptionVarName->isEqualTo(name)) return c->d()->exceptionValue.asReturnedValue(); } else if (ctx->d()->type >= Type_CallContext) { QV4::CallContext *c = static_cast<CallContext *>(ctx); ScopedFunctionObject f(scope, c->d()->function); if (f->function() && (f->needsActivation() || hasWith || hasCatchScope)) { uint index = f->function()->internalClass->find(name); if (index < UINT_MAX) { if (index < c->d()->function->formalParameterCount()) return c->d()->callData->args[c->d()->function->formalParameterCount() - index - 1].asReturnedValue(); return c->d()->locals[index - c->d()->function->formalParameterCount()].asReturnedValue(); } } if (c->d()->activation) { bool hasProperty = false; v = c->d()->activation->get(name, &hasProperty); if (hasProperty) return v.asReturnedValue(); } if (f->function() && f->function()->isNamedExpression() && name->equals(f->function()->name())) return f.asReturnedValue(); } else if (ctx->d()->type == Type_GlobalContext) { GlobalContext *g = static_cast<GlobalContext *>(ctx); bool hasProperty = false; v = g->d()->global->get(name, &hasProperty); if (hasProperty) return v.asReturnedValue(); } } ScopedValue n(scope, name); return throwReferenceError(n); } ReturnedValue ExecutionContext::getPropertyAndBase(String *name, Object *&base) { Scope scope(this); ScopedValue v(scope); base = (Object *)0; name->makeIdentifier(); if (name->equals(d()->engine->id_this.getPointer())) return d()->callData->thisObject.asReturnedValue(); bool hasWith = false; bool hasCatchScope = false; for (ExecutionContext *ctx = this; ctx; ctx = ctx->d()->outer) { if (ctx->d()->type == Type_WithContext) { Object *w = static_cast<WithContext *>(ctx)->d()->withObject; hasWith = true; bool hasProperty = false; v = w->get(name, &hasProperty); if (hasProperty) { base = w; return v.asReturnedValue();
421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490
} continue; } else if (ctx->d()->type == Type_CatchContext) { hasCatchScope = true; CatchContext *c = static_cast<CatchContext *>(ctx); if (c->d()->exceptionVarName->isEqualTo(name)) return c->d()->exceptionValue.asReturnedValue(); } else if (ctx->d()->type >= Type_CallContext) { QV4::CallContext *c = static_cast<CallContext *>(ctx); FunctionObject *f = c->d()->function; if (f->function() && (f->needsActivation() || hasWith || hasCatchScope)) { uint index = f->function()->internalClass->find(name); if (index < UINT_MAX) { if (index < c->d()->function->formalParameterCount()) return c->d()->callData->args[c->d()->function->formalParameterCount() - index - 1].asReturnedValue(); return c->d()->locals[index - c->d()->function->formalParameterCount()].asReturnedValue(); } } if (c->d()->activation) { bool hasProperty = false; v = c->d()->activation->get(name, &hasProperty); if (hasProperty) { if (ctx->d()->type == Type_QmlContext) base = c->d()->activation; return v.asReturnedValue(); } } if (f->function() && f->function()->isNamedExpression() && name->equals(f->function()->name())) return c->d()->function->asReturnedValue(); } else if (ctx->d()->type == Type_GlobalContext) { GlobalContext *g = static_cast<GlobalContext *>(ctx); bool hasProperty = false; v = g->d()->global->get(name, &hasProperty); if (hasProperty) return v.asReturnedValue(); } } ScopedValue n(scope, name); return throwReferenceError(n); } ReturnedValue ExecutionContext::throwError(const ValueRef value) { return d()->engine->throwException(value); } ReturnedValue ExecutionContext::throwError(const QString &message) { Scope scope(this); ScopedValue v(scope, d()->engine->newString(message)); v = d()->engine->newErrorObject(v); return throwError(v); } ReturnedValue ExecutionContext::throwSyntaxError(const QString &message, const QString &fileName, int line, int column) { Scope scope(this); Scoped<Object> error(scope, d()->engine->newSyntaxErrorObject(message, fileName, line, column)); return throwError(error); } ReturnedValue ExecutionContext::throwSyntaxError(const QString &message)
491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560
{ Scope scope(this); Scoped<Object> error(scope, d()->engine->newSyntaxErrorObject(message)); return throwError(error); } ReturnedValue ExecutionContext::throwTypeError() { Scope scope(this); Scoped<Object> error(scope, d()->engine->newTypeErrorObject(QStringLiteral("Type error"))); return throwError(error); } ReturnedValue ExecutionContext::throwTypeError(const QString &message) { Scope scope(this); Scoped<Object> error(scope, d()->engine->newTypeErrorObject(message)); return throwError(error); } ReturnedValue ExecutionContext::throwUnimplemented(const QString &message) { Scope scope(this); ScopedValue v(scope, d()->engine->newString(QStringLiteral("Unimplemented ") + message)); v = d()->engine->newErrorObject(v); return throwError(v); } ReturnedValue ExecutionContext::catchException(StackTrace *trace) { return d()->engine->catchException(this, trace); } ReturnedValue ExecutionContext::throwReferenceError(const ValueRef value) { Scope scope(this); Scoped<String> s(scope, value->toString(this)); QString msg = s->toQString() + QStringLiteral(" is not defined"); Scoped<Object> error(scope, d()->engine->newReferenceErrorObject(msg)); return throwError(error); } ReturnedValue ExecutionContext::throwReferenceError(const QString &message, const QString &fileName, int line, int column) { Scope scope(this); QString msg = message; Scoped<Object> error(scope, d()->engine->newReferenceErrorObject(msg, fileName, line, column)); return throwError(error); } ReturnedValue ExecutionContext::throwRangeError(const ValueRef value) { Scope scope(this); ScopedString s(scope, value->toString(this)); QString msg = s->toQString() + QStringLiteral(" out of range"); ScopedObject error(scope, d()->engine->newRangeErrorObject(msg)); return throwError(error); } ReturnedValue ExecutionContext::throwRangeError(const QString &message) { Scope scope(this); ScopedObject error(scope, d()->engine->newRangeErrorObject(message)); return throwError(error); } ReturnedValue ExecutionContext::throwURIError(const ValueRef msg) { Scope scope(this); ScopedObject error(scope, d()->engine->newURIErrorObject(msg));
561562563
return throwError(error); }