| Index: src/builtins.h
|
| diff --git a/src/builtins.h b/src/builtins.h
|
| index 9b589d843de90960bb5fa432c50a8c80337c6237..7e081ee8e4e0ea4f7b7ddfa96292ae481acc730f 100644
|
| --- a/src/builtins.h
|
| +++ b/src/builtins.h
|
| @@ -364,6 +364,11 @@ class Builtins {
|
| }
|
|
|
| static const char* GetName(JavaScript id) { return javascript_names_[id]; }
|
| + const char* name(int index) {
|
| + ASSERT(index >= 0);
|
| + ASSERT(index < builtin_count);
|
| + return names_[index];
|
| + }
|
| static int GetArgumentsCount(JavaScript id) { return javascript_argc_[id]; }
|
| Handle<Code> GetCode(JavaScript id, bool* resolved);
|
| static int NumberOfJavaScriptBuiltins() { return id_count; }
|
|
|