ExecState.h

/*
 *  This file is part of the KDE libraries
 *  Copyright (C) 1999-2001 Harri Porten ([email protected])
 *  Copyright (C) 2001 Peter Kelly ([email protected])
 *  Copyright (C) 2003, 2007, 2008 Apple Inc. All rights reserved.
 *  Copyright (C) 2008 Maksim Orlovich ([email protected])
 *
 *  This library is free software; you can redistribute it and/or
 *  modify it under the terms of the GNU Library 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
 *  Library General Public License for more details.
 *
 *  You should have received a copy of the GNU Library General Public License
 *  along with this library; see the file COPYING.LIB.  If not, write to
 *  the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor,
 *  Boston, MA 02110-1301, USA.
 *
 */

#ifndef ExecState_H
#define ExecState_H

#include "completion.h"
#include "value.h"
#include "types.h"
#include "CommonIdentifiers.h"
#include "scope_chain.h"
#include "LocalStorage.h"
#include "wtf/Vector.h"
#include "PropertyNameArray.h"

namespace KJS
{
class ActivationImp;
class Interpreter;
class FunctionImp;
class FunctionBodyNode;
class ProgramNode;
class JSGlobalObject;

enum CodeType { GlobalCode, EvalCode, FunctionCode };

class KJS_EXPORT ExecState : Noncopyable
{
    friend class Interpreter;
    friend class FunctionImp;
    friend class GlobalFuncImp;
public:
    Interpreter *dynamicInterpreter() const
    {
        return m_interpreter;
    }

    Interpreter *lexicalInterpreter() const;

    enum HandlerType {
        JumpToCatch,     
        PopScope,        
        RemoveDeferred,  
        Silent           
    };

    void pushExceptionHandler(HandlerType type, Addr addr = 0);

    void popExceptionHandler();

    // Cleanup depth entries from the stack, w/o running jumps
    void quietUnwind(int depth);

    void setMachineRegisters(const unsigned char *pcBase, const unsigned char **pcLoc, LocalStorageEntry **machineLocalStoreLoc)
    {
        m_pcBase            = pcBase;
        m_pc                = pcLoc;
        m_machineLocalStore = machineLocalStoreLoc;
    }

    void deferCompletion()
    {
        pushExceptionHandler(RemoveDeferred);
        m_deferredCompletions.append(abruptCompletion());
        clearException();
    }

    JSValue *reactivateCompletion(bool insideTryFinally);

    void setException(JSValue *e);

    void setAbruptCompletion(Completion comp);

    void clearException()
    {
        m_completion = Completion();
    }

    JSValue *exception() const
    {
        return m_completion.complType() == Throw ? m_completion.value() : nullptr;
    }

    bool hadException() const
    {
        return m_completion.complType() == Throw;
    }

    Completion abruptCompletion() const
    {
        return m_completion;
    }

    const ScopeChain &scopeChain() const
    {
        return scope;
    }

    JSObject *variableObject() const
    {
        return m_variable;
    }
    void setVariableObject(JSObject *v)
    {
        m_variable = v;
    }

    JSObject *thisValue() const
    {
        return m_thisVal;
    }

    ExecState *callingExecState()
    {
        return m_callingExec;
    }

    ExecState *savedExecState()
    {
        return m_savedExec;
    }

    JSObject *activationObject()
    {
        assert(m_codeType == FunctionCode);
        return m_variable;
    }

    CodeType codeType()
    {
        return m_codeType;
    }
    FunctionBodyNode *currentBody()
    {
        return m_currentBody;
    }
    FunctionImp *function() const
    {
        return m_function;
    }

    void pushVariableObjectScope(JSVariableObject *s)
    {
        scope.pushVariableObject(s);
    }
    void pushScope(JSObject *s)
    {
        scope.push(s);
    }
    void popScope()
    {
        scope.pop();
    }

    void mark();

    void initLocalStorage(LocalStorageEntry *store, size_t size)
    {
        m_localStore = store;
        m_localStoreSize = size;
    }

    void updateLocalStorage(LocalStorageEntry *newStore)
    {
        m_localStore         = newStore;
        *m_machineLocalStore = newStore;
    }

    LocalStorageEntry *localStorage()
    {
        return m_localStore;
    }

    // This is a workaround to avoid accessing the global variables for these identifiers in
    // important property lookup functions, to avoid taking PIC branches in Mach-O binaries
    const CommonIdentifiers &propertyNames() const
    {
        return *m_propertyNames;
    }

    // Compatibility stuff:
    ExecState *context()
    {
        return this;
    }
    ExecState *callingContext()
    {
        return callingExecState();
    }
protected:
    ExecState(Interpreter *intp, ExecState *save);
    ~ExecState();
    void markSelf();

    Interpreter *m_interpreter;
    Completion   m_completion;
    CommonIdentifiers *m_propertyNames;
    ExecState *m_callingExec;
    ExecState *m_savedExec; // in case of recursion of evaluation. Needed to mark things properly;
    // note that this is disjoint from the above, since that's only used for
    // eval/function, while this is for global.

    FunctionBodyNode *m_currentBody;
    FunctionImp *m_function;

    ScopeChain scope;
    JSObject *m_variable;
    JSObject *m_thisVal;

    LocalStorageEntry      *m_localStore;
    size_t                  m_localStoreSize;

    struct ExceptionHandler {
        ExceptionHandler() {}
        ExceptionHandler(HandlerType type, Addr dest):
            type(type), dest(dest) {}

        HandlerType type;
        Addr        dest;
    };

    const unsigned char  *m_pcBase;  // The address of pc = 0
    const unsigned char **m_pc;      // Where the current fetch address is stored
    LocalStorageEntry **m_machineLocalStore; // Machine's copy of m_localStore
    WTF::Vector<ExceptionHandler, 4> m_exceptionHandlers;
    WTF::Vector<Completion, 4>       m_deferredCompletions;

    CodeType m_codeType;
};

typedef ExecState Context; // Compatibility only

class GlobalExecState : public ExecState
{
public:
    GlobalExecState(Interpreter *intp, JSGlobalObject *global);
};

class InterpreterExecState : public ExecState
{
public:
    InterpreterExecState(Interpreter *intp, JSGlobalObject *global, JSObject *thisObject, ProgramNode *);
};

class EvalExecState : public ExecState
{
public:
    EvalExecState(Interpreter *intp, JSGlobalObject *global, ProgramNode *body, ExecState *callingExecState);
};

// Note: this does not push the activation on the scope chain,
// as the activation is not initialized at this point.
class FunctionExecState : public ExecState
{
public:
    FunctionExecState(Interpreter *intp, JSObject *thisObject,
                      FunctionBodyNode *, ExecState *callingExecState, FunctionImp *);
};

} // namespace KJS

#endif // ExecState_H