blob: a6851c922a06fdb207b0478f36769c46ac854b84 [file] [log] [blame]
ager@chromium.org9258b6b2008-09-11 09:11:10 +00001// Copyright 2007-2008 the V8 project authors. All rights reserved.
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00002// Redistribution and use in source and binary forms, with or without
3// modification, are permitted provided that the following conditions are
4// met:
5//
6// * Redistributions of source code must retain the above copyright
7// notice, this list of conditions and the following disclaimer.
8// * Redistributions in binary form must reproduce the above
9// copyright notice, this list of conditions and the following
10// disclaimer in the documentation and/or other materials provided
11// with the distribution.
12// * Neither the name of Google Inc. nor the names of its
13// contributors may be used to endorse or promote products derived
14// from this software without specific prior written permission.
15//
16// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
17// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
18// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
19// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
20// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
21// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
22// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
23// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
24// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
25// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
26// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
27
v8.team.kasperl727e9952008-09-02 14:56:44 +000028/** \mainpage V8 API Reference Guide
ager@chromium.org9258b6b2008-09-11 09:11:10 +000029 *
30 * V8 is Google's open source JavaScript engine.
v8.team.kasperl727e9952008-09-02 14:56:44 +000031 *
32 * This set of documents provides reference material generated from the
33 * V8 header file, include/v8.h.
34 *
35 * For other documentation see http://code.google.com/apis/v8/
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000036 */
v8.team.kasperl727e9952008-09-02 14:56:44 +000037
ager@chromium.org9258b6b2008-09-11 09:11:10 +000038#ifndef V8_H_
39#define V8_H_
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000040
41#include <stdio.h>
42
43#ifdef _WIN32
44typedef int int32_t;
45typedef unsigned int uint32_t;
mads.s.ager@gmail.com9a4089a2008-09-01 08:55:01 +000046typedef unsigned short uint16_t; // NOLINT
47typedef long long int64_t; // NOLINT
48
49// Setup for Windows DLL export/import. When building the V8 DLL the
50// BUILDING_V8_SHARED needs to be defined. When building a program which uses
51// the V8 DLL USING_V8_SHARED needs to be defined. When either building the V8
52// static library or building a program which uses the V8 static library neither
53// BUILDING_V8_SHARED nor USING_V8_SHARED should be defined.
ager@chromium.orgbb29dc92009-03-24 13:25:23 +000054// The reason for having both V8EXPORT and V8EXPORT_INLINE is that classes which
55// have their code inside this header file need to have __declspec(dllexport)
mads.s.ager@gmail.com9a4089a2008-09-01 08:55:01 +000056// when building the DLL but cannot have __declspec(dllimport) when building
57// a program which uses the DLL.
58#if defined(BUILDING_V8_SHARED) && defined(USING_V8_SHARED)
59#error both BUILDING_V8_SHARED and USING_V8_SHARED are set - please check the\
60 build configuration to ensure that at most one of these is set
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000061#endif
62
mads.s.ager@gmail.com9a4089a2008-09-01 08:55:01 +000063#ifdef BUILDING_V8_SHARED
ager@chromium.orgbb29dc92009-03-24 13:25:23 +000064#define V8EXPORT __declspec(dllexport)
65#define V8EXPORT_INLINE __declspec(dllexport)
mads.s.ager@gmail.com9a4089a2008-09-01 08:55:01 +000066#elif USING_V8_SHARED
ager@chromium.orgbb29dc92009-03-24 13:25:23 +000067#define V8EXPORT __declspec(dllimport)
68#define V8EXPORT_INLINE
mads.s.ager@gmail.com9a4089a2008-09-01 08:55:01 +000069#else
ager@chromium.orgbb29dc92009-03-24 13:25:23 +000070#define V8EXPORT
71#define V8EXPORT_INLINE
mads.s.ager@gmail.com9a4089a2008-09-01 08:55:01 +000072#endif // BUILDING_V8_SHARED
73
74#else // _WIN32
75
76#include <stdint.h>
77
78// Setup for Linux shared library export. There is no need to destinguish
79// neither between building or using the V8 shared library nor between using
80// the shared or static V8 library as there is on Windows. Therefore there is
ager@chromium.org7c537e22008-10-16 08:43:32 +000081// no checking of BUILDING_V8_SHARED and USING_V8_SHARED.
mads.s.ager@gmail.com9a4089a2008-09-01 08:55:01 +000082#if defined(__GNUC__) && (__GNUC__ >= 4)
ager@chromium.orgbb29dc92009-03-24 13:25:23 +000083#define V8EXPORT __attribute__ ((visibility("default")))
84#define V8EXPORT_INLINE __attribute__ ((visibility("default")))
mads.s.ager@gmail.com9a4089a2008-09-01 08:55:01 +000085#else // defined(__GNUC__) && (__GNUC__ >= 4)
ager@chromium.orgbb29dc92009-03-24 13:25:23 +000086#define V8EXPORT
87#define V8EXPORT_INLINE
mads.s.ager@gmail.com9a4089a2008-09-01 08:55:01 +000088#endif // defined(__GNUC__) && (__GNUC__ >= 4)
89
90#endif // _WIN32
91
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000092/**
v8.team.kasperl727e9952008-09-02 14:56:44 +000093 * The v8 JavaScript engine.
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000094 */
95namespace v8 {
96
97class Context;
98class String;
99class Value;
100class Utils;
101class Number;
102class Object;
103class Array;
104class Int32;
105class Uint32;
106class External;
107class Primitive;
108class Boolean;
109class Integer;
110class Function;
111class Date;
112class ImplementationUtilities;
113class Signature;
114template <class T> class Handle;
115template <class T> class Local;
116template <class T> class Persistent;
117class FunctionTemplate;
118class ObjectTemplate;
119class Data;
120
121
122// --- W e a k H a n d l e s
123
124
125/**
126 * A weak reference callback function.
127 *
128 * \param object the weak global object to be reclaimed by the garbage collector
129 * \param parameter the value passed in when making the weak global object
130 */
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +0000131typedef void (*WeakReferenceCallback)(Persistent<Value> object,
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000132 void* parameter);
133
134
135// --- H a n d l e s ---
136
137#define TYPE_CHECK(T, S) \
138 while (false) { \
139 *(static_cast<T**>(0)) = static_cast<S*>(0); \
140 }
141
142/**
143 * An object reference managed by the v8 garbage collector.
144 *
145 * All objects returned from v8 have to be tracked by the garbage
146 * collector so that it knows that the objects are still alive. Also,
147 * because the garbage collector may move objects, it is unsafe to
148 * point directly to an object. Instead, all objects are stored in
149 * handles which are known by the garbage collector and updated
150 * whenever an object moves. Handles should always be passed by value
151 * (except in cases like out-parameters) and they should never be
152 * allocated on the heap.
153 *
154 * There are two types of handles: local and persistent handles.
155 * Local handles are light-weight and transient and typically used in
156 * local operations. They are managed by HandleScopes. Persistent
157 * handles can be used when storing objects across several independent
158 * operations and have to be explicitly deallocated when they're no
159 * longer used.
160 *
161 * It is safe to extract the object stored in the handle by
162 * dereferencing the handle (for instance, to extract the Object* from
163 * an Handle<Object>); the value will still be governed by a handle
164 * behind the scenes and the same rules apply to these values as to
165 * their handles.
166 */
ager@chromium.orgbb29dc92009-03-24 13:25:23 +0000167template <class T> class V8EXPORT_INLINE Handle {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000168 public:
169
170 /**
171 * Creates an empty handle.
172 */
173 Handle();
174
175 /**
176 * Creates a new handle for the specified value.
177 */
178 explicit Handle(T* val) : val_(val) { }
179
180 /**
181 * Creates a handle for the contents of the specified handle. This
182 * constructor allows you to pass handles as arguments by value and
v8.team.kasperl727e9952008-09-02 14:56:44 +0000183 * to assign between handles. However, if you try to assign between
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000184 * incompatible handles, for instance from a Handle<String> to a
185 * Handle<Number> it will cause a compiletime error. Assigning
186 * between compatible handles, for instance assigning a
187 * Handle<String> to a variable declared as Handle<Value>, is legal
188 * because String is a subclass of Value.
189 */
190 template <class S> inline Handle(Handle<S> that)
191 : val_(reinterpret_cast<T*>(*that)) {
192 /**
193 * This check fails when trying to convert between incompatible
194 * handles. For example, converting from a Handle<String> to a
195 * Handle<Number>.
196 */
197 TYPE_CHECK(T, S);
198 }
199
200 /**
201 * Returns true if the handle is empty.
202 */
ager@chromium.org32912102009-01-16 10:38:43 +0000203 bool IsEmpty() const { return val_ == 0; }
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000204
ager@chromium.org32912102009-01-16 10:38:43 +0000205 T* operator->() const;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000206
ager@chromium.org32912102009-01-16 10:38:43 +0000207 T* operator*() const;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000208
209 /**
210 * Sets the handle to be empty. IsEmpty() will then return true.
211 */
212 void Clear() { this->val_ = 0; }
213
214 /**
215 * Checks whether two handles are the same.
216 * Returns true if both are empty, or if the objects
217 * to which they refer are identical.
218 * The handles' references are not checked.
219 */
ager@chromium.org32912102009-01-16 10:38:43 +0000220 template <class S> bool operator==(Handle<S> that) const {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000221 void** a = reinterpret_cast<void**>(**this);
222 void** b = reinterpret_cast<void**>(*that);
223 if (a == 0) return b == 0;
224 if (b == 0) return false;
225 return *a == *b;
226 }
227
228 /**
229 * Checks whether two handles are different.
230 * Returns true if only one of the handles is empty, or if
231 * the objects to which they refer are different.
232 * The handles' references are not checked.
233 */
ager@chromium.org32912102009-01-16 10:38:43 +0000234 template <class S> bool operator!=(Handle<S> that) const {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000235 return !operator==(that);
236 }
237
238 template <class S> static inline Handle<T> Cast(Handle<S> that) {
239 if (that.IsEmpty()) return Handle<T>();
240 return Handle<T>(T::Cast(*that));
241 }
242
243 private:
244 T* val_;
245};
246
247
248/**
249 * A light-weight stack-allocated object handle. All operations
250 * that return objects from within v8 return them in local handles. They
251 * are created within HandleScopes, and all local handles allocated within a
252 * handle scope are destroyed when the handle scope is destroyed. Hence it
253 * is not necessary to explicitly deallocate local handles.
254 */
ager@chromium.orgbb29dc92009-03-24 13:25:23 +0000255template <class T> class V8EXPORT_INLINE Local : public Handle<T> {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000256 public:
257 Local();
258 template <class S> inline Local(Local<S> that)
259 : Handle<T>(reinterpret_cast<T*>(*that)) {
260 /**
261 * This check fails when trying to convert between incompatible
262 * handles. For example, converting from a Handle<String> to a
263 * Handle<Number>.
264 */
265 TYPE_CHECK(T, S);
266 }
267 template <class S> inline Local(S* that) : Handle<T>(that) { }
268 template <class S> static inline Local<T> Cast(Local<S> that) {
269 if (that.IsEmpty()) return Local<T>();
270 return Local<T>(T::Cast(*that));
271 }
272
273 /** Create a local handle for the content of another handle.
274 * The referee is kept alive by the local handle even when
275 * the original handle is destroyed/disposed.
276 */
277 static Local<T> New(Handle<T> that);
278};
279
280
281/**
282 * An object reference that is independent of any handle scope. Where
v8.team.kasperl727e9952008-09-02 14:56:44 +0000283 * a Local handle only lives as long as the HandleScope in which it was
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000284 * allocated, a Persistent handle remains valid until it is explicitly
285 * disposed.
286 *
287 * A persistent handle contains a reference to a storage cell within
288 * the v8 engine which holds an object value and which is updated by
289 * the garbage collector whenever the object is moved. A new storage
290 * cell can be created using Persistent::New and existing handles can
291 * be disposed using Persistent::Dispose. Since persistent handles
292 * are passed by value you may have many persistent handle objects
293 * that point to the same storage cell. For instance, if you pass a
294 * persistent handle as an argument to a function you will not get two
295 * different storage cells but rather two references to the same
296 * storage cell.
297 */
ager@chromium.orgbb29dc92009-03-24 13:25:23 +0000298template <class T> class V8EXPORT_INLINE Persistent : public Handle<T> {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000299 public:
300
301 /**
302 * Creates an empty persistent handle that doesn't point to any
303 * storage cell.
304 */
305 Persistent();
306
307 /**
308 * Creates a persistent handle for the same storage cell as the
309 * specified handle. This constructor allows you to pass persistent
310 * handles as arguments by value and to assign between persistent
v8.team.kasperl727e9952008-09-02 14:56:44 +0000311 * handles. However, attempting to assign between incompatible
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000312 * persistent handles, for instance from a Persistent<String> to a
v8.team.kasperl727e9952008-09-02 14:56:44 +0000313 * Persistent<Number> will cause a compiletime error. Assigning
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000314 * between compatible persistent handles, for instance assigning a
315 * Persistent<String> to a variable declared as Persistent<Value>,
v8.team.kasperl727e9952008-09-02 14:56:44 +0000316 * is allowed as String is a subclass of Value.
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000317 */
318 template <class S> inline Persistent(Persistent<S> that)
319 : Handle<T>(reinterpret_cast<T*>(*that)) {
320 /**
321 * This check fails when trying to convert between incompatible
322 * handles. For example, converting from a Handle<String> to a
323 * Handle<Number>.
324 */
325 TYPE_CHECK(T, S);
326 }
327
328 template <class S> inline Persistent(S* that) : Handle<T>(that) { }
329
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +0000330 /**
331 * "Casts" a plain handle which is known to be a persistent handle
332 * to a persistent handle.
333 */
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000334 template <class S> explicit inline Persistent(Handle<S> that)
335 : Handle<T>(*that) { }
336
337 template <class S> static inline Persistent<T> Cast(Persistent<S> that) {
338 if (that.IsEmpty()) return Persistent<T>();
339 return Persistent<T>(T::Cast(*that));
340 }
341
342 /**
v8.team.kasperl727e9952008-09-02 14:56:44 +0000343 * Creates a new persistent handle for an existing local or
344 * persistent handle.
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000345 */
346 static Persistent<T> New(Handle<T> that);
347
348 /**
349 * Releases the storage cell referenced by this persistent handle.
350 * Does not remove the reference to the cell from any handles.
351 * This handle's reference, and any any other references to the storage
352 * cell remain and IsEmpty will still return false.
353 */
354 void Dispose();
355
356 /**
357 * Make the reference to this object weak. When only weak handles
358 * refer to the object, the garbage collector will perform a
359 * callback to the given V8::WeakReferenceCallback function, passing
360 * it the object reference and the given parameters.
361 */
362 void MakeWeak(void* parameters, WeakReferenceCallback callback);
363
364 /** Clears the weak reference to this object.*/
365 void ClearWeak();
366
367 /**
368 *Checks if the handle holds the only reference to an object.
369 */
ager@chromium.org32912102009-01-16 10:38:43 +0000370 bool IsNearDeath() const;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000371
372 /**
373 * Returns true if the handle's reference is weak.
374 */
ager@chromium.org32912102009-01-16 10:38:43 +0000375 bool IsWeak() const;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000376
377 private:
378 friend class ImplementationUtilities;
379 friend class ObjectTemplate;
380};
381
382
v8.team.kasperl727e9952008-09-02 14:56:44 +0000383 /**
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000384 * A stack-allocated class that governs a number of local handles.
385 * After a handle scope has been created, all local handles will be
386 * allocated within that handle scope until either the handle scope is
387 * deleted or another handle scope is created. If there is already a
388 * handle scope and a new one is created, all allocations will take
v8.team.kasperl727e9952008-09-02 14:56:44 +0000389 * place in the new handle scope until it is deleted. After that,
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000390 * new handles will again be allocated in the original handle scope.
391 *
392 * After the handle scope of a local handle has been deleted the
393 * garbage collector will no longer track the object stored in the
394 * handle and may deallocate it. The behavior of accessing a handle
395 * for which the handle scope has been deleted is undefined.
396 */
ager@chromium.orgbb29dc92009-03-24 13:25:23 +0000397class V8EXPORT HandleScope {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000398 public:
ager@chromium.orgddb913d2009-01-27 10:01:48 +0000399 HandleScope();
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000400
ager@chromium.orgddb913d2009-01-27 10:01:48 +0000401 ~HandleScope();
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000402
403 /**
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000404 * Closes the handle scope and returns the value as a handle in the
405 * previous scope, which is the new current scope after the call.
406 */
407 template <class T> Local<T> Close(Handle<T> value);
408
409 /**
410 * Counts the number of allocated handles.
411 */
412 static int NumberOfHandles();
413
414 /**
415 * Creates a new handle with the given value.
416 */
417 static void** CreateHandle(void* value);
418
419 private:
420 // Make it impossible to create heap-allocated or illegal handle
421 // scopes by disallowing certain operations.
422 HandleScope(const HandleScope&);
423 void operator=(const HandleScope&);
424 void* operator new(size_t size);
425 void operator delete(void*, size_t);
426
ager@chromium.orgddb913d2009-01-27 10:01:48 +0000427 // This Data class is accessible internally through a typedef in the
428 // ImplementationUtilities class.
ager@chromium.orgbb29dc92009-03-24 13:25:23 +0000429 class V8EXPORT Data {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000430 public:
431 int extensions;
432 void** next;
433 void** limit;
434 inline void Initialize() {
435 extensions = -1;
436 next = limit = NULL;
437 }
438 };
439
ager@chromium.orgddb913d2009-01-27 10:01:48 +0000440 Data previous_;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000441
ager@chromium.orgddb913d2009-01-27 10:01:48 +0000442 // Allow for the active closing of HandleScopes which allows to pass a handle
443 // from the HandleScope being closed to the next top most HandleScope.
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000444 bool is_closed_;
445 void** RawClose(void** value);
446
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000447 friend class ImplementationUtilities;
448};
449
450
451// --- S p e c i a l o b j e c t s ---
452
453
454/**
455 * The superclass of values and API object templates.
456 */
ager@chromium.orgbb29dc92009-03-24 13:25:23 +0000457class V8EXPORT Data {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000458 private:
459 Data();
460};
461
462
463/**
464 * Pre-compilation data that can be associated with a script. This
465 * data can be calculated for a script in advance of actually
ager@chromium.org9258b6b2008-09-11 09:11:10 +0000466 * compiling it, and can be stored between compilations. When script
v8.team.kasperl727e9952008-09-02 14:56:44 +0000467 * data is given to the compile method compilation will be faster.
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000468 */
ager@chromium.orgbb29dc92009-03-24 13:25:23 +0000469class V8EXPORT ScriptData { // NOLINT
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000470 public:
471 virtual ~ScriptData() { }
472 static ScriptData* PreCompile(const char* input, int length);
473 static ScriptData* New(unsigned* data, int length);
474
475 virtual int Length() = 0;
476 virtual unsigned* Data() = 0;
477};
478
479
480/**
481 * The origin, within a file, of a script.
482 */
ager@chromium.orgbb29dc92009-03-24 13:25:23 +0000483class V8EXPORT ScriptOrigin {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000484 public:
mads.s.agercbaa0602008-08-14 13:41:48 +0000485 ScriptOrigin(Handle<Value> resource_name,
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000486 Handle<Integer> resource_line_offset = Handle<Integer>(),
487 Handle<Integer> resource_column_offset = Handle<Integer>())
488 : resource_name_(resource_name),
489 resource_line_offset_(resource_line_offset),
490 resource_column_offset_(resource_column_offset) { }
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +0000491 inline Handle<Value> ResourceName() const;
492 inline Handle<Integer> ResourceLineOffset() const;
493 inline Handle<Integer> ResourceColumnOffset() const;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000494 private:
mads.s.agercbaa0602008-08-14 13:41:48 +0000495 Handle<Value> resource_name_;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000496 Handle<Integer> resource_line_offset_;
497 Handle<Integer> resource_column_offset_;
498};
499
500
501/**
v8.team.kasperl727e9952008-09-02 14:56:44 +0000502 * A compiled JavaScript script.
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000503 */
ager@chromium.orgbb29dc92009-03-24 13:25:23 +0000504class V8EXPORT Script {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000505 public:
506
507 /**
508 * Compiles the specified script. The ScriptOrigin* and ScriptData*
509 * parameters are owned by the caller of Script::Compile. No
510 * references to these objects are kept after compilation finishes.
511 */
512 static Local<Script> Compile(Handle<String> source,
513 ScriptOrigin* origin = NULL,
514 ScriptData* pre_data = NULL);
515
mads.s.agercbaa0602008-08-14 13:41:48 +0000516 /**
517 * Compiles the specified script using the specified file name
518 * object (typically a string) as the script's origin.
519 */
520 static Local<Script> Compile(Handle<String> source,
521 Handle<Value> file_name);
522
v8.team.kasperl727e9952008-09-02 14:56:44 +0000523 /**
524 * Runs the script returning the resulting value.
525 */
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000526 Local<Value> Run();
kasperl@chromium.org7be3c992009-03-12 07:19:55 +0000527
528 /**
529 * Returns the script id value.
530 */
531 Local<Value> Id();
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000532};
533
534
535/**
536 * An error message.
537 */
ager@chromium.orgbb29dc92009-03-24 13:25:23 +0000538class V8EXPORT Message {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000539 public:
ager@chromium.org32912102009-01-16 10:38:43 +0000540 Local<String> Get() const;
541 Local<String> GetSourceLine() const;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000542
ager@chromium.org32912102009-01-16 10:38:43 +0000543 Handle<Value> GetScriptResourceName() const;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000544
ager@chromium.org9258b6b2008-09-11 09:11:10 +0000545 /**
546 * Returns the number, 1-based, of the line where the error occurred.
547 */
ager@chromium.org32912102009-01-16 10:38:43 +0000548 int GetLineNumber() const;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000549
ager@chromium.org9258b6b2008-09-11 09:11:10 +0000550 /**
551 * Returns the index within the script of the first character where
552 * the error occurred.
553 */
ager@chromium.org32912102009-01-16 10:38:43 +0000554 int GetStartPosition() const;
ager@chromium.org9258b6b2008-09-11 09:11:10 +0000555
556 /**
557 * Returns the index within the script of the last character where
558 * the error occurred.
559 */
ager@chromium.org32912102009-01-16 10:38:43 +0000560 int GetEndPosition() const;
ager@chromium.org9258b6b2008-09-11 09:11:10 +0000561
562 /**
563 * Returns the index within the line of the first character where
564 * the error occurred.
565 */
ager@chromium.org32912102009-01-16 10:38:43 +0000566 int GetStartColumn() const;
ager@chromium.org9258b6b2008-09-11 09:11:10 +0000567
568 /**
569 * Returns the index within the line of the last character where
570 * the error occurred.
571 */
ager@chromium.org32912102009-01-16 10:38:43 +0000572 int GetEndColumn() const;
ager@chromium.org9258b6b2008-09-11 09:11:10 +0000573
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000574 // TODO(1245381): Print to a string instead of on a FILE.
575 static void PrintCurrentStackTrace(FILE* out);
576};
577
578
579// --- V a l u e ---
580
581
582/**
v8.team.kasperl727e9952008-09-02 14:56:44 +0000583 * The superclass of all JavaScript values and objects.
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000584 */
ager@chromium.orgbb29dc92009-03-24 13:25:23 +0000585class V8EXPORT Value : public Data {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000586 public:
587
588 /**
589 * Returns true if this value is the undefined value. See ECMA-262
590 * 4.3.10.
591 */
ager@chromium.org32912102009-01-16 10:38:43 +0000592 bool IsUndefined() const;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000593
594 /**
595 * Returns true if this value is the null value. See ECMA-262
596 * 4.3.11.
597 */
ager@chromium.org32912102009-01-16 10:38:43 +0000598 bool IsNull() const;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000599
600 /**
601 * Returns true if this value is true.
602 */
ager@chromium.org32912102009-01-16 10:38:43 +0000603 bool IsTrue() const;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000604
605 /**
606 * Returns true if this value is false.
607 */
ager@chromium.org32912102009-01-16 10:38:43 +0000608 bool IsFalse() const;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000609
610 /**
611 * Returns true if this value is an instance of the String type.
612 * See ECMA-262 8.4.
613 */
ager@chromium.org32912102009-01-16 10:38:43 +0000614 bool IsString() const;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000615
616 /**
617 * Returns true if this value is a function.
618 */
ager@chromium.org32912102009-01-16 10:38:43 +0000619 bool IsFunction() const;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000620
621 /**
622 * Returns true if this value is an array.
623 */
ager@chromium.org32912102009-01-16 10:38:43 +0000624 bool IsArray() const;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000625
v8.team.kasperl727e9952008-09-02 14:56:44 +0000626 /**
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000627 * Returns true if this value is an object.
628 */
ager@chromium.org32912102009-01-16 10:38:43 +0000629 bool IsObject() const;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000630
v8.team.kasperl727e9952008-09-02 14:56:44 +0000631 /**
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000632 * Returns true if this value is boolean.
633 */
ager@chromium.org32912102009-01-16 10:38:43 +0000634 bool IsBoolean() const;
ager@chromium.org9258b6b2008-09-11 09:11:10 +0000635
v8.team.kasperl727e9952008-09-02 14:56:44 +0000636 /**
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000637 * Returns true if this value is a number.
638 */
ager@chromium.org32912102009-01-16 10:38:43 +0000639 bool IsNumber() const;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000640
v8.team.kasperl727e9952008-09-02 14:56:44 +0000641 /**
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000642 * Returns true if this value is external.
643 */
ager@chromium.org32912102009-01-16 10:38:43 +0000644 bool IsExternal() const;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000645
v8.team.kasperl727e9952008-09-02 14:56:44 +0000646 /**
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000647 * Returns true if this value is a 32-bit signed integer.
648 */
ager@chromium.org32912102009-01-16 10:38:43 +0000649 bool IsInt32() const;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000650
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +0000651 /**
652 * Returns true if this value is a Date.
653 */
ager@chromium.org32912102009-01-16 10:38:43 +0000654 bool IsDate() const;
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +0000655
ager@chromium.org32912102009-01-16 10:38:43 +0000656 Local<Boolean> ToBoolean() const;
657 Local<Number> ToNumber() const;
658 Local<String> ToString() const;
659 Local<String> ToDetailString() const;
660 Local<Object> ToObject() const;
661 Local<Integer> ToInteger() const;
662 Local<Uint32> ToUint32() const;
663 Local<Int32> ToInt32() const;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000664
665 /**
666 * Attempts to convert a string to an array index.
667 * Returns an empty handle if the conversion fails.
668 */
ager@chromium.org32912102009-01-16 10:38:43 +0000669 Local<Uint32> ToArrayIndex() const;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000670
ager@chromium.org32912102009-01-16 10:38:43 +0000671 bool BooleanValue() const;
672 double NumberValue() const;
673 int64_t IntegerValue() const;
674 uint32_t Uint32Value() const;
675 int32_t Int32Value() const;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000676
677 /** JS == */
ager@chromium.org32912102009-01-16 10:38:43 +0000678 bool Equals(Handle<Value> that) const;
679 bool StrictEquals(Handle<Value> that) const;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000680};
681
682
683/**
684 * The superclass of primitive values. See ECMA-262 4.3.2.
685 */
ager@chromium.orgbb29dc92009-03-24 13:25:23 +0000686class V8EXPORT Primitive : public Value { };
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000687
688
689/**
690 * A primitive boolean value (ECMA-262, 4.3.14). Either the true
691 * or false value.
692 */
ager@chromium.orgbb29dc92009-03-24 13:25:23 +0000693class V8EXPORT Boolean : public Primitive {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000694 public:
ager@chromium.org32912102009-01-16 10:38:43 +0000695 bool Value() const;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000696 static inline Handle<Boolean> New(bool value);
697};
698
699
700/**
v8.team.kasperl727e9952008-09-02 14:56:44 +0000701 * A JavaScript string value (ECMA-262, 4.3.17).
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000702 */
ager@chromium.orgbb29dc92009-03-24 13:25:23 +0000703class V8EXPORT String : public Primitive {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000704 public:
ager@chromium.org9258b6b2008-09-11 09:11:10 +0000705
706 /**
707 * Returns the number of characters in this string.
708 */
ager@chromium.org32912102009-01-16 10:38:43 +0000709 int Length() const;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000710
v8.team.kasperl727e9952008-09-02 14:56:44 +0000711 /**
ager@chromium.org9258b6b2008-09-11 09:11:10 +0000712 * Returns the number of bytes in the UTF-8 encoded
713 * representation of this string.
714 */
ager@chromium.org32912102009-01-16 10:38:43 +0000715 int Utf8Length() const;
ager@chromium.org9258b6b2008-09-11 09:11:10 +0000716
717 /**
v8.team.kasperl727e9952008-09-02 14:56:44 +0000718 * Write the contents of the string to an external buffer.
719 * If no arguments are given, expects the buffer to be large
720 * enough to hold the entire string and NULL terminator. Copies
721 * the contents of the string and the NULL terminator into the
722 * buffer.
723 *
724 * Copies up to length characters into the output buffer.
725 * Only null-terminates if there is enough space in the buffer.
726 *
727 * \param buffer The buffer into which the string will be copied.
728 * \param start The starting position within the string at which
729 * copying begins.
730 * \param length The number of bytes to copy from the string.
731 * \return The number of characters copied to the buffer
732 * excluding the NULL terminator.
733 */
ager@chromium.org32912102009-01-16 10:38:43 +0000734 int Write(uint16_t* buffer, int start = 0, int length = -1) const; // UTF-16
735 int WriteAscii(char* buffer, int start = 0, int length = -1) const; // ASCII
736 int WriteUtf8(char* buffer, int length = -1) const; // UTF-8
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000737
v8.team.kasperl727e9952008-09-02 14:56:44 +0000738 /**
ager@chromium.org563b8dc2009-03-20 14:23:52 +0000739 * A zero length string.
740 */
741 static v8::Local<v8::String> Empty();
742
743 /**
v8.team.kasperl727e9952008-09-02 14:56:44 +0000744 * Returns true if the string is external
745 */
ager@chromium.org32912102009-01-16 10:38:43 +0000746 bool IsExternal() const;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000747
v8.team.kasperl727e9952008-09-02 14:56:44 +0000748 /**
749 * Returns true if the string is both external and ascii
750 */
ager@chromium.org32912102009-01-16 10:38:43 +0000751 bool IsExternalAscii() const;
v8.team.kasperl727e9952008-09-02 14:56:44 +0000752 /**
753 * An ExternalStringResource is a wrapper around a two-byte string
754 * buffer that resides outside V8's heap. Implement an
755 * ExternalStringResource to manage the life cycle of the underlying
ager@chromium.org9258b6b2008-09-11 09:11:10 +0000756 * buffer. Note that the string data must be immutable.
v8.team.kasperl727e9952008-09-02 14:56:44 +0000757 */
ager@chromium.orgbb29dc92009-03-24 13:25:23 +0000758 class V8EXPORT ExternalStringResource { // NOLINT
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000759 public:
760 /**
761 * Override the destructor to manage the life cycle of the underlying
762 * buffer.
763 */
764 virtual ~ExternalStringResource() {}
765 /** The string data from the underlying buffer.*/
766 virtual const uint16_t* data() const = 0;
767 /** The length of the string. That is, the number of two-byte characters.*/
768 virtual size_t length() const = 0;
769 protected:
770 ExternalStringResource() {}
771 private:
kasperl@chromium.org41044eb2008-10-06 08:24:46 +0000772 // Disallow copying and assigning.
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000773 ExternalStringResource(const ExternalStringResource&);
774 void operator=(const ExternalStringResource&);
775 };
776
777 /**
v8.team.kasperl727e9952008-09-02 14:56:44 +0000778 * An ExternalAsciiStringResource is a wrapper around an ascii
779 * string buffer that resides outside V8's heap. Implement an
780 * ExternalAsciiStringResource to manage the life cycle of the
ager@chromium.org9258b6b2008-09-11 09:11:10 +0000781 * underlying buffer. Note that the string data must be immutable
782 * and that the data must be strict 7-bit ASCII, not Latin1 or
783 * UTF-8, which would require special treatment internally in the
784 * engine and, in the case of UTF-8, do not allow efficient indexing.
785 * Use String::New or convert to 16 bit data for non-ASCII.
v8.team.kasperl727e9952008-09-02 14:56:44 +0000786 */
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000787
ager@chromium.orgbb29dc92009-03-24 13:25:23 +0000788 class V8EXPORT ExternalAsciiStringResource { // NOLINT
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000789 public:
790 /**
791 * Override the destructor to manage the life cycle of the underlying
792 * buffer.
793 */
794 virtual ~ExternalAsciiStringResource() {}
795 /** The string data from the underlying buffer.*/
796 virtual const char* data() const = 0;
797 /** The number of ascii characters in the string.*/
798 virtual size_t length() const = 0;
799 protected:
800 ExternalAsciiStringResource() {}
801 private:
kasperl@chromium.org41044eb2008-10-06 08:24:46 +0000802 // Disallow copying and assigning.
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000803 ExternalAsciiStringResource(const ExternalAsciiStringResource&);
804 void operator=(const ExternalAsciiStringResource&);
805 };
806
807 /**
808 * Get the ExternalStringResource for an external string. Only
809 * valid if IsExternal() returns true.
810 */
ager@chromium.org32912102009-01-16 10:38:43 +0000811 ExternalStringResource* GetExternalStringResource() const;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000812
813 /**
814 * Get the ExternalAsciiStringResource for an external ascii string.
815 * Only valid if IsExternalAscii() returns true.
816 */
ager@chromium.org32912102009-01-16 10:38:43 +0000817 ExternalAsciiStringResource* GetExternalAsciiStringResource() const;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000818
819 static String* Cast(v8::Value* obj);
820
821 /**
822 * Allocates a new string from either utf-8 encoded or ascii data.
823 * The second parameter 'length' gives the buffer length.
824 * If the data is utf-8 encoded, the caller must
825 * be careful to supply the length parameter.
826 * If it is not given, the function calls
827 * 'strlen' to determine the buffer length, it might be
kasper.lund7276f142008-07-30 08:49:36 +0000828 * wrong if 'data' contains a null character.
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000829 */
830 static Local<String> New(const char* data, int length = -1);
831
832 /** Allocates a new string from utf16 data.*/
833 static Local<String> New(const uint16_t* data, int length = -1);
834
835 /** Creates a symbol. Returns one if it exists already.*/
836 static Local<String> NewSymbol(const char* data, int length = -1);
837
v8.team.kasperl727e9952008-09-02 14:56:44 +0000838 /**
839 * Creates a new external string using the data defined in the given
840 * resource. The resource is deleted when the external string is no
841 * longer live on V8's heap. The caller of this function should not
842 * delete or modify the resource. Neither should the underlying buffer be
843 * deallocated or modified except through the destructor of the
844 * external string resource.
845 */
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000846 static Local<String> NewExternal(ExternalStringResource* resource);
ager@chromium.orgbb29dc92009-03-24 13:25:23 +0000847
ager@chromium.org6f10e412009-02-13 10:11:16 +0000848 /**
849 * Associate an external string resource with this string by transforming it
850 * in place so that existing references to this string in the JavaScript heap
851 * will use the external string resource. The external string resource's
852 * character contents needs to be equivalent to this string.
853 * Returns true if the string has been changed to be an external string.
854 * The string is not modified if the operation fails.
855 */
856 bool MakeExternal(ExternalStringResource* resource);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000857
v8.team.kasperl727e9952008-09-02 14:56:44 +0000858 /**
859 * Creates a new external string using the ascii data defined in the given
860 * resource. The resource is deleted when the external string is no
861 * longer live on V8's heap. The caller of this function should not
862 * delete or modify the resource. Neither should the underlying buffer be
863 * deallocated or modified except through the destructor of the
864 * external string resource.
865 */
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000866 static Local<String> NewExternal(ExternalAsciiStringResource* resource);
ager@chromium.orgbb29dc92009-03-24 13:25:23 +0000867
ager@chromium.org6f10e412009-02-13 10:11:16 +0000868 /**
869 * Associate an external string resource with this string by transforming it
870 * in place so that existing references to this string in the JavaScript heap
871 * will use the external string resource. The external string resource's
872 * character contents needs to be equivalent to this string.
873 * Returns true if the string has been changed to be an external string.
874 * The string is not modified if the operation fails.
875 */
876 bool MakeExternal(ExternalAsciiStringResource* resource);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000877
kasper.lund7276f142008-07-30 08:49:36 +0000878 /** Creates an undetectable string from the supplied ascii or utf-8 data.*/
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000879 static Local<String> NewUndetectable(const char* data, int length = -1);
880
kasper.lund7276f142008-07-30 08:49:36 +0000881 /** Creates an undetectable string from the supplied utf-16 data.*/
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000882 static Local<String> NewUndetectable(const uint16_t* data, int length = -1);
883
884 /**
ager@chromium.org9258b6b2008-09-11 09:11:10 +0000885 * Converts an object to a utf8-encoded character array. Useful if
886 * you want to print the object.
887 */
ager@chromium.orgbb29dc92009-03-24 13:25:23 +0000888 class V8EXPORT Utf8Value {
ager@chromium.org9258b6b2008-09-11 09:11:10 +0000889 public:
890 explicit Utf8Value(Handle<v8::Value> obj);
891 ~Utf8Value();
iposva@chromium.org245aa852009-02-10 00:49:54 +0000892 char* operator*() const { return str_; }
ager@chromium.org9258b6b2008-09-11 09:11:10 +0000893 int length() { return length_; }
894 private:
895 char* str_;
896 int length_;
kasperl@chromium.org41044eb2008-10-06 08:24:46 +0000897
898 // Disallow copying and assigning.
899 Utf8Value(const Utf8Value&);
900 void operator=(const Utf8Value&);
ager@chromium.org9258b6b2008-09-11 09:11:10 +0000901 };
902
903 /**
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000904 * Converts an object to an ascii string.
905 * Useful if you want to print the object.
906 */
ager@chromium.orgbb29dc92009-03-24 13:25:23 +0000907 class V8EXPORT AsciiValue {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000908 public:
909 explicit AsciiValue(Handle<v8::Value> obj);
910 ~AsciiValue();
iposva@chromium.org245aa852009-02-10 00:49:54 +0000911 char* operator*() const { return str_; }
ager@chromium.org9258b6b2008-09-11 09:11:10 +0000912 int length() { return length_; }
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000913 private:
914 char* str_;
ager@chromium.org9258b6b2008-09-11 09:11:10 +0000915 int length_;
kasperl@chromium.org41044eb2008-10-06 08:24:46 +0000916
917 // Disallow copying and assigning.
918 AsciiValue(const AsciiValue&);
919 void operator=(const AsciiValue&);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000920 };
921
922 /**
923 * Converts an object to a two-byte string.
924 */
ager@chromium.orgbb29dc92009-03-24 13:25:23 +0000925 class V8EXPORT Value {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000926 public:
927 explicit Value(Handle<v8::Value> obj);
928 ~Value();
iposva@chromium.org245aa852009-02-10 00:49:54 +0000929 uint16_t* operator*() const { return str_; }
ager@chromium.org9258b6b2008-09-11 09:11:10 +0000930 int length() { return length_; }
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000931 private:
932 uint16_t* str_;
ager@chromium.org9258b6b2008-09-11 09:11:10 +0000933 int length_;
kasperl@chromium.org41044eb2008-10-06 08:24:46 +0000934
935 // Disallow copying and assigning.
936 Value(const Value&);
937 void operator=(const Value&);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000938 };
939};
940
941
942/**
v8.team.kasperl727e9952008-09-02 14:56:44 +0000943 * A JavaScript number value (ECMA-262, 4.3.20)
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000944 */
ager@chromium.orgbb29dc92009-03-24 13:25:23 +0000945class V8EXPORT Number : public Primitive {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000946 public:
ager@chromium.org32912102009-01-16 10:38:43 +0000947 double Value() const;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000948 static Local<Number> New(double value);
949 static Number* Cast(v8::Value* obj);
950 private:
951 Number();
952};
953
954
955/**
v8.team.kasperl727e9952008-09-02 14:56:44 +0000956 * A JavaScript value representing a signed integer.
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000957 */
ager@chromium.orgbb29dc92009-03-24 13:25:23 +0000958class V8EXPORT Integer : public Number {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000959 public:
960 static Local<Integer> New(int32_t value);
ager@chromium.org32912102009-01-16 10:38:43 +0000961 int64_t Value() const;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000962 static Integer* Cast(v8::Value* obj);
963 private:
964 Integer();
965};
966
967
968/**
v8.team.kasperl727e9952008-09-02 14:56:44 +0000969 * A JavaScript value representing a 32-bit signed integer.
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000970 */
ager@chromium.orgbb29dc92009-03-24 13:25:23 +0000971class V8EXPORT Int32 : public Integer {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000972 public:
ager@chromium.org32912102009-01-16 10:38:43 +0000973 int32_t Value() const;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000974 private:
975 Int32();
976};
977
978
979/**
v8.team.kasperl727e9952008-09-02 14:56:44 +0000980 * A JavaScript value representing a 32-bit unsigned integer.
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000981 */
ager@chromium.orgbb29dc92009-03-24 13:25:23 +0000982class V8EXPORT Uint32 : public Integer {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000983 public:
ager@chromium.org32912102009-01-16 10:38:43 +0000984 uint32_t Value() const;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000985 private:
986 Uint32();
987};
988
989
990/**
991 * An instance of the built-in Date constructor (ECMA-262, 15.9).
992 */
ager@chromium.orgbb29dc92009-03-24 13:25:23 +0000993class V8EXPORT Date : public Value {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000994 public:
995 static Local<Value> New(double time);
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +0000996
997 /**
998 * A specialization of Value::NumberValue that is more efficient
999 * because we know the structure of this object.
1000 */
ager@chromium.org32912102009-01-16 10:38:43 +00001001 double NumberValue() const;
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +00001002
1003 static Date* Cast(v8::Value* obj);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001004};
1005
1006
1007enum PropertyAttribute {
1008 None = 0,
1009 ReadOnly = 1 << 0,
1010 DontEnum = 1 << 1,
1011 DontDelete = 1 << 2
1012};
1013
1014/**
v8.team.kasperl727e9952008-09-02 14:56:44 +00001015 * A JavaScript object (ECMA-262, 4.3.3)
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001016 */
ager@chromium.orgbb29dc92009-03-24 13:25:23 +00001017class V8EXPORT Object : public Value {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001018 public:
1019 bool Set(Handle<Value> key,
1020 Handle<Value> value,
1021 PropertyAttribute attribs = None);
1022 Local<Value> Get(Handle<Value> key);
1023
1024 // TODO(1245389): Replace the type-specific versions of these
1025 // functions with generic ones that accept a Handle<Value> key.
1026 bool Has(Handle<String> key);
1027 bool Delete(Handle<String> key);
1028 bool Has(uint32_t index);
1029 bool Delete(uint32_t index);
1030
1031 /**
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +00001032 * Returns an array containing the names of the enumerable properties
1033 * of this object, including properties from prototype objects. The
1034 * array returned by this method contains the same values as would
1035 * be enumerated by a for-in statement over this object.
1036 */
1037 Local<Array> GetPropertyNames();
1038
1039 /**
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001040 * Get the prototype object. This does not skip objects marked to
1041 * be skipped by __proto__ and it does not consult the security
1042 * handler.
1043 */
1044 Local<Value> GetPrototype();
1045
1046 /**
1047 * Call builtin Object.prototype.toString on this object.
1048 * This is different from Value::ToString() that may call
1049 * user-defined toString function. This one does not.
1050 */
1051 Local<String> ObjectProtoToString();
1052
kasper.lund212ac232008-07-16 07:07:30 +00001053 /** Gets the number of internal fields for this Object. */
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001054 int InternalFieldCount();
kasper.lund212ac232008-07-16 07:07:30 +00001055 /** Gets the value in an internal field. */
1056 Local<Value> GetInternalField(int index);
1057 /** Sets the value in an internal field. */
1058 void SetInternalField(int index, Handle<Value> value);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001059
1060 // Testers for local properties.
1061 bool HasRealNamedProperty(Handle<String> key);
1062 bool HasRealIndexedProperty(uint32_t index);
1063 bool HasRealNamedCallbackProperty(Handle<String> key);
1064
1065 /**
1066 * If result.IsEmpty() no real property was located in the prototype chain.
1067 * This means interceptors in the prototype chain are not called.
1068 */
1069 Handle<Value> GetRealNamedPropertyInPrototypeChain(Handle<String> key);
1070
1071 /** Tests for a named lookup interceptor.*/
1072 bool HasNamedLookupInterceptor();
1073
kasper.lund212ac232008-07-16 07:07:30 +00001074 /** Tests for an index lookup interceptor.*/
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001075 bool HasIndexedLookupInterceptor();
1076
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +00001077 /**
1078 * Turns on access check on the object if the object is an instance of
1079 * a template that has access check callbacks. If an object has no
1080 * access check info, the object cannot be accessed by anyone.
1081 */
1082 void TurnOnAccessCheck();
ager@chromium.org3b45ab52009-03-19 22:21:34 +00001083
1084 /**
1085 * Returns the identity hash for this object. The current implemenation uses
1086 * a hidden property on the object to store the identity hash.
1087 */
1088 int GetIdentityHash();
1089
1090 /**
1091 * Access hidden properties on JavaScript objects. These properties are
1092 * hidden from the executing JavaScript and only accessible through the V8
1093 * C++ API. Hidden properties introduced by V8 internally (for example the
1094 * identity hash) are prefixed with "v8::".
1095 */
1096 bool SetHiddenValue(Handle<String> key, Handle<Value> value);
1097 Local<Value> GetHiddenValue(Handle<String> key);
1098 bool DeleteHiddenValue(Handle<String> key);
1099
1100 /**
1101 * Clone this object with a fast but shallow copy. Values will point
1102 * to the same values as the original object.
1103 */
1104 Local<Object> Clone();
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001105
1106 static Local<Object> New();
1107 static Object* Cast(Value* obj);
1108 private:
1109 Object();
1110};
1111
1112
1113/**
1114 * An instance of the built-in array constructor (ECMA-262, 15.4.2).
1115 */
ager@chromium.orgbb29dc92009-03-24 13:25:23 +00001116class V8EXPORT Array : public Object {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001117 public:
ager@chromium.org32912102009-01-16 10:38:43 +00001118 uint32_t Length() const;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001119
1120 static Local<Array> New(int length = 0);
1121 static Array* Cast(Value* obj);
1122 private:
1123 Array();
1124};
1125
1126
1127/**
v8.team.kasperl727e9952008-09-02 14:56:44 +00001128 * A JavaScript function object (ECMA-262, 15.3).
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001129 */
ager@chromium.orgbb29dc92009-03-24 13:25:23 +00001130class V8EXPORT Function : public Object {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001131 public:
ager@chromium.org32912102009-01-16 10:38:43 +00001132 Local<Object> NewInstance() const;
1133 Local<Object> NewInstance(int argc, Handle<Value> argv[]) const;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001134 Local<Value> Call(Handle<Object> recv, int argc, Handle<Value> argv[]);
1135 void SetName(Handle<String> name);
ager@chromium.org32912102009-01-16 10:38:43 +00001136 Handle<Value> GetName() const;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001137 static Function* Cast(Value* obj);
1138 private:
1139 Function();
1140};
1141
1142
1143/**
ager@chromium.orgbb29dc92009-03-24 13:25:23 +00001144 * A JavaScript value that wraps a C++ void*. This type of value is
1145 * mainly used to associate C++ data structures with JavaScript
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001146 * objects.
ager@chromium.orgbb29dc92009-03-24 13:25:23 +00001147 *
1148 * The Wrap function V8 will return the most optimal Value object wrapping the
1149 * C++ void*. The type of the value is not guaranteed to be an External object
1150 * and no assumptions about its type should be made. To access the wrapped
1151 * value Unwrap should be used, all other operations on that object will lead
1152 * to unpredictable results.
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001153 */
ager@chromium.orgbb29dc92009-03-24 13:25:23 +00001154class V8EXPORT External : public Value {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001155 public:
ager@chromium.orgbb29dc92009-03-24 13:25:23 +00001156 static Local<Value> Wrap(void* data);
1157 static void* Unwrap(Handle<Value> obj);
1158
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001159 static Local<External> New(void* value);
1160 static External* Cast(Value* obj);
ager@chromium.org32912102009-01-16 10:38:43 +00001161 void* Value() const;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001162 private:
1163 External();
1164};
1165
1166
1167// --- T e m p l a t e s ---
1168
1169
1170/**
1171 * The superclass of object and function templates.
1172 */
ager@chromium.orgbb29dc92009-03-24 13:25:23 +00001173class V8EXPORT Template : public Data {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001174 public:
1175 /** Adds a property to each instance created by this template.*/
1176 void Set(Handle<String> name, Handle<Data> value,
1177 PropertyAttribute attributes = None);
1178 inline void Set(const char* name, Handle<Data> value);
1179 private:
1180 Template();
1181
1182 friend class ObjectTemplate;
1183 friend class FunctionTemplate;
1184};
1185
1186
1187/**
1188 * The argument information given to function call callbacks. This
v8.team.kasperl727e9952008-09-02 14:56:44 +00001189 * class provides access to information about the context of the call,
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001190 * including the receiver, the number and values of arguments, and
1191 * the holder of the function.
1192 */
ager@chromium.orgbb29dc92009-03-24 13:25:23 +00001193class V8EXPORT Arguments {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001194 public:
1195 inline int Length() const;
1196 inline Local<Value> operator[](int i) const;
1197 inline Local<Function> Callee() const;
1198 inline Local<Object> This() const;
1199 inline Local<Object> Holder() const;
1200 inline bool IsConstructCall() const;
1201 inline Local<Value> Data() const;
1202 private:
1203 Arguments();
1204 friend class ImplementationUtilities;
1205 inline Arguments(Local<Value> data,
1206 Local<Object> holder,
1207 Local<Function> callee,
1208 bool is_construct_call,
1209 void** values, int length);
1210 Local<Value> data_;
1211 Local<Object> holder_;
1212 Local<Function> callee_;
1213 bool is_construct_call_;
1214 void** values_;
1215 int length_;
1216};
1217
1218
1219/**
1220 * The information passed to an accessor callback about the context
1221 * of the property access.
1222 */
ager@chromium.orgbb29dc92009-03-24 13:25:23 +00001223class V8EXPORT AccessorInfo {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001224 public:
1225 inline AccessorInfo(Local<Object> self,
1226 Local<Value> data,
1227 Local<Object> holder)
1228 : self_(self), data_(data), holder_(holder) { }
1229 inline Local<Value> Data() const;
1230 inline Local<Object> This() const;
1231 inline Local<Object> Holder() const;
1232 private:
1233 Local<Object> self_;
1234 Local<Value> data_;
1235 Local<Object> holder_;
1236};
1237
1238
1239typedef Handle<Value> (*InvocationCallback)(const Arguments& args);
1240
1241typedef int (*LookupCallback)(Local<Object> self, Local<String> name);
1242
1243/**
1244 * Accessor[Getter|Setter] are used as callback functions when
1245 * setting|getting a particular property. See objectTemplate::SetAccessor.
1246 */
1247typedef Handle<Value> (*AccessorGetter)(Local<String> property,
1248 const AccessorInfo& info);
1249
1250
1251typedef void (*AccessorSetter)(Local<String> property,
1252 Local<Value> value,
1253 const AccessorInfo& info);
1254
1255
1256/**
1257 * NamedProperty[Getter|Setter] are used as interceptors on object.
1258 * See ObjectTemplate::SetNamedPropertyHandler.
1259 */
1260typedef Handle<Value> (*NamedPropertyGetter)(Local<String> property,
1261 const AccessorInfo& info);
1262
1263
1264/**
1265 * Returns the value if the setter intercepts the request.
1266 * Otherwise, returns an empty handle.
1267 */
1268typedef Handle<Value> (*NamedPropertySetter)(Local<String> property,
1269 Local<Value> value,
1270 const AccessorInfo& info);
1271
1272
1273/**
1274 * Returns a non-empty handle if the interceptor intercepts the request.
v8.team.kasperl727e9952008-09-02 14:56:44 +00001275 * The result is true if the property exists and false otherwise.
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001276 */
1277typedef Handle<Boolean> (*NamedPropertyQuery)(Local<String> property,
1278 const AccessorInfo& info);
1279
1280
1281/**
1282 * Returns a non-empty handle if the deleter intercepts the request.
v8.team.kasperl727e9952008-09-02 14:56:44 +00001283 * The return value is true if the property could be deleted and false
1284 * otherwise.
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001285 */
1286typedef Handle<Boolean> (*NamedPropertyDeleter)(Local<String> property,
1287 const AccessorInfo& info);
1288
1289/**
v8.team.kasperl727e9952008-09-02 14:56:44 +00001290 * Returns an array containing the names of the properties the named
1291 * property getter intercepts.
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001292 */
1293typedef Handle<Array> (*NamedPropertyEnumerator)(const AccessorInfo& info);
1294
v8.team.kasperl727e9952008-09-02 14:56:44 +00001295
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001296/**
v8.team.kasperl727e9952008-09-02 14:56:44 +00001297 * Returns the value of the property if the getter intercepts the
1298 * request. Otherwise, returns an empty handle.
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001299 */
1300typedef Handle<Value> (*IndexedPropertyGetter)(uint32_t index,
1301 const AccessorInfo& info);
1302
1303
1304/**
1305 * Returns the value if the setter intercepts the request.
1306 * Otherwise, returns an empty handle.
1307 */
1308typedef Handle<Value> (*IndexedPropertySetter)(uint32_t index,
1309 Local<Value> value,
1310 const AccessorInfo& info);
1311
1312
1313/**
1314 * Returns a non-empty handle if the interceptor intercepts the request.
v8.team.kasperl727e9952008-09-02 14:56:44 +00001315 * The result is true if the property exists and false otherwise.
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001316 */
1317typedef Handle<Boolean> (*IndexedPropertyQuery)(uint32_t index,
1318 const AccessorInfo& info);
1319
1320/**
1321 * Returns a non-empty handle if the deleter intercepts the request.
v8.team.kasperl727e9952008-09-02 14:56:44 +00001322 * The return value is true if the property could be deleted and false
1323 * otherwise.
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001324 */
1325typedef Handle<Boolean> (*IndexedPropertyDeleter)(uint32_t index,
1326 const AccessorInfo& info);
1327
v8.team.kasperl727e9952008-09-02 14:56:44 +00001328/**
1329 * Returns an array containing the indices of the properties the
1330 * indexed property getter intercepts.
1331 */
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001332typedef Handle<Array> (*IndexedPropertyEnumerator)(const AccessorInfo& info);
1333
1334
1335/**
v8.team.kasperl727e9952008-09-02 14:56:44 +00001336 * Access control specifications.
1337 *
1338 * Some accessors should be accessible across contexts. These
1339 * accessors have an explicit access control parameter which specifies
1340 * the kind of cross-context access that should be allowed.
ager@chromium.org870a0b62008-11-04 11:43:05 +00001341 *
1342 * Additionally, for security, accessors can prohibit overwriting by
1343 * accessors defined in JavaScript. For objects that have such
1344 * accessors either locally or in their prototype chain it is not
1345 * possible to overwrite the accessor by using __defineGetter__ or
1346 * __defineSetter__ from JavaScript code.
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001347 */
1348enum AccessControl {
ager@chromium.org870a0b62008-11-04 11:43:05 +00001349 DEFAULT = 0,
1350 ALL_CAN_READ = 1,
1351 ALL_CAN_WRITE = 1 << 1,
1352 PROHIBITS_OVERWRITING = 1 << 2
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001353};
1354
1355
1356/**
v8.team.kasperl727e9952008-09-02 14:56:44 +00001357 * Access type specification.
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001358 */
1359enum AccessType {
1360 ACCESS_GET,
1361 ACCESS_SET,
1362 ACCESS_HAS,
1363 ACCESS_DELETE,
1364 ACCESS_KEYS
1365};
1366
v8.team.kasperl727e9952008-09-02 14:56:44 +00001367
1368/**
1369 * Returns true if cross-context access should be allowed to the named
1370 * property with the given key on the global object.
1371 */
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001372typedef bool (*NamedSecurityCallback)(Local<Object> global,
1373 Local<Value> key,
1374 AccessType type,
1375 Local<Value> data);
1376
v8.team.kasperl727e9952008-09-02 14:56:44 +00001377
1378/**
1379 * Returns true if cross-context access should be allowed to the indexed
1380 * property with the given index on the global object.
1381 */
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001382typedef bool (*IndexedSecurityCallback)(Local<Object> global,
1383 uint32_t index,
1384 AccessType type,
1385 Local<Value> data);
1386
1387
1388/**
v8.team.kasperl727e9952008-09-02 14:56:44 +00001389 * A FunctionTemplate is used to create functions at runtime. There
1390 * can only be one function created from a FunctionTemplate in a
1391 * context.
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001392 *
1393 * A FunctionTemplate can have properties, these properties are added to the
v8.team.kasperl727e9952008-09-02 14:56:44 +00001394 * function object when it is created.
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001395 *
v8.team.kasperl727e9952008-09-02 14:56:44 +00001396 * A FunctionTemplate has a corresponding instance template which is
1397 * used to create object instances when the function is used as a
1398 * constructor. Properties added to the instance template are added to
1399 * each object instance.
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001400 *
1401 * A FunctionTemplate can have a prototype template. The prototype template
1402 * is used to create the prototype object of the function.
1403 *
v8.team.kasperl727e9952008-09-02 14:56:44 +00001404 * The following example shows how to use a FunctionTemplate:
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001405 *
v8.team.kasperl727e9952008-09-02 14:56:44 +00001406 * \code
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001407 * v8::Local<v8::FunctionTemplate> t = v8::FunctionTemplate::New();
1408 * t->Set("func_property", v8::Number::New(1));
1409 *
1410 * v8::Local<v8::Template> proto_t = t->PrototypeTemplate();
1411 * proto_t->Set("proto_method", v8::FunctionTemplate::New(InvokeCallback));
1412 * proto_t->Set("proto_const", v8::Number::New(2));
1413 *
1414 * v8::Local<v8::ObjectTemplate> instance_t = t->InstanceTemplate();
1415 * instance_t->SetAccessor("instance_accessor", InstanceAccessorCallback);
1416 * instance_t->SetNamedPropertyHandler(PropertyHandlerCallback, ...);
1417 * instance_t->Set("instance_property", Number::New(3));
1418 *
1419 * v8::Local<v8::Function> function = t->GetFunction();
1420 * v8::Local<v8::Object> instance = function->NewInstance();
v8.team.kasperl727e9952008-09-02 14:56:44 +00001421 * \endcode
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001422 *
1423 * Let's use "function" as the JS variable name of the function object
v8.team.kasperl727e9952008-09-02 14:56:44 +00001424 * and "instance" for the instance object created above. The function
1425 * and the instance will have the following properties:
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001426 *
v8.team.kasperl727e9952008-09-02 14:56:44 +00001427 * \code
1428 * func_property in function == true;
1429 * function.func_property == 1;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001430 *
v8.team.kasperl727e9952008-09-02 14:56:44 +00001431 * function.prototype.proto_method() invokes 'InvokeCallback'
1432 * function.prototype.proto_const == 2;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001433 *
v8.team.kasperl727e9952008-09-02 14:56:44 +00001434 * instance instanceof function == true;
1435 * instance.instance_accessor calls 'InstanceAccessorCallback'
1436 * instance.instance_property == 3;
1437 * \endcode
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001438 *
v8.team.kasperl727e9952008-09-02 14:56:44 +00001439 * A FunctionTemplate can inherit from another one by calling the
1440 * FunctionTemplate::Inherit method. The following graph illustrates
1441 * the semantics of inheritance:
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001442 *
v8.team.kasperl727e9952008-09-02 14:56:44 +00001443 * \code
1444 * FunctionTemplate Parent -> Parent() . prototype -> { }
1445 * ^ ^
1446 * | Inherit(Parent) | .__proto__
1447 * | |
1448 * FunctionTemplate Child -> Child() . prototype -> { }
1449 * \endcode
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001450 *
v8.team.kasperl727e9952008-09-02 14:56:44 +00001451 * A FunctionTemplate 'Child' inherits from 'Parent', the prototype
1452 * object of the Child() function has __proto__ pointing to the
1453 * Parent() function's prototype object. An instance of the Child
1454 * function has all properties on Parent's instance templates.
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001455 *
v8.team.kasperl727e9952008-09-02 14:56:44 +00001456 * Let Parent be the FunctionTemplate initialized in the previous
1457 * section and create a Child FunctionTemplate by:
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001458 *
v8.team.kasperl727e9952008-09-02 14:56:44 +00001459 * \code
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001460 * Local<FunctionTemplate> parent = t;
1461 * Local<FunctionTemplate> child = FunctionTemplate::New();
1462 * child->Inherit(parent);
1463 *
1464 * Local<Function> child_function = child->GetFunction();
1465 * Local<Object> child_instance = child_function->NewInstance();
v8.team.kasperl727e9952008-09-02 14:56:44 +00001466 * \endcode
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001467 *
v8.team.kasperl727e9952008-09-02 14:56:44 +00001468 * The Child function and Child instance will have the following
1469 * properties:
1470 *
1471 * \code
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001472 * child_func.prototype.__proto__ == function.prototype;
v8.team.kasperl727e9952008-09-02 14:56:44 +00001473 * child_instance.instance_accessor calls 'InstanceAccessorCallback'
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001474 * child_instance.instance_property == 3;
v8.team.kasperl727e9952008-09-02 14:56:44 +00001475 * \endcode
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001476 */
ager@chromium.orgbb29dc92009-03-24 13:25:23 +00001477class V8EXPORT FunctionTemplate : public Template {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001478 public:
1479 /** Creates a function template.*/
v8.team.kasperl727e9952008-09-02 14:56:44 +00001480 static Local<FunctionTemplate> New(
1481 InvocationCallback callback = 0,
1482 Handle<Value> data = Handle<Value>(),
1483 Handle<Signature> signature = Handle<Signature>());
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001484 /** Returns the unique function instance in the current execution context.*/
1485 Local<Function> GetFunction();
1486
v8.team.kasperl727e9952008-09-02 14:56:44 +00001487 /**
1488 * Set the call-handler callback for a FunctionTemplate. This
1489 * callback is called whenever the function created from this
1490 * FunctionTemplate is called.
1491 */
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001492 void SetCallHandler(InvocationCallback callback,
1493 Handle<Value> data = Handle<Value>());
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001494
v8.team.kasperl727e9952008-09-02 14:56:44 +00001495 /** Get the InstanceTemplate. */
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001496 Local<ObjectTemplate> InstanceTemplate();
1497
1498 /** Causes the function template to inherit from a parent function template.*/
1499 void Inherit(Handle<FunctionTemplate> parent);
1500
1501 /**
1502 * A PrototypeTemplate is the template used to create the prototype object
1503 * of the function created by this template.
1504 */
1505 Local<ObjectTemplate> PrototypeTemplate();
1506
v8.team.kasperl727e9952008-09-02 14:56:44 +00001507
1508 /**
1509 * Set the class name of the FunctionTemplate. This is used for
1510 * printing objects created with the function created from the
1511 * FunctionTemplate as its constructor.
1512 */
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001513 void SetClassName(Handle<String> name);
1514
1515 /**
v8.team.kasperl727e9952008-09-02 14:56:44 +00001516 * Determines whether the __proto__ accessor ignores instances of
1517 * the function template. If instances of the function template are
1518 * ignored, __proto__ skips all instances and instead returns the
1519 * next object in the prototype chain.
1520 *
1521 * Call with a value of true to make the __proto__ accessor ignore
1522 * instances of the function template. Call with a value of false
1523 * to make the __proto__ accessor not ignore instances of the
1524 * function template. By default, instances of a function template
1525 * are not ignored.
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001526 */
1527 void SetHiddenPrototype(bool value);
1528
1529 /**
v8.team.kasperl727e9952008-09-02 14:56:44 +00001530 * Returns true if the given object is an instance of this function
1531 * template.
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001532 */
1533 bool HasInstance(Handle<Value> object);
1534
1535 private:
1536 FunctionTemplate();
1537 void AddInstancePropertyAccessor(Handle<String> name,
1538 AccessorGetter getter,
1539 AccessorSetter setter,
1540 Handle<Value> data,
1541 AccessControl settings,
1542 PropertyAttribute attributes);
1543 void SetNamedInstancePropertyHandler(NamedPropertyGetter getter,
1544 NamedPropertySetter setter,
1545 NamedPropertyQuery query,
1546 NamedPropertyDeleter remover,
1547 NamedPropertyEnumerator enumerator,
1548 Handle<Value> data);
1549 void SetIndexedInstancePropertyHandler(IndexedPropertyGetter getter,
1550 IndexedPropertySetter setter,
1551 IndexedPropertyQuery query,
1552 IndexedPropertyDeleter remover,
1553 IndexedPropertyEnumerator enumerator,
1554 Handle<Value> data);
1555 void SetInstanceCallAsFunctionHandler(InvocationCallback callback,
1556 Handle<Value> data);
1557
1558 friend class Context;
1559 friend class ObjectTemplate;
1560};
1561
1562
1563/**
v8.team.kasperl727e9952008-09-02 14:56:44 +00001564 * An ObjectTemplate is used to create objects at runtime.
1565 *
1566 * Properties added to an ObjectTemplate are added to each object
1567 * created from the ObjectTemplate.
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001568 */
ager@chromium.orgbb29dc92009-03-24 13:25:23 +00001569class V8EXPORT ObjectTemplate : public Template {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001570 public:
v8.team.kasperl727e9952008-09-02 14:56:44 +00001571 /** Creates an ObjectTemplate. */
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001572 static Local<ObjectTemplate> New();
v8.team.kasperl727e9952008-09-02 14:56:44 +00001573
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001574 /** Creates a new instance of this template.*/
1575 Local<Object> NewInstance();
1576
1577 /**
1578 * Sets an accessor on the object template.
v8.team.kasperl727e9952008-09-02 14:56:44 +00001579 *
1580 * Whenever the property with the given name is accessed on objects
1581 * created from this ObjectTemplate the getter and setter callbacks
1582 * are called instead of getting and setting the property directly
1583 * on the JavaScript object.
1584 *
1585 * \param name The name of the property for which an accessor is added.
1586 * \param getter The callback to invoke when getting the property.
1587 * \param setter The callback to invoke when setting the property.
1588 * \param data A piece of data that will be passed to the getter and setter
1589 * callbacks whenever they are invoked.
1590 * \param settings Access control settings for the accessor. This is a bit
1591 * field consisting of one of more of
1592 * DEFAULT = 0, ALL_CAN_READ = 1, or ALL_CAN_WRITE = 2.
1593 * The default is to not allow cross-context access.
1594 * ALL_CAN_READ means that all cross-context reads are allowed.
1595 * ALL_CAN_WRITE means that all cross-context writes are allowed.
1596 * The combination ALL_CAN_READ | ALL_CAN_WRITE can be used to allow all
1597 * cross-context access.
1598 * \param attribute The attributes of the property for which an accessor
1599 * is added.
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001600 */
1601 void SetAccessor(Handle<String> name,
1602 AccessorGetter getter,
1603 AccessorSetter setter = 0,
1604 Handle<Value> data = Handle<Value>(),
1605 AccessControl settings = DEFAULT,
1606 PropertyAttribute attribute = None);
1607
1608 /**
1609 * Sets a named property handler on the object template.
v8.team.kasperl727e9952008-09-02 14:56:44 +00001610 *
1611 * Whenever a named property is accessed on objects created from
1612 * this object template, the provided callback is invoked instead of
1613 * accessing the property directly on the JavaScript object.
1614 *
1615 * \param getter The callback to invoke when getting a property.
1616 * \param setter The callback to invoke when setting a property.
1617 * \param query The callback to invoke to check is an object has a property.
1618 * \param deleter The callback to invoke when deleting a property.
1619 * \param enumerator The callback to invoke to enumerate all the named
1620 * properties of an object.
1621 * \param data A piece of data that will be passed to the callbacks
1622 * whenever they are invoked.
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001623 */
1624 void SetNamedPropertyHandler(NamedPropertyGetter getter,
1625 NamedPropertySetter setter = 0,
1626 NamedPropertyQuery query = 0,
1627 NamedPropertyDeleter deleter = 0,
1628 NamedPropertyEnumerator enumerator = 0,
1629 Handle<Value> data = Handle<Value>());
1630
1631 /**
1632 * Sets an indexed property handler on the object template.
v8.team.kasperl727e9952008-09-02 14:56:44 +00001633 *
1634 * Whenever an indexed property is accessed on objects created from
1635 * this object template, the provided callback is invoked instead of
1636 * accessing the property directly on the JavaScript object.
1637 *
1638 * \param getter The callback to invoke when getting a property.
1639 * \param setter The callback to invoke when setting a property.
1640 * \param query The callback to invoke to check is an object has a property.
1641 * \param deleter The callback to invoke when deleting a property.
1642 * \param enumerator The callback to invoke to enumerate all the indexed
1643 * properties of an object.
1644 * \param data A piece of data that will be passed to the callbacks
1645 * whenever they are invoked.
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001646 */
1647 void SetIndexedPropertyHandler(IndexedPropertyGetter getter,
1648 IndexedPropertySetter setter = 0,
1649 IndexedPropertyQuery query = 0,
1650 IndexedPropertyDeleter deleter = 0,
1651 IndexedPropertyEnumerator enumerator = 0,
1652 Handle<Value> data = Handle<Value>());
1653 /**
1654 * Sets the callback to be used when calling instances created from
1655 * this template as a function. If no callback is set, instances
v8.team.kasperl727e9952008-09-02 14:56:44 +00001656 * behave like normal JavaScript objects that cannot be called as a
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001657 * function.
1658 */
1659 void SetCallAsFunctionHandler(InvocationCallback callback,
1660 Handle<Value> data = Handle<Value>());
1661
v8.team.kasperl727e9952008-09-02 14:56:44 +00001662 /**
1663 * Mark object instances of the template as undetectable.
1664 *
1665 * In many ways, undetectable objects behave as though they are not
1666 * there. They behave like 'undefined' in conditionals and when
1667 * printed. However, properties can be accessed and called as on
1668 * normal objects.
1669 */
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001670 void MarkAsUndetectable();
1671
v8.team.kasperl727e9952008-09-02 14:56:44 +00001672 /**
1673 * Sets access check callbacks on the object template.
1674 *
1675 * When accessing properties on instances of this object template,
1676 * the access check callback will be called to determine whether or
1677 * not to allow cross-context access to the properties.
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +00001678 * The last parameter specifies whether access checks are turned
1679 * on by default on instances. If access checks are off by default,
1680 * they can be turned on on individual instances by calling
1681 * Object::TurnOnAccessCheck().
v8.team.kasperl727e9952008-09-02 14:56:44 +00001682 */
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001683 void SetAccessCheckCallbacks(NamedSecurityCallback named_handler,
1684 IndexedSecurityCallback indexed_handler,
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +00001685 Handle<Value> data = Handle<Value>(),
1686 bool turned_on_by_default = true);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001687
kasper.lund212ac232008-07-16 07:07:30 +00001688 /**
1689 * Gets the number of internal fields for objects generated from
1690 * this template.
1691 */
1692 int InternalFieldCount();
1693
1694 /**
1695 * Sets the number of internal fields for objects generated from
1696 * this template.
1697 */
1698 void SetInternalFieldCount(int value);
1699
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001700 private:
1701 ObjectTemplate();
1702 static Local<ObjectTemplate> New(Handle<FunctionTemplate> constructor);
1703 friend class FunctionTemplate;
1704};
1705
1706
1707/**
v8.team.kasperl727e9952008-09-02 14:56:44 +00001708 * A Signature specifies which receivers and arguments a function can
1709 * legally be called with.
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001710 */
ager@chromium.orgbb29dc92009-03-24 13:25:23 +00001711class V8EXPORT Signature : public Data {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001712 public:
1713 static Local<Signature> New(Handle<FunctionTemplate> receiver =
1714 Handle<FunctionTemplate>(),
1715 int argc = 0,
1716 Handle<FunctionTemplate> argv[] = 0);
1717 private:
1718 Signature();
1719};
1720
1721
1722/**
v8.team.kasperl727e9952008-09-02 14:56:44 +00001723 * A utility for determining the type of objects based on the template
1724 * they were constructed from.
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001725 */
ager@chromium.orgbb29dc92009-03-24 13:25:23 +00001726class V8EXPORT TypeSwitch : public Data {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001727 public:
1728 static Local<TypeSwitch> New(Handle<FunctionTemplate> type);
1729 static Local<TypeSwitch> New(int argc, Handle<FunctionTemplate> types[]);
1730 int match(Handle<Value> value);
1731 private:
1732 TypeSwitch();
1733};
1734
1735
1736// --- E x t e n s i o n s ---
1737
1738
1739/**
1740 * Ignore
1741 */
ager@chromium.orgbb29dc92009-03-24 13:25:23 +00001742class V8EXPORT Extension { // NOLINT
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001743 public:
1744 Extension(const char* name,
1745 const char* source = 0,
1746 int dep_count = 0,
1747 const char** deps = 0);
1748 virtual ~Extension() { }
1749 virtual v8::Handle<v8::FunctionTemplate>
1750 GetNativeFunction(v8::Handle<v8::String> name) {
1751 return v8::Handle<v8::FunctionTemplate>();
1752 }
1753
1754 const char* name() { return name_; }
1755 const char* source() { return source_; }
1756 int dependency_count() { return dep_count_; }
1757 const char** dependencies() { return deps_; }
1758 void set_auto_enable(bool value) { auto_enable_ = value; }
1759 bool auto_enable() { return auto_enable_; }
1760
1761 private:
1762 const char* name_;
1763 const char* source_;
1764 int dep_count_;
1765 const char** deps_;
1766 bool auto_enable_;
kasperl@chromium.org41044eb2008-10-06 08:24:46 +00001767
1768 // Disallow copying and assigning.
1769 Extension(const Extension&);
1770 void operator=(const Extension&);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001771};
1772
1773
ager@chromium.orgbb29dc92009-03-24 13:25:23 +00001774void V8EXPORT RegisterExtension(Extension* extension);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001775
1776
1777/**
1778 * Ignore
1779 */
ager@chromium.orgbb29dc92009-03-24 13:25:23 +00001780class V8EXPORT DeclareExtension {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001781 public:
1782 inline DeclareExtension(Extension* extension) {
1783 RegisterExtension(extension);
1784 }
1785};
1786
1787
1788// --- S t a t i c s ---
1789
1790
ager@chromium.orgbb29dc92009-03-24 13:25:23 +00001791Handle<Primitive> V8EXPORT Undefined();
1792Handle<Primitive> V8EXPORT Null();
1793Handle<Boolean> V8EXPORT True();
1794Handle<Boolean> V8EXPORT False();
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001795
1796
1797/**
1798 * A set of constraints that specifies the limits of the runtime's
1799 * memory use.
1800 */
ager@chromium.orgbb29dc92009-03-24 13:25:23 +00001801class V8EXPORT ResourceConstraints {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001802 public:
1803 ResourceConstraints();
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +00001804 int max_young_space_size() const { return max_young_space_size_; }
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001805 void set_max_young_space_size(int value) { max_young_space_size_ = value; }
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +00001806 int max_old_space_size() const { return max_old_space_size_; }
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001807 void set_max_old_space_size(int value) { max_old_space_size_ = value; }
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +00001808 uint32_t* stack_limit() const { return stack_limit_; }
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001809 void set_stack_limit(uint32_t* value) { stack_limit_ = value; }
1810 private:
1811 int max_young_space_size_;
1812 int max_old_space_size_;
1813 uint32_t* stack_limit_;
1814};
1815
1816
1817bool SetResourceConstraints(ResourceConstraints* constraints);
1818
1819
1820// --- E x c e p t i o n s ---
1821
1822
1823typedef void (*FatalErrorCallback)(const char* location, const char* message);
1824
1825
1826typedef void (*MessageCallback)(Handle<Message> message, Handle<Value> data);
1827
1828
1829/**
v8.team.kasperl727e9952008-09-02 14:56:44 +00001830 * Schedules an exception to be thrown when returning to JavaScript. When an
1831 * exception has been scheduled it is illegal to invoke any JavaScript
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001832 * operation; the caller must return immediately and only after the exception
v8.team.kasperl727e9952008-09-02 14:56:44 +00001833 * has been handled does it become legal to invoke JavaScript operations.
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001834 */
ager@chromium.orgbb29dc92009-03-24 13:25:23 +00001835Handle<Value> V8EXPORT ThrowException(Handle<Value> exception);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001836
1837/**
1838 * Create new error objects by calling the corresponding error object
1839 * constructor with the message.
1840 */
ager@chromium.orgbb29dc92009-03-24 13:25:23 +00001841class V8EXPORT Exception {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001842 public:
1843 static Local<Value> RangeError(Handle<String> message);
1844 static Local<Value> ReferenceError(Handle<String> message);
1845 static Local<Value> SyntaxError(Handle<String> message);
1846 static Local<Value> TypeError(Handle<String> message);
1847 static Local<Value> Error(Handle<String> message);
1848};
1849
1850
ager@chromium.orga74f0da2008-12-03 16:05:52 +00001851// --- C o u n t e r s C a l l b a c k s ---
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001852
ager@chromium.orga74f0da2008-12-03 16:05:52 +00001853typedef int* (*CounterLookupCallback)(const char* name);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001854
ager@chromium.orgbb29dc92009-03-24 13:25:23 +00001855typedef void* (*CreateHistogramCallback)(const char* name,
1856 int min,
1857 int max,
1858 size_t buckets);
1859
1860typedef void (*AddHistogramSampleCallback)(void* histogram, int sample);
1861
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001862// --- F a i l e d A c c e s s C h e c k C a l l b a c k ---
1863typedef void (*FailedAccessCheckCallback)(Local<Object> target,
1864 AccessType type,
1865 Local<Value> data);
1866
1867// --- G a r b a g e C o l l e c t i o n C a l l b a c k s
1868
1869/**
1870 * Applications can register a callback function which is called
v8.team.kasperl727e9952008-09-02 14:56:44 +00001871 * before and after a major garbage collection. Allocations are not
1872 * allowed in the callback function, you therefore cannot manipulate
1873 * objects (set or delete properties for example) since it is possible
1874 * such operations will result in the allocation of objects.
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001875 */
1876typedef void (*GCCallback)();
1877
1878
ager@chromium.orga74f0da2008-12-03 16:05:52 +00001879// --- C o n t e x t G e n e r a t o r ---
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001880
1881/**
1882 * Applications must provide a callback function which is called to generate
v8.team.kasperl727e9952008-09-02 14:56:44 +00001883 * a context if a context was not deserialized from the snapshot.
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001884 */
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001885typedef Persistent<Context> (*ContextGenerator)();
1886
1887
1888/**
1889 * Container class for static utility functions.
1890 */
ager@chromium.orgbb29dc92009-03-24 13:25:23 +00001891class V8EXPORT V8 {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001892 public:
v8.team.kasperl727e9952008-09-02 14:56:44 +00001893 /** Set the callback to invoke in case of fatal errors. */
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001894 static void SetFatalErrorHandler(FatalErrorCallback that);
1895
v8.team.kasperl727e9952008-09-02 14:56:44 +00001896 /**
1897 * Ignore out-of-memory exceptions.
1898 *
1899 * V8 running out of memory is treated as a fatal error by default.
1900 * This means that the fatal error handler is called and that V8 is
1901 * terminated.
1902 *
1903 * IgnoreOutOfMemoryException can be used to not treat a
1904 * out-of-memory situation as a fatal error. This way, the contexts
1905 * that did not cause the out of memory problem might be able to
1906 * continue execution.
1907 */
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001908 static void IgnoreOutOfMemoryException();
1909
v8.team.kasperl727e9952008-09-02 14:56:44 +00001910 /**
ager@chromium.org9258b6b2008-09-11 09:11:10 +00001911 * Check if V8 is dead and therefore unusable. This is the case after
v8.team.kasperl727e9952008-09-02 14:56:44 +00001912 * fatal errors such as out-of-memory situations.
1913 */
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001914 static bool IsDead();
1915
1916 /**
v8.team.kasperl727e9952008-09-02 14:56:44 +00001917 * Adds a message listener.
1918 *
1919 * The same message listener can be added more than once and it that
1920 * case it will be called more than once for each message.
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001921 */
1922 static bool AddMessageListener(MessageCallback that,
1923 Handle<Value> data = Handle<Value>());
1924
1925 /**
1926 * Remove all message listeners from the specified callback function.
1927 */
1928 static void RemoveMessageListeners(MessageCallback that);
1929
1930 /**
v8.team.kasperl727e9952008-09-02 14:56:44 +00001931 * Sets V8 flags from a string.
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001932 */
1933 static void SetFlagsFromString(const char* str, int length);
1934
mads.s.ager@gmail.com9a4089a2008-09-01 08:55:01 +00001935 /**
v8.team.kasperl727e9952008-09-02 14:56:44 +00001936 * Sets V8 flags from the command line.
mads.s.ager@gmail.com9a4089a2008-09-01 08:55:01 +00001937 */
1938 static void SetFlagsFromCommandLine(int* argc,
1939 char** argv,
1940 bool remove_flags);
1941
kasper.lund7276f142008-07-30 08:49:36 +00001942 /** Get the version string. */
1943 static const char* GetVersion();
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001944
1945 /**
1946 * Enables the host application to provide a mechanism for recording
1947 * statistics counters.
1948 */
1949 static void SetCounterFunction(CounterLookupCallback);
1950
1951 /**
ager@chromium.orgbb29dc92009-03-24 13:25:23 +00001952 * Enables the host application to provide a mechanism for recording
1953 * histograms. The CreateHistogram function returns a
1954 * histogram which will later be passed to the AddHistogramSample
1955 * function.
1956 */
1957 static void SetCreateHistogramFunction(CreateHistogramCallback);
1958 static void SetAddHistogramSampleFunction(AddHistogramSampleCallback);
1959
1960 /**
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001961 * Enables the computation of a sliding window of states. The sliding
1962 * window information is recorded in statistics counters.
1963 */
1964 static void EnableSlidingStateWindow();
1965
1966 /** Callback function for reporting failed access checks.*/
1967 static void SetFailedAccessCheckCallbackFunction(FailedAccessCheckCallback);
1968
1969 /**
v8.team.kasperl727e9952008-09-02 14:56:44 +00001970 * Enables the host application to receive a notification before a
1971 * major garbage colletion. Allocations are not allowed in the
1972 * callback function, you therefore cannot manipulate objects (set
1973 * or delete properties for example) since it is possible such
1974 * operations will result in the allocation of objects.
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001975 */
1976 static void SetGlobalGCPrologueCallback(GCCallback);
1977
1978 /**
v8.team.kasperl727e9952008-09-02 14:56:44 +00001979 * Enables the host application to receive a notification after a
1980 * major garbage collection. Allocations are not allowed in the
1981 * callback function, you therefore cannot manipulate objects (set
1982 * or delete properties for example) since it is possible such
1983 * operations will result in the allocation of objects.
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001984 */
1985 static void SetGlobalGCEpilogueCallback(GCCallback);
1986
1987 /**
v8.team.kasperl727e9952008-09-02 14:56:44 +00001988 * Allows the host application to group objects together. If one
1989 * object in the group is alive, all objects in the group are alive.
1990 * After each garbage collection, object groups are removed. It is
1991 * intended to be used in the before-garbage-collection callback
ager@chromium.org8bb60582008-12-11 12:02:20 +00001992 * function, for instance to simulate DOM tree connections among JS
v8.team.kasperl727e9952008-09-02 14:56:44 +00001993 * wrapper objects.
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001994 */
ager@chromium.org8bb60582008-12-11 12:02:20 +00001995 static void AddObjectGroup(Persistent<Value>* objects, size_t length);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001996
1997 /**
v8.team.kasperl727e9952008-09-02 14:56:44 +00001998 * Initializes from snapshot if possible. Otherwise, attempts to
1999 * initialize from scratch.
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00002000 */
2001 static bool Initialize();
2002
kasper.lund7276f142008-07-30 08:49:36 +00002003 /**
v8.team.kasperl727e9952008-09-02 14:56:44 +00002004 * Adjusts the amount of registered external memory. Used to give
2005 * V8 an indication of the amount of externally allocated memory
2006 * that is kept alive by JavaScript objects. V8 uses this to decide
2007 * when to perform global garbage collections. Registering
2008 * externally allocated memory will trigger global garbage
2009 * collections more often than otherwise in an attempt to garbage
2010 * collect the JavaScript objects keeping the externally allocated
2011 * memory alive.
2012 *
2013 * \param change_in_bytes the change in externally allocated memory
2014 * that is kept alive by JavaScript objects.
2015 * \returns the adjusted value.
kasper.lund7276f142008-07-30 08:49:36 +00002016 */
2017 static int AdjustAmountOfExternalAllocatedMemory(int change_in_bytes);
2018
iposva@chromium.org245aa852009-02-10 00:49:54 +00002019 /**
2020 * Suspends recording of tick samples in the profiler.
2021 * When the V8 profiling mode is enabled (usually via command line
2022 * switches) this function suspends recording of tick samples.
2023 * Profiling ticks are discarded until ResumeProfiler() is called.
2024 *
2025 * See also the --prof and --prof_auto command line switches to
2026 * enable V8 profiling.
2027 */
2028 static void PauseProfiler();
2029
2030 /**
2031 * Resumes recording of tick samples in the profiler.
2032 * See also PauseProfiler().
2033 */
2034 static void ResumeProfiler();
2035
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00002036 private:
2037 V8();
2038
2039 static void** GlobalizeReference(void** handle);
2040 static void DisposeGlobal(void** global_handle);
2041 static void MakeWeak(void** global_handle, void* data, WeakReferenceCallback);
2042 static void ClearWeak(void** global_handle);
2043 static bool IsGlobalNearDeath(void** global_handle);
2044 static bool IsGlobalWeak(void** global_handle);
2045
2046 template <class T> friend class Handle;
2047 template <class T> friend class Local;
2048 template <class T> friend class Persistent;
2049 friend class Context;
2050};
2051
2052
2053/**
2054 * An external exception handler.
2055 */
ager@chromium.orgbb29dc92009-03-24 13:25:23 +00002056class V8EXPORT TryCatch {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00002057 public:
2058
2059 /**
2060 * Creates a new try/catch block and registers it with v8.
2061 */
2062 TryCatch();
2063
2064 /**
2065 * Unregisters and deletes this try/catch block.
2066 */
2067 ~TryCatch();
2068
2069 /**
2070 * Returns true if an exception has been caught by this try/catch block.
2071 */
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +00002072 bool HasCaught() const;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00002073
2074 /**
2075 * Returns the exception caught by this try/catch block. If no exception has
2076 * been caught an empty handle is returned.
2077 *
2078 * The returned handle is valid until this TryCatch block has been destroyed.
2079 */
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +00002080 Local<Value> Exception() const;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00002081
2082 /**
ager@chromium.org9258b6b2008-09-11 09:11:10 +00002083 * Returns the message associated with this exception. If there is
2084 * no message associated an empty handle is returned.
2085 *
2086 * The returned handle is valid until this TryCatch block has been
2087 * destroyed.
2088 */
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +00002089 Local<v8::Message> Message() const;
ager@chromium.org9258b6b2008-09-11 09:11:10 +00002090
2091 /**
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00002092 * Clears any exceptions that may have been caught by this try/catch block.
2093 * After this method has been called, HasCaught() will return false.
2094 *
2095 * It is not necessary to clear a try/catch block before using it again; if
2096 * another exception is thrown the previously caught exception will just be
2097 * overwritten. However, it is often a good idea since it makes it easier
2098 * to determine which operation threw a given exception.
2099 */
2100 void Reset();
2101
v8.team.kasperl727e9952008-09-02 14:56:44 +00002102 /**
2103 * Set verbosity of the external exception handler.
2104 *
2105 * By default, exceptions that are caught by an external exception
2106 * handler are not reported. Call SetVerbose with true on an
2107 * external exception handler to have exceptions caught by the
2108 * handler reported as if they were not caught.
2109 */
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00002110 void SetVerbose(bool value);
2111
ager@chromium.org9258b6b2008-09-11 09:11:10 +00002112 /**
2113 * Set whether or not this TryCatch should capture a Message object
2114 * which holds source information about where the exception
2115 * occurred. True by default.
2116 */
2117 void SetCaptureMessage(bool value);
2118
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00002119 public:
2120 TryCatch* next_;
2121 void* exception_;
ager@chromium.org9258b6b2008-09-11 09:11:10 +00002122 void* message_;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00002123 bool is_verbose_;
ager@chromium.org9258b6b2008-09-11 09:11:10 +00002124 bool capture_message_;
ager@chromium.org3bf7b912008-11-17 09:09:45 +00002125 void* js_handler_;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00002126};
2127
2128
2129// --- C o n t e x t ---
2130
2131
2132/**
2133 * Ignore
2134 */
ager@chromium.orgbb29dc92009-03-24 13:25:23 +00002135class V8EXPORT ExtensionConfiguration {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00002136 public:
2137 ExtensionConfiguration(int name_count, const char* names[])
2138 : name_count_(name_count), names_(names) { }
2139 private:
2140 friend class ImplementationUtilities;
2141 int name_count_;
2142 const char** names_;
2143};
2144
2145
2146/**
2147 * A sandboxed execution context with its own set of built-in objects
2148 * and functions.
2149 */
ager@chromium.orgbb29dc92009-03-24 13:25:23 +00002150class V8EXPORT Context {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00002151 public:
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +00002152 /** Returns the global object of the context. */
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00002153 Local<Object> Global();
2154
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +00002155 /**
2156 * Detaches the global object from its context before
2157 * the global object can be reused to create a new context.
2158 */
2159 void DetachGlobal();
2160
v8.team.kasperl727e9952008-09-02 14:56:44 +00002161 /** Creates a new context. */
2162 static Persistent<Context> New(
2163 ExtensionConfiguration* extensions = 0,
2164 Handle<ObjectTemplate> global_template = Handle<ObjectTemplate>(),
2165 Handle<Value> global_object = Handle<Value>());
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00002166
kasper.lund44510672008-07-25 07:37:58 +00002167 /** Returns the last entered context. */
2168 static Local<Context> GetEntered();
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00002169
kasper.lund44510672008-07-25 07:37:58 +00002170 /** Returns the context that is on the top of the stack. */
2171 static Local<Context> GetCurrent();
2172
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00002173 /**
2174 * Sets the security token for the context. To access an object in
2175 * another context, the security tokens must match.
2176 */
2177 void SetSecurityToken(Handle<Value> token);
2178
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +00002179 /** Restores the security token to the default value. */
2180 void UseDefaultSecurityToken();
2181
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00002182 /** Returns the security token of this context.*/
2183 Handle<Value> GetSecurityToken();
2184
v8.team.kasperl727e9952008-09-02 14:56:44 +00002185 /**
2186 * Enter this context. After entering a context, all code compiled
2187 * and run is compiled and run in this context. If another context
2188 * is already entered, this old context is saved so it can be
2189 * restored when the new context is exited.
2190 */
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00002191 void Enter();
v8.team.kasperl727e9952008-09-02 14:56:44 +00002192
2193 /**
2194 * Exit this context. Exiting the current context restores the
2195 * context that was in place when entering the current context.
2196 */
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00002197 void Exit();
2198
v8.team.kasperl727e9952008-09-02 14:56:44 +00002199 /** Returns true if the context has experienced an out of memory situation. */
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00002200 bool HasOutOfMemoryException();
2201
v8.team.kasperl727e9952008-09-02 14:56:44 +00002202 /** Returns true if V8 has a current context. */
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00002203 static bool InContext();
2204
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00002205 /**
2206 * Stack-allocated class which sets the execution context for all
2207 * operations executed within a local scope.
2208 */
ager@chromium.orgbb29dc92009-03-24 13:25:23 +00002209 class V8EXPORT Scope {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00002210 public:
2211 inline Scope(Handle<Context> context) : context_(context) {
2212 context_->Enter();
2213 }
2214 inline ~Scope() { context_->Exit(); }
2215 private:
2216 Handle<Context> context_;
2217 };
2218
2219 private:
2220 friend class Value;
2221 friend class Script;
2222 friend class Object;
2223 friend class Function;
2224};
2225
2226
2227/**
v8.team.kasperl727e9952008-09-02 14:56:44 +00002228 * Multiple threads in V8 are allowed, but only one thread at a time
2229 * is allowed to use V8. The definition of 'using V8' includes
2230 * accessing handles or holding onto object pointers obtained from V8
2231 * handles. It is up to the user of V8 to ensure (perhaps with
2232 * locking) that this constraint is not violated.
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00002233 *
2234 * If you wish to start using V8 in a thread you can do this by constructing
2235 * a v8::Locker object. After the code using V8 has completed for the
2236 * current thread you can call the destructor. This can be combined
2237 * with C++ scope-based construction as follows:
2238 *
v8.team.kasperl727e9952008-09-02 14:56:44 +00002239 * \code
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00002240 * ...
2241 * {
2242 * v8::Locker locker;
2243 * ...
2244 * // Code using V8 goes here.
2245 * ...
2246 * } // Destructor called here
v8.team.kasperl727e9952008-09-02 14:56:44 +00002247 * \endcode
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00002248 *
2249 * If you wish to stop using V8 in a thread A you can do this by either
2250 * by destroying the v8::Locker object as above or by constructing a
2251 * v8::Unlocker object:
2252 *
v8.team.kasperl727e9952008-09-02 14:56:44 +00002253 * \code
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00002254 * {
2255 * v8::Unlocker unlocker;
2256 * ...
2257 * // Code not using V8 goes here while V8 can run in another thread.
2258 * ...
2259 * } // Destructor called here.
v8.team.kasperl727e9952008-09-02 14:56:44 +00002260 * \endcode
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00002261 *
2262 * The Unlocker object is intended for use in a long-running callback
2263 * from V8, where you want to release the V8 lock for other threads to
2264 * use.
2265 *
2266 * The v8::Locker is a recursive lock. That is, you can lock more than
2267 * once in a given thread. This can be useful if you have code that can
2268 * be called either from code that holds the lock or from code that does
2269 * not. The Unlocker is not recursive so you can not have several
2270 * Unlockers on the stack at once, and you can not use an Unlocker in a
2271 * thread that is not inside a Locker's scope.
2272 *
2273 * An unlocker will unlock several lockers if it has to and reinstate
2274 * the correct depth of locking on its destruction. eg.:
2275 *
v8.team.kasperl727e9952008-09-02 14:56:44 +00002276 * \code
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00002277 * // V8 not locked.
2278 * {
2279 * v8::Locker locker;
2280 * // V8 locked.
2281 * {
2282 * v8::Locker another_locker;
2283 * // V8 still locked (2 levels).
2284 * {
2285 * v8::Unlocker unlocker;
2286 * // V8 not locked.
2287 * }
2288 * // V8 locked again (2 levels).
2289 * }
2290 * // V8 still locked (1 level).
2291 * }
2292 * // V8 Now no longer locked.
v8.team.kasperl727e9952008-09-02 14:56:44 +00002293 * \endcode
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00002294 */
ager@chromium.orgbb29dc92009-03-24 13:25:23 +00002295class V8EXPORT Unlocker {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00002296 public:
2297 Unlocker();
2298 ~Unlocker();
2299};
2300
2301
ager@chromium.orgbb29dc92009-03-24 13:25:23 +00002302class V8EXPORT Locker {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00002303 public:
2304 Locker();
2305 ~Locker();
v8.team.kasperl727e9952008-09-02 14:56:44 +00002306
2307 /**
2308 * Start preemption.
2309 *
2310 * When preemption is started, a timer is fired every n milli seconds
2311 * that will switch between multiple threads that are in contention
2312 * for the V8 lock.
2313 */
2314 static void StartPreemption(int every_n_ms);
2315
2316 /**
2317 * Stop preemption.
2318 */
2319 static void StopPreemption();
2320
ager@chromium.org9258b6b2008-09-11 09:11:10 +00002321 /**
2322 * Returns whether or not the locker is locked by the current thread.
2323 */
2324 static bool IsLocked();
2325
ager@chromium.orgddb913d2009-01-27 10:01:48 +00002326 /**
2327 * Returns whether v8::Locker is being used by this V8 instance.
2328 */
2329 static bool IsActive() { return active_; }
2330
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00002331 private:
2332 bool has_lock_;
2333 bool top_level_;
kasperl@chromium.org41044eb2008-10-06 08:24:46 +00002334
ager@chromium.orgddb913d2009-01-27 10:01:48 +00002335 static bool active_;
2336
kasperl@chromium.org41044eb2008-10-06 08:24:46 +00002337 // Disallow copying and assigning.
2338 Locker(const Locker&);
2339 void operator=(const Locker&);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00002340};
2341
2342
2343
2344// --- I m p l e m e n t a t i o n ---
2345
2346template <class T>
2347Handle<T>::Handle() : val_(0) { }
2348
2349
2350template <class T>
2351Local<T>::Local() : Handle<T>() { }
2352
2353
2354template <class T>
2355Local<T> Local<T>::New(Handle<T> that) {
2356 if (that.IsEmpty()) return Local<T>();
2357 void** p = reinterpret_cast<void**>(*that);
2358 return Local<T>(reinterpret_cast<T*>(HandleScope::CreateHandle(*p)));
2359}
2360
2361
2362template <class T>
2363Persistent<T> Persistent<T>::New(Handle<T> that) {
2364 if (that.IsEmpty()) return Persistent<T>();
2365 void** p = reinterpret_cast<void**>(*that);
2366 return Persistent<T>(reinterpret_cast<T*>(V8::GlobalizeReference(p)));
2367}
2368
2369
2370template <class T>
ager@chromium.org32912102009-01-16 10:38:43 +00002371bool Persistent<T>::IsNearDeath() const {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00002372 if (this->IsEmpty()) return false;
2373 return V8::IsGlobalNearDeath(reinterpret_cast<void**>(**this));
2374}
2375
2376
2377template <class T>
ager@chromium.org32912102009-01-16 10:38:43 +00002378bool Persistent<T>::IsWeak() const {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00002379 if (this->IsEmpty()) return false;
2380 return V8::IsGlobalWeak(reinterpret_cast<void**>(**this));
2381}
2382
2383
2384template <class T>
2385void Persistent<T>::Dispose() {
2386 if (this->IsEmpty()) return;
2387 V8::DisposeGlobal(reinterpret_cast<void**>(**this));
2388}
2389
2390
2391template <class T>
2392Persistent<T>::Persistent() : Handle<T>() { }
2393
2394template <class T>
2395void Persistent<T>::MakeWeak(void* parameters, WeakReferenceCallback callback) {
2396 V8::MakeWeak(reinterpret_cast<void**>(**this), parameters, callback);
2397}
2398
2399template <class T>
2400void Persistent<T>::ClearWeak() {
2401 V8::ClearWeak(reinterpret_cast<void**>(**this));
2402}
2403
2404template <class T>
ager@chromium.org32912102009-01-16 10:38:43 +00002405T* Handle<T>::operator->() const {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00002406 return val_;
2407}
2408
2409
2410template <class T>
ager@chromium.org32912102009-01-16 10:38:43 +00002411T* Handle<T>::operator*() const {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00002412 return val_;
2413}
2414
2415
2416Local<Value> Arguments::operator[](int i) const {
2417 if (i < 0 || length_ <= i) return Local<Value>(*Undefined());
2418 return Local<Value>(reinterpret_cast<Value*>(values_ - i));
2419}
2420
2421
2422Local<Function> Arguments::Callee() const {
2423 return callee_;
2424}
2425
2426
2427Local<Object> Arguments::This() const {
2428 return Local<Object>(reinterpret_cast<Object*>(values_ + 1));
2429}
2430
2431
2432Local<Object> Arguments::Holder() const {
2433 return holder_;
2434}
2435
2436
2437Local<Value> Arguments::Data() const {
2438 return data_;
2439}
2440
2441
2442bool Arguments::IsConstructCall() const {
2443 return is_construct_call_;
2444}
2445
2446
2447int Arguments::Length() const {
2448 return length_;
2449}
2450
2451
2452Local<Value> AccessorInfo::Data() const {
2453 return data_;
2454}
2455
2456
2457Local<Object> AccessorInfo::This() const {
2458 return self_;
2459}
2460
2461
2462Local<Object> AccessorInfo::Holder() const {
2463 return holder_;
2464}
2465
2466
2467template <class T>
2468Local<T> HandleScope::Close(Handle<T> value) {
2469 void** after = RawClose(reinterpret_cast<void**>(*value));
2470 return Local<T>(reinterpret_cast<T*>(after));
2471}
2472
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +00002473Handle<Value> ScriptOrigin::ResourceName() const {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00002474 return resource_name_;
2475}
2476
2477
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +00002478Handle<Integer> ScriptOrigin::ResourceLineOffset() const {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00002479 return resource_line_offset_;
2480}
2481
2482
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +00002483Handle<Integer> ScriptOrigin::ResourceColumnOffset() const {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00002484 return resource_column_offset_;
2485}
2486
2487
2488Handle<Boolean> Boolean::New(bool value) {
2489 return value ? True() : False();
2490}
2491
2492
2493void Template::Set(const char* name, v8::Handle<Data> value) {
2494 Set(v8::String::New(name), value);
2495}
2496
2497
2498/**
v8.team.kasperl727e9952008-09-02 14:56:44 +00002499 * \example shell.cc
2500 * A simple shell that takes a list of expressions on the
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00002501 * command-line and executes them.
2502 */
2503
2504
2505/**
2506 * \example process.cc
2507 */
2508
2509
2510} // namespace v8
2511
2512
ager@chromium.orgbb29dc92009-03-24 13:25:23 +00002513#undef V8EXPORT
2514#undef V8EXPORT_INLINE
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00002515#undef TYPE_CHECK
2516
2517
ager@chromium.org9258b6b2008-09-11 09:11:10 +00002518#endif // V8_H_