Reviewed by Oliver Hunt.
[WebKit-https.git] / JavaScriptCore / kjs / function.h
1 // -*- c-basic-offset: 2 -*-
2 /*
3  *  This file is part of the KDE libraries
4  *  Copyright (C) 1999-2000 Harri Porten (porten@kde.org)
5  *  Copyright (C) 2003, 2006 Apple Computer, Inc.
6  *
7  *  This library is free software; you can redistribute it and/or
8  *  modify it under the terms of the GNU Library General Public
9  *  License as published by the Free Software Foundation; either
10  *  version 2 of the License, or (at your option) any later version.
11  *
12  *  This library is distributed in the hope that it will be useful,
13  *  but WITHOUT ANY WARRANTY; without even the implied warranty of
14  *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
15  *  Library General Public License for more details.
16  *
17  *  You should have received a copy of the GNU Library General Public License
18  *  along with this library; see the file COPYING.LIB.  If not, write to
19  *  the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor,
20  *  Boston, MA 02110-1301, USA.
21  *
22  */
23
24 #ifndef KJS_FUNCTION_H
25 #define KJS_FUNCTION_H
26
27 #include "object.h"
28 #include <wtf/OwnPtr.h>
29 #include <wtf/Vector.h>
30
31 namespace KJS {
32
33   class ActivationImp;
34   class FunctionBodyNode;
35   class FunctionPrototype;
36
37   enum CodeType {
38       GlobalCode,
39       EvalCode,
40       FunctionCode,
41   };
42
43   class InternalFunctionImp : public JSObject {
44   public:
45     InternalFunctionImp();
46     InternalFunctionImp(FunctionPrototype*);
47     InternalFunctionImp(FunctionPrototype*, const Identifier&);
48
49     virtual bool implementsCall() const;
50     virtual JSValue* callAsFunction(ExecState*, JSObject* thisObjec, const List& args) = 0;
51     virtual bool implementsHasInstance() const;
52
53     virtual const ClassInfo* classInfo() const { return &info; }
54     static const ClassInfo info;
55     const Identifier& functionName() const { return m_name; }
56
57   private:
58     Identifier m_name;
59   };
60
61   /**
62    * @internal
63    *
64    * The initial value of Function.prototype (and thus all objects created
65    * with the Function constructor)
66    */
67   class FunctionPrototype : public InternalFunctionImp {
68   public:
69     FunctionPrototype(ExecState *exec);
70     virtual ~FunctionPrototype();
71
72     virtual JSValue *callAsFunction(ExecState *exec, JSObject *thisObj, const List &args);
73   };
74
75   class FunctionImp : public InternalFunctionImp {
76     friend class ActivationImp;
77   public:
78     FunctionImp(ExecState*, const Identifier& name, FunctionBodyNode*, const ScopeChain&);
79
80     virtual bool getOwnPropertySlot(ExecState*, const Identifier&, PropertySlot&);
81     virtual void put(ExecState*, const Identifier& propertyName, JSValue* value, int attr = None);
82     virtual bool deleteProperty(ExecState*, const Identifier& propertyName);
83
84     virtual bool implementsConstruct() const { return true; }
85     virtual JSObject* construct(ExecState*, const List& args);
86     
87     virtual JSValue* callAsFunction(ExecState*, JSObject* thisObj, const List& args);
88     Completion execute(ExecState*);
89
90     // Note: unlike body->paramName, this returns Identifier::null for parameters 
91     // that will never get set, due to later param having the same name
92     Identifier getParameterName(int index);
93
94     virtual const ClassInfo* classInfo() const { return &info; }
95     static const ClassInfo info;
96
97     RefPtr<FunctionBodyNode> body;
98
99     void setScope(const ScopeChain& s) { _scope = s; }
100     const ScopeChain& scope() const { return _scope; }
101
102     virtual void mark();
103
104   private:
105     ScopeChain _scope;
106
107     static JSValue* argumentsGetter(ExecState*, JSObject*, const Identifier&, const PropertySlot&);
108     static JSValue* callerGetter(ExecState*, JSObject*, const Identifier&, const PropertySlot&);
109     static JSValue* lengthGetter(ExecState*, JSObject*, const Identifier&, const PropertySlot&);
110   };
111
112   class IndexToNameMap {
113   public:
114     IndexToNameMap(FunctionImp* func, const List& args);
115     ~IndexToNameMap();
116     
117     Identifier& operator[](int index);
118     Identifier& operator[](const Identifier &indexIdentifier);
119     bool isMapped(const Identifier& index) const;
120     void unMap(const Identifier& index);
121     
122   private:
123     IndexToNameMap(); // prevent construction w/o parameters
124     int size;
125     Identifier* _map;
126   };
127   
128   class Arguments : public JSObject {
129   public:
130     Arguments(ExecState*, FunctionImp* func, const List& args, ActivationImp* act);
131     virtual void mark();
132     virtual bool getOwnPropertySlot(ExecState*, const Identifier&, PropertySlot&);
133     virtual void put(ExecState*, const Identifier& propertyName, JSValue* value, int attr = None);
134     virtual bool deleteProperty(ExecState*, const Identifier& propertyName);
135     virtual const ClassInfo* classInfo() const { return &info; }
136     static const ClassInfo info;
137   private:
138     static JSValue* mappedIndexGetter(ExecState*, JSObject*, const Identifier&, const PropertySlot& slot);
139
140     ActivationImp* _activationObject;
141     mutable IndexToNameMap indexToNameMap;
142   };
143
144   class ActivationImp : public JSObject {
145   public:
146     ActivationImp(FunctionImp* function, const List& arguments);
147
148     virtual bool getOwnPropertySlot(ExecState*, const Identifier&, PropertySlot&);
149     virtual void put(ExecState*, const Identifier& propertyName, JSValue* value, int attr = None);
150     virtual bool deleteProperty(ExecState*, const Identifier& propertyName);
151
152     virtual const ClassInfo* classInfo() const { return &info; }
153     static const ClassInfo info;
154
155     virtual void mark();
156
157     bool isActivation() { return true; }
158
159     void releaseArguments() { _arguments.reset(); }
160
161   private:
162     static PropertySlot::GetValueFunc getArgumentsGetter();
163     static JSValue* argumentsGetter(ExecState*, JSObject*, const Identifier&, const PropertySlot& slot);
164     void createArgumentsObject(ExecState*);
165
166     FunctionImp* _function;
167     List _arguments;
168     mutable Arguments* _argumentsObject;
169   };
170
171   class GlobalFuncImp : public InternalFunctionImp {
172   public:
173     GlobalFuncImp(ExecState*, FunctionPrototype*, int i, int len, const Identifier&);
174     virtual JSValue* callAsFunction(ExecState*, JSObject* thisObj, const List& args);
175     enum { Eval, ParseInt, ParseFloat, IsNaN, IsFinite, Escape, UnEscape,
176            DecodeURI, DecodeURIComponent, EncodeURI, EncodeURIComponent
177 #ifndef NDEBUG
178            , KJSPrint
179 #endif
180 };
181   private:
182     int id;
183   };
184
185   static const double mantissaOverflowLowerBound = 9007199254740992.0;
186   double parseIntOverflow(const char* s, int length, int radix);
187
188 UString escapeStringForPrettyPrinting(const UString& s);
189
190 } // namespace
191
192 #endif