OLD | NEW |
1 // Copyright 2011 the V8 project authors. All rights reserved. | 1 // Copyright 2012 the V8 project authors. All rights reserved. |
2 // Redistribution and use in source and binary forms, with or without | 2 // Redistribution and use in source and binary forms, with or without |
3 // modification, are permitted provided that the following conditions are | 3 // modification, are permitted provided that the following conditions are |
4 // met: | 4 // met: |
5 // | 5 // |
6 // * Redistributions of source code must retain the above copyright | 6 // * Redistributions of source code must retain the above copyright |
7 // notice, this list of conditions and the following disclaimer. | 7 // notice, this list of conditions and the following disclaimer. |
8 // * Redistributions in binary form must reproduce the above | 8 // * Redistributions in binary form must reproduce the above |
9 // copyright notice, this list of conditions and the following | 9 // copyright notice, this list of conditions and the following |
10 // disclaimer in the documentation and/or other materials provided | 10 // disclaimer in the documentation and/or other materials provided |
11 // with the distribution. | 11 // with the distribution. |
(...skipping 96 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
108 // --------------------------------------------------------------------------- | 108 // --------------------------------------------------------------------------- |
109 // Declarations | 109 // Declarations |
110 | 110 |
111 // Lookup a variable in this scope. Returns the variable or NULL if not found. | 111 // Lookup a variable in this scope. Returns the variable or NULL if not found. |
112 Variable* LocalLookup(Handle<String> name); | 112 Variable* LocalLookup(Handle<String> name); |
113 | 113 |
114 // This lookup corresponds to a lookup in the "intermediate" scope sitting | 114 // This lookup corresponds to a lookup in the "intermediate" scope sitting |
115 // between this scope and the outer scope. (ECMA-262, 3rd., requires that | 115 // between this scope and the outer scope. (ECMA-262, 3rd., requires that |
116 // the name of named function literal is kept in an intermediate scope | 116 // the name of named function literal is kept in an intermediate scope |
117 // in between this scope and the next outer scope.) | 117 // in between this scope and the next outer scope.) |
118 Variable* LookupFunctionVar(Handle<String> name); | 118 Variable* LookupFunctionVar(Handle<String> name, AstNodeFactory* factory); |
119 | 119 |
120 // Lookup a variable in this scope or outer scopes. | 120 // Lookup a variable in this scope or outer scopes. |
121 // Returns the variable or NULL if not found. | 121 // Returns the variable or NULL if not found. |
122 Variable* Lookup(Handle<String> name); | 122 Variable* Lookup(Handle<String> name); |
123 | 123 |
124 // Declare the function variable for a function literal. This variable | 124 // Declare the function variable for a function literal. This variable |
125 // is in an intermediate scope between this function scope and the the | 125 // is in an intermediate scope between this function scope and the the |
126 // outer scope. Only possible for function scopes; at most one variable. | 126 // outer scope. Only possible for function scopes; at most one variable. |
127 Variable* DeclareFunctionVar(Handle<String> name, VariableMode mode); | 127 Variable* DeclareFunctionVar(Handle<String> name, |
| 128 VariableMode mode, |
| 129 AstNodeFactory* factory); |
128 | 130 |
129 // Declare a parameter in this scope. When there are duplicated | 131 // Declare a parameter in this scope. When there are duplicated |
130 // parameters the rightmost one 'wins'. However, the implementation | 132 // parameters the rightmost one 'wins'. However, the implementation |
131 // expects all parameters to be declared and from left to right. | 133 // expects all parameters to be declared and from left to right. |
132 void DeclareParameter(Handle<String> name, VariableMode mode); | 134 void DeclareParameter(Handle<String> name, VariableMode mode); |
133 | 135 |
134 // Declare a local variable in this scope. If the variable has been | 136 // Declare a local variable in this scope. If the variable has been |
135 // declared before, the previously declared variable is returned. | 137 // declared before, the previously declared variable is returned. |
136 Variable* DeclareLocal(Handle<String> name, | 138 Variable* DeclareLocal(Handle<String> name, |
137 VariableMode mode, | 139 VariableMode mode, |
138 InitializationFlag init_flag); | 140 InitializationFlag init_flag); |
139 | 141 |
140 // Declare an implicit global variable in this scope which must be a | 142 // Declare an implicit global variable in this scope which must be a |
141 // global scope. The variable was introduced (possibly from an inner | 143 // global scope. The variable was introduced (possibly from an inner |
142 // scope) by a reference to an unresolved variable with no intervening | 144 // scope) by a reference to an unresolved variable with no intervening |
143 // with statements or eval calls. | 145 // with statements or eval calls. |
144 Variable* DeclareGlobal(Handle<String> name); | 146 Variable* DeclareGlobal(Handle<String> name); |
145 | 147 |
146 // Create a new unresolved variable. | 148 // Create a new unresolved variable. |
147 VariableProxy* NewUnresolved(Handle<String> name, | 149 VariableProxy* NewUnresolved(AstNodeFactory* factory, |
| 150 Handle<String> name, |
148 int position = RelocInfo::kNoPosition); | 151 int position = RelocInfo::kNoPosition); |
149 | 152 |
150 // Remove a unresolved variable. During parsing, an unresolved variable | 153 // Remove a unresolved variable. During parsing, an unresolved variable |
151 // may have been added optimistically, but then only the variable name | 154 // may have been added optimistically, but then only the variable name |
152 // was used (typically for labels). If the variable was not declared, the | 155 // was used (typically for labels). If the variable was not declared, the |
153 // addition introduced a new unresolved variable which may end up being | 156 // addition introduced a new unresolved variable which may end up being |
154 // allocated globally as a "ghost" variable. RemoveUnresolved removes | 157 // allocated globally as a "ghost" variable. RemoveUnresolved removes |
155 // such a variable again if it was added; otherwise this is a no-op. | 158 // such a variable again if it was added; otherwise this is a no-op. |
156 void RemoveUnresolved(VariableProxy* var); | 159 void RemoveUnresolved(VariableProxy* var); |
157 | 160 |
(...skipping 167 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
325 ZoneList<Variable*>* context_locals); | 328 ZoneList<Variable*>* context_locals); |
326 | 329 |
327 // Resolve and fill in the allocation information for all variables | 330 // Resolve and fill in the allocation information for all variables |
328 // in this scopes. Must be called *after* all scopes have been | 331 // in this scopes. Must be called *after* all scopes have been |
329 // processed (parsed) to ensure that unresolved variables can be | 332 // processed (parsed) to ensure that unresolved variables can be |
330 // resolved properly. | 333 // resolved properly. |
331 // | 334 // |
332 // In the case of code compiled and run using 'eval', the context | 335 // In the case of code compiled and run using 'eval', the context |
333 // parameter is the context in which eval was called. In all other | 336 // parameter is the context in which eval was called. In all other |
334 // cases the context parameter is an empty handle. | 337 // cases the context parameter is an empty handle. |
335 void AllocateVariables(Scope* global_scope); | 338 void AllocateVariables(Scope* global_scope, AstNodeFactory* factory); |
336 | 339 |
337 // Current number of var or const locals. | 340 // Current number of var or const locals. |
338 int num_var_or_const() { return num_var_or_const_; } | 341 int num_var_or_const() { return num_var_or_const_; } |
339 | 342 |
340 // Result of variable allocation. | 343 // Result of variable allocation. |
341 int num_stack_slots() const { return num_stack_slots_; } | 344 int num_stack_slots() const { return num_stack_slots_; } |
342 int num_heap_slots() const { return num_heap_slots_; } | 345 int num_heap_slots() const { return num_heap_slots_; } |
343 | 346 |
344 int StackLocalCount() const; | 347 int StackLocalCount() const; |
345 int ContextLocalCount() const; | 348 int ContextLocalCount() const; |
(...skipping 166 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
512 // * The code is being executed as part of a call to 'eval' and the calling | 515 // * The code is being executed as part of a call to 'eval' and the calling |
513 // context chain contains either a variable binding for the name or it | 516 // context chain contains either a variable binding for the name or it |
514 // contains a 'with' context. | 517 // contains a 'with' context. |
515 DYNAMIC_LOOKUP | 518 DYNAMIC_LOOKUP |
516 }; | 519 }; |
517 | 520 |
518 // Lookup a variable reference given by name recursively starting with this | 521 // Lookup a variable reference given by name recursively starting with this |
519 // scope. If the code is executed because of a call to 'eval', the context | 522 // scope. If the code is executed because of a call to 'eval', the context |
520 // parameter should be set to the calling context of 'eval'. | 523 // parameter should be set to the calling context of 'eval'. |
521 Variable* LookupRecursive(Handle<String> name, | 524 Variable* LookupRecursive(Handle<String> name, |
522 BindingKind* binding_kind); | 525 BindingKind* binding_kind, |
| 526 AstNodeFactory* factory); |
523 void ResolveVariable(Scope* global_scope, | 527 void ResolveVariable(Scope* global_scope, |
524 VariableProxy* proxy); | 528 VariableProxy* proxy, |
525 void ResolveVariablesRecursively(Scope* global_scope); | 529 AstNodeFactory* factory); |
| 530 void ResolveVariablesRecursively(Scope* global_scope, |
| 531 AstNodeFactory* factory); |
526 | 532 |
527 // Scope analysis. | 533 // Scope analysis. |
528 bool PropagateScopeInfo(bool outer_scope_calls_non_strict_eval); | 534 bool PropagateScopeInfo(bool outer_scope_calls_non_strict_eval); |
529 bool HasTrivialContext() const; | 535 bool HasTrivialContext() const; |
530 | 536 |
531 // Predicates. | 537 // Predicates. |
532 bool MustAllocate(Variable* var); | 538 bool MustAllocate(Variable* var); |
533 bool MustAllocateInContext(Variable* var); | 539 bool MustAllocateInContext(Variable* var); |
534 bool HasArgumentsParameter(); | 540 bool HasArgumentsParameter(); |
535 | 541 |
(...skipping 20 matching lines...) Expand all Loading... |
556 } | 562 } |
557 | 563 |
558 void SetDefaults(ScopeType type, | 564 void SetDefaults(ScopeType type, |
559 Scope* outer_scope, | 565 Scope* outer_scope, |
560 Handle<ScopeInfo> scope_info); | 566 Handle<ScopeInfo> scope_info); |
561 }; | 567 }; |
562 | 568 |
563 } } // namespace v8::internal | 569 } } // namespace v8::internal |
564 | 570 |
565 #endif // V8_SCOPES_H_ | 571 #endif // V8_SCOPES_H_ |
OLD | NEW |