blob: 7cad7b628044f008d2a79d242e2ace05af2ed09a [file] [log] [blame]
Ben Murdoch257744e2011-11-30 15:57:28 +00001// Copyright 2011 the V8 project authors. All rights reserved.
Steve Blocka7e24c12009-10-30 11:49:00 +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
28/** \mainpage V8 API Reference Guide
29 *
30 * V8 is Google's open source JavaScript engine.
31 *
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/
36 */
37
38#ifndef V8_H_
39#define V8_H_
40
Teng-Hui Zhu3e5fa292010-11-09 16:16:48 -080041#include "v8stdint.h"
Steve Blocka7e24c12009-10-30 11:49:00 +000042
43#ifdef _WIN32
Steve Blocka7e24c12009-10-30 11:49:00 +000044
45// Setup for Windows DLL export/import. When building the V8 DLL the
46// BUILDING_V8_SHARED needs to be defined. When building a program which uses
47// the V8 DLL USING_V8_SHARED needs to be defined. When either building the V8
48// static library or building a program which uses the V8 static library neither
49// BUILDING_V8_SHARED nor USING_V8_SHARED should be defined.
Steve Blocka7e24c12009-10-30 11:49:00 +000050#if defined(BUILDING_V8_SHARED) && defined(USING_V8_SHARED)
51#error both BUILDING_V8_SHARED and USING_V8_SHARED are set - please check the\
52 build configuration to ensure that at most one of these is set
53#endif
54
55#ifdef BUILDING_V8_SHARED
56#define V8EXPORT __declspec(dllexport)
Steve Blocka7e24c12009-10-30 11:49:00 +000057#elif USING_V8_SHARED
58#define V8EXPORT __declspec(dllimport)
Steve Blocka7e24c12009-10-30 11:49:00 +000059#else
60#define V8EXPORT
Steve Blocka7e24c12009-10-30 11:49:00 +000061#endif // BUILDING_V8_SHARED
62
63#else // _WIN32
64
Steve Blocka7e24c12009-10-30 11:49:00 +000065// Setup for Linux shared library export. There is no need to distinguish
66// between building or using the V8 shared library, but we should not
67// export symbols when we are building a static library.
68#if defined(__GNUC__) && (__GNUC__ >= 4) && defined(V8_SHARED)
69#define V8EXPORT __attribute__ ((visibility("default")))
Steve Blocka7e24c12009-10-30 11:49:00 +000070#else // defined(__GNUC__) && (__GNUC__ >= 4)
71#define V8EXPORT
Steve Blocka7e24c12009-10-30 11:49:00 +000072#endif // defined(__GNUC__) && (__GNUC__ >= 4)
73
74#endif // _WIN32
75
76/**
77 * The v8 JavaScript engine.
78 */
79namespace v8 {
80
81class Context;
82class String;
Ben Murdoch3fb3ca82011-12-02 17:19:32 +000083class StringObject;
Steve Blocka7e24c12009-10-30 11:49:00 +000084class Value;
85class Utils;
86class Number;
Ben Murdoch3fb3ca82011-12-02 17:19:32 +000087class NumberObject;
Steve Blocka7e24c12009-10-30 11:49:00 +000088class Object;
89class Array;
90class Int32;
91class Uint32;
92class External;
93class Primitive;
94class Boolean;
Ben Murdoch3fb3ca82011-12-02 17:19:32 +000095class BooleanObject;
Steve Blocka7e24c12009-10-30 11:49:00 +000096class Integer;
97class Function;
98class Date;
99class ImplementationUtilities;
100class Signature;
101template <class T> class Handle;
102template <class T> class Local;
103template <class T> class Persistent;
104class FunctionTemplate;
105class ObjectTemplate;
106class Data;
Leon Clarkef7060e22010-06-03 12:02:55 +0100107class AccessorInfo;
Kristian Monsen25f61362010-05-21 11:50:48 +0100108class StackTrace;
109class StackFrame;
Steve Blocka7e24c12009-10-30 11:49:00 +0000110
111namespace internal {
112
Steve Blocka7e24c12009-10-30 11:49:00 +0000113class Arguments;
Steve Blockd0582a62009-12-15 09:54:21 +0000114class Object;
Ben Murdoch7f4d5bd2010-06-15 11:15:29 +0100115class Heap;
Steve Block44f0eee2011-05-26 01:26:41 +0100116class HeapObject;
117class Isolate;
Steve Blocka7e24c12009-10-30 11:49:00 +0000118}
119
120
Ben Murdoch257744e2011-11-30 15:57:28 +0000121// --- Weak Handles ---
Steve Blocka7e24c12009-10-30 11:49:00 +0000122
123
124/**
125 * A weak reference callback function.
126 *
Kristian Monsen50ef84f2010-07-29 15:18:00 +0100127 * This callback should either explicitly invoke Dispose on |object| if
128 * V8 wrapper is not needed anymore, or 'revive' it by invocation of MakeWeak.
129 *
Steve Blocka7e24c12009-10-30 11:49:00 +0000130 * \param object the weak global object to be reclaimed by the garbage collector
131 * \param parameter the value passed in when making the weak global object
132 */
133typedef void (*WeakReferenceCallback)(Persistent<Value> object,
134 void* parameter);
135
136
Ben Murdoch257744e2011-11-30 15:57:28 +0000137// --- Handles ---
Steve Blocka7e24c12009-10-30 11:49:00 +0000138
Kristian Monsen50ef84f2010-07-29 15:18:00 +0100139#define TYPE_CHECK(T, S) \
140 while (false) { \
141 *(static_cast<T* volatile*>(0)) = static_cast<S*>(0); \
Steve Blocka7e24c12009-10-30 11:49:00 +0000142 }
143
144/**
145 * An object reference managed by the v8 garbage collector.
146 *
147 * All objects returned from v8 have to be tracked by the garbage
148 * collector so that it knows that the objects are still alive. Also,
149 * because the garbage collector may move objects, it is unsafe to
150 * point directly to an object. Instead, all objects are stored in
151 * handles which are known by the garbage collector and updated
152 * whenever an object moves. Handles should always be passed by value
153 * (except in cases like out-parameters) and they should never be
154 * allocated on the heap.
155 *
156 * There are two types of handles: local and persistent handles.
157 * Local handles are light-weight and transient and typically used in
158 * local operations. They are managed by HandleScopes. Persistent
159 * handles can be used when storing objects across several independent
160 * operations and have to be explicitly deallocated when they're no
161 * longer used.
162 *
163 * It is safe to extract the object stored in the handle by
164 * dereferencing the handle (for instance, to extract the Object* from
Ben Murdoch257744e2011-11-30 15:57:28 +0000165 * a Handle<Object>); the value will still be governed by a handle
Steve Blocka7e24c12009-10-30 11:49:00 +0000166 * behind the scenes and the same rules apply to these values as to
167 * their handles.
168 */
Steve Block8defd9f2010-07-08 12:39:36 +0100169template <class T> class Handle {
Steve Blocka7e24c12009-10-30 11:49:00 +0000170 public:
Steve Blocka7e24c12009-10-30 11:49:00 +0000171 /**
172 * Creates an empty handle.
173 */
Ben Murdoch69a99ed2011-11-30 16:03:39 +0000174 inline Handle() : val_(0) {}
Steve Blocka7e24c12009-10-30 11:49:00 +0000175
176 /**
177 * Creates a new handle for the specified value.
178 */
Ben Murdoch69a99ed2011-11-30 16:03:39 +0000179 inline explicit Handle(T* val) : val_(val) {}
Steve Blocka7e24c12009-10-30 11:49:00 +0000180
181 /**
182 * Creates a handle for the contents of the specified handle. This
183 * constructor allows you to pass handles as arguments by value and
184 * to assign between handles. However, if you try to assign between
185 * incompatible handles, for instance from a Handle<String> to a
Ben Murdoch257744e2011-11-30 15:57:28 +0000186 * Handle<Number> it will cause a compile-time error. Assigning
Steve Blocka7e24c12009-10-30 11:49:00 +0000187 * between compatible handles, for instance assigning a
188 * Handle<String> to a variable declared as Handle<Value>, is legal
189 * because String is a subclass of Value.
190 */
191 template <class S> inline Handle(Handle<S> that)
192 : val_(reinterpret_cast<T*>(*that)) {
193 /**
194 * This check fails when trying to convert between incompatible
195 * handles. For example, converting from a Handle<String> to a
196 * Handle<Number>.
197 */
198 TYPE_CHECK(T, S);
199 }
200
201 /**
202 * Returns true if the handle is empty.
203 */
Steve Block8defd9f2010-07-08 12:39:36 +0100204 inline bool IsEmpty() const { return val_ == 0; }
Steve Blocka7e24c12009-10-30 11:49:00 +0000205
Steve Blocka7e24c12009-10-30 11:49:00 +0000206 /**
207 * Sets the handle to be empty. IsEmpty() will then return true.
208 */
Ben Murdoch69a99ed2011-11-30 16:03:39 +0000209 inline void Clear() { val_ = 0; }
210
211 inline T* operator->() const { return val_; }
212
213 inline T* operator*() const { return val_; }
Steve Blocka7e24c12009-10-30 11:49:00 +0000214
215 /**
216 * Checks whether two handles are the same.
217 * Returns true if both are empty, or if the objects
218 * to which they refer are identical.
219 * The handles' references are not checked.
220 */
Steve Block8defd9f2010-07-08 12:39:36 +0100221 template <class S> inline bool operator==(Handle<S> that) const {
Steve Blocka7e24c12009-10-30 11:49:00 +0000222 internal::Object** a = reinterpret_cast<internal::Object**>(**this);
223 internal::Object** b = reinterpret_cast<internal::Object**>(*that);
224 if (a == 0) return b == 0;
225 if (b == 0) return false;
226 return *a == *b;
227 }
228
229 /**
230 * Checks whether two handles are different.
231 * Returns true if only one of the handles is empty, or if
232 * the objects to which they refer are different.
233 * The handles' references are not checked.
234 */
Steve Block8defd9f2010-07-08 12:39:36 +0100235 template <class S> inline bool operator!=(Handle<S> that) const {
Steve Blocka7e24c12009-10-30 11:49:00 +0000236 return !operator==(that);
237 }
238
239 template <class S> static inline Handle<T> Cast(Handle<S> that) {
240#ifdef V8_ENABLE_CHECKS
241 // If we're going to perform the type check then we have to check
242 // that the handle isn't empty before doing the checked cast.
243 if (that.IsEmpty()) return Handle<T>();
244#endif
245 return Handle<T>(T::Cast(*that));
246 }
247
Steve Block6ded16b2010-05-10 14:33:55 +0100248 template <class S> inline Handle<S> As() {
249 return Handle<S>::Cast(*this);
250 }
251
Steve Blocka7e24c12009-10-30 11:49:00 +0000252 private:
253 T* val_;
254};
255
256
257/**
258 * A light-weight stack-allocated object handle. All operations
259 * that return objects from within v8 return them in local handles. They
260 * are created within HandleScopes, and all local handles allocated within a
261 * handle scope are destroyed when the handle scope is destroyed. Hence it
262 * is not necessary to explicitly deallocate local handles.
263 */
Steve Block8defd9f2010-07-08 12:39:36 +0100264template <class T> class Local : public Handle<T> {
Steve Blocka7e24c12009-10-30 11:49:00 +0000265 public:
266 inline Local();
267 template <class S> inline Local(Local<S> that)
268 : Handle<T>(reinterpret_cast<T*>(*that)) {
269 /**
270 * This check fails when trying to convert between incompatible
271 * handles. For example, converting from a Handle<String> to a
272 * Handle<Number>.
273 */
274 TYPE_CHECK(T, S);
275 }
276 template <class S> inline Local(S* that) : Handle<T>(that) { }
277 template <class S> static inline Local<T> Cast(Local<S> that) {
278#ifdef V8_ENABLE_CHECKS
279 // If we're going to perform the type check then we have to check
280 // that the handle isn't empty before doing the checked cast.
281 if (that.IsEmpty()) return Local<T>();
282#endif
283 return Local<T>(T::Cast(*that));
284 }
285
Steve Block6ded16b2010-05-10 14:33:55 +0100286 template <class S> inline Local<S> As() {
287 return Local<S>::Cast(*this);
288 }
289
Steve Blocka7e24c12009-10-30 11:49:00 +0000290 /** Create a local handle for the content of another handle.
291 * The referee is kept alive by the local handle even when
292 * the original handle is destroyed/disposed.
293 */
294 inline static Local<T> New(Handle<T> that);
295};
296
297
298/**
299 * An object reference that is independent of any handle scope. Where
300 * a Local handle only lives as long as the HandleScope in which it was
301 * allocated, a Persistent handle remains valid until it is explicitly
302 * disposed.
303 *
304 * A persistent handle contains a reference to a storage cell within
305 * the v8 engine which holds an object value and which is updated by
306 * the garbage collector whenever the object is moved. A new storage
307 * cell can be created using Persistent::New and existing handles can
308 * be disposed using Persistent::Dispose. Since persistent handles
309 * are passed by value you may have many persistent handle objects
310 * that point to the same storage cell. For instance, if you pass a
311 * persistent handle as an argument to a function you will not get two
312 * different storage cells but rather two references to the same
313 * storage cell.
314 */
Steve Block8defd9f2010-07-08 12:39:36 +0100315template <class T> class Persistent : public Handle<T> {
Steve Blocka7e24c12009-10-30 11:49:00 +0000316 public:
Steve Blocka7e24c12009-10-30 11:49:00 +0000317 /**
318 * Creates an empty persistent handle that doesn't point to any
319 * storage cell.
320 */
321 inline Persistent();
322
323 /**
324 * Creates a persistent handle for the same storage cell as the
325 * specified handle. This constructor allows you to pass persistent
326 * handles as arguments by value and to assign between persistent
327 * handles. However, attempting to assign between incompatible
328 * persistent handles, for instance from a Persistent<String> to a
Ben Murdoch257744e2011-11-30 15:57:28 +0000329 * Persistent<Number> will cause a compile-time error. Assigning
Steve Blocka7e24c12009-10-30 11:49:00 +0000330 * between compatible persistent handles, for instance assigning a
331 * Persistent<String> to a variable declared as Persistent<Value>,
332 * is allowed as String is a subclass of Value.
333 */
334 template <class S> inline Persistent(Persistent<S> that)
335 : Handle<T>(reinterpret_cast<T*>(*that)) {
336 /**
337 * This check fails when trying to convert between incompatible
338 * handles. For example, converting from a Handle<String> to a
339 * Handle<Number>.
340 */
341 TYPE_CHECK(T, S);
342 }
343
344 template <class S> inline Persistent(S* that) : Handle<T>(that) { }
345
346 /**
347 * "Casts" a plain handle which is known to be a persistent handle
348 * to a persistent handle.
349 */
350 template <class S> explicit inline Persistent(Handle<S> that)
351 : Handle<T>(*that) { }
352
353 template <class S> static inline Persistent<T> Cast(Persistent<S> that) {
354#ifdef V8_ENABLE_CHECKS
355 // If we're going to perform the type check then we have to check
356 // that the handle isn't empty before doing the checked cast.
357 if (that.IsEmpty()) return Persistent<T>();
358#endif
359 return Persistent<T>(T::Cast(*that));
360 }
361
Steve Block6ded16b2010-05-10 14:33:55 +0100362 template <class S> inline Persistent<S> As() {
363 return Persistent<S>::Cast(*this);
364 }
365
Steve Blocka7e24c12009-10-30 11:49:00 +0000366 /**
367 * Creates a new persistent handle for an existing local or
368 * persistent handle.
369 */
370 inline static Persistent<T> New(Handle<T> that);
371
372 /**
373 * Releases the storage cell referenced by this persistent handle.
374 * Does not remove the reference to the cell from any handles.
Ben Murdoch257744e2011-11-30 15:57:28 +0000375 * This handle's reference, and any other references to the storage
Steve Blocka7e24c12009-10-30 11:49:00 +0000376 * cell remain and IsEmpty will still return false.
377 */
378 inline void Dispose();
379
380 /**
381 * Make the reference to this object weak. When only weak handles
382 * refer to the object, the garbage collector will perform a
383 * callback to the given V8::WeakReferenceCallback function, passing
384 * it the object reference and the given parameters.
385 */
386 inline void MakeWeak(void* parameters, WeakReferenceCallback callback);
387
388 /** Clears the weak reference to this object.*/
389 inline void ClearWeak();
390
391 /**
Ben Murdoch257744e2011-11-30 15:57:28 +0000392 * Marks the reference to this object independent. Garbage collector
393 * is free to ignore any object groups containing this object.
394 * Weak callback for an independent handle should not
395 * assume that it will be preceded by a global GC prologue callback
396 * or followed by a global GC epilogue callback.
397 */
398 inline void MarkIndependent();
399
400 /**
Steve Blocka7e24c12009-10-30 11:49:00 +0000401 *Checks if the handle holds the only reference to an object.
402 */
403 inline bool IsNearDeath() const;
404
405 /**
406 * Returns true if the handle's reference is weak.
407 */
408 inline bool IsWeak() const;
409
Steve Block44f0eee2011-05-26 01:26:41 +0100410 /**
411 * Assigns a wrapper class ID to the handle. See RetainedObjectInfo
412 * interface description in v8-profiler.h for details.
413 */
414 inline void SetWrapperClassId(uint16_t class_id);
415
Steve Blocka7e24c12009-10-30 11:49:00 +0000416 private:
417 friend class ImplementationUtilities;
418 friend class ObjectTemplate;
419};
420
421
422 /**
423 * A stack-allocated class that governs a number of local handles.
424 * After a handle scope has been created, all local handles will be
425 * allocated within that handle scope until either the handle scope is
426 * deleted or another handle scope is created. If there is already a
427 * handle scope and a new one is created, all allocations will take
428 * place in the new handle scope until it is deleted. After that,
429 * new handles will again be allocated in the original handle scope.
430 *
431 * After the handle scope of a local handle has been deleted the
432 * garbage collector will no longer track the object stored in the
433 * handle and may deallocate it. The behavior of accessing a handle
434 * for which the handle scope has been deleted is undefined.
435 */
436class V8EXPORT HandleScope {
437 public:
438 HandleScope();
439
440 ~HandleScope();
441
442 /**
443 * Closes the handle scope and returns the value as a handle in the
444 * previous scope, which is the new current scope after the call.
445 */
446 template <class T> Local<T> Close(Handle<T> value);
447
448 /**
449 * Counts the number of allocated handles.
450 */
451 static int NumberOfHandles();
452
453 /**
454 * Creates a new handle with the given value.
455 */
456 static internal::Object** CreateHandle(internal::Object* value);
Steve Block44f0eee2011-05-26 01:26:41 +0100457 // Faster version, uses HeapObject to obtain the current Isolate.
458 static internal::Object** CreateHandle(internal::HeapObject* value);
Steve Blocka7e24c12009-10-30 11:49:00 +0000459
460 private:
461 // Make it impossible to create heap-allocated or illegal handle
462 // scopes by disallowing certain operations.
463 HandleScope(const HandleScope&);
464 void operator=(const HandleScope&);
465 void* operator new(size_t size);
466 void operator delete(void*, size_t);
467
Steve Blockd0582a62009-12-15 09:54:21 +0000468 // This Data class is accessible internally as HandleScopeData through a
469 // typedef in the ImplementationUtilities class.
Steve Blocka7e24c12009-10-30 11:49:00 +0000470 class V8EXPORT Data {
471 public:
Steve Blocka7e24c12009-10-30 11:49:00 +0000472 internal::Object** next;
473 internal::Object** limit;
John Reck59135872010-11-02 12:39:01 -0700474 int level;
Steve Blocka7e24c12009-10-30 11:49:00 +0000475 inline void Initialize() {
Steve Blocka7e24c12009-10-30 11:49:00 +0000476 next = limit = NULL;
John Reck59135872010-11-02 12:39:01 -0700477 level = 0;
Steve Blocka7e24c12009-10-30 11:49:00 +0000478 }
479 };
Teng-Hui Zhu3e5fa292010-11-09 16:16:48 -0800480
John Reck59135872010-11-02 12:39:01 -0700481 void Leave();
Steve Blocka7e24c12009-10-30 11:49:00 +0000482
Steve Block44f0eee2011-05-26 01:26:41 +0100483 internal::Isolate* isolate_;
John Reck59135872010-11-02 12:39:01 -0700484 internal::Object** prev_next_;
485 internal::Object** prev_limit_;
Steve Blocka7e24c12009-10-30 11:49:00 +0000486
487 // Allow for the active closing of HandleScopes which allows to pass a handle
488 // from the HandleScope being closed to the next top most HandleScope.
489 bool is_closed_;
490 internal::Object** RawClose(internal::Object** value);
491
492 friend class ImplementationUtilities;
493};
494
495
Ben Murdoch257744e2011-11-30 15:57:28 +0000496// --- Special objects ---
Steve Blocka7e24c12009-10-30 11:49:00 +0000497
498
499/**
500 * The superclass of values and API object templates.
501 */
502class V8EXPORT Data {
503 private:
504 Data();
505};
506
507
508/**
509 * Pre-compilation data that can be associated with a script. This
510 * data can be calculated for a script in advance of actually
511 * compiling it, and can be stored between compilations. When script
512 * data is given to the compile method compilation will be faster.
513 */
514class V8EXPORT ScriptData { // NOLINT
515 public:
516 virtual ~ScriptData() { }
Ben Murdoch7f4d5bd2010-06-15 11:15:29 +0100517
Leon Clarkef7060e22010-06-03 12:02:55 +0100518 /**
519 * Pre-compiles the specified script (context-independent).
520 *
521 * \param input Pointer to UTF-8 script source code.
522 * \param length Length of UTF-8 script source code.
523 */
Steve Blocka7e24c12009-10-30 11:49:00 +0000524 static ScriptData* PreCompile(const char* input, int length);
Steve Blocka7e24c12009-10-30 11:49:00 +0000525
Leon Clarkef7060e22010-06-03 12:02:55 +0100526 /**
Ben Murdoch7f4d5bd2010-06-15 11:15:29 +0100527 * Pre-compiles the specified script (context-independent).
528 *
529 * NOTE: Pre-compilation using this method cannot happen on another thread
530 * without using Lockers.
531 *
532 * \param source Script source code.
533 */
534 static ScriptData* PreCompile(Handle<String> source);
535
536 /**
Leon Clarkef7060e22010-06-03 12:02:55 +0100537 * Load previous pre-compilation data.
538 *
539 * \param data Pointer to data returned by a call to Data() of a previous
540 * ScriptData. Ownership is not transferred.
541 * \param length Length of data.
542 */
543 static ScriptData* New(const char* data, int length);
544
545 /**
546 * Returns the length of Data().
547 */
Steve Blocka7e24c12009-10-30 11:49:00 +0000548 virtual int Length() = 0;
Leon Clarkef7060e22010-06-03 12:02:55 +0100549
550 /**
551 * Returns a serialized representation of this ScriptData that can later be
552 * passed to New(). NOTE: Serialized data is platform-dependent.
553 */
554 virtual const char* Data() = 0;
555
556 /**
557 * Returns true if the source code could not be parsed.
558 */
Leon Clarkee46be812010-01-19 14:06:41 +0000559 virtual bool HasError() = 0;
Steve Blocka7e24c12009-10-30 11:49:00 +0000560};
561
562
563/**
564 * The origin, within a file, of a script.
565 */
Steve Block8defd9f2010-07-08 12:39:36 +0100566class ScriptOrigin {
Steve Blocka7e24c12009-10-30 11:49:00 +0000567 public:
Steve Block8defd9f2010-07-08 12:39:36 +0100568 inline ScriptOrigin(
569 Handle<Value> resource_name,
570 Handle<Integer> resource_line_offset = Handle<Integer>(),
571 Handle<Integer> resource_column_offset = Handle<Integer>())
Steve Blocka7e24c12009-10-30 11:49:00 +0000572 : resource_name_(resource_name),
573 resource_line_offset_(resource_line_offset),
574 resource_column_offset_(resource_column_offset) { }
575 inline Handle<Value> ResourceName() const;
576 inline Handle<Integer> ResourceLineOffset() const;
577 inline Handle<Integer> ResourceColumnOffset() const;
578 private:
579 Handle<Value> resource_name_;
580 Handle<Integer> resource_line_offset_;
581 Handle<Integer> resource_column_offset_;
582};
583
584
585/**
586 * A compiled JavaScript script.
587 */
588class V8EXPORT Script {
589 public:
Steve Blocka7e24c12009-10-30 11:49:00 +0000590 /**
Andrei Popescu402d9372010-02-26 13:31:12 +0000591 * Compiles the specified script (context-independent).
Steve Blocka7e24c12009-10-30 11:49:00 +0000592 *
Andrei Popescu402d9372010-02-26 13:31:12 +0000593 * \param source Script source code.
Steve Block6ded16b2010-05-10 14:33:55 +0100594 * \param origin Script origin, owned by caller, no references are kept
Andrei Popescu402d9372010-02-26 13:31:12 +0000595 * when New() returns
596 * \param pre_data Pre-parsing data, as obtained by ScriptData::PreCompile()
597 * using pre_data speeds compilation if it's done multiple times.
598 * Owned by caller, no references are kept when New() returns.
599 * \param script_data Arbitrary data associated with script. Using
Steve Block6ded16b2010-05-10 14:33:55 +0100600 * this has same effect as calling SetData(), but allows data to be
Andrei Popescu402d9372010-02-26 13:31:12 +0000601 * available to compile event handlers.
602 * \return Compiled script object (context independent; when run it
603 * will use the currently entered context).
Steve Blocka7e24c12009-10-30 11:49:00 +0000604 */
Andrei Popescu402d9372010-02-26 13:31:12 +0000605 static Local<Script> New(Handle<String> source,
606 ScriptOrigin* origin = NULL,
607 ScriptData* pre_data = NULL,
608 Handle<String> script_data = Handle<String>());
Steve Blocka7e24c12009-10-30 11:49:00 +0000609
610 /**
611 * Compiles the specified script using the specified file name
612 * object (typically a string) as the script's origin.
613 *
Andrei Popescu402d9372010-02-26 13:31:12 +0000614 * \param source Script source code.
Steve Block6ded16b2010-05-10 14:33:55 +0100615 * \param file_name file name object (typically a string) to be used
Andrei Popescu402d9372010-02-26 13:31:12 +0000616 * as the script's origin.
617 * \return Compiled script object (context independent; when run it
618 * will use the currently entered context).
619 */
620 static Local<Script> New(Handle<String> source,
621 Handle<Value> file_name);
622
623 /**
624 * Compiles the specified script (bound to current context).
625 *
626 * \param source Script source code.
Steve Block6ded16b2010-05-10 14:33:55 +0100627 * \param origin Script origin, owned by caller, no references are kept
Andrei Popescu402d9372010-02-26 13:31:12 +0000628 * when Compile() returns
629 * \param pre_data Pre-parsing data, as obtained by ScriptData::PreCompile()
630 * using pre_data speeds compilation if it's done multiple times.
631 * Owned by caller, no references are kept when Compile() returns.
632 * \param script_data Arbitrary data associated with script. Using
633 * this has same effect as calling SetData(), but makes data available
634 * earlier (i.e. to compile event handlers).
635 * \return Compiled script object, bound to the context that was active
636 * when this function was called. When run it will always use this
637 * context.
Steve Blocka7e24c12009-10-30 11:49:00 +0000638 */
639 static Local<Script> Compile(Handle<String> source,
Andrei Popescu402d9372010-02-26 13:31:12 +0000640 ScriptOrigin* origin = NULL,
641 ScriptData* pre_data = NULL,
642 Handle<String> script_data = Handle<String>());
643
644 /**
645 * Compiles the specified script using the specified file name
646 * object (typically a string) as the script's origin.
647 *
648 * \param source Script source code.
649 * \param file_name File name to use as script's origin
650 * \param script_data Arbitrary data associated with script. Using
651 * this has same effect as calling SetData(), but makes data available
652 * earlier (i.e. to compile event handlers).
653 * \return Compiled script object, bound to the context that was active
654 * when this function was called. When run it will always use this
655 * context.
656 */
657 static Local<Script> Compile(Handle<String> source,
658 Handle<Value> file_name,
659 Handle<String> script_data = Handle<String>());
Steve Blocka7e24c12009-10-30 11:49:00 +0000660
661 /**
662 * Runs the script returning the resulting value. If the script is
663 * context independent (created using ::New) it will be run in the
664 * currently entered context. If it is context specific (created
665 * using ::Compile) it will be run in the context in which it was
666 * compiled.
667 */
668 Local<Value> Run();
669
670 /**
671 * Returns the script id value.
672 */
673 Local<Value> Id();
674
675 /**
676 * Associate an additional data object with the script. This is mainly used
677 * with the debugger as this data object is only available through the
678 * debugger API.
679 */
Steve Blockd0582a62009-12-15 09:54:21 +0000680 void SetData(Handle<String> data);
Steve Blocka7e24c12009-10-30 11:49:00 +0000681};
682
683
684/**
685 * An error message.
686 */
687class V8EXPORT Message {
688 public:
689 Local<String> Get() const;
690 Local<String> GetSourceLine() const;
691
692 /**
693 * Returns the resource name for the script from where the function causing
694 * the error originates.
695 */
696 Handle<Value> GetScriptResourceName() const;
697
698 /**
699 * Returns the resource data for the script from where the function causing
700 * the error originates.
701 */
702 Handle<Value> GetScriptData() const;
703
704 /**
Ben Murdoch3bec4d22010-07-22 14:51:16 +0100705 * Exception stack trace. By default stack traces are not captured for
706 * uncaught exceptions. SetCaptureStackTraceForUncaughtExceptions allows
707 * to change this option.
708 */
709 Handle<StackTrace> GetStackTrace() const;
710
711 /**
Steve Blocka7e24c12009-10-30 11:49:00 +0000712 * Returns the number, 1-based, of the line where the error occurred.
713 */
714 int GetLineNumber() const;
715
716 /**
717 * Returns the index within the script of the first character where
718 * the error occurred.
719 */
720 int GetStartPosition() const;
721
722 /**
723 * Returns the index within the script of the last character where
724 * the error occurred.
725 */
726 int GetEndPosition() const;
727
728 /**
729 * Returns the index within the line of the first character where
730 * the error occurred.
731 */
732 int GetStartColumn() const;
733
734 /**
735 * Returns the index within the line of the last character where
736 * the error occurred.
737 */
738 int GetEndColumn() const;
739
740 // TODO(1245381): Print to a string instead of on a FILE.
741 static void PrintCurrentStackTrace(FILE* out);
Kristian Monsen25f61362010-05-21 11:50:48 +0100742
743 static const int kNoLineNumberInfo = 0;
744 static const int kNoColumnInfo = 0;
745};
746
747
748/**
749 * Representation of a JavaScript stack trace. The information collected is a
750 * snapshot of the execution stack and the information remains valid after
751 * execution continues.
752 */
753class V8EXPORT StackTrace {
754 public:
755 /**
756 * Flags that determine what information is placed captured for each
757 * StackFrame when grabbing the current stack trace.
758 */
759 enum StackTraceOptions {
760 kLineNumber = 1,
761 kColumnOffset = 1 << 1 | kLineNumber,
762 kScriptName = 1 << 2,
763 kFunctionName = 1 << 3,
764 kIsEval = 1 << 4,
765 kIsConstructor = 1 << 5,
Ben Murdochf87a2032010-10-22 12:50:53 +0100766 kScriptNameOrSourceURL = 1 << 6,
Kristian Monsen25f61362010-05-21 11:50:48 +0100767 kOverview = kLineNumber | kColumnOffset | kScriptName | kFunctionName,
Ben Murdochf87a2032010-10-22 12:50:53 +0100768 kDetailed = kOverview | kIsEval | kIsConstructor | kScriptNameOrSourceURL
Kristian Monsen25f61362010-05-21 11:50:48 +0100769 };
770
771 /**
772 * Returns a StackFrame at a particular index.
773 */
774 Local<StackFrame> GetFrame(uint32_t index) const;
775
776 /**
777 * Returns the number of StackFrames.
778 */
779 int GetFrameCount() const;
780
781 /**
782 * Returns StackTrace as a v8::Array that contains StackFrame objects.
783 */
784 Local<Array> AsArray();
785
786 /**
Ben Murdoch257744e2011-11-30 15:57:28 +0000787 * Grab a snapshot of the current JavaScript execution stack.
Kristian Monsen25f61362010-05-21 11:50:48 +0100788 *
789 * \param frame_limit The maximum number of stack frames we want to capture.
790 * \param options Enumerates the set of things we will capture for each
791 * StackFrame.
792 */
793 static Local<StackTrace> CurrentStackTrace(
794 int frame_limit,
795 StackTraceOptions options = kOverview);
796};
797
798
799/**
800 * A single JavaScript stack frame.
801 */
802class V8EXPORT StackFrame {
803 public:
804 /**
805 * Returns the number, 1-based, of the line for the associate function call.
806 * This method will return Message::kNoLineNumberInfo if it is unable to
807 * retrieve the line number, or if kLineNumber was not passed as an option
808 * when capturing the StackTrace.
809 */
810 int GetLineNumber() const;
811
812 /**
813 * Returns the 1-based column offset on the line for the associated function
814 * call.
815 * This method will return Message::kNoColumnInfo if it is unable to retrieve
816 * the column number, or if kColumnOffset was not passed as an option when
817 * capturing the StackTrace.
818 */
819 int GetColumn() const;
820
821 /**
822 * Returns the name of the resource that contains the script for the
823 * function for this StackFrame.
824 */
825 Local<String> GetScriptName() const;
826
827 /**
Ben Murdochf87a2032010-10-22 12:50:53 +0100828 * Returns the name of the resource that contains the script for the
829 * function for this StackFrame or sourceURL value if the script name
830 * is undefined and its source ends with //@ sourceURL=... string.
831 */
832 Local<String> GetScriptNameOrSourceURL() const;
833
834 /**
Kristian Monsen25f61362010-05-21 11:50:48 +0100835 * Returns the name of the function associated with this stack frame.
836 */
837 Local<String> GetFunctionName() const;
838
839 /**
840 * Returns whether or not the associated function is compiled via a call to
841 * eval().
842 */
843 bool IsEval() const;
844
845 /**
Ben Murdoch257744e2011-11-30 15:57:28 +0000846 * Returns whether or not the associated function is called as a
Kristian Monsen25f61362010-05-21 11:50:48 +0100847 * constructor via "new".
848 */
849 bool IsConstructor() const;
Steve Blocka7e24c12009-10-30 11:49:00 +0000850};
851
852
Ben Murdoch257744e2011-11-30 15:57:28 +0000853// --- Value ---
Steve Blocka7e24c12009-10-30 11:49:00 +0000854
855
856/**
857 * The superclass of all JavaScript values and objects.
858 */
Steve Block8defd9f2010-07-08 12:39:36 +0100859class Value : public Data {
Steve Blocka7e24c12009-10-30 11:49:00 +0000860 public:
Steve Blocka7e24c12009-10-30 11:49:00 +0000861 /**
862 * Returns true if this value is the undefined value. See ECMA-262
863 * 4.3.10.
864 */
Steve Block8defd9f2010-07-08 12:39:36 +0100865 V8EXPORT bool IsUndefined() const;
Steve Blocka7e24c12009-10-30 11:49:00 +0000866
867 /**
868 * Returns true if this value is the null value. See ECMA-262
869 * 4.3.11.
870 */
Steve Block8defd9f2010-07-08 12:39:36 +0100871 V8EXPORT bool IsNull() const;
Steve Blocka7e24c12009-10-30 11:49:00 +0000872
873 /**
874 * Returns true if this value is true.
875 */
Steve Block8defd9f2010-07-08 12:39:36 +0100876 V8EXPORT bool IsTrue() const;
Steve Blocka7e24c12009-10-30 11:49:00 +0000877
878 /**
879 * Returns true if this value is false.
880 */
Steve Block8defd9f2010-07-08 12:39:36 +0100881 V8EXPORT bool IsFalse() const;
Steve Blocka7e24c12009-10-30 11:49:00 +0000882
883 /**
884 * Returns true if this value is an instance of the String type.
885 * See ECMA-262 8.4.
886 */
887 inline bool IsString() const;
888
889 /**
890 * Returns true if this value is a function.
891 */
Steve Block8defd9f2010-07-08 12:39:36 +0100892 V8EXPORT bool IsFunction() const;
Steve Blocka7e24c12009-10-30 11:49:00 +0000893
894 /**
895 * Returns true if this value is an array.
896 */
Steve Block8defd9f2010-07-08 12:39:36 +0100897 V8EXPORT bool IsArray() const;
Steve Blocka7e24c12009-10-30 11:49:00 +0000898
899 /**
900 * Returns true if this value is an object.
901 */
Steve Block8defd9f2010-07-08 12:39:36 +0100902 V8EXPORT bool IsObject() const;
Steve Blocka7e24c12009-10-30 11:49:00 +0000903
904 /**
905 * Returns true if this value is boolean.
906 */
Steve Block8defd9f2010-07-08 12:39:36 +0100907 V8EXPORT bool IsBoolean() const;
Steve Blocka7e24c12009-10-30 11:49:00 +0000908
909 /**
910 * Returns true if this value is a number.
911 */
Steve Block8defd9f2010-07-08 12:39:36 +0100912 V8EXPORT bool IsNumber() const;
Steve Blocka7e24c12009-10-30 11:49:00 +0000913
914 /**
915 * Returns true if this value is external.
916 */
Steve Block8defd9f2010-07-08 12:39:36 +0100917 V8EXPORT bool IsExternal() const;
Steve Blocka7e24c12009-10-30 11:49:00 +0000918
919 /**
920 * Returns true if this value is a 32-bit signed integer.
921 */
Steve Block8defd9f2010-07-08 12:39:36 +0100922 V8EXPORT bool IsInt32() const;
Steve Blocka7e24c12009-10-30 11:49:00 +0000923
924 /**
Steve Block6ded16b2010-05-10 14:33:55 +0100925 * Returns true if this value is a 32-bit unsigned integer.
926 */
Steve Block8defd9f2010-07-08 12:39:36 +0100927 V8EXPORT bool IsUint32() const;
Steve Block6ded16b2010-05-10 14:33:55 +0100928
929 /**
Steve Blocka7e24c12009-10-30 11:49:00 +0000930 * Returns true if this value is a Date.
931 */
Steve Block8defd9f2010-07-08 12:39:36 +0100932 V8EXPORT bool IsDate() const;
Steve Blocka7e24c12009-10-30 11:49:00 +0000933
Iain Merrick75681382010-08-19 15:07:18 +0100934 /**
Ben Murdoch3fb3ca82011-12-02 17:19:32 +0000935 * Returns true if this value is a Boolean object.
936 */
937 V8EXPORT bool IsBooleanObject() const;
938
939 /**
940 * Returns true if this value is a Number object.
941 */
942 V8EXPORT bool IsNumberObject() const;
943
944 /**
945 * Returns true if this value is a String object.
946 */
947 V8EXPORT bool IsStringObject() const;
948
949 /**
950 * Returns true if this value is a NativeError.
951 */
952 V8EXPORT bool IsNativeError() const;
953
954 /**
Iain Merrick75681382010-08-19 15:07:18 +0100955 * Returns true if this value is a RegExp.
956 */
957 V8EXPORT bool IsRegExp() const;
958
Steve Block8defd9f2010-07-08 12:39:36 +0100959 V8EXPORT Local<Boolean> ToBoolean() const;
960 V8EXPORT Local<Number> ToNumber() const;
961 V8EXPORT Local<String> ToString() const;
962 V8EXPORT Local<String> ToDetailString() const;
963 V8EXPORT Local<Object> ToObject() const;
964 V8EXPORT Local<Integer> ToInteger() const;
965 V8EXPORT Local<Uint32> ToUint32() const;
966 V8EXPORT Local<Int32> ToInt32() const;
Steve Blocka7e24c12009-10-30 11:49:00 +0000967
968 /**
969 * Attempts to convert a string to an array index.
970 * Returns an empty handle if the conversion fails.
971 */
Steve Block8defd9f2010-07-08 12:39:36 +0100972 V8EXPORT Local<Uint32> ToArrayIndex() const;
Steve Blocka7e24c12009-10-30 11:49:00 +0000973
Steve Block8defd9f2010-07-08 12:39:36 +0100974 V8EXPORT bool BooleanValue() const;
975 V8EXPORT double NumberValue() const;
976 V8EXPORT int64_t IntegerValue() const;
977 V8EXPORT uint32_t Uint32Value() const;
978 V8EXPORT int32_t Int32Value() const;
Steve Blocka7e24c12009-10-30 11:49:00 +0000979
980 /** JS == */
Steve Block8defd9f2010-07-08 12:39:36 +0100981 V8EXPORT bool Equals(Handle<Value> that) const;
982 V8EXPORT bool StrictEquals(Handle<Value> that) const;
Steve Block3ce2e202009-11-05 08:53:23 +0000983
Steve Blocka7e24c12009-10-30 11:49:00 +0000984 private:
985 inline bool QuickIsString() const;
Steve Block8defd9f2010-07-08 12:39:36 +0100986 V8EXPORT bool FullIsString() const;
Steve Blocka7e24c12009-10-30 11:49:00 +0000987};
988
989
990/**
991 * The superclass of primitive values. See ECMA-262 4.3.2.
992 */
Steve Block8defd9f2010-07-08 12:39:36 +0100993class Primitive : public Value { };
Steve Blocka7e24c12009-10-30 11:49:00 +0000994
995
996/**
997 * A primitive boolean value (ECMA-262, 4.3.14). Either the true
998 * or false value.
999 */
Steve Block8defd9f2010-07-08 12:39:36 +01001000class Boolean : public Primitive {
Steve Blocka7e24c12009-10-30 11:49:00 +00001001 public:
Steve Block8defd9f2010-07-08 12:39:36 +01001002 V8EXPORT bool Value() const;
Steve Blocka7e24c12009-10-30 11:49:00 +00001003 static inline Handle<Boolean> New(bool value);
1004};
1005
1006
1007/**
1008 * A JavaScript string value (ECMA-262, 4.3.17).
1009 */
Steve Block8defd9f2010-07-08 12:39:36 +01001010class String : public Primitive {
Steve Blocka7e24c12009-10-30 11:49:00 +00001011 public:
Steve Blocka7e24c12009-10-30 11:49:00 +00001012 /**
1013 * Returns the number of characters in this string.
1014 */
Steve Block8defd9f2010-07-08 12:39:36 +01001015 V8EXPORT int Length() const;
Steve Blocka7e24c12009-10-30 11:49:00 +00001016
1017 /**
1018 * Returns the number of bytes in the UTF-8 encoded
1019 * representation of this string.
1020 */
Steve Block8defd9f2010-07-08 12:39:36 +01001021 V8EXPORT int Utf8Length() const;
Steve Blocka7e24c12009-10-30 11:49:00 +00001022
1023 /**
1024 * Write the contents of the string to an external buffer.
1025 * If no arguments are given, expects the buffer to be large
1026 * enough to hold the entire string and NULL terminator. Copies
1027 * the contents of the string and the NULL terminator into the
1028 * buffer.
1029 *
Ben Murdochb0fe1622011-05-05 13:52:32 +01001030 * WriteUtf8 will not write partial UTF-8 sequences, preferring to stop
1031 * before the end of the buffer.
1032 *
Steve Blocka7e24c12009-10-30 11:49:00 +00001033 * Copies up to length characters into the output buffer.
1034 * Only null-terminates if there is enough space in the buffer.
1035 *
1036 * \param buffer The buffer into which the string will be copied.
1037 * \param start The starting position within the string at which
1038 * copying begins.
Ben Murdochb0fe1622011-05-05 13:52:32 +01001039 * \param length The number of characters to copy from the string. For
1040 * WriteUtf8 the number of bytes in the buffer.
Steve Block6ded16b2010-05-10 14:33:55 +01001041 * \param nchars_ref The number of characters written, can be NULL.
Ben Murdoch69a99ed2011-11-30 16:03:39 +00001042 * \param options Various options that might affect performance of this or
Steve Block6ded16b2010-05-10 14:33:55 +01001043 * subsequent operations.
Ben Murdochb0fe1622011-05-05 13:52:32 +01001044 * \return The number of characters copied to the buffer excluding the null
1045 * terminator. For WriteUtf8: The number of bytes copied to the buffer
Ben Murdoch69a99ed2011-11-30 16:03:39 +00001046 * including the null terminator (if written).
Steve Blocka7e24c12009-10-30 11:49:00 +00001047 */
Ben Murdoch69a99ed2011-11-30 16:03:39 +00001048 enum WriteOptions {
1049 NO_OPTIONS = 0,
1050 HINT_MANY_WRITES_EXPECTED = 1,
1051 NO_NULL_TERMINATION = 2
Steve Block6ded16b2010-05-10 14:33:55 +01001052 };
1053
Ben Murdoch589d6972011-11-30 16:04:58 +00001054 // 16-bit character codes.
Steve Block8defd9f2010-07-08 12:39:36 +01001055 V8EXPORT int Write(uint16_t* buffer,
1056 int start = 0,
1057 int length = -1,
Ben Murdoch589d6972011-11-30 16:04:58 +00001058 int options = NO_OPTIONS) const;
1059 // ASCII characters.
Steve Block8defd9f2010-07-08 12:39:36 +01001060 V8EXPORT int WriteAscii(char* buffer,
1061 int start = 0,
1062 int length = -1,
Ben Murdoch589d6972011-11-30 16:04:58 +00001063 int options = NO_OPTIONS) const;
1064 // UTF-8 encoded characters.
Steve Block8defd9f2010-07-08 12:39:36 +01001065 V8EXPORT int WriteUtf8(char* buffer,
1066 int length = -1,
1067 int* nchars_ref = NULL,
Ben Murdoch589d6972011-11-30 16:04:58 +00001068 int options = NO_OPTIONS) const;
Steve Blocka7e24c12009-10-30 11:49:00 +00001069
1070 /**
1071 * A zero length string.
1072 */
Steve Block8defd9f2010-07-08 12:39:36 +01001073 V8EXPORT static v8::Local<v8::String> Empty();
Steve Blocka7e24c12009-10-30 11:49:00 +00001074
1075 /**
1076 * Returns true if the string is external
1077 */
Steve Block8defd9f2010-07-08 12:39:36 +01001078 V8EXPORT bool IsExternal() const;
Steve Blocka7e24c12009-10-30 11:49:00 +00001079
1080 /**
Ben Murdoch589d6972011-11-30 16:04:58 +00001081 * Returns true if the string is both external and ASCII
Steve Blocka7e24c12009-10-30 11:49:00 +00001082 */
Steve Block8defd9f2010-07-08 12:39:36 +01001083 V8EXPORT bool IsExternalAscii() const;
Leon Clarkee46be812010-01-19 14:06:41 +00001084
Teng-Hui Zhu3e5fa292010-11-09 16:16:48 -08001085 class V8EXPORT ExternalStringResourceBase { // NOLINT
Leon Clarkee46be812010-01-19 14:06:41 +00001086 public:
1087 virtual ~ExternalStringResourceBase() {}
Ben Murdoch7f4d5bd2010-06-15 11:15:29 +01001088
Leon Clarkee46be812010-01-19 14:06:41 +00001089 protected:
1090 ExternalStringResourceBase() {}
Ben Murdoch7f4d5bd2010-06-15 11:15:29 +01001091
1092 /**
1093 * Internally V8 will call this Dispose method when the external string
1094 * resource is no longer needed. The default implementation will use the
1095 * delete operator. This method can be overridden in subclasses to
1096 * control how allocated external string resources are disposed.
1097 */
1098 virtual void Dispose() { delete this; }
1099
Leon Clarkee46be812010-01-19 14:06:41 +00001100 private:
1101 // Disallow copying and assigning.
1102 ExternalStringResourceBase(const ExternalStringResourceBase&);
1103 void operator=(const ExternalStringResourceBase&);
Ben Murdoch7f4d5bd2010-06-15 11:15:29 +01001104
1105 friend class v8::internal::Heap;
Leon Clarkee46be812010-01-19 14:06:41 +00001106 };
1107
Steve Blocka7e24c12009-10-30 11:49:00 +00001108 /**
1109 * An ExternalStringResource is a wrapper around a two-byte string
1110 * buffer that resides outside V8's heap. Implement an
1111 * ExternalStringResource to manage the life cycle of the underlying
1112 * buffer. Note that the string data must be immutable.
1113 */
Leon Clarkee46be812010-01-19 14:06:41 +00001114 class V8EXPORT ExternalStringResource
1115 : public ExternalStringResourceBase {
Steve Blocka7e24c12009-10-30 11:49:00 +00001116 public:
1117 /**
1118 * Override the destructor to manage the life cycle of the underlying
1119 * buffer.
1120 */
1121 virtual ~ExternalStringResource() {}
Ben Murdoch7f4d5bd2010-06-15 11:15:29 +01001122
1123 /**
1124 * The string data from the underlying buffer.
1125 */
Steve Blocka7e24c12009-10-30 11:49:00 +00001126 virtual const uint16_t* data() const = 0;
Ben Murdoch7f4d5bd2010-06-15 11:15:29 +01001127
1128 /**
1129 * The length of the string. That is, the number of two-byte characters.
1130 */
Steve Blocka7e24c12009-10-30 11:49:00 +00001131 virtual size_t length() const = 0;
Ben Murdoch7f4d5bd2010-06-15 11:15:29 +01001132
Steve Blocka7e24c12009-10-30 11:49:00 +00001133 protected:
1134 ExternalStringResource() {}
Steve Blocka7e24c12009-10-30 11:49:00 +00001135 };
1136
1137 /**
Ben Murdoch589d6972011-11-30 16:04:58 +00001138 * An ExternalAsciiStringResource is a wrapper around an ASCII
Steve Blocka7e24c12009-10-30 11:49:00 +00001139 * string buffer that resides outside V8's heap. Implement an
1140 * ExternalAsciiStringResource to manage the life cycle of the
1141 * underlying buffer. Note that the string data must be immutable
Ben Murdoch589d6972011-11-30 16:04:58 +00001142 * and that the data must be strict (7-bit) ASCII, not Latin-1 or
Steve Blocka7e24c12009-10-30 11:49:00 +00001143 * UTF-8, which would require special treatment internally in the
1144 * engine and, in the case of UTF-8, do not allow efficient indexing.
1145 * Use String::New or convert to 16 bit data for non-ASCII.
1146 */
1147
Leon Clarkee46be812010-01-19 14:06:41 +00001148 class V8EXPORT ExternalAsciiStringResource
1149 : public ExternalStringResourceBase {
Steve Blocka7e24c12009-10-30 11:49:00 +00001150 public:
1151 /**
1152 * Override the destructor to manage the life cycle of the underlying
1153 * buffer.
1154 */
1155 virtual ~ExternalAsciiStringResource() {}
1156 /** The string data from the underlying buffer.*/
1157 virtual const char* data() const = 0;
Ben Murdoch589d6972011-11-30 16:04:58 +00001158 /** The number of ASCII characters in the string.*/
Steve Blocka7e24c12009-10-30 11:49:00 +00001159 virtual size_t length() const = 0;
1160 protected:
1161 ExternalAsciiStringResource() {}
Steve Blocka7e24c12009-10-30 11:49:00 +00001162 };
1163
1164 /**
1165 * Get the ExternalStringResource for an external string. Returns
1166 * NULL if IsExternal() doesn't return true.
1167 */
1168 inline ExternalStringResource* GetExternalStringResource() const;
1169
1170 /**
Ben Murdoch589d6972011-11-30 16:04:58 +00001171 * Get the ExternalAsciiStringResource for an external ASCII string.
Steve Blocka7e24c12009-10-30 11:49:00 +00001172 * Returns NULL if IsExternalAscii() doesn't return true.
1173 */
Ben Murdoch592a9fc2012-03-05 11:04:45 +00001174 V8EXPORT const ExternalAsciiStringResource* GetExternalAsciiStringResource()
1175 const;
Steve Blocka7e24c12009-10-30 11:49:00 +00001176
1177 static inline String* Cast(v8::Value* obj);
1178
1179 /**
Ben Murdoch589d6972011-11-30 16:04:58 +00001180 * Allocates a new string from either UTF-8 encoded or ASCII data.
Steve Blocka7e24c12009-10-30 11:49:00 +00001181 * The second parameter 'length' gives the buffer length.
Ben Murdoch589d6972011-11-30 16:04:58 +00001182 * If the data is UTF-8 encoded, the caller must
Steve Blocka7e24c12009-10-30 11:49:00 +00001183 * be careful to supply the length parameter.
1184 * If it is not given, the function calls
1185 * 'strlen' to determine the buffer length, it might be
1186 * wrong if 'data' contains a null character.
1187 */
Steve Block8defd9f2010-07-08 12:39:36 +01001188 V8EXPORT static Local<String> New(const char* data, int length = -1);
Steve Blocka7e24c12009-10-30 11:49:00 +00001189
Ben Murdoch589d6972011-11-30 16:04:58 +00001190 /** Allocates a new string from 16-bit character codes.*/
Steve Block8defd9f2010-07-08 12:39:36 +01001191 V8EXPORT static Local<String> New(const uint16_t* data, int length = -1);
Steve Blocka7e24c12009-10-30 11:49:00 +00001192
1193 /** Creates a symbol. Returns one if it exists already.*/
Steve Block8defd9f2010-07-08 12:39:36 +01001194 V8EXPORT static Local<String> NewSymbol(const char* data, int length = -1);
Steve Blocka7e24c12009-10-30 11:49:00 +00001195
1196 /**
Steve Block3ce2e202009-11-05 08:53:23 +00001197 * Creates a new string by concatenating the left and the right strings
1198 * passed in as parameters.
1199 */
Steve Block8defd9f2010-07-08 12:39:36 +01001200 V8EXPORT static Local<String> Concat(Handle<String> left,
1201 Handle<String>right);
Steve Block3ce2e202009-11-05 08:53:23 +00001202
1203 /**
Steve Blocka7e24c12009-10-30 11:49:00 +00001204 * Creates a new external string using the data defined in the given
Ben Murdoch7f4d5bd2010-06-15 11:15:29 +01001205 * resource. When the external string is no longer live on V8's heap the
1206 * resource will be disposed by calling its Dispose method. The caller of
1207 * this function should not otherwise delete or modify the resource. Neither
1208 * should the underlying buffer be deallocated or modified except through the
1209 * destructor of the external string resource.
Steve Blocka7e24c12009-10-30 11:49:00 +00001210 */
Steve Block8defd9f2010-07-08 12:39:36 +01001211 V8EXPORT static Local<String> NewExternal(ExternalStringResource* resource);
Steve Blocka7e24c12009-10-30 11:49:00 +00001212
1213 /**
1214 * Associate an external string resource with this string by transforming it
1215 * in place so that existing references to this string in the JavaScript heap
1216 * will use the external string resource. The external string resource's
Ben Murdoch257744e2011-11-30 15:57:28 +00001217 * character contents need to be equivalent to this string.
Steve Blocka7e24c12009-10-30 11:49:00 +00001218 * Returns true if the string has been changed to be an external string.
Ben Murdoch7f4d5bd2010-06-15 11:15:29 +01001219 * The string is not modified if the operation fails. See NewExternal for
1220 * information on the lifetime of the resource.
Steve Blocka7e24c12009-10-30 11:49:00 +00001221 */
Steve Block8defd9f2010-07-08 12:39:36 +01001222 V8EXPORT bool MakeExternal(ExternalStringResource* resource);
Steve Blocka7e24c12009-10-30 11:49:00 +00001223
1224 /**
Ben Murdoch589d6972011-11-30 16:04:58 +00001225 * Creates a new external string using the ASCII data defined in the given
Ben Murdoch7f4d5bd2010-06-15 11:15:29 +01001226 * resource. When the external string is no longer live on V8's heap the
1227 * resource will be disposed by calling its Dispose method. The caller of
1228 * this function should not otherwise delete or modify the resource. Neither
1229 * should the underlying buffer be deallocated or modified except through the
1230 * destructor of the external string resource.
Steve Blocka7e24c12009-10-30 11:49:00 +00001231 */
Steve Block8defd9f2010-07-08 12:39:36 +01001232 V8EXPORT static Local<String> NewExternal(
1233 ExternalAsciiStringResource* resource);
Steve Blocka7e24c12009-10-30 11:49:00 +00001234
1235 /**
1236 * Associate an external string resource with this string by transforming it
1237 * in place so that existing references to this string in the JavaScript heap
1238 * will use the external string resource. The external string resource's
Ben Murdoch257744e2011-11-30 15:57:28 +00001239 * character contents need to be equivalent to this string.
Steve Blocka7e24c12009-10-30 11:49:00 +00001240 * Returns true if the string has been changed to be an external string.
Ben Murdoch7f4d5bd2010-06-15 11:15:29 +01001241 * The string is not modified if the operation fails. See NewExternal for
1242 * information on the lifetime of the resource.
Steve Blocka7e24c12009-10-30 11:49:00 +00001243 */
Steve Block8defd9f2010-07-08 12:39:36 +01001244 V8EXPORT bool MakeExternal(ExternalAsciiStringResource* resource);
Steve Blocka7e24c12009-10-30 11:49:00 +00001245
1246 /**
1247 * Returns true if this string can be made external.
1248 */
Steve Block8defd9f2010-07-08 12:39:36 +01001249 V8EXPORT bool CanMakeExternal();
Steve Blocka7e24c12009-10-30 11:49:00 +00001250
Ben Murdoch589d6972011-11-30 16:04:58 +00001251 /** Creates an undetectable string from the supplied ASCII or UTF-8 data.*/
Steve Block8defd9f2010-07-08 12:39:36 +01001252 V8EXPORT static Local<String> NewUndetectable(const char* data,
1253 int length = -1);
Steve Blocka7e24c12009-10-30 11:49:00 +00001254
Ben Murdoch589d6972011-11-30 16:04:58 +00001255 /** Creates an undetectable string from the supplied 16-bit character codes.*/
Steve Block8defd9f2010-07-08 12:39:36 +01001256 V8EXPORT static Local<String> NewUndetectable(const uint16_t* data,
1257 int length = -1);
Steve Blocka7e24c12009-10-30 11:49:00 +00001258
1259 /**
Ben Murdoch589d6972011-11-30 16:04:58 +00001260 * Converts an object to a UTF-8-encoded character array. Useful if
Steve Blocka7e24c12009-10-30 11:49:00 +00001261 * you want to print the object. If conversion to a string fails
Ben Murdoch589d6972011-11-30 16:04:58 +00001262 * (e.g. due to an exception in the toString() method of the object)
Steve Blocka7e24c12009-10-30 11:49:00 +00001263 * then the length() method returns 0 and the * operator returns
1264 * NULL.
1265 */
1266 class V8EXPORT Utf8Value {
1267 public:
1268 explicit Utf8Value(Handle<v8::Value> obj);
1269 ~Utf8Value();
1270 char* operator*() { return str_; }
1271 const char* operator*() const { return str_; }
1272 int length() const { return length_; }
1273 private:
1274 char* str_;
1275 int length_;
1276
1277 // Disallow copying and assigning.
1278 Utf8Value(const Utf8Value&);
1279 void operator=(const Utf8Value&);
1280 };
1281
1282 /**
Ben Murdoch589d6972011-11-30 16:04:58 +00001283 * Converts an object to an ASCII string.
Steve Blocka7e24c12009-10-30 11:49:00 +00001284 * Useful if you want to print the object.
1285 * If conversion to a string fails (eg. due to an exception in the toString()
1286 * method of the object) then the length() method returns 0 and the * operator
1287 * returns NULL.
1288 */
1289 class V8EXPORT AsciiValue {
1290 public:
1291 explicit AsciiValue(Handle<v8::Value> obj);
1292 ~AsciiValue();
1293 char* operator*() { return str_; }
1294 const char* operator*() const { return str_; }
1295 int length() const { return length_; }
1296 private:
1297 char* str_;
1298 int length_;
1299
1300 // Disallow copying and assigning.
1301 AsciiValue(const AsciiValue&);
1302 void operator=(const AsciiValue&);
1303 };
1304
1305 /**
1306 * Converts an object to a two-byte string.
1307 * If conversion to a string fails (eg. due to an exception in the toString()
1308 * method of the object) then the length() method returns 0 and the * operator
1309 * returns NULL.
1310 */
1311 class V8EXPORT Value {
1312 public:
1313 explicit Value(Handle<v8::Value> obj);
1314 ~Value();
1315 uint16_t* operator*() { return str_; }
1316 const uint16_t* operator*() const { return str_; }
1317 int length() const { return length_; }
1318 private:
1319 uint16_t* str_;
1320 int length_;
1321
1322 // Disallow copying and assigning.
1323 Value(const Value&);
1324 void operator=(const Value&);
1325 };
Steve Block3ce2e202009-11-05 08:53:23 +00001326
Steve Blocka7e24c12009-10-30 11:49:00 +00001327 private:
Steve Block8defd9f2010-07-08 12:39:36 +01001328 V8EXPORT void VerifyExternalStringResource(ExternalStringResource* val) const;
1329 V8EXPORT static void CheckCast(v8::Value* obj);
Steve Blocka7e24c12009-10-30 11:49:00 +00001330};
1331
1332
1333/**
1334 * A JavaScript number value (ECMA-262, 4.3.20)
1335 */
Steve Block8defd9f2010-07-08 12:39:36 +01001336class Number : public Primitive {
Steve Blocka7e24c12009-10-30 11:49:00 +00001337 public:
Steve Block8defd9f2010-07-08 12:39:36 +01001338 V8EXPORT double Value() const;
1339 V8EXPORT static Local<Number> New(double value);
Steve Blocka7e24c12009-10-30 11:49:00 +00001340 static inline Number* Cast(v8::Value* obj);
1341 private:
Steve Block8defd9f2010-07-08 12:39:36 +01001342 V8EXPORT Number();
Ben Murdoch69a99ed2011-11-30 16:03:39 +00001343 V8EXPORT static void CheckCast(v8::Value* obj);
Steve Blocka7e24c12009-10-30 11:49:00 +00001344};
1345
1346
1347/**
1348 * A JavaScript value representing a signed integer.
1349 */
Steve Block8defd9f2010-07-08 12:39:36 +01001350class Integer : public Number {
Steve Blocka7e24c12009-10-30 11:49:00 +00001351 public:
Steve Block8defd9f2010-07-08 12:39:36 +01001352 V8EXPORT static Local<Integer> New(int32_t value);
1353 V8EXPORT static Local<Integer> NewFromUnsigned(uint32_t value);
1354 V8EXPORT int64_t Value() const;
Steve Blocka7e24c12009-10-30 11:49:00 +00001355 static inline Integer* Cast(v8::Value* obj);
1356 private:
Steve Block8defd9f2010-07-08 12:39:36 +01001357 V8EXPORT Integer();
1358 V8EXPORT static void CheckCast(v8::Value* obj);
Steve Blocka7e24c12009-10-30 11:49:00 +00001359};
1360
1361
1362/**
1363 * A JavaScript value representing a 32-bit signed integer.
1364 */
Steve Block8defd9f2010-07-08 12:39:36 +01001365class Int32 : public Integer {
Steve Blocka7e24c12009-10-30 11:49:00 +00001366 public:
Steve Block8defd9f2010-07-08 12:39:36 +01001367 V8EXPORT int32_t Value() const;
Steve Blocka7e24c12009-10-30 11:49:00 +00001368 private:
Steve Block8defd9f2010-07-08 12:39:36 +01001369 V8EXPORT Int32();
Steve Blocka7e24c12009-10-30 11:49:00 +00001370};
1371
1372
1373/**
1374 * A JavaScript value representing a 32-bit unsigned integer.
1375 */
Steve Block8defd9f2010-07-08 12:39:36 +01001376class Uint32 : public Integer {
Steve Blocka7e24c12009-10-30 11:49:00 +00001377 public:
Steve Block8defd9f2010-07-08 12:39:36 +01001378 V8EXPORT uint32_t Value() const;
Steve Blocka7e24c12009-10-30 11:49:00 +00001379 private:
Steve Block8defd9f2010-07-08 12:39:36 +01001380 V8EXPORT Uint32();
Steve Blocka7e24c12009-10-30 11:49:00 +00001381};
1382
1383
Steve Blocka7e24c12009-10-30 11:49:00 +00001384enum PropertyAttribute {
1385 None = 0,
1386 ReadOnly = 1 << 0,
1387 DontEnum = 1 << 1,
1388 DontDelete = 1 << 2
1389};
1390
Steve Block3ce2e202009-11-05 08:53:23 +00001391enum ExternalArrayType {
1392 kExternalByteArray = 1,
1393 kExternalUnsignedByteArray,
1394 kExternalShortArray,
1395 kExternalUnsignedShortArray,
1396 kExternalIntArray,
1397 kExternalUnsignedIntArray,
Steve Block44f0eee2011-05-26 01:26:41 +01001398 kExternalFloatArray,
Ben Murdoch257744e2011-11-30 15:57:28 +00001399 kExternalDoubleArray,
Steve Block44f0eee2011-05-26 01:26:41 +01001400 kExternalPixelArray
Steve Block3ce2e202009-11-05 08:53:23 +00001401};
1402
Steve Blocka7e24c12009-10-30 11:49:00 +00001403/**
Leon Clarkef7060e22010-06-03 12:02:55 +01001404 * Accessor[Getter|Setter] are used as callback functions when
1405 * setting|getting a particular property. See Object and ObjectTemplate's
1406 * method SetAccessor.
1407 */
1408typedef Handle<Value> (*AccessorGetter)(Local<String> property,
1409 const AccessorInfo& info);
1410
1411
1412typedef void (*AccessorSetter)(Local<String> property,
1413 Local<Value> value,
1414 const AccessorInfo& info);
1415
1416
1417/**
1418 * Access control specifications.
1419 *
1420 * Some accessors should be accessible across contexts. These
1421 * accessors have an explicit access control parameter which specifies
1422 * the kind of cross-context access that should be allowed.
1423 *
1424 * Additionally, for security, accessors can prohibit overwriting by
1425 * accessors defined in JavaScript. For objects that have such
1426 * accessors either locally or in their prototype chain it is not
1427 * possible to overwrite the accessor by using __defineGetter__ or
1428 * __defineSetter__ from JavaScript code.
1429 */
1430enum AccessControl {
1431 DEFAULT = 0,
1432 ALL_CAN_READ = 1,
1433 ALL_CAN_WRITE = 1 << 1,
1434 PROHIBITS_OVERWRITING = 1 << 2
1435};
1436
1437
1438/**
Steve Blocka7e24c12009-10-30 11:49:00 +00001439 * A JavaScript object (ECMA-262, 4.3.3)
1440 */
Steve Block8defd9f2010-07-08 12:39:36 +01001441class Object : public Value {
Steve Blocka7e24c12009-10-30 11:49:00 +00001442 public:
Steve Block8defd9f2010-07-08 12:39:36 +01001443 V8EXPORT bool Set(Handle<Value> key,
1444 Handle<Value> value,
1445 PropertyAttribute attribs = None);
Steve Blocka7e24c12009-10-30 11:49:00 +00001446
Steve Block8defd9f2010-07-08 12:39:36 +01001447 V8EXPORT bool Set(uint32_t index,
1448 Handle<Value> value);
Steve Block6ded16b2010-05-10 14:33:55 +01001449
Steve Blocka7e24c12009-10-30 11:49:00 +00001450 // Sets a local property on this object bypassing interceptors and
1451 // overriding accessors or read-only properties.
1452 //
1453 // Note that if the object has an interceptor the property will be set
1454 // locally, but since the interceptor takes precedence the local property
1455 // will only be returned if the interceptor doesn't return a value.
1456 //
1457 // Note also that this only works for named properties.
Steve Block8defd9f2010-07-08 12:39:36 +01001458 V8EXPORT bool ForceSet(Handle<Value> key,
1459 Handle<Value> value,
1460 PropertyAttribute attribs = None);
Steve Blocka7e24c12009-10-30 11:49:00 +00001461
Steve Block8defd9f2010-07-08 12:39:36 +01001462 V8EXPORT Local<Value> Get(Handle<Value> key);
Steve Blocka7e24c12009-10-30 11:49:00 +00001463
Steve Block8defd9f2010-07-08 12:39:36 +01001464 V8EXPORT Local<Value> Get(uint32_t index);
Steve Block6ded16b2010-05-10 14:33:55 +01001465
Ben Murdoch3fb3ca82011-12-02 17:19:32 +00001466 /**
1467 * Gets the property attributes of a property which can be None or
1468 * any combination of ReadOnly, DontEnum and DontDelete. Returns
1469 * None when the property doesn't exist.
1470 */
1471 V8EXPORT PropertyAttribute GetPropertyAttributes(Handle<Value> key);
1472
Steve Blocka7e24c12009-10-30 11:49:00 +00001473 // TODO(1245389): Replace the type-specific versions of these
1474 // functions with generic ones that accept a Handle<Value> key.
Steve Block8defd9f2010-07-08 12:39:36 +01001475 V8EXPORT bool Has(Handle<String> key);
Steve Blocka7e24c12009-10-30 11:49:00 +00001476
Steve Block8defd9f2010-07-08 12:39:36 +01001477 V8EXPORT bool Delete(Handle<String> key);
Steve Blocka7e24c12009-10-30 11:49:00 +00001478
1479 // Delete a property on this object bypassing interceptors and
1480 // ignoring dont-delete attributes.
Steve Block8defd9f2010-07-08 12:39:36 +01001481 V8EXPORT bool ForceDelete(Handle<Value> key);
Steve Blocka7e24c12009-10-30 11:49:00 +00001482
Steve Block8defd9f2010-07-08 12:39:36 +01001483 V8EXPORT bool Has(uint32_t index);
Steve Blocka7e24c12009-10-30 11:49:00 +00001484
Steve Block8defd9f2010-07-08 12:39:36 +01001485 V8EXPORT bool Delete(uint32_t index);
Steve Blocka7e24c12009-10-30 11:49:00 +00001486
Steve Block8defd9f2010-07-08 12:39:36 +01001487 V8EXPORT bool SetAccessor(Handle<String> name,
1488 AccessorGetter getter,
1489 AccessorSetter setter = 0,
1490 Handle<Value> data = Handle<Value>(),
1491 AccessControl settings = DEFAULT,
1492 PropertyAttribute attribute = None);
Leon Clarkef7060e22010-06-03 12:02:55 +01001493
Steve Blocka7e24c12009-10-30 11:49:00 +00001494 /**
1495 * Returns an array containing the names of the enumerable properties
1496 * of this object, including properties from prototype objects. The
1497 * array returned by this method contains the same values as would
1498 * be enumerated by a for-in statement over this object.
1499 */
Steve Block8defd9f2010-07-08 12:39:36 +01001500 V8EXPORT Local<Array> GetPropertyNames();
Steve Blocka7e24c12009-10-30 11:49:00 +00001501
1502 /**
Ben Murdoch3fb3ca82011-12-02 17:19:32 +00001503 * This function has the same functionality as GetPropertyNames but
1504 * the returned array doesn't contain the names of properties from
1505 * prototype objects.
1506 */
1507 V8EXPORT Local<Array> GetOwnPropertyNames();
1508
1509 /**
Steve Blocka7e24c12009-10-30 11:49:00 +00001510 * Get the prototype object. This does not skip objects marked to
1511 * be skipped by __proto__ and it does not consult the security
1512 * handler.
1513 */
Steve Block8defd9f2010-07-08 12:39:36 +01001514 V8EXPORT Local<Value> GetPrototype();
Steve Blocka7e24c12009-10-30 11:49:00 +00001515
1516 /**
Andrei Popescu402d9372010-02-26 13:31:12 +00001517 * Set the prototype object. This does not skip objects marked to
1518 * be skipped by __proto__ and it does not consult the security
1519 * handler.
1520 */
Steve Block8defd9f2010-07-08 12:39:36 +01001521 V8EXPORT bool SetPrototype(Handle<Value> prototype);
Andrei Popescu402d9372010-02-26 13:31:12 +00001522
1523 /**
Steve Blocka7e24c12009-10-30 11:49:00 +00001524 * Finds an instance of the given function template in the prototype
1525 * chain.
1526 */
Steve Block8defd9f2010-07-08 12:39:36 +01001527 V8EXPORT Local<Object> FindInstanceInPrototypeChain(
1528 Handle<FunctionTemplate> tmpl);
Steve Blocka7e24c12009-10-30 11:49:00 +00001529
1530 /**
1531 * Call builtin Object.prototype.toString on this object.
1532 * This is different from Value::ToString() that may call
1533 * user-defined toString function. This one does not.
1534 */
Steve Block8defd9f2010-07-08 12:39:36 +01001535 V8EXPORT Local<String> ObjectProtoToString();
Steve Blocka7e24c12009-10-30 11:49:00 +00001536
Shimeng (Simon) Wang8a31eba2010-12-06 19:01:33 -08001537 /**
1538 * Returns the name of the function invoked as a constructor for this object.
1539 */
1540 V8EXPORT Local<String> GetConstructorName();
1541
Steve Blocka7e24c12009-10-30 11:49:00 +00001542 /** Gets the number of internal fields for this Object. */
Steve Block8defd9f2010-07-08 12:39:36 +01001543 V8EXPORT int InternalFieldCount();
Steve Blocka7e24c12009-10-30 11:49:00 +00001544 /** Gets the value in an internal field. */
1545 inline Local<Value> GetInternalField(int index);
1546 /** Sets the value in an internal field. */
Steve Block8defd9f2010-07-08 12:39:36 +01001547 V8EXPORT void SetInternalField(int index, Handle<Value> value);
Steve Blocka7e24c12009-10-30 11:49:00 +00001548
1549 /** Gets a native pointer from an internal field. */
1550 inline void* GetPointerFromInternalField(int index);
Steve Block3ce2e202009-11-05 08:53:23 +00001551
Steve Blocka7e24c12009-10-30 11:49:00 +00001552 /** Sets a native pointer in an internal field. */
Steve Block8defd9f2010-07-08 12:39:36 +01001553 V8EXPORT void SetPointerInInternalField(int index, void* value);
Steve Blocka7e24c12009-10-30 11:49:00 +00001554
1555 // Testers for local properties.
Ben Murdoch257744e2011-11-30 15:57:28 +00001556 V8EXPORT bool HasOwnProperty(Handle<String> key);
Steve Block8defd9f2010-07-08 12:39:36 +01001557 V8EXPORT bool HasRealNamedProperty(Handle<String> key);
1558 V8EXPORT bool HasRealIndexedProperty(uint32_t index);
1559 V8EXPORT bool HasRealNamedCallbackProperty(Handle<String> key);
Steve Blocka7e24c12009-10-30 11:49:00 +00001560
1561 /**
1562 * If result.IsEmpty() no real property was located in the prototype chain.
1563 * This means interceptors in the prototype chain are not called.
1564 */
Steve Block8defd9f2010-07-08 12:39:36 +01001565 V8EXPORT Local<Value> GetRealNamedPropertyInPrototypeChain(
1566 Handle<String> key);
Steve Blocka7e24c12009-10-30 11:49:00 +00001567
1568 /**
1569 * If result.IsEmpty() no real property was located on the object or
1570 * in the prototype chain.
1571 * This means interceptors in the prototype chain are not called.
1572 */
Steve Block8defd9f2010-07-08 12:39:36 +01001573 V8EXPORT Local<Value> GetRealNamedProperty(Handle<String> key);
Steve Blocka7e24c12009-10-30 11:49:00 +00001574
1575 /** Tests for a named lookup interceptor.*/
Steve Block8defd9f2010-07-08 12:39:36 +01001576 V8EXPORT bool HasNamedLookupInterceptor();
Steve Blocka7e24c12009-10-30 11:49:00 +00001577
1578 /** Tests for an index lookup interceptor.*/
Steve Block8defd9f2010-07-08 12:39:36 +01001579 V8EXPORT bool HasIndexedLookupInterceptor();
Steve Blocka7e24c12009-10-30 11:49:00 +00001580
1581 /**
1582 * Turns on access check on the object if the object is an instance of
1583 * a template that has access check callbacks. If an object has no
1584 * access check info, the object cannot be accessed by anyone.
1585 */
Steve Block8defd9f2010-07-08 12:39:36 +01001586 V8EXPORT void TurnOnAccessCheck();
Steve Blocka7e24c12009-10-30 11:49:00 +00001587
1588 /**
Ben Murdoch257744e2011-11-30 15:57:28 +00001589 * Returns the identity hash for this object. The current implementation
1590 * uses a hidden property on the object to store the identity hash.
Steve Blocka7e24c12009-10-30 11:49:00 +00001591 *
1592 * The return value will never be 0. Also, it is not guaranteed to be
1593 * unique.
1594 */
Steve Block8defd9f2010-07-08 12:39:36 +01001595 V8EXPORT int GetIdentityHash();
Steve Blocka7e24c12009-10-30 11:49:00 +00001596
1597 /**
1598 * Access hidden properties on JavaScript objects. These properties are
1599 * hidden from the executing JavaScript and only accessible through the V8
1600 * C++ API. Hidden properties introduced by V8 internally (for example the
1601 * identity hash) are prefixed with "v8::".
1602 */
Steve Block8defd9f2010-07-08 12:39:36 +01001603 V8EXPORT bool SetHiddenValue(Handle<String> key, Handle<Value> value);
1604 V8EXPORT Local<Value> GetHiddenValue(Handle<String> key);
1605 V8EXPORT bool DeleteHiddenValue(Handle<String> key);
Steve Block3ce2e202009-11-05 08:53:23 +00001606
Steve Blocka7e24c12009-10-30 11:49:00 +00001607 /**
1608 * Returns true if this is an instance of an api function (one
1609 * created from a function created from a function template) and has
1610 * been modified since it was created. Note that this method is
1611 * conservative and may return true for objects that haven't actually
1612 * been modified.
1613 */
Steve Block8defd9f2010-07-08 12:39:36 +01001614 V8EXPORT bool IsDirty();
Steve Blocka7e24c12009-10-30 11:49:00 +00001615
1616 /**
1617 * Clone this object with a fast but shallow copy. Values will point
1618 * to the same values as the original object.
1619 */
Steve Block8defd9f2010-07-08 12:39:36 +01001620 V8EXPORT Local<Object> Clone();
Steve Blocka7e24c12009-10-30 11:49:00 +00001621
1622 /**
Ben Murdoch8b112d22011-06-08 16:22:53 +01001623 * Returns the context in which the object was created.
1624 */
1625 V8EXPORT Local<Context> CreationContext();
1626
1627 /**
Steve Blocka7e24c12009-10-30 11:49:00 +00001628 * Set the backing store of the indexed properties to be managed by the
1629 * embedding layer. Access to the indexed properties will follow the rules
1630 * spelled out in CanvasPixelArray.
1631 * Note: The embedding program still owns the data and needs to ensure that
1632 * the backing store is preserved while V8 has a reference.
1633 */
Steve Block8defd9f2010-07-08 12:39:36 +01001634 V8EXPORT void SetIndexedPropertiesToPixelData(uint8_t* data, int length);
Steve Block9fac8402011-05-12 15:51:54 +01001635 V8EXPORT bool HasIndexedPropertiesInPixelData();
1636 V8EXPORT uint8_t* GetIndexedPropertiesPixelData();
1637 V8EXPORT int GetIndexedPropertiesPixelDataLength();
Steve Blocka7e24c12009-10-30 11:49:00 +00001638
Steve Block3ce2e202009-11-05 08:53:23 +00001639 /**
1640 * Set the backing store of the indexed properties to be managed by the
1641 * embedding layer. Access to the indexed properties will follow the rules
1642 * spelled out for the CanvasArray subtypes in the WebGL specification.
1643 * Note: The embedding program still owns the data and needs to ensure that
1644 * the backing store is preserved while V8 has a reference.
1645 */
Steve Block8defd9f2010-07-08 12:39:36 +01001646 V8EXPORT void SetIndexedPropertiesToExternalArrayData(
1647 void* data,
1648 ExternalArrayType array_type,
1649 int number_of_elements);
Steve Block9fac8402011-05-12 15:51:54 +01001650 V8EXPORT bool HasIndexedPropertiesInExternalArrayData();
1651 V8EXPORT void* GetIndexedPropertiesExternalArrayData();
1652 V8EXPORT ExternalArrayType GetIndexedPropertiesExternalArrayDataType();
1653 V8EXPORT int GetIndexedPropertiesExternalArrayDataLength();
Steve Block3ce2e202009-11-05 08:53:23 +00001654
Ben Murdoch257744e2011-11-30 15:57:28 +00001655 /**
1656 * Checks whether a callback is set by the
1657 * ObjectTemplate::SetCallAsFunctionHandler method.
1658 * When an Object is callable this method returns true.
1659 */
1660 V8EXPORT bool IsCallable();
1661
1662 /**
Ben Murdoch589d6972011-11-30 16:04:58 +00001663 * Call an Object as a function if a callback is set by the
Ben Murdoch257744e2011-11-30 15:57:28 +00001664 * ObjectTemplate::SetCallAsFunctionHandler method.
1665 */
1666 V8EXPORT Local<Value> CallAsFunction(Handle<Object> recv,
1667 int argc,
1668 Handle<Value> argv[]);
1669
1670 /**
1671 * Call an Object as a constructor if a callback is set by the
1672 * ObjectTemplate::SetCallAsFunctionHandler method.
1673 * Note: This method behaves like the Function::NewInstance method.
1674 */
1675 V8EXPORT Local<Value> CallAsConstructor(int argc,
1676 Handle<Value> argv[]);
1677
Steve Block8defd9f2010-07-08 12:39:36 +01001678 V8EXPORT static Local<Object> New();
Steve Blocka7e24c12009-10-30 11:49:00 +00001679 static inline Object* Cast(Value* obj);
Ben Murdoch3fb3ca82011-12-02 17:19:32 +00001680
Steve Blocka7e24c12009-10-30 11:49:00 +00001681 private:
Steve Block8defd9f2010-07-08 12:39:36 +01001682 V8EXPORT Object();
1683 V8EXPORT static void CheckCast(Value* obj);
1684 V8EXPORT Local<Value> CheckedGetInternalField(int index);
1685 V8EXPORT void* SlowGetPointerFromInternalField(int index);
Steve Blocka7e24c12009-10-30 11:49:00 +00001686
1687 /**
1688 * If quick access to the internal field is possible this method
Steve Block3ce2e202009-11-05 08:53:23 +00001689 * returns the value. Otherwise an empty handle is returned.
Steve Blocka7e24c12009-10-30 11:49:00 +00001690 */
1691 inline Local<Value> UncheckedGetInternalField(int index);
1692};
1693
1694
1695/**
1696 * An instance of the built-in array constructor (ECMA-262, 15.4.2).
1697 */
Steve Block8defd9f2010-07-08 12:39:36 +01001698class Array : public Object {
Steve Blocka7e24c12009-10-30 11:49:00 +00001699 public:
Steve Block8defd9f2010-07-08 12:39:36 +01001700 V8EXPORT uint32_t Length() const;
Steve Blocka7e24c12009-10-30 11:49:00 +00001701
1702 /**
1703 * Clones an element at index |index|. Returns an empty
1704 * handle if cloning fails (for any reason).
1705 */
Steve Block8defd9f2010-07-08 12:39:36 +01001706 V8EXPORT Local<Object> CloneElementAt(uint32_t index);
Steve Blocka7e24c12009-10-30 11:49:00 +00001707
Steve Block44f0eee2011-05-26 01:26:41 +01001708 /**
1709 * Creates a JavaScript array with the given length. If the length
1710 * is negative the returned array will have length 0.
1711 */
Steve Block8defd9f2010-07-08 12:39:36 +01001712 V8EXPORT static Local<Array> New(int length = 0);
Steve Block44f0eee2011-05-26 01:26:41 +01001713
Steve Blocka7e24c12009-10-30 11:49:00 +00001714 static inline Array* Cast(Value* obj);
1715 private:
Steve Block8defd9f2010-07-08 12:39:36 +01001716 V8EXPORT Array();
Ben Murdoch69a99ed2011-11-30 16:03:39 +00001717 V8EXPORT static void CheckCast(Value* obj);
Steve Blocka7e24c12009-10-30 11:49:00 +00001718};
1719
1720
1721/**
1722 * A JavaScript function object (ECMA-262, 15.3).
1723 */
Steve Block8defd9f2010-07-08 12:39:36 +01001724class Function : public Object {
Steve Blocka7e24c12009-10-30 11:49:00 +00001725 public:
Steve Block8defd9f2010-07-08 12:39:36 +01001726 V8EXPORT Local<Object> NewInstance() const;
1727 V8EXPORT Local<Object> NewInstance(int argc, Handle<Value> argv[]) const;
1728 V8EXPORT Local<Value> Call(Handle<Object> recv,
1729 int argc,
1730 Handle<Value> argv[]);
1731 V8EXPORT void SetName(Handle<String> name);
1732 V8EXPORT Handle<Value> GetName() const;
Andrei Popescu402d9372010-02-26 13:31:12 +00001733
1734 /**
1735 * Returns zero based line number of function body and
1736 * kLineOffsetNotFound if no information available.
1737 */
Steve Block8defd9f2010-07-08 12:39:36 +01001738 V8EXPORT int GetScriptLineNumber() const;
Ben Murdoch592a9fc2012-03-05 11:04:45 +00001739 /**
1740 * Returns zero based column number of function body and
1741 * kLineOffsetNotFound if no information available.
1742 */
1743 V8EXPORT int GetScriptColumnNumber() const;
1744 V8EXPORT Handle<Value> GetScriptId() const;
Steve Block8defd9f2010-07-08 12:39:36 +01001745 V8EXPORT ScriptOrigin GetScriptOrigin() const;
Steve Blocka7e24c12009-10-30 11:49:00 +00001746 static inline Function* Cast(Value* obj);
Steve Block8defd9f2010-07-08 12:39:36 +01001747 V8EXPORT static const int kLineOffsetNotFound;
Ben Murdoch592a9fc2012-03-05 11:04:45 +00001748
Steve Blocka7e24c12009-10-30 11:49:00 +00001749 private:
Steve Block8defd9f2010-07-08 12:39:36 +01001750 V8EXPORT Function();
1751 V8EXPORT static void CheckCast(Value* obj);
Steve Blocka7e24c12009-10-30 11:49:00 +00001752};
1753
1754
1755/**
Ben Murdoch257744e2011-11-30 15:57:28 +00001756 * An instance of the built-in Date constructor (ECMA-262, 15.9).
1757 */
1758class Date : public Object {
1759 public:
1760 V8EXPORT static Local<Value> New(double time);
1761
1762 /**
1763 * A specialization of Value::NumberValue that is more efficient
1764 * because we know the structure of this object.
1765 */
1766 V8EXPORT double NumberValue() const;
1767
1768 static inline Date* Cast(v8::Value* obj);
1769
1770 /**
1771 * Notification that the embedder has changed the time zone,
1772 * daylight savings time, or other date / time configuration
1773 * parameters. V8 keeps a cache of various values used for
1774 * date / time computation. This notification will reset
1775 * those cached values for the current context so that date /
1776 * time configuration changes would be reflected in the Date
1777 * object.
1778 *
1779 * This API should not be called more than needed as it will
1780 * negatively impact the performance of date operations.
1781 */
1782 V8EXPORT static void DateTimeConfigurationChangeNotification();
1783
1784 private:
1785 V8EXPORT static void CheckCast(v8::Value* obj);
1786};
1787
1788
1789/**
Ben Murdoch3fb3ca82011-12-02 17:19:32 +00001790 * A Number object (ECMA-262, 4.3.21).
1791 */
1792class NumberObject : public Object {
1793 public:
1794 V8EXPORT static Local<Value> New(double value);
1795
1796 /**
1797 * Returns the Number held by the object.
1798 */
1799 V8EXPORT double NumberValue() const;
1800
1801 static inline NumberObject* Cast(v8::Value* obj);
1802
1803 private:
1804 V8EXPORT static void CheckCast(v8::Value* obj);
1805};
1806
1807
1808/**
1809 * A Boolean object (ECMA-262, 4.3.15).
1810 */
1811class BooleanObject : public Object {
1812 public:
1813 V8EXPORT static Local<Value> New(bool value);
1814
1815 /**
1816 * Returns the Boolean held by the object.
1817 */
1818 V8EXPORT bool BooleanValue() const;
1819
1820 static inline BooleanObject* Cast(v8::Value* obj);
1821
1822 private:
1823 V8EXPORT static void CheckCast(v8::Value* obj);
1824};
1825
1826
1827/**
1828 * A String object (ECMA-262, 4.3.18).
1829 */
1830class StringObject : public Object {
1831 public:
1832 V8EXPORT static Local<Value> New(Handle<String> value);
1833
1834 /**
1835 * Returns the String held by the object.
1836 */
1837 V8EXPORT Local<String> StringValue() const;
1838
1839 static inline StringObject* Cast(v8::Value* obj);
1840
1841 private:
1842 V8EXPORT static void CheckCast(v8::Value* obj);
1843};
1844
1845
1846/**
Ben Murdoch257744e2011-11-30 15:57:28 +00001847 * An instance of the built-in RegExp constructor (ECMA-262, 15.10).
1848 */
1849class RegExp : public Object {
1850 public:
1851 /**
1852 * Regular expression flag bits. They can be or'ed to enable a set
1853 * of flags.
1854 */
1855 enum Flags {
1856 kNone = 0,
1857 kGlobal = 1,
1858 kIgnoreCase = 2,
1859 kMultiline = 4
1860 };
1861
1862 /**
1863 * Creates a regular expression from the given pattern string and
1864 * the flags bit field. May throw a JavaScript exception as
1865 * described in ECMA-262, 15.10.4.1.
1866 *
1867 * For example,
1868 * RegExp::New(v8::String::New("foo"),
1869 * static_cast<RegExp::Flags>(kGlobal | kMultiline))
1870 * is equivalent to evaluating "/foo/gm".
1871 */
1872 V8EXPORT static Local<RegExp> New(Handle<String> pattern,
1873 Flags flags);
1874
1875 /**
1876 * Returns the value of the source property: a string representing
1877 * the regular expression.
1878 */
1879 V8EXPORT Local<String> GetSource() const;
1880
1881 /**
1882 * Returns the flags bit field.
1883 */
1884 V8EXPORT Flags GetFlags() const;
1885
1886 static inline RegExp* Cast(v8::Value* obj);
1887
1888 private:
1889 V8EXPORT static void CheckCast(v8::Value* obj);
1890};
1891
1892
1893/**
Steve Blocka7e24c12009-10-30 11:49:00 +00001894 * A JavaScript value that wraps a C++ void*. This type of value is
1895 * mainly used to associate C++ data structures with JavaScript
1896 * objects.
1897 *
1898 * The Wrap function V8 will return the most optimal Value object wrapping the
1899 * C++ void*. The type of the value is not guaranteed to be an External object
1900 * and no assumptions about its type should be made. To access the wrapped
1901 * value Unwrap should be used, all other operations on that object will lead
1902 * to unpredictable results.
1903 */
Steve Block8defd9f2010-07-08 12:39:36 +01001904class External : public Value {
Steve Blocka7e24c12009-10-30 11:49:00 +00001905 public:
Steve Block8defd9f2010-07-08 12:39:36 +01001906 V8EXPORT static Local<Value> Wrap(void* data);
Steve Blocka7e24c12009-10-30 11:49:00 +00001907 static inline void* Unwrap(Handle<Value> obj);
1908
Steve Block8defd9f2010-07-08 12:39:36 +01001909 V8EXPORT static Local<External> New(void* value);
Steve Blocka7e24c12009-10-30 11:49:00 +00001910 static inline External* Cast(Value* obj);
Steve Block8defd9f2010-07-08 12:39:36 +01001911 V8EXPORT void* Value() const;
Steve Blocka7e24c12009-10-30 11:49:00 +00001912 private:
Steve Block8defd9f2010-07-08 12:39:36 +01001913 V8EXPORT External();
1914 V8EXPORT static void CheckCast(v8::Value* obj);
Steve Blocka7e24c12009-10-30 11:49:00 +00001915 static inline void* QuickUnwrap(Handle<v8::Value> obj);
Steve Block8defd9f2010-07-08 12:39:36 +01001916 V8EXPORT static void* FullUnwrap(Handle<v8::Value> obj);
Steve Blocka7e24c12009-10-30 11:49:00 +00001917};
1918
1919
Ben Murdoch257744e2011-11-30 15:57:28 +00001920// --- Templates ---
Steve Blocka7e24c12009-10-30 11:49:00 +00001921
1922
1923/**
1924 * The superclass of object and function templates.
1925 */
1926class V8EXPORT Template : public Data {
1927 public:
1928 /** Adds a property to each instance created by this template.*/
1929 void Set(Handle<String> name, Handle<Data> value,
1930 PropertyAttribute attributes = None);
1931 inline void Set(const char* name, Handle<Data> value);
1932 private:
1933 Template();
1934
1935 friend class ObjectTemplate;
1936 friend class FunctionTemplate;
1937};
1938
1939
1940/**
1941 * The argument information given to function call callbacks. This
1942 * class provides access to information about the context of the call,
1943 * including the receiver, the number and values of arguments, and
1944 * the holder of the function.
1945 */
Steve Block8defd9f2010-07-08 12:39:36 +01001946class Arguments {
Steve Blocka7e24c12009-10-30 11:49:00 +00001947 public:
1948 inline int Length() const;
1949 inline Local<Value> operator[](int i) const;
1950 inline Local<Function> Callee() const;
1951 inline Local<Object> This() const;
1952 inline Local<Object> Holder() const;
1953 inline bool IsConstructCall() const;
1954 inline Local<Value> Data() const;
1955 private:
Teng-Hui Zhu3e5fa292010-11-09 16:16:48 -08001956 static const int kDataIndex = 0;
1957 static const int kCalleeIndex = -1;
1958 static const int kHolderIndex = -2;
1959
Steve Blocka7e24c12009-10-30 11:49:00 +00001960 friend class ImplementationUtilities;
Teng-Hui Zhu3e5fa292010-11-09 16:16:48 -08001961 inline Arguments(internal::Object** implicit_args,
1962 internal::Object** values,
1963 int length,
1964 bool is_construct_call);
1965 internal::Object** implicit_args_;
1966 internal::Object** values_;
Steve Blocka7e24c12009-10-30 11:49:00 +00001967 int length_;
Teng-Hui Zhu3e5fa292010-11-09 16:16:48 -08001968 bool is_construct_call_;
Steve Blocka7e24c12009-10-30 11:49:00 +00001969};
1970
1971
1972/**
1973 * The information passed to an accessor callback about the context
1974 * of the property access.
1975 */
1976class V8EXPORT AccessorInfo {
1977 public:
1978 inline AccessorInfo(internal::Object** args)
1979 : args_(args) { }
1980 inline Local<Value> Data() const;
1981 inline Local<Object> This() const;
1982 inline Local<Object> Holder() const;
1983 private:
1984 internal::Object** args_;
1985};
1986
1987
1988typedef Handle<Value> (*InvocationCallback)(const Arguments& args);
1989
Steve Blocka7e24c12009-10-30 11:49:00 +00001990/**
Steve Blocka7e24c12009-10-30 11:49:00 +00001991 * NamedProperty[Getter|Setter] are used as interceptors on object.
1992 * See ObjectTemplate::SetNamedPropertyHandler.
1993 */
1994typedef Handle<Value> (*NamedPropertyGetter)(Local<String> property,
1995 const AccessorInfo& info);
1996
1997
1998/**
1999 * Returns the value if the setter intercepts the request.
2000 * Otherwise, returns an empty handle.
2001 */
2002typedef Handle<Value> (*NamedPropertySetter)(Local<String> property,
2003 Local<Value> value,
2004 const AccessorInfo& info);
2005
Steve Blocka7e24c12009-10-30 11:49:00 +00002006/**
2007 * Returns a non-empty handle if the interceptor intercepts the request.
Kristian Monsen9dcf7e22010-06-28 14:14:28 +01002008 * The result is an integer encoding property attributes (like v8::None,
2009 * v8::DontEnum, etc.)
Steve Blocka7e24c12009-10-30 11:49:00 +00002010 */
Ben Murdoch7f4d5bd2010-06-15 11:15:29 +01002011typedef Handle<Integer> (*NamedPropertyQuery)(Local<String> property,
2012 const AccessorInfo& info);
Steve Blocka7e24c12009-10-30 11:49:00 +00002013
2014
2015/**
2016 * Returns a non-empty handle if the deleter intercepts the request.
2017 * The return value is true if the property could be deleted and false
2018 * otherwise.
2019 */
2020typedef Handle<Boolean> (*NamedPropertyDeleter)(Local<String> property,
2021 const AccessorInfo& info);
2022
2023/**
2024 * Returns an array containing the names of the properties the named
2025 * property getter intercepts.
2026 */
2027typedef Handle<Array> (*NamedPropertyEnumerator)(const AccessorInfo& info);
2028
2029
2030/**
2031 * Returns the value of the property if the getter intercepts the
2032 * request. Otherwise, returns an empty handle.
2033 */
2034typedef Handle<Value> (*IndexedPropertyGetter)(uint32_t index,
2035 const AccessorInfo& info);
2036
2037
2038/**
2039 * Returns the value if the setter intercepts the request.
2040 * Otherwise, returns an empty handle.
2041 */
2042typedef Handle<Value> (*IndexedPropertySetter)(uint32_t index,
2043 Local<Value> value,
2044 const AccessorInfo& info);
2045
2046
2047/**
2048 * Returns a non-empty handle if the interceptor intercepts the request.
Iain Merrick75681382010-08-19 15:07:18 +01002049 * The result is an integer encoding property attributes.
Steve Blocka7e24c12009-10-30 11:49:00 +00002050 */
Iain Merrick75681382010-08-19 15:07:18 +01002051typedef Handle<Integer> (*IndexedPropertyQuery)(uint32_t index,
Steve Blocka7e24c12009-10-30 11:49:00 +00002052 const AccessorInfo& info);
2053
2054/**
2055 * Returns a non-empty handle if the deleter intercepts the request.
2056 * The return value is true if the property could be deleted and false
2057 * otherwise.
2058 */
2059typedef Handle<Boolean> (*IndexedPropertyDeleter)(uint32_t index,
2060 const AccessorInfo& info);
2061
2062/**
2063 * Returns an array containing the indices of the properties the
2064 * indexed property getter intercepts.
2065 */
2066typedef Handle<Array> (*IndexedPropertyEnumerator)(const AccessorInfo& info);
2067
2068
2069/**
Steve Blocka7e24c12009-10-30 11:49:00 +00002070 * Access type specification.
2071 */
2072enum AccessType {
2073 ACCESS_GET,
2074 ACCESS_SET,
2075 ACCESS_HAS,
2076 ACCESS_DELETE,
2077 ACCESS_KEYS
2078};
2079
2080
2081/**
2082 * Returns true if cross-context access should be allowed to the named
2083 * property with the given key on the host object.
2084 */
2085typedef bool (*NamedSecurityCallback)(Local<Object> host,
2086 Local<Value> key,
2087 AccessType type,
2088 Local<Value> data);
2089
2090
2091/**
2092 * Returns true if cross-context access should be allowed to the indexed
2093 * property with the given index on the host object.
2094 */
2095typedef bool (*IndexedSecurityCallback)(Local<Object> host,
2096 uint32_t index,
2097 AccessType type,
2098 Local<Value> data);
2099
2100
2101/**
2102 * A FunctionTemplate is used to create functions at runtime. There
2103 * can only be one function created from a FunctionTemplate in a
2104 * context. The lifetime of the created function is equal to the
2105 * lifetime of the context. So in case the embedder needs to create
2106 * temporary functions that can be collected using Scripts is
2107 * preferred.
2108 *
2109 * A FunctionTemplate can have properties, these properties are added to the
2110 * function object when it is created.
2111 *
2112 * A FunctionTemplate has a corresponding instance template which is
2113 * used to create object instances when the function is used as a
2114 * constructor. Properties added to the instance template are added to
2115 * each object instance.
2116 *
2117 * A FunctionTemplate can have a prototype template. The prototype template
2118 * is used to create the prototype object of the function.
2119 *
2120 * The following example shows how to use a FunctionTemplate:
2121 *
2122 * \code
2123 * v8::Local<v8::FunctionTemplate> t = v8::FunctionTemplate::New();
2124 * t->Set("func_property", v8::Number::New(1));
2125 *
2126 * v8::Local<v8::Template> proto_t = t->PrototypeTemplate();
2127 * proto_t->Set("proto_method", v8::FunctionTemplate::New(InvokeCallback));
2128 * proto_t->Set("proto_const", v8::Number::New(2));
2129 *
2130 * v8::Local<v8::ObjectTemplate> instance_t = t->InstanceTemplate();
2131 * instance_t->SetAccessor("instance_accessor", InstanceAccessorCallback);
2132 * instance_t->SetNamedPropertyHandler(PropertyHandlerCallback, ...);
2133 * instance_t->Set("instance_property", Number::New(3));
2134 *
2135 * v8::Local<v8::Function> function = t->GetFunction();
2136 * v8::Local<v8::Object> instance = function->NewInstance();
2137 * \endcode
2138 *
2139 * Let's use "function" as the JS variable name of the function object
2140 * and "instance" for the instance object created above. The function
2141 * and the instance will have the following properties:
2142 *
2143 * \code
2144 * func_property in function == true;
2145 * function.func_property == 1;
2146 *
2147 * function.prototype.proto_method() invokes 'InvokeCallback'
2148 * function.prototype.proto_const == 2;
2149 *
2150 * instance instanceof function == true;
2151 * instance.instance_accessor calls 'InstanceAccessorCallback'
2152 * instance.instance_property == 3;
2153 * \endcode
2154 *
2155 * A FunctionTemplate can inherit from another one by calling the
2156 * FunctionTemplate::Inherit method. The following graph illustrates
2157 * the semantics of inheritance:
2158 *
2159 * \code
2160 * FunctionTemplate Parent -> Parent() . prototype -> { }
2161 * ^ ^
2162 * | Inherit(Parent) | .__proto__
2163 * | |
2164 * FunctionTemplate Child -> Child() . prototype -> { }
2165 * \endcode
2166 *
2167 * A FunctionTemplate 'Child' inherits from 'Parent', the prototype
2168 * object of the Child() function has __proto__ pointing to the
2169 * Parent() function's prototype object. An instance of the Child
2170 * function has all properties on Parent's instance templates.
2171 *
2172 * Let Parent be the FunctionTemplate initialized in the previous
2173 * section and create a Child FunctionTemplate by:
2174 *
2175 * \code
2176 * Local<FunctionTemplate> parent = t;
2177 * Local<FunctionTemplate> child = FunctionTemplate::New();
2178 * child->Inherit(parent);
2179 *
2180 * Local<Function> child_function = child->GetFunction();
2181 * Local<Object> child_instance = child_function->NewInstance();
2182 * \endcode
2183 *
2184 * The Child function and Child instance will have the following
2185 * properties:
2186 *
2187 * \code
2188 * child_func.prototype.__proto__ == function.prototype;
2189 * child_instance.instance_accessor calls 'InstanceAccessorCallback'
2190 * child_instance.instance_property == 3;
2191 * \endcode
2192 */
2193class V8EXPORT FunctionTemplate : public Template {
2194 public:
2195 /** Creates a function template.*/
2196 static Local<FunctionTemplate> New(
2197 InvocationCallback callback = 0,
2198 Handle<Value> data = Handle<Value>(),
2199 Handle<Signature> signature = Handle<Signature>());
2200 /** Returns the unique function instance in the current execution context.*/
2201 Local<Function> GetFunction();
2202
2203 /**
2204 * Set the call-handler callback for a FunctionTemplate. This
2205 * callback is called whenever the function created from this
2206 * FunctionTemplate is called.
2207 */
2208 void SetCallHandler(InvocationCallback callback,
2209 Handle<Value> data = Handle<Value>());
2210
2211 /** Get the InstanceTemplate. */
2212 Local<ObjectTemplate> InstanceTemplate();
2213
2214 /** Causes the function template to inherit from a parent function template.*/
2215 void Inherit(Handle<FunctionTemplate> parent);
2216
2217 /**
2218 * A PrototypeTemplate is the template used to create the prototype object
2219 * of the function created by this template.
2220 */
2221 Local<ObjectTemplate> PrototypeTemplate();
2222
2223
2224 /**
2225 * Set the class name of the FunctionTemplate. This is used for
2226 * printing objects created with the function created from the
2227 * FunctionTemplate as its constructor.
2228 */
2229 void SetClassName(Handle<String> name);
2230
2231 /**
2232 * Determines whether the __proto__ accessor ignores instances of
2233 * the function template. If instances of the function template are
2234 * ignored, __proto__ skips all instances and instead returns the
2235 * next object in the prototype chain.
2236 *
2237 * Call with a value of true to make the __proto__ accessor ignore
2238 * instances of the function template. Call with a value of false
2239 * to make the __proto__ accessor not ignore instances of the
2240 * function template. By default, instances of a function template
2241 * are not ignored.
2242 */
2243 void SetHiddenPrototype(bool value);
2244
2245 /**
Ben Murdoch69a99ed2011-11-30 16:03:39 +00002246 * Sets the ReadOnly flag in the attributes of the 'prototype' property
2247 * of functions created from this FunctionTemplate to true.
Ben Murdoch3fb3ca82011-12-02 17:19:32 +00002248 */
Ben Murdoch69a99ed2011-11-30 16:03:39 +00002249 void ReadOnlyPrototype();
Ben Murdoch3fb3ca82011-12-02 17:19:32 +00002250
2251 /**
Steve Blocka7e24c12009-10-30 11:49:00 +00002252 * Returns true if the given object is an instance of this function
2253 * template.
2254 */
2255 bool HasInstance(Handle<Value> object);
2256
2257 private:
2258 FunctionTemplate();
2259 void AddInstancePropertyAccessor(Handle<String> name,
2260 AccessorGetter getter,
2261 AccessorSetter setter,
2262 Handle<Value> data,
2263 AccessControl settings,
2264 PropertyAttribute attributes);
2265 void SetNamedInstancePropertyHandler(NamedPropertyGetter getter,
2266 NamedPropertySetter setter,
2267 NamedPropertyQuery query,
2268 NamedPropertyDeleter remover,
2269 NamedPropertyEnumerator enumerator,
Kristian Monsen9dcf7e22010-06-28 14:14:28 +01002270 Handle<Value> data);
Steve Blocka7e24c12009-10-30 11:49:00 +00002271 void SetIndexedInstancePropertyHandler(IndexedPropertyGetter getter,
2272 IndexedPropertySetter setter,
2273 IndexedPropertyQuery query,
2274 IndexedPropertyDeleter remover,
2275 IndexedPropertyEnumerator enumerator,
2276 Handle<Value> data);
2277 void SetInstanceCallAsFunctionHandler(InvocationCallback callback,
2278 Handle<Value> data);
2279
2280 friend class Context;
2281 friend class ObjectTemplate;
2282};
2283
2284
2285/**
2286 * An ObjectTemplate is used to create objects at runtime.
2287 *
2288 * Properties added to an ObjectTemplate are added to each object
2289 * created from the ObjectTemplate.
2290 */
2291class V8EXPORT ObjectTemplate : public Template {
2292 public:
2293 /** Creates an ObjectTemplate. */
2294 static Local<ObjectTemplate> New();
2295
2296 /** Creates a new instance of this template.*/
2297 Local<Object> NewInstance();
2298
2299 /**
2300 * Sets an accessor on the object template.
2301 *
2302 * Whenever the property with the given name is accessed on objects
2303 * created from this ObjectTemplate the getter and setter callbacks
2304 * are called instead of getting and setting the property directly
2305 * on the JavaScript object.
2306 *
2307 * \param name The name of the property for which an accessor is added.
2308 * \param getter The callback to invoke when getting the property.
2309 * \param setter The callback to invoke when setting the property.
2310 * \param data A piece of data that will be passed to the getter and setter
2311 * callbacks whenever they are invoked.
2312 * \param settings Access control settings for the accessor. This is a bit
2313 * field consisting of one of more of
2314 * DEFAULT = 0, ALL_CAN_READ = 1, or ALL_CAN_WRITE = 2.
2315 * The default is to not allow cross-context access.
2316 * ALL_CAN_READ means that all cross-context reads are allowed.
2317 * ALL_CAN_WRITE means that all cross-context writes are allowed.
2318 * The combination ALL_CAN_READ | ALL_CAN_WRITE can be used to allow all
2319 * cross-context access.
2320 * \param attribute The attributes of the property for which an accessor
2321 * is added.
2322 */
2323 void SetAccessor(Handle<String> name,
2324 AccessorGetter getter,
2325 AccessorSetter setter = 0,
2326 Handle<Value> data = Handle<Value>(),
2327 AccessControl settings = DEFAULT,
2328 PropertyAttribute attribute = None);
2329
2330 /**
2331 * Sets a named property handler on the object template.
2332 *
2333 * Whenever a named property is accessed on objects created from
2334 * this object template, the provided callback is invoked instead of
2335 * accessing the property directly on the JavaScript object.
2336 *
2337 * \param getter The callback to invoke when getting a property.
2338 * \param setter The callback to invoke when setting a property.
Kristian Monsen9dcf7e22010-06-28 14:14:28 +01002339 * \param query The callback to invoke to check if a property is present,
2340 * and if present, get its attributes.
Steve Blocka7e24c12009-10-30 11:49:00 +00002341 * \param deleter The callback to invoke when deleting a property.
2342 * \param enumerator The callback to invoke to enumerate all the named
2343 * properties of an object.
2344 * \param data A piece of data that will be passed to the callbacks
2345 * whenever they are invoked.
2346 */
2347 void SetNamedPropertyHandler(NamedPropertyGetter getter,
2348 NamedPropertySetter setter = 0,
2349 NamedPropertyQuery query = 0,
2350 NamedPropertyDeleter deleter = 0,
2351 NamedPropertyEnumerator enumerator = 0,
Kristian Monsen9dcf7e22010-06-28 14:14:28 +01002352 Handle<Value> data = Handle<Value>());
Steve Blocka7e24c12009-10-30 11:49:00 +00002353
2354 /**
2355 * Sets an indexed property handler on the object template.
2356 *
2357 * Whenever an indexed property is accessed on objects created from
2358 * this object template, the provided callback is invoked instead of
2359 * accessing the property directly on the JavaScript object.
2360 *
2361 * \param getter The callback to invoke when getting a property.
2362 * \param setter The callback to invoke when setting a property.
Ben Murdoch257744e2011-11-30 15:57:28 +00002363 * \param query The callback to invoke to check if an object has a property.
Steve Blocka7e24c12009-10-30 11:49:00 +00002364 * \param deleter The callback to invoke when deleting a property.
2365 * \param enumerator The callback to invoke to enumerate all the indexed
2366 * properties of an object.
2367 * \param data A piece of data that will be passed to the callbacks
2368 * whenever they are invoked.
2369 */
2370 void SetIndexedPropertyHandler(IndexedPropertyGetter getter,
2371 IndexedPropertySetter setter = 0,
2372 IndexedPropertyQuery query = 0,
2373 IndexedPropertyDeleter deleter = 0,
2374 IndexedPropertyEnumerator enumerator = 0,
2375 Handle<Value> data = Handle<Value>());
Iain Merrick75681382010-08-19 15:07:18 +01002376
Steve Blocka7e24c12009-10-30 11:49:00 +00002377 /**
2378 * Sets the callback to be used when calling instances created from
2379 * this template as a function. If no callback is set, instances
2380 * behave like normal JavaScript objects that cannot be called as a
2381 * function.
2382 */
2383 void SetCallAsFunctionHandler(InvocationCallback callback,
2384 Handle<Value> data = Handle<Value>());
2385
2386 /**
2387 * Mark object instances of the template as undetectable.
2388 *
2389 * In many ways, undetectable objects behave as though they are not
2390 * there. They behave like 'undefined' in conditionals and when
2391 * printed. However, properties can be accessed and called as on
2392 * normal objects.
2393 */
2394 void MarkAsUndetectable();
2395
2396 /**
2397 * Sets access check callbacks on the object template.
2398 *
2399 * When accessing properties on instances of this object template,
2400 * the access check callback will be called to determine whether or
2401 * not to allow cross-context access to the properties.
2402 * The last parameter specifies whether access checks are turned
2403 * on by default on instances. If access checks are off by default,
2404 * they can be turned on on individual instances by calling
2405 * Object::TurnOnAccessCheck().
2406 */
2407 void SetAccessCheckCallbacks(NamedSecurityCallback named_handler,
2408 IndexedSecurityCallback indexed_handler,
2409 Handle<Value> data = Handle<Value>(),
2410 bool turned_on_by_default = true);
2411
2412 /**
2413 * Gets the number of internal fields for objects generated from
2414 * this template.
2415 */
2416 int InternalFieldCount();
2417
2418 /**
2419 * Sets the number of internal fields for objects generated from
2420 * this template.
2421 */
2422 void SetInternalFieldCount(int value);
2423
2424 private:
2425 ObjectTemplate();
2426 static Local<ObjectTemplate> New(Handle<FunctionTemplate> constructor);
2427 friend class FunctionTemplate;
2428};
2429
2430
2431/**
2432 * A Signature specifies which receivers and arguments a function can
2433 * legally be called with.
2434 */
2435class V8EXPORT Signature : public Data {
2436 public:
2437 static Local<Signature> New(Handle<FunctionTemplate> receiver =
2438 Handle<FunctionTemplate>(),
2439 int argc = 0,
2440 Handle<FunctionTemplate> argv[] = 0);
2441 private:
2442 Signature();
2443};
2444
2445
2446/**
2447 * A utility for determining the type of objects based on the template
2448 * they were constructed from.
2449 */
2450class V8EXPORT TypeSwitch : public Data {
2451 public:
2452 static Local<TypeSwitch> New(Handle<FunctionTemplate> type);
2453 static Local<TypeSwitch> New(int argc, Handle<FunctionTemplate> types[]);
2454 int match(Handle<Value> value);
2455 private:
2456 TypeSwitch();
2457};
2458
2459
Ben Murdoch257744e2011-11-30 15:57:28 +00002460// --- Extensions ---
Steve Blocka7e24c12009-10-30 11:49:00 +00002461
Ben Murdoch592a9fc2012-03-05 11:04:45 +00002462class V8EXPORT ExternalAsciiStringResourceImpl
2463 : public String::ExternalAsciiStringResource {
2464 public:
2465 ExternalAsciiStringResourceImpl() : data_(0), length_(0) {}
2466 ExternalAsciiStringResourceImpl(const char* data, size_t length)
2467 : data_(data), length_(length) {}
2468 const char* data() const { return data_; }
2469 size_t length() const { return length_; }
2470
2471 private:
2472 const char* data_;
2473 size_t length_;
2474};
Steve Blocka7e24c12009-10-30 11:49:00 +00002475
2476/**
2477 * Ignore
2478 */
2479class V8EXPORT Extension { // NOLINT
2480 public:
Ben Murdoch592a9fc2012-03-05 11:04:45 +00002481 // Note that the strings passed into this constructor must live as long
2482 // as the Extension itself.
Steve Blocka7e24c12009-10-30 11:49:00 +00002483 Extension(const char* name,
2484 const char* source = 0,
2485 int dep_count = 0,
Ben Murdoch592a9fc2012-03-05 11:04:45 +00002486 const char** deps = 0,
2487 int source_length = -1);
Steve Blocka7e24c12009-10-30 11:49:00 +00002488 virtual ~Extension() { }
2489 virtual v8::Handle<v8::FunctionTemplate>
2490 GetNativeFunction(v8::Handle<v8::String> name) {
2491 return v8::Handle<v8::FunctionTemplate>();
2492 }
2493
Ben Murdoch592a9fc2012-03-05 11:04:45 +00002494 const char* name() const { return name_; }
2495 size_t source_length() const { return source_length_; }
2496 const String::ExternalAsciiStringResource* source() const {
2497 return &source_; }
Steve Blocka7e24c12009-10-30 11:49:00 +00002498 int dependency_count() { return dep_count_; }
2499 const char** dependencies() { return deps_; }
2500 void set_auto_enable(bool value) { auto_enable_ = value; }
2501 bool auto_enable() { return auto_enable_; }
2502
2503 private:
2504 const char* name_;
Ben Murdoch592a9fc2012-03-05 11:04:45 +00002505 size_t source_length_; // expected to initialize before source_
2506 ExternalAsciiStringResourceImpl source_;
Steve Blocka7e24c12009-10-30 11:49:00 +00002507 int dep_count_;
2508 const char** deps_;
2509 bool auto_enable_;
2510
2511 // Disallow copying and assigning.
2512 Extension(const Extension&);
2513 void operator=(const Extension&);
2514};
2515
2516
2517void V8EXPORT RegisterExtension(Extension* extension);
2518
2519
2520/**
2521 * Ignore
2522 */
2523class V8EXPORT DeclareExtension {
2524 public:
2525 inline DeclareExtension(Extension* extension) {
2526 RegisterExtension(extension);
2527 }
2528};
2529
2530
Ben Murdoch257744e2011-11-30 15:57:28 +00002531// --- Statics ---
Steve Blocka7e24c12009-10-30 11:49:00 +00002532
2533
2534Handle<Primitive> V8EXPORT Undefined();
2535Handle<Primitive> V8EXPORT Null();
2536Handle<Boolean> V8EXPORT True();
2537Handle<Boolean> V8EXPORT False();
2538
2539
2540/**
2541 * A set of constraints that specifies the limits of the runtime's memory use.
2542 * You must set the heap size before initializing the VM - the size cannot be
2543 * adjusted after the VM is initialized.
2544 *
2545 * If you are using threads then you should hold the V8::Locker lock while
2546 * setting the stack limit and you must set a non-default stack limit separately
2547 * for each thread.
2548 */
2549class V8EXPORT ResourceConstraints {
2550 public:
2551 ResourceConstraints();
2552 int max_young_space_size() const { return max_young_space_size_; }
2553 void set_max_young_space_size(int value) { max_young_space_size_ = value; }
2554 int max_old_space_size() const { return max_old_space_size_; }
2555 void set_max_old_space_size(int value) { max_old_space_size_ = value; }
Russell Brenner90bac252010-11-18 13:33:46 -08002556 int max_executable_size() { return max_executable_size_; }
2557 void set_max_executable_size(int value) { max_executable_size_ = value; }
Steve Blocka7e24c12009-10-30 11:49:00 +00002558 uint32_t* stack_limit() const { return stack_limit_; }
2559 // Sets an address beyond which the VM's stack may not grow.
2560 void set_stack_limit(uint32_t* value) { stack_limit_ = value; }
2561 private:
2562 int max_young_space_size_;
2563 int max_old_space_size_;
Russell Brenner90bac252010-11-18 13:33:46 -08002564 int max_executable_size_;
Steve Blocka7e24c12009-10-30 11:49:00 +00002565 uint32_t* stack_limit_;
2566};
2567
2568
Kristian Monsen25f61362010-05-21 11:50:48 +01002569bool V8EXPORT SetResourceConstraints(ResourceConstraints* constraints);
Steve Blocka7e24c12009-10-30 11:49:00 +00002570
2571
Ben Murdoch257744e2011-11-30 15:57:28 +00002572// --- Exceptions ---
Steve Blocka7e24c12009-10-30 11:49:00 +00002573
2574
2575typedef void (*FatalErrorCallback)(const char* location, const char* message);
2576
2577
2578typedef void (*MessageCallback)(Handle<Message> message, Handle<Value> data);
2579
2580
2581/**
2582 * Schedules an exception to be thrown when returning to JavaScript. When an
2583 * exception has been scheduled it is illegal to invoke any JavaScript
2584 * operation; the caller must return immediately and only after the exception
2585 * has been handled does it become legal to invoke JavaScript operations.
2586 */
2587Handle<Value> V8EXPORT ThrowException(Handle<Value> exception);
2588
2589/**
2590 * Create new error objects by calling the corresponding error object
2591 * constructor with the message.
2592 */
2593class V8EXPORT Exception {
2594 public:
2595 static Local<Value> RangeError(Handle<String> message);
2596 static Local<Value> ReferenceError(Handle<String> message);
2597 static Local<Value> SyntaxError(Handle<String> message);
2598 static Local<Value> TypeError(Handle<String> message);
2599 static Local<Value> Error(Handle<String> message);
2600};
2601
2602
Ben Murdoch257744e2011-11-30 15:57:28 +00002603// --- Counters Callbacks ---
Steve Blocka7e24c12009-10-30 11:49:00 +00002604
2605typedef int* (*CounterLookupCallback)(const char* name);
2606
2607typedef void* (*CreateHistogramCallback)(const char* name,
2608 int min,
2609 int max,
2610 size_t buckets);
2611
2612typedef void (*AddHistogramSampleCallback)(void* histogram, int sample);
2613
Ben Murdoch257744e2011-11-30 15:57:28 +00002614// --- Memory Allocation Callback ---
Iain Merrick9ac36c92010-09-13 15:29:50 +01002615 enum ObjectSpace {
2616 kObjectSpaceNewSpace = 1 << 0,
2617 kObjectSpaceOldPointerSpace = 1 << 1,
2618 kObjectSpaceOldDataSpace = 1 << 2,
2619 kObjectSpaceCodeSpace = 1 << 3,
2620 kObjectSpaceMapSpace = 1 << 4,
2621 kObjectSpaceLoSpace = 1 << 5,
2622
2623 kObjectSpaceAll = kObjectSpaceNewSpace | kObjectSpaceOldPointerSpace |
2624 kObjectSpaceOldDataSpace | kObjectSpaceCodeSpace | kObjectSpaceMapSpace |
2625 kObjectSpaceLoSpace
2626 };
2627
2628 enum AllocationAction {
2629 kAllocationActionAllocate = 1 << 0,
2630 kAllocationActionFree = 1 << 1,
2631 kAllocationActionAll = kAllocationActionAllocate | kAllocationActionFree
2632 };
2633
2634typedef void (*MemoryAllocationCallback)(ObjectSpace space,
2635 AllocationAction action,
2636 int size);
2637
Ben Murdoch257744e2011-11-30 15:57:28 +00002638// --- Failed Access Check Callback ---
Steve Blocka7e24c12009-10-30 11:49:00 +00002639typedef void (*FailedAccessCheckCallback)(Local<Object> target,
2640 AccessType type,
2641 Local<Value> data);
2642
Ben Murdoch257744e2011-11-30 15:57:28 +00002643// --- AllowCodeGenerationFromStrings callbacks ---
2644
2645/**
2646 * Callback to check if code generation from strings is allowed. See
2647 * Context::AllowCodeGenerationFromStrings.
2648 */
2649typedef bool (*AllowCodeGenerationFromStringsCallback)(Local<Context> context);
2650
2651// --- Garbage Collection Callbacks ---
Steve Blocka7e24c12009-10-30 11:49:00 +00002652
2653/**
Steve Block6ded16b2010-05-10 14:33:55 +01002654 * Applications can register callback functions which will be called
2655 * before and after a garbage collection. Allocations are not
2656 * allowed in the callback functions, you therefore cannot manipulate
Steve Blocka7e24c12009-10-30 11:49:00 +00002657 * objects (set or delete properties for example) since it is possible
2658 * such operations will result in the allocation of objects.
2659 */
Steve Block6ded16b2010-05-10 14:33:55 +01002660enum GCType {
2661 kGCTypeScavenge = 1 << 0,
2662 kGCTypeMarkSweepCompact = 1 << 1,
2663 kGCTypeAll = kGCTypeScavenge | kGCTypeMarkSweepCompact
2664};
2665
2666enum GCCallbackFlags {
2667 kNoGCCallbackFlags = 0,
2668 kGCCallbackFlagCompacted = 1 << 0
2669};
2670
2671typedef void (*GCPrologueCallback)(GCType type, GCCallbackFlags flags);
2672typedef void (*GCEpilogueCallback)(GCType type, GCCallbackFlags flags);
2673
Steve Blocka7e24c12009-10-30 11:49:00 +00002674typedef void (*GCCallback)();
2675
2676
Steve Blocka7e24c12009-10-30 11:49:00 +00002677/**
Steve Block3ce2e202009-11-05 08:53:23 +00002678 * Collection of V8 heap information.
2679 *
2680 * Instances of this class can be passed to v8::V8::HeapStatistics to
2681 * get heap statistics from V8.
2682 */
2683class V8EXPORT HeapStatistics {
2684 public:
2685 HeapStatistics();
2686 size_t total_heap_size() { return total_heap_size_; }
Russell Brenner90bac252010-11-18 13:33:46 -08002687 size_t total_heap_size_executable() { return total_heap_size_executable_; }
Steve Block3ce2e202009-11-05 08:53:23 +00002688 size_t used_heap_size() { return used_heap_size_; }
Ben Murdochb8e0da22011-05-16 14:20:40 +01002689 size_t heap_size_limit() { return heap_size_limit_; }
Steve Block3ce2e202009-11-05 08:53:23 +00002690
2691 private:
2692 void set_total_heap_size(size_t size) { total_heap_size_ = size; }
Russell Brenner90bac252010-11-18 13:33:46 -08002693 void set_total_heap_size_executable(size_t size) {
2694 total_heap_size_executable_ = size;
2695 }
Steve Block3ce2e202009-11-05 08:53:23 +00002696 void set_used_heap_size(size_t size) { used_heap_size_ = size; }
Ben Murdochb8e0da22011-05-16 14:20:40 +01002697 void set_heap_size_limit(size_t size) { heap_size_limit_ = size; }
Steve Block3ce2e202009-11-05 08:53:23 +00002698
2699 size_t total_heap_size_;
Russell Brenner90bac252010-11-18 13:33:46 -08002700 size_t total_heap_size_executable_;
Steve Block3ce2e202009-11-05 08:53:23 +00002701 size_t used_heap_size_;
Ben Murdochb8e0da22011-05-16 14:20:40 +01002702 size_t heap_size_limit_;
Steve Block3ce2e202009-11-05 08:53:23 +00002703
2704 friend class V8;
2705};
2706
2707
Steve Block44f0eee2011-05-26 01:26:41 +01002708class RetainedObjectInfo;
2709
2710/**
2711 * Isolate represents an isolated instance of the V8 engine. V8
2712 * isolates have completely separate states. Objects from one isolate
2713 * must not be used in other isolates. When V8 is initialized a
2714 * default isolate is implicitly created and entered. The embedder
2715 * can create additional isolates and use them in parallel in multiple
2716 * threads. An isolate can be entered by at most one thread at any
2717 * given time. The Locker/Unlocker API can be used to synchronize.
2718 */
2719class V8EXPORT Isolate {
2720 public:
2721 /**
2722 * Stack-allocated class which sets the isolate for all operations
2723 * executed within a local scope.
2724 */
2725 class V8EXPORT Scope {
2726 public:
2727 explicit Scope(Isolate* isolate) : isolate_(isolate) {
2728 isolate->Enter();
2729 }
2730
2731 ~Scope() { isolate_->Exit(); }
2732
2733 private:
2734 Isolate* const isolate_;
2735
2736 // Prevent copying of Scope objects.
2737 Scope(const Scope&);
2738 Scope& operator=(const Scope&);
2739 };
2740
2741 /**
2742 * Creates a new isolate. Does not change the currently entered
2743 * isolate.
2744 *
2745 * When an isolate is no longer used its resources should be freed
2746 * by calling Dispose(). Using the delete operator is not allowed.
2747 */
2748 static Isolate* New();
2749
2750 /**
2751 * Returns the entered isolate for the current thread or NULL in
2752 * case there is no current isolate.
2753 */
2754 static Isolate* GetCurrent();
2755
2756 /**
2757 * Methods below this point require holding a lock (using Locker) in
2758 * a multi-threaded environment.
2759 */
2760
2761 /**
2762 * Sets this isolate as the entered one for the current thread.
2763 * Saves the previously entered one (if any), so that it can be
2764 * restored when exiting. Re-entering an isolate is allowed.
2765 */
2766 void Enter();
2767
2768 /**
2769 * Exits this isolate by restoring the previously entered one in the
2770 * current thread. The isolate may still stay the same, if it was
2771 * entered more than once.
2772 *
2773 * Requires: this == Isolate::GetCurrent().
2774 */
2775 void Exit();
2776
2777 /**
2778 * Disposes the isolate. The isolate must not be entered by any
2779 * thread to be disposable.
2780 */
2781 void Dispose();
2782
Ben Murdoch257744e2011-11-30 15:57:28 +00002783 /**
2784 * Associate embedder-specific data with the isolate
2785 */
2786 void SetData(void* data);
2787
2788 /**
2789 * Retrive embedder-specific data from the isolate.
2790 * Returns NULL if SetData has never been called.
2791 */
2792 void* GetData();
2793
Steve Block44f0eee2011-05-26 01:26:41 +01002794 private:
Steve Block44f0eee2011-05-26 01:26:41 +01002795 Isolate();
2796 Isolate(const Isolate&);
2797 ~Isolate();
2798 Isolate& operator=(const Isolate&);
2799 void* operator new(size_t size);
2800 void operator delete(void*, size_t);
2801};
2802
2803
Ben Murdoch257744e2011-11-30 15:57:28 +00002804class StartupData {
2805 public:
2806 enum CompressionAlgorithm {
2807 kUncompressed,
2808 kBZip2
2809 };
2810
2811 const char* data;
2812 int compressed_size;
2813 int raw_size;
2814};
2815
Ben Murdoch3fb3ca82011-12-02 17:19:32 +00002816
2817/**
2818 * A helper class for driving V8 startup data decompression. It is based on
2819 * "CompressedStartupData" API functions from the V8 class. It isn't mandatory
2820 * for an embedder to use this class, instead, API functions can be used
2821 * directly.
2822 *
2823 * For an example of the class usage, see the "shell.cc" sample application.
2824 */
2825class V8EXPORT StartupDataDecompressor { // NOLINT
2826 public:
2827 StartupDataDecompressor();
2828 virtual ~StartupDataDecompressor();
2829 int Decompress();
2830
2831 protected:
2832 virtual int DecompressData(char* raw_data,
2833 int* raw_data_size,
2834 const char* compressed_data,
2835 int compressed_data_size) = 0;
2836
2837 private:
2838 char** raw_data;
2839};
2840
2841
2842/**
2843 * EntropySource is used as a callback function when v8 needs a source
2844 * of entropy.
2845 */
2846typedef bool (*EntropySource)(unsigned char* buffer, size_t length);
2847
Steve Block3ce2e202009-11-05 08:53:23 +00002848/**
Steve Blocka7e24c12009-10-30 11:49:00 +00002849 * Container class for static utility functions.
2850 */
2851class V8EXPORT V8 {
2852 public:
2853 /** Set the callback to invoke in case of fatal errors. */
2854 static void SetFatalErrorHandler(FatalErrorCallback that);
2855
2856 /**
Ben Murdoch257744e2011-11-30 15:57:28 +00002857 * Set the callback to invoke to check if code generation from
2858 * strings should be allowed.
2859 */
2860 static void SetAllowCodeGenerationFromStringsCallback(
2861 AllowCodeGenerationFromStringsCallback that);
2862
2863 /**
Steve Blocka7e24c12009-10-30 11:49:00 +00002864 * Ignore out-of-memory exceptions.
2865 *
2866 * V8 running out of memory is treated as a fatal error by default.
2867 * This means that the fatal error handler is called and that V8 is
2868 * terminated.
2869 *
Ben Murdoch257744e2011-11-30 15:57:28 +00002870 * IgnoreOutOfMemoryException can be used to not treat an
Steve Blocka7e24c12009-10-30 11:49:00 +00002871 * out-of-memory situation as a fatal error. This way, the contexts
2872 * that did not cause the out of memory problem might be able to
2873 * continue execution.
2874 */
2875 static void IgnoreOutOfMemoryException();
2876
2877 /**
2878 * Check if V8 is dead and therefore unusable. This is the case after
2879 * fatal errors such as out-of-memory situations.
2880 */
2881 static bool IsDead();
2882
2883 /**
Ben Murdoch257744e2011-11-30 15:57:28 +00002884 * The following 4 functions are to be used when V8 is built with
2885 * the 'compress_startup_data' flag enabled. In this case, the
2886 * embedder must decompress startup data prior to initializing V8.
2887 *
2888 * This is how interaction with V8 should look like:
2889 * int compressed_data_count = v8::V8::GetCompressedStartupDataCount();
2890 * v8::StartupData* compressed_data =
2891 * new v8::StartupData[compressed_data_count];
2892 * v8::V8::GetCompressedStartupData(compressed_data);
2893 * ... decompress data (compressed_data can be updated in-place) ...
2894 * v8::V8::SetDecompressedStartupData(compressed_data);
2895 * ... now V8 can be initialized
2896 * ... make sure the decompressed data stays valid until V8 shutdown
Ben Murdoch3fb3ca82011-12-02 17:19:32 +00002897 *
2898 * A helper class StartupDataDecompressor is provided. It implements
2899 * the protocol of the interaction described above, and can be used in
2900 * most cases instead of calling these API functions directly.
Ben Murdoch257744e2011-11-30 15:57:28 +00002901 */
2902 static StartupData::CompressionAlgorithm GetCompressedStartupDataAlgorithm();
2903 static int GetCompressedStartupDataCount();
2904 static void GetCompressedStartupData(StartupData* compressed_data);
2905 static void SetDecompressedStartupData(StartupData* decompressed_data);
2906
2907 /**
Steve Blocka7e24c12009-10-30 11:49:00 +00002908 * Adds a message listener.
2909 *
Ben Murdoch257744e2011-11-30 15:57:28 +00002910 * The same message listener can be added more than once and in that
Steve Blocka7e24c12009-10-30 11:49:00 +00002911 * case it will be called more than once for each message.
2912 */
2913 static bool AddMessageListener(MessageCallback that,
2914 Handle<Value> data = Handle<Value>());
2915
2916 /**
2917 * Remove all message listeners from the specified callback function.
2918 */
2919 static void RemoveMessageListeners(MessageCallback that);
2920
2921 /**
Ben Murdoch3bec4d22010-07-22 14:51:16 +01002922 * Tells V8 to capture current stack trace when uncaught exception occurs
2923 * and report it to the message listeners. The option is off by default.
2924 */
2925 static void SetCaptureStackTraceForUncaughtExceptions(
2926 bool capture,
2927 int frame_limit = 10,
2928 StackTrace::StackTraceOptions options = StackTrace::kOverview);
2929
2930 /**
Steve Blocka7e24c12009-10-30 11:49:00 +00002931 * Sets V8 flags from a string.
2932 */
2933 static void SetFlagsFromString(const char* str, int length);
2934
2935 /**
2936 * Sets V8 flags from the command line.
2937 */
2938 static void SetFlagsFromCommandLine(int* argc,
2939 char** argv,
2940 bool remove_flags);
2941
2942 /** Get the version string. */
2943 static const char* GetVersion();
2944
2945 /**
2946 * Enables the host application to provide a mechanism for recording
2947 * statistics counters.
2948 */
2949 static void SetCounterFunction(CounterLookupCallback);
2950
2951 /**
2952 * Enables the host application to provide a mechanism for recording
2953 * histograms. The CreateHistogram function returns a
2954 * histogram which will later be passed to the AddHistogramSample
2955 * function.
2956 */
2957 static void SetCreateHistogramFunction(CreateHistogramCallback);
2958 static void SetAddHistogramSampleFunction(AddHistogramSampleCallback);
2959
2960 /**
2961 * Enables the computation of a sliding window of states. The sliding
2962 * window information is recorded in statistics counters.
2963 */
2964 static void EnableSlidingStateWindow();
2965
2966 /** Callback function for reporting failed access checks.*/
2967 static void SetFailedAccessCheckCallbackFunction(FailedAccessCheckCallback);
2968
2969 /**
2970 * Enables the host application to receive a notification before a
Steve Block6ded16b2010-05-10 14:33:55 +01002971 * garbage collection. Allocations are not allowed in the
2972 * callback function, you therefore cannot manipulate objects (set
2973 * or delete properties for example) since it is possible such
2974 * operations will result in the allocation of objects. It is possible
2975 * to specify the GCType filter for your callback. But it is not possible to
2976 * register the same callback function two times with different
2977 * GCType filters.
2978 */
2979 static void AddGCPrologueCallback(
2980 GCPrologueCallback callback, GCType gc_type_filter = kGCTypeAll);
2981
2982 /**
2983 * This function removes callback which was installed by
2984 * AddGCPrologueCallback function.
2985 */
2986 static void RemoveGCPrologueCallback(GCPrologueCallback callback);
2987
2988 /**
2989 * The function is deprecated. Please use AddGCPrologueCallback instead.
2990 * Enables the host application to receive a notification before a
2991 * garbage collection. Allocations are not allowed in the
Steve Blocka7e24c12009-10-30 11:49:00 +00002992 * callback function, you therefore cannot manipulate objects (set
2993 * or delete properties for example) since it is possible such
2994 * operations will result in the allocation of objects.
2995 */
2996 static void SetGlobalGCPrologueCallback(GCCallback);
2997
2998 /**
2999 * Enables the host application to receive a notification after a
Steve Block6ded16b2010-05-10 14:33:55 +01003000 * garbage collection. Allocations are not allowed in the
3001 * callback function, you therefore cannot manipulate objects (set
3002 * or delete properties for example) since it is possible such
3003 * operations will result in the allocation of objects. It is possible
3004 * to specify the GCType filter for your callback. But it is not possible to
3005 * register the same callback function two times with different
3006 * GCType filters.
3007 */
3008 static void AddGCEpilogueCallback(
3009 GCEpilogueCallback callback, GCType gc_type_filter = kGCTypeAll);
3010
3011 /**
3012 * This function removes callback which was installed by
3013 * AddGCEpilogueCallback function.
3014 */
3015 static void RemoveGCEpilogueCallback(GCEpilogueCallback callback);
3016
3017 /**
3018 * The function is deprecated. Please use AddGCEpilogueCallback instead.
3019 * Enables the host application to receive a notification after a
Steve Blocka7e24c12009-10-30 11:49:00 +00003020 * major garbage collection. Allocations are not allowed in the
3021 * callback function, you therefore cannot manipulate objects (set
3022 * or delete properties for example) since it is possible such
3023 * operations will result in the allocation of objects.
3024 */
3025 static void SetGlobalGCEpilogueCallback(GCCallback);
3026
3027 /**
Iain Merrick9ac36c92010-09-13 15:29:50 +01003028 * Enables the host application to provide a mechanism to be notified
3029 * and perform custom logging when V8 Allocates Executable Memory.
3030 */
3031 static void AddMemoryAllocationCallback(MemoryAllocationCallback callback,
3032 ObjectSpace space,
3033 AllocationAction action);
3034
3035 /**
3036 * This function removes callback which was installed by
3037 * AddMemoryAllocationCallback function.
3038 */
3039 static void RemoveMemoryAllocationCallback(MemoryAllocationCallback callback);
3040
3041 /**
Steve Blocka7e24c12009-10-30 11:49:00 +00003042 * Allows the host application to group objects together. If one
3043 * object in the group is alive, all objects in the group are alive.
3044 * After each garbage collection, object groups are removed. It is
3045 * intended to be used in the before-garbage-collection callback
3046 * function, for instance to simulate DOM tree connections among JS
3047 * wrapper objects.
Steve Block44f0eee2011-05-26 01:26:41 +01003048 * See v8-profiler.h for RetainedObjectInfo interface description.
Steve Blocka7e24c12009-10-30 11:49:00 +00003049 */
Steve Block44f0eee2011-05-26 01:26:41 +01003050 static void AddObjectGroup(Persistent<Value>* objects,
3051 size_t length,
3052 RetainedObjectInfo* info = NULL);
3053
3054 /**
3055 * Allows the host application to declare implicit references between
3056 * the objects: if |parent| is alive, all |children| are alive too.
3057 * After each garbage collection, all implicit references
3058 * are removed. It is intended to be used in the before-garbage-collection
3059 * callback function.
3060 */
3061 static void AddImplicitReferences(Persistent<Object> parent,
3062 Persistent<Value>* children,
3063 size_t length);
Steve Blocka7e24c12009-10-30 11:49:00 +00003064
3065 /**
3066 * Initializes from snapshot if possible. Otherwise, attempts to
3067 * initialize from scratch. This function is called implicitly if
3068 * you use the API without calling it first.
3069 */
3070 static bool Initialize();
3071
3072 /**
Ben Murdoch3fb3ca82011-12-02 17:19:32 +00003073 * Allows the host application to provide a callback which can be used
3074 * as a source of entropy for random number generators.
3075 */
3076 static void SetEntropySource(EntropySource source);
3077
3078 /**
Steve Blocka7e24c12009-10-30 11:49:00 +00003079 * Adjusts the amount of registered external memory. Used to give
3080 * V8 an indication of the amount of externally allocated memory
3081 * that is kept alive by JavaScript objects. V8 uses this to decide
3082 * when to perform global garbage collections. Registering
3083 * externally allocated memory will trigger global garbage
3084 * collections more often than otherwise in an attempt to garbage
3085 * collect the JavaScript objects keeping the externally allocated
3086 * memory alive.
3087 *
3088 * \param change_in_bytes the change in externally allocated memory
3089 * that is kept alive by JavaScript objects.
3090 * \returns the adjusted value.
3091 */
3092 static int AdjustAmountOfExternalAllocatedMemory(int change_in_bytes);
3093
3094 /**
3095 * Suspends recording of tick samples in the profiler.
3096 * When the V8 profiling mode is enabled (usually via command line
3097 * switches) this function suspends recording of tick samples.
3098 * Profiling ticks are discarded until ResumeProfiler() is called.
3099 *
3100 * See also the --prof and --prof_auto command line switches to
3101 * enable V8 profiling.
3102 */
3103 static void PauseProfiler();
3104
3105 /**
3106 * Resumes recording of tick samples in the profiler.
3107 * See also PauseProfiler().
3108 */
3109 static void ResumeProfiler();
3110
3111 /**
3112 * Return whether profiler is currently paused.
3113 */
3114 static bool IsProfilerPaused();
3115
3116 /**
Steve Blocka7e24c12009-10-30 11:49:00 +00003117 * Retrieve the V8 thread id of the calling thread.
3118 *
3119 * The thread id for a thread should only be retrieved after the V8
3120 * lock has been acquired with a Locker object with that thread.
3121 */
3122 static int GetCurrentThreadId();
3123
3124 /**
3125 * Forcefully terminate execution of a JavaScript thread. This can
3126 * be used to terminate long-running scripts.
3127 *
3128 * TerminateExecution should only be called when then V8 lock has
3129 * been acquired with a Locker object. Therefore, in order to be
3130 * able to terminate long-running threads, preemption must be
3131 * enabled to allow the user of TerminateExecution to acquire the
3132 * lock.
3133 *
3134 * The termination is achieved by throwing an exception that is
3135 * uncatchable by JavaScript exception handlers. Termination
3136 * exceptions act as if they were caught by a C++ TryCatch exception
Ben Murdoch257744e2011-11-30 15:57:28 +00003137 * handler. If forceful termination is used, any C++ TryCatch
Steve Blocka7e24c12009-10-30 11:49:00 +00003138 * exception handler that catches an exception should check if that
3139 * exception is a termination exception and immediately return if
3140 * that is the case. Returning immediately in that case will
3141 * continue the propagation of the termination exception if needed.
3142 *
3143 * The thread id passed to TerminateExecution must have been
3144 * obtained by calling GetCurrentThreadId on the thread in question.
3145 *
3146 * \param thread_id The thread id of the thread to terminate.
3147 */
3148 static void TerminateExecution(int thread_id);
3149
3150 /**
Steve Block44f0eee2011-05-26 01:26:41 +01003151 * Forcefully terminate the current thread of JavaScript execution
3152 * in the given isolate. If no isolate is provided, the default
3153 * isolate is used.
Steve Blocka7e24c12009-10-30 11:49:00 +00003154 *
3155 * This method can be used by any thread even if that thread has not
3156 * acquired the V8 lock with a Locker object.
Steve Block44f0eee2011-05-26 01:26:41 +01003157 *
3158 * \param isolate The isolate in which to terminate the current JS execution.
Steve Blocka7e24c12009-10-30 11:49:00 +00003159 */
Steve Block44f0eee2011-05-26 01:26:41 +01003160 static void TerminateExecution(Isolate* isolate = NULL);
Steve Blocka7e24c12009-10-30 11:49:00 +00003161
3162 /**
Steve Block6ded16b2010-05-10 14:33:55 +01003163 * Is V8 terminating JavaScript execution.
3164 *
3165 * Returns true if JavaScript execution is currently terminating
3166 * because of a call to TerminateExecution. In that case there are
3167 * still JavaScript frames on the stack and the termination
3168 * exception is still active.
Ben Murdoch3fb3ca82011-12-02 17:19:32 +00003169 *
3170 * \param isolate The isolate in which to check.
Steve Block6ded16b2010-05-10 14:33:55 +01003171 */
Ben Murdoch3fb3ca82011-12-02 17:19:32 +00003172 static bool IsExecutionTerminating(Isolate* isolate = NULL);
Steve Block6ded16b2010-05-10 14:33:55 +01003173
3174 /**
Steve Blocka7e24c12009-10-30 11:49:00 +00003175 * Releases any resources used by v8 and stops any utility threads
3176 * that may be running. Note that disposing v8 is permanent, it
3177 * cannot be reinitialized.
3178 *
3179 * It should generally not be necessary to dispose v8 before exiting
3180 * a process, this should happen automatically. It is only necessary
3181 * to use if the process needs the resources taken up by v8.
3182 */
3183 static bool Dispose();
3184
Steve Block3ce2e202009-11-05 08:53:23 +00003185 /**
3186 * Get statistics about the heap memory usage.
3187 */
3188 static void GetHeapStatistics(HeapStatistics* heap_statistics);
Steve Blocka7e24c12009-10-30 11:49:00 +00003189
3190 /**
3191 * Optional notification that the embedder is idle.
3192 * V8 uses the notification to reduce memory footprint.
3193 * This call can be used repeatedly if the embedder remains idle.
Steve Blocka7e24c12009-10-30 11:49:00 +00003194 * Returns true if the embedder should stop calling IdleNotification
3195 * until real work has been done. This indicates that V8 has done
3196 * as much cleanup as it will be able to do.
3197 */
Steve Block3ce2e202009-11-05 08:53:23 +00003198 static bool IdleNotification();
Steve Blocka7e24c12009-10-30 11:49:00 +00003199
3200 /**
3201 * Optional notification that the system is running low on memory.
3202 * V8 uses these notifications to attempt to free memory.
3203 */
3204 static void LowMemoryNotification();
3205
Steve Block6ded16b2010-05-10 14:33:55 +01003206 /**
3207 * Optional notification that a context has been disposed. V8 uses
3208 * these notifications to guide the GC heuristic. Returns the number
3209 * of context disposals - including this one - since the last time
3210 * V8 had a chance to clean up.
3211 */
3212 static int ContextDisposedNotification();
3213
Steve Blocka7e24c12009-10-30 11:49:00 +00003214 private:
3215 V8();
3216
3217 static internal::Object** GlobalizeReference(internal::Object** handle);
3218 static void DisposeGlobal(internal::Object** global_handle);
3219 static void MakeWeak(internal::Object** global_handle,
3220 void* data,
3221 WeakReferenceCallback);
3222 static void ClearWeak(internal::Object** global_handle);
Ben Murdoch257744e2011-11-30 15:57:28 +00003223 static void MarkIndependent(internal::Object** global_handle);
Steve Blocka7e24c12009-10-30 11:49:00 +00003224 static bool IsGlobalNearDeath(internal::Object** global_handle);
3225 static bool IsGlobalWeak(internal::Object** global_handle);
Steve Block44f0eee2011-05-26 01:26:41 +01003226 static void SetWrapperClassId(internal::Object** global_handle,
3227 uint16_t class_id);
Steve Blocka7e24c12009-10-30 11:49:00 +00003228
3229 template <class T> friend class Handle;
3230 template <class T> friend class Local;
3231 template <class T> friend class Persistent;
3232 friend class Context;
3233};
3234
3235
3236/**
3237 * An external exception handler.
3238 */
3239class V8EXPORT TryCatch {
3240 public:
Steve Blocka7e24c12009-10-30 11:49:00 +00003241 /**
3242 * Creates a new try/catch block and registers it with v8.
3243 */
3244 TryCatch();
3245
3246 /**
3247 * Unregisters and deletes this try/catch block.
3248 */
3249 ~TryCatch();
3250
3251 /**
3252 * Returns true if an exception has been caught by this try/catch block.
3253 */
3254 bool HasCaught() const;
3255
3256 /**
3257 * For certain types of exceptions, it makes no sense to continue
3258 * execution.
3259 *
3260 * Currently, the only type of exception that can be caught by a
3261 * TryCatch handler and for which it does not make sense to continue
3262 * is termination exception. Such exceptions are thrown when the
3263 * TerminateExecution methods are called to terminate a long-running
3264 * script.
3265 *
3266 * If CanContinue returns false, the correct action is to perform
3267 * any C++ cleanup needed and then return.
3268 */
3269 bool CanContinue() const;
3270
3271 /**
Steve Blockd0582a62009-12-15 09:54:21 +00003272 * Throws the exception caught by this TryCatch in a way that avoids
3273 * it being caught again by this same TryCatch. As with ThrowException
3274 * it is illegal to execute any JavaScript operations after calling
3275 * ReThrow; the caller must return immediately to where the exception
3276 * is caught.
3277 */
3278 Handle<Value> ReThrow();
3279
3280 /**
Steve Blocka7e24c12009-10-30 11:49:00 +00003281 * Returns the exception caught by this try/catch block. If no exception has
3282 * been caught an empty handle is returned.
3283 *
3284 * The returned handle is valid until this TryCatch block has been destroyed.
3285 */
3286 Local<Value> Exception() const;
3287
3288 /**
3289 * Returns the .stack property of the thrown object. If no .stack
3290 * property is present an empty handle is returned.
3291 */
3292 Local<Value> StackTrace() const;
3293
3294 /**
3295 * Returns the message associated with this exception. If there is
3296 * no message associated an empty handle is returned.
3297 *
3298 * The returned handle is valid until this TryCatch block has been
3299 * destroyed.
3300 */
3301 Local<v8::Message> Message() const;
3302
3303 /**
3304 * Clears any exceptions that may have been caught by this try/catch block.
3305 * After this method has been called, HasCaught() will return false.
3306 *
3307 * It is not necessary to clear a try/catch block before using it again; if
3308 * another exception is thrown the previously caught exception will just be
3309 * overwritten. However, it is often a good idea since it makes it easier
3310 * to determine which operation threw a given exception.
3311 */
3312 void Reset();
3313
3314 /**
3315 * Set verbosity of the external exception handler.
3316 *
3317 * By default, exceptions that are caught by an external exception
3318 * handler are not reported. Call SetVerbose with true on an
3319 * external exception handler to have exceptions caught by the
3320 * handler reported as if they were not caught.
3321 */
3322 void SetVerbose(bool value);
3323
3324 /**
3325 * Set whether or not this TryCatch should capture a Message object
3326 * which holds source information about where the exception
3327 * occurred. True by default.
3328 */
3329 void SetCaptureMessage(bool value);
3330
Steve Blockd0582a62009-12-15 09:54:21 +00003331 private:
Ben Murdoch3fb3ca82011-12-02 17:19:32 +00003332 v8::internal::Isolate* isolate_;
Steve Blockd0582a62009-12-15 09:54:21 +00003333 void* next_;
Steve Blocka7e24c12009-10-30 11:49:00 +00003334 void* exception_;
3335 void* message_;
Steve Blockd0582a62009-12-15 09:54:21 +00003336 bool is_verbose_ : 1;
3337 bool can_continue_ : 1;
3338 bool capture_message_ : 1;
3339 bool rethrow_ : 1;
3340
Steve Block44f0eee2011-05-26 01:26:41 +01003341 friend class v8::internal::Isolate;
Steve Blocka7e24c12009-10-30 11:49:00 +00003342};
3343
3344
Ben Murdoch257744e2011-11-30 15:57:28 +00003345// --- Context ---
Steve Blocka7e24c12009-10-30 11:49:00 +00003346
3347
3348/**
3349 * Ignore
3350 */
3351class V8EXPORT ExtensionConfiguration {
3352 public:
3353 ExtensionConfiguration(int name_count, const char* names[])
3354 : name_count_(name_count), names_(names) { }
3355 private:
3356 friend class ImplementationUtilities;
3357 int name_count_;
3358 const char** names_;
3359};
3360
3361
3362/**
3363 * A sandboxed execution context with its own set of built-in objects
3364 * and functions.
3365 */
3366class V8EXPORT Context {
3367 public:
Steve Block1e0659c2011-05-24 12:43:12 +01003368 /**
3369 * Returns the global proxy object or global object itself for
3370 * detached contexts.
3371 *
3372 * Global proxy object is a thin wrapper whose prototype points to
3373 * actual context's global object with the properties like Object, etc.
3374 * This is done that way for security reasons (for more details see
3375 * https://wiki.mozilla.org/Gecko:SplitWindow).
3376 *
3377 * Please note that changes to global proxy object prototype most probably
3378 * would break VM---v8 expects only global object as a prototype of
3379 * global proxy object.
3380 *
3381 * If DetachGlobal() has been invoked, Global() would return actual global
3382 * object until global is reattached with ReattachGlobal().
3383 */
Steve Blocka7e24c12009-10-30 11:49:00 +00003384 Local<Object> Global();
3385
3386 /**
3387 * Detaches the global object from its context before
3388 * the global object can be reused to create a new context.
3389 */
3390 void DetachGlobal();
3391
Andrei Popescu74b3c142010-03-29 12:03:09 +01003392 /**
3393 * Reattaches a global object to a context. This can be used to
3394 * restore the connection between a global object and a context
3395 * after DetachGlobal has been called.
3396 *
3397 * \param global_object The global object to reattach to the
3398 * context. For this to work, the global object must be the global
3399 * object that was associated with this context before a call to
3400 * DetachGlobal.
3401 */
3402 void ReattachGlobal(Handle<Object> global_object);
3403
Leon Clarkef7060e22010-06-03 12:02:55 +01003404 /** Creates a new context.
3405 *
3406 * Returns a persistent handle to the newly allocated context. This
3407 * persistent handle has to be disposed when the context is no
3408 * longer used so the context can be garbage collected.
Steve Block9fac8402011-05-12 15:51:54 +01003409 *
3410 * \param extensions An optional extension configuration containing
3411 * the extensions to be installed in the newly created context.
3412 *
3413 * \param global_template An optional object template from which the
3414 * global object for the newly created context will be created.
3415 *
3416 * \param global_object An optional global object to be reused for
3417 * the newly created context. This global object must have been
3418 * created by a previous call to Context::New with the same global
3419 * template. The state of the global object will be completely reset
3420 * and only object identify will remain.
Leon Clarkef7060e22010-06-03 12:02:55 +01003421 */
Steve Blocka7e24c12009-10-30 11:49:00 +00003422 static Persistent<Context> New(
Andrei Popescu31002712010-02-23 13:46:05 +00003423 ExtensionConfiguration* extensions = NULL,
Steve Blocka7e24c12009-10-30 11:49:00 +00003424 Handle<ObjectTemplate> global_template = Handle<ObjectTemplate>(),
3425 Handle<Value> global_object = Handle<Value>());
3426
3427 /** Returns the last entered context. */
3428 static Local<Context> GetEntered();
3429
3430 /** Returns the context that is on the top of the stack. */
3431 static Local<Context> GetCurrent();
3432
3433 /**
3434 * Returns the context of the calling JavaScript code. That is the
3435 * context of the top-most JavaScript frame. If there are no
3436 * JavaScript frames an empty handle is returned.
3437 */
3438 static Local<Context> GetCalling();
3439
3440 /**
3441 * Sets the security token for the context. To access an object in
3442 * another context, the security tokens must match.
3443 */
3444 void SetSecurityToken(Handle<Value> token);
3445
3446 /** Restores the security token to the default value. */
3447 void UseDefaultSecurityToken();
3448
3449 /** Returns the security token of this context.*/
3450 Handle<Value> GetSecurityToken();
3451
3452 /**
3453 * Enter this context. After entering a context, all code compiled
3454 * and run is compiled and run in this context. If another context
3455 * is already entered, this old context is saved so it can be
3456 * restored when the new context is exited.
3457 */
3458 void Enter();
3459
3460 /**
3461 * Exit this context. Exiting the current context restores the
3462 * context that was in place when entering the current context.
3463 */
3464 void Exit();
3465
3466 /** Returns true if the context has experienced an out of memory situation. */
3467 bool HasOutOfMemoryException();
3468
3469 /** Returns true if V8 has a current context. */
3470 static bool InContext();
3471
3472 /**
3473 * Associate an additional data object with the context. This is mainly used
3474 * with the debugger to provide additional information on the context through
3475 * the debugger API.
3476 */
Steve Blockd0582a62009-12-15 09:54:21 +00003477 void SetData(Handle<String> data);
Steve Blocka7e24c12009-10-30 11:49:00 +00003478 Local<Value> GetData();
3479
3480 /**
Ben Murdoch257744e2011-11-30 15:57:28 +00003481 * Control whether code generation from strings is allowed. Calling
3482 * this method with false will disable 'eval' and the 'Function'
3483 * constructor for code running in this context. If 'eval' or the
3484 * 'Function' constructor are used an exception will be thrown.
3485 *
3486 * If code generation from strings is not allowed the
3487 * V8::AllowCodeGenerationFromStrings callback will be invoked if
3488 * set before blocking the call to 'eval' or the 'Function'
3489 * constructor. If that callback returns true, the call will be
3490 * allowed, otherwise an exception will be thrown. If no callback is
3491 * set an exception will be thrown.
3492 */
3493 void AllowCodeGenerationFromStrings(bool allow);
3494
3495 /**
Steve Blocka7e24c12009-10-30 11:49:00 +00003496 * Stack-allocated class which sets the execution context for all
3497 * operations executed within a local scope.
3498 */
Steve Block8defd9f2010-07-08 12:39:36 +01003499 class Scope {
Steve Blocka7e24c12009-10-30 11:49:00 +00003500 public:
Ben Murdoch8b112d22011-06-08 16:22:53 +01003501 explicit inline Scope(Handle<Context> context) : context_(context) {
Steve Blocka7e24c12009-10-30 11:49:00 +00003502 context_->Enter();
3503 }
3504 inline ~Scope() { context_->Exit(); }
3505 private:
3506 Handle<Context> context_;
3507 };
3508
3509 private:
3510 friend class Value;
3511 friend class Script;
3512 friend class Object;
3513 friend class Function;
3514};
3515
3516
3517/**
3518 * Multiple threads in V8 are allowed, but only one thread at a time
Steve Block44f0eee2011-05-26 01:26:41 +01003519 * is allowed to use any given V8 isolate. See Isolate class
3520 * comments. The definition of 'using V8 isolate' includes
3521 * accessing handles or holding onto object pointers obtained
3522 * from V8 handles while in the particular V8 isolate. It is up
3523 * to the user of V8 to ensure (perhaps with locking) that this
3524 * constraint is not violated.
Steve Blocka7e24c12009-10-30 11:49:00 +00003525 *
Ben Murdoch257744e2011-11-30 15:57:28 +00003526 * v8::Locker is a scoped lock object. While it's
3527 * active (i.e. between its construction and destruction) the current thread is
Ben Murdoch592a9fc2012-03-05 11:04:45 +00003528 * allowed to use the locked isolate. V8 guarantees that an isolate can be
3529 * locked by at most one thread at any time. In other words, the scope of a
3530 * v8::Locker is a critical section.
Steve Block44f0eee2011-05-26 01:26:41 +01003531 *
Ben Murdoch257744e2011-11-30 15:57:28 +00003532 * Sample usage:
3533* \code
Steve Blocka7e24c12009-10-30 11:49:00 +00003534 * ...
3535 * {
Ben Murdoch257744e2011-11-30 15:57:28 +00003536 * v8::Locker locker(isolate);
3537 * v8::Isolate::Scope isolate_scope(isolate);
Steve Blocka7e24c12009-10-30 11:49:00 +00003538 * ...
Ben Murdoch257744e2011-11-30 15:57:28 +00003539 * // Code using V8 and isolate goes here.
Steve Blocka7e24c12009-10-30 11:49:00 +00003540 * ...
3541 * } // Destructor called here
3542 * \endcode
3543 *
Ben Murdoch257744e2011-11-30 15:57:28 +00003544 * If you wish to stop using V8 in a thread A you can do this either
Steve Blocka7e24c12009-10-30 11:49:00 +00003545 * by destroying the v8::Locker object as above or by constructing a
3546 * v8::Unlocker object:
3547 *
3548 * \code
3549 * {
Ben Murdoch257744e2011-11-30 15:57:28 +00003550 * isolate->Exit();
3551 * v8::Unlocker unlocker(isolate);
Steve Blocka7e24c12009-10-30 11:49:00 +00003552 * ...
3553 * // Code not using V8 goes here while V8 can run in another thread.
3554 * ...
3555 * } // Destructor called here.
Ben Murdoch257744e2011-11-30 15:57:28 +00003556 * isolate->Enter();
Steve Blocka7e24c12009-10-30 11:49:00 +00003557 * \endcode
3558 *
3559 * The Unlocker object is intended for use in a long-running callback
3560 * from V8, where you want to release the V8 lock for other threads to
3561 * use.
3562 *
3563 * The v8::Locker is a recursive lock. That is, you can lock more than
3564 * once in a given thread. This can be useful if you have code that can
3565 * be called either from code that holds the lock or from code that does
3566 * not. The Unlocker is not recursive so you can not have several
3567 * Unlockers on the stack at once, and you can not use an Unlocker in a
3568 * thread that is not inside a Locker's scope.
3569 *
3570 * An unlocker will unlock several lockers if it has to and reinstate
3571 * the correct depth of locking on its destruction. eg.:
3572 *
3573 * \code
3574 * // V8 not locked.
3575 * {
Ben Murdoch257744e2011-11-30 15:57:28 +00003576 * v8::Locker locker(isolate);
3577 * Isolate::Scope isolate_scope(isolate);
Steve Blocka7e24c12009-10-30 11:49:00 +00003578 * // V8 locked.
3579 * {
Ben Murdoch257744e2011-11-30 15:57:28 +00003580 * v8::Locker another_locker(isolate);
Steve Blocka7e24c12009-10-30 11:49:00 +00003581 * // V8 still locked (2 levels).
3582 * {
Ben Murdoch257744e2011-11-30 15:57:28 +00003583 * isolate->Exit();
3584 * v8::Unlocker unlocker(isolate);
Steve Blocka7e24c12009-10-30 11:49:00 +00003585 * // V8 not locked.
3586 * }
Ben Murdoch257744e2011-11-30 15:57:28 +00003587 * isolate->Enter();
Steve Blocka7e24c12009-10-30 11:49:00 +00003588 * // V8 locked again (2 levels).
3589 * }
3590 * // V8 still locked (1 level).
3591 * }
3592 * // V8 Now no longer locked.
3593 * \endcode
Ben Murdoch257744e2011-11-30 15:57:28 +00003594 *
Ben Murdoch589d6972011-11-30 16:04:58 +00003595 *
Steve Blocka7e24c12009-10-30 11:49:00 +00003596 */
3597class V8EXPORT Unlocker {
3598 public:
Ben Murdoch257744e2011-11-30 15:57:28 +00003599 /**
3600 * Initialize Unlocker for a given Isolate. NULL means default isolate.
3601 */
3602 explicit Unlocker(Isolate* isolate = NULL);
Steve Blocka7e24c12009-10-30 11:49:00 +00003603 ~Unlocker();
Ben Murdoch257744e2011-11-30 15:57:28 +00003604 private:
3605 internal::Isolate* isolate_;
Steve Blocka7e24c12009-10-30 11:49:00 +00003606};
3607
3608
3609class V8EXPORT Locker {
3610 public:
Ben Murdoch257744e2011-11-30 15:57:28 +00003611 /**
3612 * Initialize Locker for a given Isolate. NULL means default isolate.
3613 */
3614 explicit Locker(Isolate* isolate = NULL);
Steve Blocka7e24c12009-10-30 11:49:00 +00003615 ~Locker();
3616
3617 /**
3618 * Start preemption.
3619 *
Ben Murdoch257744e2011-11-30 15:57:28 +00003620 * When preemption is started, a timer is fired every n milliseconds
Steve Blocka7e24c12009-10-30 11:49:00 +00003621 * that will switch between multiple threads that are in contention
3622 * for the V8 lock.
3623 */
3624 static void StartPreemption(int every_n_ms);
3625
3626 /**
3627 * Stop preemption.
3628 */
3629 static void StopPreemption();
3630
3631 /**
Ben Murdoch592a9fc2012-03-05 11:04:45 +00003632 * Returns whether or not the locker for a given isolate, or default isolate
3633 * if NULL is given, is locked by the current thread.
Steve Blocka7e24c12009-10-30 11:49:00 +00003634 */
Ben Murdoch257744e2011-11-30 15:57:28 +00003635 static bool IsLocked(Isolate* isolate = NULL);
Steve Blocka7e24c12009-10-30 11:49:00 +00003636
3637 /**
3638 * Returns whether v8::Locker is being used by this V8 instance.
3639 */
Ben Murdoch69a99ed2011-11-30 16:03:39 +00003640 static bool IsActive();
Steve Blocka7e24c12009-10-30 11:49:00 +00003641
3642 private:
3643 bool has_lock_;
3644 bool top_level_;
Ben Murdoch257744e2011-11-30 15:57:28 +00003645 internal::Isolate* isolate_;
Steve Blocka7e24c12009-10-30 11:49:00 +00003646
3647 static bool active_;
3648
3649 // Disallow copying and assigning.
3650 Locker(const Locker&);
3651 void operator=(const Locker&);
3652};
3653
3654
Kristian Monsen0d5e1162010-09-30 15:31:59 +01003655/**
3656 * An interface for exporting data from V8, using "push" model.
3657 */
Teng-Hui Zhu3e5fa292010-11-09 16:16:48 -08003658class V8EXPORT OutputStream { // NOLINT
3659 public:
Kristian Monsen0d5e1162010-09-30 15:31:59 +01003660 enum OutputEncoding {
3661 kAscii = 0 // 7-bit ASCII.
3662 };
3663 enum WriteResult {
3664 kContinue = 0,
3665 kAbort = 1
3666 };
3667 virtual ~OutputStream() {}
3668 /** Notify about the end of stream. */
3669 virtual void EndOfStream() = 0;
3670 /** Get preferred output chunk size. Called only once. */
3671 virtual int GetChunkSize() { return 1024; }
3672 /** Get preferred output encoding. Called only once. */
3673 virtual OutputEncoding GetOutputEncoding() { return kAscii; }
3674 /**
3675 * Writes the next chunk of snapshot data into the stream. Writing
3676 * can be stopped by returning kAbort as function result. EndOfStream
3677 * will not be called in case writing was aborted.
3678 */
3679 virtual WriteResult WriteAsciiChunk(char* data, int size) = 0;
3680};
3681
3682
Ben Murdochb0fe1622011-05-05 13:52:32 +01003683/**
3684 * An interface for reporting progress and controlling long-running
3685 * activities.
3686 */
3687class V8EXPORT ActivityControl { // NOLINT
3688 public:
3689 enum ControlOption {
3690 kContinue = 0,
3691 kAbort = 1
3692 };
3693 virtual ~ActivityControl() {}
3694 /**
3695 * Notify about current progress. The activity can be stopped by
3696 * returning kAbort as the callback result.
3697 */
3698 virtual ControlOption ReportProgressValue(int done, int total) = 0;
3699};
3700
Steve Blocka7e24c12009-10-30 11:49:00 +00003701
Ben Murdoch257744e2011-11-30 15:57:28 +00003702// --- Implementation ---
Steve Blocka7e24c12009-10-30 11:49:00 +00003703
3704
3705namespace internal {
3706
Ben Murdoch592a9fc2012-03-05 11:04:45 +00003707const int kApiPointerSize = sizeof(void*); // NOLINT
3708const int kApiIntSize = sizeof(int); // NOLINT
Steve Blocka7e24c12009-10-30 11:49:00 +00003709
3710// Tag information for HeapObject.
3711const int kHeapObjectTag = 1;
3712const int kHeapObjectTagSize = 2;
3713const intptr_t kHeapObjectTagMask = (1 << kHeapObjectTagSize) - 1;
3714
Steve Blocka7e24c12009-10-30 11:49:00 +00003715// Tag information for Smi.
3716const int kSmiTag = 0;
3717const int kSmiTagSize = 1;
3718const intptr_t kSmiTagMask = (1 << kSmiTagSize) - 1;
3719
Ben Murdochb8e0da22011-05-16 14:20:40 +01003720template <size_t ptr_size> struct SmiTagging;
Steve Block3ce2e202009-11-05 08:53:23 +00003721
3722// Smi constants for 32-bit systems.
Ben Murdochb8e0da22011-05-16 14:20:40 +01003723template <> struct SmiTagging<4> {
Steve Block3ce2e202009-11-05 08:53:23 +00003724 static const int kSmiShiftSize = 0;
3725 static const int kSmiValueSize = 31;
3726 static inline int SmiToInt(internal::Object* value) {
3727 int shift_bits = kSmiTagSize + kSmiShiftSize;
3728 // Throw away top 32 bits and shift down (requires >> to be sign extending).
3729 return static_cast<int>(reinterpret_cast<intptr_t>(value)) >> shift_bits;
3730 }
Ben Murdochb8e0da22011-05-16 14:20:40 +01003731
3732 // For 32-bit systems any 2 bytes aligned pointer can be encoded as smi
3733 // with a plain reinterpret_cast.
Steve Block1e0659c2011-05-24 12:43:12 +01003734 static const uintptr_t kEncodablePointerMask = 0x1;
Ben Murdochb8e0da22011-05-16 14:20:40 +01003735 static const int kPointerToSmiShift = 0;
Steve Block3ce2e202009-11-05 08:53:23 +00003736};
3737
3738// Smi constants for 64-bit systems.
Ben Murdochb8e0da22011-05-16 14:20:40 +01003739template <> struct SmiTagging<8> {
Steve Block3ce2e202009-11-05 08:53:23 +00003740 static const int kSmiShiftSize = 31;
3741 static const int kSmiValueSize = 32;
3742 static inline int SmiToInt(internal::Object* value) {
3743 int shift_bits = kSmiTagSize + kSmiShiftSize;
3744 // Shift down and throw away top 32 bits.
3745 return static_cast<int>(reinterpret_cast<intptr_t>(value) >> shift_bits);
3746 }
Ben Murdochb8e0da22011-05-16 14:20:40 +01003747
3748 // To maximize the range of pointers that can be encoded
3749 // in the available 32 bits, we require them to be 8 bytes aligned.
3750 // This gives 2 ^ (32 + 3) = 32G address space covered.
3751 // It might be not enough to cover stack allocated objects on some platforms.
3752 static const int kPointerAlignment = 3;
3753
Steve Block1e0659c2011-05-24 12:43:12 +01003754 static const uintptr_t kEncodablePointerMask =
3755 ~(uintptr_t(0xffffffff) << kPointerAlignment);
Ben Murdochb8e0da22011-05-16 14:20:40 +01003756
3757 static const int kPointerToSmiShift =
3758 kSmiTagSize + kSmiShiftSize - kPointerAlignment;
Steve Block3ce2e202009-11-05 08:53:23 +00003759};
3760
Ben Murdochb8e0da22011-05-16 14:20:40 +01003761typedef SmiTagging<kApiPointerSize> PlatformSmiTagging;
3762const int kSmiShiftSize = PlatformSmiTagging::kSmiShiftSize;
3763const int kSmiValueSize = PlatformSmiTagging::kSmiValueSize;
Steve Block1e0659c2011-05-24 12:43:12 +01003764const uintptr_t kEncodablePointerMask =
Ben Murdochb8e0da22011-05-16 14:20:40 +01003765 PlatformSmiTagging::kEncodablePointerMask;
3766const int kPointerToSmiShift = PlatformSmiTagging::kPointerToSmiShift;
Steve Blocka7e24c12009-10-30 11:49:00 +00003767
Steve Blockd0582a62009-12-15 09:54:21 +00003768template <size_t ptr_size> struct InternalConstants;
3769
3770// Internal constants for 32-bit systems.
3771template <> struct InternalConstants<4> {
Shimeng (Simon) Wang8a31eba2010-12-06 19:01:33 -08003772 static const int kStringResourceOffset = 3 * kApiPointerSize;
Steve Blockd0582a62009-12-15 09:54:21 +00003773};
3774
3775// Internal constants for 64-bit systems.
3776template <> struct InternalConstants<8> {
Shimeng (Simon) Wang8a31eba2010-12-06 19:01:33 -08003777 static const int kStringResourceOffset = 3 * kApiPointerSize;
Steve Blockd0582a62009-12-15 09:54:21 +00003778};
3779
Steve Blocka7e24c12009-10-30 11:49:00 +00003780/**
3781 * This class exports constants and functionality from within v8 that
3782 * is necessary to implement inline functions in the v8 api. Don't
3783 * depend on functions and constants defined here.
3784 */
3785class Internals {
3786 public:
Steve Blocka7e24c12009-10-30 11:49:00 +00003787 // These values match non-compiler-dependent values defined within
3788 // the implementation of v8.
3789 static const int kHeapObjectMapOffset = 0;
Steve Block44f0eee2011-05-26 01:26:41 +01003790 static const int kMapInstanceTypeOffset = 1 * kApiPointerSize + kApiIntSize;
Steve Blockd0582a62009-12-15 09:54:21 +00003791 static const int kStringResourceOffset =
Shimeng (Simon) Wang8a31eba2010-12-06 19:01:33 -08003792 InternalConstants<kApiPointerSize>::kStringResourceOffset;
Steve Blockd0582a62009-12-15 09:54:21 +00003793
Ben Murdoch257744e2011-11-30 15:57:28 +00003794 static const int kForeignAddressOffset = kApiPointerSize;
Shimeng (Simon) Wang8a31eba2010-12-06 19:01:33 -08003795 static const int kJSObjectHeaderSize = 3 * kApiPointerSize;
Steve Blocka7e24c12009-10-30 11:49:00 +00003796 static const int kFullStringRepresentationMask = 0x07;
Ben Murdoch7f4d5bd2010-06-15 11:15:29 +01003797 static const int kExternalTwoByteRepresentationTag = 0x02;
Steve Blocka7e24c12009-10-30 11:49:00 +00003798
Ben Murdoch592a9fc2012-03-05 11:04:45 +00003799 static const int kJSObjectType = 0xa6;
Kristian Monsen9dcf7e22010-06-28 14:14:28 +01003800 static const int kFirstNonstringType = 0x80;
Ben Murdoch257744e2011-11-30 15:57:28 +00003801 static const int kForeignType = 0x85;
Steve Blocka7e24c12009-10-30 11:49:00 +00003802
3803 static inline bool HasHeapObjectTag(internal::Object* value) {
3804 return ((reinterpret_cast<intptr_t>(value) & kHeapObjectTagMask) ==
3805 kHeapObjectTag);
3806 }
3807
3808 static inline bool HasSmiTag(internal::Object* value) {
3809 return ((reinterpret_cast<intptr_t>(value) & kSmiTagMask) == kSmiTag);
3810 }
3811
3812 static inline int SmiValue(internal::Object* value) {
Ben Murdochb8e0da22011-05-16 14:20:40 +01003813 return PlatformSmiTagging::SmiToInt(value);
Steve Block3ce2e202009-11-05 08:53:23 +00003814 }
3815
3816 static inline int GetInstanceType(internal::Object* obj) {
3817 typedef internal::Object O;
3818 O* map = ReadField<O*>(obj, kHeapObjectMapOffset);
3819 return ReadField<uint8_t>(map, kMapInstanceTypeOffset);
3820 }
3821
Ben Murdochb8e0da22011-05-16 14:20:40 +01003822 static inline void* GetExternalPointerFromSmi(internal::Object* value) {
Steve Block1e0659c2011-05-24 12:43:12 +01003823 const uintptr_t address = reinterpret_cast<uintptr_t>(value);
Ben Murdochb8e0da22011-05-16 14:20:40 +01003824 return reinterpret_cast<void*>(address >> kPointerToSmiShift);
3825 }
3826
Steve Block3ce2e202009-11-05 08:53:23 +00003827 static inline void* GetExternalPointer(internal::Object* obj) {
3828 if (HasSmiTag(obj)) {
Ben Murdochb8e0da22011-05-16 14:20:40 +01003829 return GetExternalPointerFromSmi(obj);
Ben Murdoch257744e2011-11-30 15:57:28 +00003830 } else if (GetInstanceType(obj) == kForeignType) {
3831 return ReadField<void*>(obj, kForeignAddressOffset);
Steve Block3ce2e202009-11-05 08:53:23 +00003832 } else {
3833 return NULL;
3834 }
Steve Blocka7e24c12009-10-30 11:49:00 +00003835 }
3836
3837 static inline bool IsExternalTwoByteString(int instance_type) {
3838 int representation = (instance_type & kFullStringRepresentationMask);
3839 return representation == kExternalTwoByteRepresentationTag;
3840 }
3841
3842 template <typename T>
3843 static inline T ReadField(Object* ptr, int offset) {
3844 uint8_t* addr = reinterpret_cast<uint8_t*>(ptr) + offset - kHeapObjectTag;
3845 return *reinterpret_cast<T*>(addr);
3846 }
Steve Block44f0eee2011-05-26 01:26:41 +01003847
3848 static inline bool CanCastToHeapObject(void* o) { return false; }
3849 static inline bool CanCastToHeapObject(Context* o) { return true; }
3850 static inline bool CanCastToHeapObject(String* o) { return true; }
3851 static inline bool CanCastToHeapObject(Object* o) { return true; }
3852 static inline bool CanCastToHeapObject(Message* o) { return true; }
3853 static inline bool CanCastToHeapObject(StackTrace* o) { return true; }
3854 static inline bool CanCastToHeapObject(StackFrame* o) { return true; }
Steve Blocka7e24c12009-10-30 11:49:00 +00003855};
3856
Teng-Hui Zhu3e5fa292010-11-09 16:16:48 -08003857} // namespace internal
Steve Blocka7e24c12009-10-30 11:49:00 +00003858
3859
3860template <class T>
Steve Blocka7e24c12009-10-30 11:49:00 +00003861Local<T>::Local() : Handle<T>() { }
3862
3863
3864template <class T>
3865Local<T> Local<T>::New(Handle<T> that) {
3866 if (that.IsEmpty()) return Local<T>();
Steve Block44f0eee2011-05-26 01:26:41 +01003867 T* that_ptr = *that;
3868 internal::Object** p = reinterpret_cast<internal::Object**>(that_ptr);
3869 if (internal::Internals::CanCastToHeapObject(that_ptr)) {
3870 return Local<T>(reinterpret_cast<T*>(HandleScope::CreateHandle(
3871 reinterpret_cast<internal::HeapObject*>(*p))));
3872 }
Steve Blocka7e24c12009-10-30 11:49:00 +00003873 return Local<T>(reinterpret_cast<T*>(HandleScope::CreateHandle(*p)));
3874}
3875
3876
3877template <class T>
3878Persistent<T> Persistent<T>::New(Handle<T> that) {
3879 if (that.IsEmpty()) return Persistent<T>();
3880 internal::Object** p = reinterpret_cast<internal::Object**>(*that);
3881 return Persistent<T>(reinterpret_cast<T*>(V8::GlobalizeReference(p)));
3882}
3883
3884
3885template <class T>
3886bool Persistent<T>::IsNearDeath() const {
3887 if (this->IsEmpty()) return false;
3888 return V8::IsGlobalNearDeath(reinterpret_cast<internal::Object**>(**this));
3889}
3890
3891
3892template <class T>
3893bool Persistent<T>::IsWeak() const {
3894 if (this->IsEmpty()) return false;
3895 return V8::IsGlobalWeak(reinterpret_cast<internal::Object**>(**this));
3896}
3897
3898
3899template <class T>
3900void Persistent<T>::Dispose() {
3901 if (this->IsEmpty()) return;
3902 V8::DisposeGlobal(reinterpret_cast<internal::Object**>(**this));
3903}
3904
3905
3906template <class T>
3907Persistent<T>::Persistent() : Handle<T>() { }
3908
3909template <class T>
3910void Persistent<T>::MakeWeak(void* parameters, WeakReferenceCallback callback) {
3911 V8::MakeWeak(reinterpret_cast<internal::Object**>(**this),
3912 parameters,
3913 callback);
3914}
3915
3916template <class T>
3917void Persistent<T>::ClearWeak() {
3918 V8::ClearWeak(reinterpret_cast<internal::Object**>(**this));
3919}
3920
Steve Block44f0eee2011-05-26 01:26:41 +01003921template <class T>
Ben Murdoch257744e2011-11-30 15:57:28 +00003922void Persistent<T>::MarkIndependent() {
3923 V8::MarkIndependent(reinterpret_cast<internal::Object**>(**this));
3924}
3925
3926template <class T>
Steve Block44f0eee2011-05-26 01:26:41 +01003927void Persistent<T>::SetWrapperClassId(uint16_t class_id) {
3928 V8::SetWrapperClassId(reinterpret_cast<internal::Object**>(**this), class_id);
3929}
Steve Block8defd9f2010-07-08 12:39:36 +01003930
Teng-Hui Zhu3e5fa292010-11-09 16:16:48 -08003931Arguments::Arguments(internal::Object** implicit_args,
3932 internal::Object** values, int length,
3933 bool is_construct_call)
3934 : implicit_args_(implicit_args),
3935 values_(values),
3936 length_(length),
3937 is_construct_call_(is_construct_call) { }
Steve Block8defd9f2010-07-08 12:39:36 +01003938
3939
Steve Blocka7e24c12009-10-30 11:49:00 +00003940Local<Value> Arguments::operator[](int i) const {
3941 if (i < 0 || length_ <= i) return Local<Value>(*Undefined());
3942 return Local<Value>(reinterpret_cast<Value*>(values_ - i));
3943}
3944
3945
3946Local<Function> Arguments::Callee() const {
Teng-Hui Zhu3e5fa292010-11-09 16:16:48 -08003947 return Local<Function>(reinterpret_cast<Function*>(
3948 &implicit_args_[kCalleeIndex]));
Steve Blocka7e24c12009-10-30 11:49:00 +00003949}
3950
3951
3952Local<Object> Arguments::This() const {
3953 return Local<Object>(reinterpret_cast<Object*>(values_ + 1));
3954}
3955
3956
3957Local<Object> Arguments::Holder() const {
Teng-Hui Zhu3e5fa292010-11-09 16:16:48 -08003958 return Local<Object>(reinterpret_cast<Object*>(
3959 &implicit_args_[kHolderIndex]));
Steve Blocka7e24c12009-10-30 11:49:00 +00003960}
3961
3962
3963Local<Value> Arguments::Data() const {
Teng-Hui Zhu3e5fa292010-11-09 16:16:48 -08003964 return Local<Value>(reinterpret_cast<Value*>(&implicit_args_[kDataIndex]));
Steve Blocka7e24c12009-10-30 11:49:00 +00003965}
3966
3967
3968bool Arguments::IsConstructCall() const {
3969 return is_construct_call_;
3970}
3971
3972
3973int Arguments::Length() const {
3974 return length_;
3975}
3976
3977
3978template <class T>
3979Local<T> HandleScope::Close(Handle<T> value) {
3980 internal::Object** before = reinterpret_cast<internal::Object**>(*value);
3981 internal::Object** after = RawClose(before);
3982 return Local<T>(reinterpret_cast<T*>(after));
3983}
3984
3985Handle<Value> ScriptOrigin::ResourceName() const {
3986 return resource_name_;
3987}
3988
3989
3990Handle<Integer> ScriptOrigin::ResourceLineOffset() const {
3991 return resource_line_offset_;
3992}
3993
3994
3995Handle<Integer> ScriptOrigin::ResourceColumnOffset() const {
3996 return resource_column_offset_;
3997}
3998
3999
4000Handle<Boolean> Boolean::New(bool value) {
4001 return value ? True() : False();
4002}
4003
4004
4005void Template::Set(const char* name, v8::Handle<Data> value) {
4006 Set(v8::String::New(name), value);
4007}
4008
4009
4010Local<Value> Object::GetInternalField(int index) {
4011#ifndef V8_ENABLE_CHECKS
4012 Local<Value> quick_result = UncheckedGetInternalField(index);
4013 if (!quick_result.IsEmpty()) return quick_result;
4014#endif
4015 return CheckedGetInternalField(index);
4016}
4017
4018
4019Local<Value> Object::UncheckedGetInternalField(int index) {
4020 typedef internal::Object O;
4021 typedef internal::Internals I;
4022 O* obj = *reinterpret_cast<O**>(this);
Steve Block3ce2e202009-11-05 08:53:23 +00004023 if (I::GetInstanceType(obj) == I::kJSObjectType) {
Steve Blocka7e24c12009-10-30 11:49:00 +00004024 // If the object is a plain JSObject, which is the common case,
4025 // we know where to find the internal fields and can return the
4026 // value directly.
Shimeng (Simon) Wang8a31eba2010-12-06 19:01:33 -08004027 int offset = I::kJSObjectHeaderSize + (internal::kApiPointerSize * index);
Steve Blocka7e24c12009-10-30 11:49:00 +00004028 O* value = I::ReadField<O*>(obj, offset);
4029 O** result = HandleScope::CreateHandle(value);
4030 return Local<Value>(reinterpret_cast<Value*>(result));
4031 } else {
4032 return Local<Value>();
4033 }
4034}
4035
4036
4037void* External::Unwrap(Handle<v8::Value> obj) {
4038#ifdef V8_ENABLE_CHECKS
4039 return FullUnwrap(obj);
4040#else
4041 return QuickUnwrap(obj);
4042#endif
4043}
4044
4045
4046void* External::QuickUnwrap(Handle<v8::Value> wrapper) {
4047 typedef internal::Object O;
Steve Blocka7e24c12009-10-30 11:49:00 +00004048 O* obj = *reinterpret_cast<O**>(const_cast<v8::Value*>(*wrapper));
Steve Block3ce2e202009-11-05 08:53:23 +00004049 return internal::Internals::GetExternalPointer(obj);
Steve Blocka7e24c12009-10-30 11:49:00 +00004050}
4051
4052
4053void* Object::GetPointerFromInternalField(int index) {
Steve Block3ce2e202009-11-05 08:53:23 +00004054 typedef internal::Object O;
4055 typedef internal::Internals I;
4056
4057 O* obj = *reinterpret_cast<O**>(this);
4058
4059 if (I::GetInstanceType(obj) == I::kJSObjectType) {
4060 // If the object is a plain JSObject, which is the common case,
4061 // we know where to find the internal fields and can return the
4062 // value directly.
Shimeng (Simon) Wang8a31eba2010-12-06 19:01:33 -08004063 int offset = I::kJSObjectHeaderSize + (internal::kApiPointerSize * index);
Steve Block3ce2e202009-11-05 08:53:23 +00004064 O* value = I::ReadField<O*>(obj, offset);
4065 return I::GetExternalPointer(value);
4066 }
4067
4068 return SlowGetPointerFromInternalField(index);
Steve Blocka7e24c12009-10-30 11:49:00 +00004069}
4070
4071
4072String* String::Cast(v8::Value* value) {
4073#ifdef V8_ENABLE_CHECKS
4074 CheckCast(value);
4075#endif
4076 return static_cast<String*>(value);
4077}
4078
4079
4080String::ExternalStringResource* String::GetExternalStringResource() const {
4081 typedef internal::Object O;
4082 typedef internal::Internals I;
4083 O* obj = *reinterpret_cast<O**>(const_cast<String*>(this));
Steve Blocka7e24c12009-10-30 11:49:00 +00004084 String::ExternalStringResource* result;
Steve Block3ce2e202009-11-05 08:53:23 +00004085 if (I::IsExternalTwoByteString(I::GetInstanceType(obj))) {
Steve Blocka7e24c12009-10-30 11:49:00 +00004086 void* value = I::ReadField<void*>(obj, I::kStringResourceOffset);
4087 result = reinterpret_cast<String::ExternalStringResource*>(value);
4088 } else {
4089 result = NULL;
4090 }
4091#ifdef V8_ENABLE_CHECKS
4092 VerifyExternalStringResource(result);
4093#endif
4094 return result;
4095}
4096
4097
4098bool Value::IsString() const {
4099#ifdef V8_ENABLE_CHECKS
4100 return FullIsString();
4101#else
4102 return QuickIsString();
4103#endif
4104}
4105
4106bool Value::QuickIsString() const {
4107 typedef internal::Object O;
4108 typedef internal::Internals I;
4109 O* obj = *reinterpret_cast<O**>(const_cast<Value*>(this));
4110 if (!I::HasHeapObjectTag(obj)) return false;
Steve Block3ce2e202009-11-05 08:53:23 +00004111 return (I::GetInstanceType(obj) < I::kFirstNonstringType);
Steve Blocka7e24c12009-10-30 11:49:00 +00004112}
4113
4114
4115Number* Number::Cast(v8::Value* value) {
4116#ifdef V8_ENABLE_CHECKS
4117 CheckCast(value);
4118#endif
4119 return static_cast<Number*>(value);
4120}
4121
4122
4123Integer* Integer::Cast(v8::Value* value) {
4124#ifdef V8_ENABLE_CHECKS
4125 CheckCast(value);
4126#endif
4127 return static_cast<Integer*>(value);
4128}
4129
4130
4131Date* Date::Cast(v8::Value* value) {
4132#ifdef V8_ENABLE_CHECKS
4133 CheckCast(value);
4134#endif
4135 return static_cast<Date*>(value);
4136}
4137
4138
Ben Murdoch3fb3ca82011-12-02 17:19:32 +00004139StringObject* StringObject::Cast(v8::Value* value) {
4140#ifdef V8_ENABLE_CHECKS
4141 CheckCast(value);
4142#endif
4143 return static_cast<StringObject*>(value);
4144}
4145
4146
4147NumberObject* NumberObject::Cast(v8::Value* value) {
4148#ifdef V8_ENABLE_CHECKS
4149 CheckCast(value);
4150#endif
4151 return static_cast<NumberObject*>(value);
4152}
4153
4154
4155BooleanObject* BooleanObject::Cast(v8::Value* value) {
4156#ifdef V8_ENABLE_CHECKS
4157 CheckCast(value);
4158#endif
4159 return static_cast<BooleanObject*>(value);
4160}
4161
4162
Ben Murdochf87a2032010-10-22 12:50:53 +01004163RegExp* RegExp::Cast(v8::Value* value) {
4164#ifdef V8_ENABLE_CHECKS
4165 CheckCast(value);
4166#endif
4167 return static_cast<RegExp*>(value);
4168}
4169
4170
Steve Blocka7e24c12009-10-30 11:49:00 +00004171Object* Object::Cast(v8::Value* value) {
4172#ifdef V8_ENABLE_CHECKS
4173 CheckCast(value);
4174#endif
4175 return static_cast<Object*>(value);
4176}
4177
4178
4179Array* Array::Cast(v8::Value* value) {
4180#ifdef V8_ENABLE_CHECKS
4181 CheckCast(value);
4182#endif
4183 return static_cast<Array*>(value);
4184}
4185
4186
4187Function* Function::Cast(v8::Value* value) {
4188#ifdef V8_ENABLE_CHECKS
4189 CheckCast(value);
4190#endif
4191 return static_cast<Function*>(value);
4192}
4193
4194
4195External* External::Cast(v8::Value* value) {
4196#ifdef V8_ENABLE_CHECKS
4197 CheckCast(value);
4198#endif
4199 return static_cast<External*>(value);
4200}
4201
4202
4203Local<Value> AccessorInfo::Data() const {
Steve Block6ded16b2010-05-10 14:33:55 +01004204 return Local<Value>(reinterpret_cast<Value*>(&args_[-2]));
Steve Blocka7e24c12009-10-30 11:49:00 +00004205}
4206
4207
4208Local<Object> AccessorInfo::This() const {
4209 return Local<Object>(reinterpret_cast<Object*>(&args_[0]));
4210}
4211
4212
4213Local<Object> AccessorInfo::Holder() const {
4214 return Local<Object>(reinterpret_cast<Object*>(&args_[-1]));
4215}
4216
4217
4218/**
4219 * \example shell.cc
4220 * A simple shell that takes a list of expressions on the
4221 * command-line and executes them.
4222 */
4223
4224
4225/**
4226 * \example process.cc
4227 */
4228
4229
4230} // namespace v8
4231
4232
4233#undef V8EXPORT
Steve Blocka7e24c12009-10-30 11:49:00 +00004234#undef TYPE_CHECK
4235
4236
4237#endif // V8_H_