Scope Class Reference

#include <scopes.h>

Inheritance diagram for Scope:

Collaboration diagram for Scope:

Public Member Functions
	Scope (Scope *outer_scope, ScopeType type, Zone *zone)
void	SetScopeName (Handle< String > scope_name)
void	Initialize ()
Scope *	FinalizeBlockScope ()
Zone *	zone () const
Variable *	LocalLookup (Handle< String > name)
Variable *	LookupFunctionVar (Handle< String > name, AstNodeFactory< AstNullVisitor > *factory)
Variable *	Lookup (Handle< String > name)
void	DeclareFunctionVar (VariableDeclaration *declaration)
void	DeclareParameter (Handle< String > name, VariableMode mode)
Variable *	DeclareLocal (Handle< String > name, VariableMode mode, InitializationFlag init_flag, Interface *interface=Interface::NewValue())
Variable *	DeclareGlobal (Handle< String > name)
template<class Visitor >
VariableProxy *	NewUnresolved (AstNodeFactory< Visitor > *factory, Handle< String > name, int position=RelocInfo::kNoPosition, Interface *interface=Interface::NewValue())
void	RemoveUnresolved (VariableProxy *var)
Variable *	NewTemporary (Handle< String > name)
void	AddDeclaration (Declaration *declaration)
void	SetIllegalRedeclaration (Expression *expression)
void	VisitIllegalRedeclaration (AstVisitor *visitor)
bool	HasIllegalRedeclaration () const
Declaration *	CheckConflictingVarDeclarations ()
VariableProxy *	CheckAssignmentToConst ()
void	RecordWithStatement ()
void	RecordEvalCall ()
void	SetLanguageMode (LanguageMode language_mode)
int	start_position () const
void	set_start_position (int statement_pos)
int	end_position () const
void	set_end_position (int statement_pos)
bool	is_eval_scope () const
bool	is_function_scope () const
bool	is_module_scope () const
bool	is_global_scope () const
bool	is_catch_scope () const
bool	is_block_scope () const
bool	is_with_scope () const
bool	is_declaration_scope () const
bool	is_classic_mode () const
bool	is_extended_mode () const
bool	is_strict_or_extended_eval_scope () const
bool	calls_eval () const
bool	calls_non_strict_eval ()
bool	outer_scope_calls_non_strict_eval () const
bool	inside_with () const
bool	contains_with () const
ScopeType	type () const
LanguageMode	language_mode () const
Variable *	receiver ()
VariableDeclaration *	function () const
Variable *	parameter (int index) const
int	num_parameters () const
Variable *	arguments () const
ZoneList< Declaration * > *	declarations ()
ZoneList< Scope * > *	inner_scopes ()
Scope *	outer_scope () const
Interface *	interface () const
void	CollectStackAndContextLocals (ZoneList< Variable * > *stack_locals, ZoneList< Variable * > *context_locals)
int	num_var_or_const ()
int	num_stack_slots () const
int	num_heap_slots () const
int	StackLocalCount () const
int	ContextLocalCount () const
void	ForceEagerCompilation ()
bool	AllowsLazyCompilation () const
bool	AllowsLazyRecompilation () const
bool	HasTrivialOuterContext () const
bool	TrivialDeclarationScopesBeforeWithScope () const
int	ContextChainLength (Scope *scope)
Scope *	DeclarationScope ()
Handle< ScopeInfo >	GetScopeInfo ()
void	GetNestedScopeChain (List< Handle< ScopeInfo > > *chain, int statement_position)
bool	IsDeclared (Handle< String > name)
Public Member Functions inherited from ZoneObject
	INLINE (void *operator new(size_t size, Zone *zone))
void	operator delete (void *, size_t)
void	operator delete (void *pointer, Zone *zone)

Static Public Member Functions
static bool	Analyze (CompilationInfo *info)
static Scope *	DeserializeScopeChain (Context *context, Scope *global_scope, Zone *zone)

Protected Types
enum	BindingKind {   BOUND, BOUND_EVAL_SHADOWED, UNBOUND, UNBOUND_EVAL_SHADOWED,   DYNAMIC_LOOKUP }

Protected Member Functions
bool	already_resolved ()
Variable *	NonLocal (Handle< String > name, VariableMode mode)
Variable *	LookupRecursive (Handle< String > name, BindingKind *binding_kind, AstNodeFactory< AstNullVisitor > *factory)
MUST_USE_RESULT bool	ResolveVariable (CompilationInfo *info, VariableProxy *proxy, AstNodeFactory< AstNullVisitor > *factory)
MUST_USE_RESULT bool	ResolveVariablesRecursively (CompilationInfo *info, AstNodeFactory< AstNullVisitor > *factory)
bool	PropagateScopeInfo (bool outer_scope_calls_non_strict_eval)
bool	HasTrivialContext () const
bool	MustAllocate (Variable *var)
bool	MustAllocateInContext (Variable *var)
bool	HasArgumentsParameter ()
void	AllocateStackSlot (Variable *var)
void	AllocateHeapSlot (Variable *var)
void	AllocateParameterLocals ()
void	AllocateNonParameterLocal (Variable *var)
void	AllocateNonParameterLocals ()
void	AllocateVariablesRecursively ()
MUST_USE_RESULT bool	AllocateVariables (CompilationInfo *info, AstNodeFactory< AstNullVisitor > *factory)

Protected Attributes
Isolate *const	isolate_
Scope *	outer_scope_
ZoneList< Scope * >	inner_scopes_
ScopeType	type_
Handle< String >	scope_name_
VariableMap	variables_
ZoneList< Variable * >	temps_
ZoneList< Variable * >	params_
DynamicScopePart *	dynamics_
ZoneList< VariableProxy * >	unresolved_
ZoneList< Declaration * >	decls_
Variable *	receiver_
VariableDeclaration *	function_
Variable *	arguments_
Interface *	interface_
Expression *	illegal_redecl_
bool	scope_inside_with_
bool	scope_contains_with_
bool	scope_calls_eval_
LanguageMode	language_mode_
int	start_position_
int	end_position_
bool	outer_scope_calls_non_strict_eval_
bool	inner_scope_calls_eval_
bool	force_eager_compilation_
bool	already_resolved_
int	num_var_or_const_
int	num_stack_slots_
int	num_heap_slots_
Handle< ScopeInfo >	scope_info_

Friends
class	ParserFactory

Detailed Description

Definition at line 95 of file scopes.h.

Member Enumeration Documentation

enum BindingKind

protected

Enumerator
BOUND
BOUND_EVAL_SHADOWED
UNBOUND
UNBOUND_EVAL_SHADOWED
DYNAMIC_LOOKUP

Definition at line 510 of file scopes.h.

Constructor & Destructor Documentation

Scope	(	Scope *	outer_scope,
		ScopeType	type,
		Zone *	zone
	)

Definition at line 106 of file scopes.cc.

References ASSERT, ASSERT_EQ, v8::internal::GLOBAL_SCOPE, Scope::HasIllegalRedeclaration(), and v8::internal::NULL.

Referenced by Scope::DeserializeScopeChain().

Member Function Documentation

void AddDeclaration

(

Declaration *

declaration

)

Definition at line 522 of file scopes.cc.

References Scope::decls_, and Scope::zone().

void AllocateHeapSlot ( Variable *  var )

protected

Definition at line 1155 of file scopes.cc.

References Variable::AllocateTo(), Variable::CONTEXT, and Scope::num_heap_slots_.

Referenced by Scope::AllocateNonParameterLocal(), and Scope::AllocateParameterLocals().

void AllocateNonParameterLocal ( Variable *  var )

protected

Definition at line 1216 of file scopes.cc.

References Scope::AllocateHeapSlot(), Scope::AllocateStackSlot(), ASSERT, Isolate::factory(), Scope::isolate_, Variable::IsStackLocal(), Variable::IsUnallocated(), Variable::IsVariable(), Scope::MustAllocate(), Scope::MustAllocateInContext(), and Variable::scope().

Referenced by Scope::AllocateNonParameterLocals().

void AllocateNonParameterLocals ( )

protected

Definition at line 1230 of file scopes.cc.

References Scope::AllocateNonParameterLocal(), Scope::function_, TemplateHashMapImpl< AllocationPolicy >::Next(), v8::internal::NULL, Declaration::proxy(), TemplateHashMapImpl< AllocationPolicy >::Start(), Scope::temps_, VariableProxy::var(), and Scope::variables_.

Referenced by Scope::AllocateVariablesRecursively().

void AllocateParameterLocals ( )

protected

Definition at line 1160 of file scopes.cc.

References Scope::AllocateHeapSlot(), Variable::AllocateTo(), Scope::arguments(), Scope::arguments_, ASSERT, Isolate::factory(), Variable::ForceContextAllocation(), Scope::HasArgumentsParameter(), Scope::is_classic_mode(), Scope::is_function_scope(), Variable::IsContextSlot(), Scope::isolate_, Variable::IsParameter(), Variable::IsUnallocated(), Scope::LocalLookup(), Scope::MustAllocate(), Scope::MustAllocateInContext(), v8::internal::NULL, Variable::PARAMETER, Scope::params_, and Variable::scope().

Referenced by Scope::AllocateVariablesRecursively().

void AllocateStackSlot ( Variable *  var )

protected

Definition at line 1150 of file scopes.cc.

References Variable::AllocateTo(), Variable::LOCAL, and Scope::num_stack_slots_.

Referenced by Scope::AllocateNonParameterLocal().

bool AllocateVariables ( CompilationInfo *  info, AstNodeFactory< AstNullVisitor > *  factory  )

protected

Definition at line 619 of file scopes.cc.

References Scope::AllocateVariablesRecursively(), Scope::calls_non_strict_eval(), v8::internal::NULL, Scope::outer_scope_, Scope::outer_scope_calls_non_strict_eval(), Scope::PropagateScopeInfo(), and Scope::ResolveVariablesRecursively().

Referenced by Scope::Analyze().

void AllocateVariablesRecursively ( )

protected

Definition at line 1253 of file scopes.cc.

References Scope::AllocateNonParameterLocals(), Scope::AllocateParameterLocals(), Scope::already_resolved(), ASSERT, Scope::calls_eval(), Scope::inner_scopes_, Scope::is_function_scope(), Scope::is_module_scope(), Scope::is_with_scope(), Context::MIN_CONTEXT_SLOTS, Scope::num_heap_slots_, and Scope::num_stack_slots_.

Referenced by Scope::AllocateVariables().

bool AllowsLazyCompilation

(

)

const

Definition at line 640 of file scopes.cc.

References Scope::force_eager_compilation_, and Scope::HasTrivialOuterContext().

Referenced by FunctionLiteral::AllowsLazyCompilation().

bool AllowsLazyRecompilation

(

)

const

Definition at line 669 of file scopes.cc.

References Scope::force_eager_compilation_, and Scope::TrivialDeclarationScopesBeforeWithScope().

bool already_resolved ( )

inlineprotected

Definition at line 500 of file scopes.h.

References Scope::already_resolved_.

Referenced by Scope::AllocateVariablesRecursively(), Scope::Analyze(), Scope::DeclareLocal(), Scope::DeclareParameter(), Scope::Initialize(), Scope::NewTemporary(), and Scope::NewUnresolved().

bool Analyze ( CompilationInfo *  info )

static

Definition at line 263 of file scopes.cc.

References Scope::AllocateVariables(), Scope::already_resolved(), ASSERT, Scope::function(), Scope::interface(), Scope::is_global_scope(), Factory::NewJSArray(), Factory::NewSyntaxError(), v8::internal::NULL, Scope::outer_scope(), VariableProxy::position(), v8::internal::PrintF(), and Declaration::scope().

Variable* arguments ( ) const

inline

Definition at line 338 of file scopes.h.

References Scope::arguments_.

Referenced by Scope::AllocateParameterLocals(), and Compiler::SetFunctionInfo().

bool calls_eval ( ) const

inline

Definition at line 296 of file scopes.h.

References Scope::scope_calls_eval_.

Referenced by Scope::AllocateVariablesRecursively(), ScopeInfo::Create(), and HGraphBuilder::CreateGraph().

bool calls_non_strict_eval ( )

inline

Definition at line 297 of file scopes.h.

References Scope::is_classic_mode(), and Scope::scope_calls_eval_.

Referenced by Scope::AllocateVariables(), Scope::LookupRecursive(), and Scope::PropagateScopeInfo().

VariableProxy * CheckAssignmentToConst

(

)

Definition at line 566 of file scopes.cc.

References ASSERT, Scope::inner_scopes_, Scope::is_extended_mode(), v8::internal::NULL, and Scope::unresolved_.

Declaration * CheckConflictingVarDeclarations

(

)

Definition at line 542 of file scopes.cc.

References Scope::decls_, Scope::is_declaration_scope(), VariableMap::Lookup(), Variable::mode(), Declaration::mode(), VariableProxy::name(), v8::internal::NULL, Scope::outer_scope_, Declaration::proxy(), Declaration::scope(), v8::internal::VAR, and Scope::variables_.

void CollectStackAndContextLocals	(	ZoneList< Variable * > *	stack_locals,
		ZoneList< Variable * > *	context_locals
	)

Definition at line 589 of file scopes.cc.

References List< T, ZoneAllocationPolicy >::Add(), ASSERT, Variable::is_used(), Variable::IsContextSlot(), Variable::IsStackLocal(), TemplateHashMapImpl< AllocationPolicy >::Next(), v8::internal::NULL, TemplateHashMapImpl< AllocationPolicy >::Start(), Scope::temps_, Scope::variables_, and Scope::zone().

Referenced by ScopeInfo::Create().

bool contains_with ( ) const

inline

Definition at line 307 of file scopes.h.

References Scope::scope_contains_with_.

Referenced by Scope::DeserializeScopeChain().

int ContextChainLength

(

Scope *

scope

)

Definition at line 689 of file scopes.cc.

References ASSERT, v8::internal::NULL, and Scope::outer_scope_.

int ContextLocalCount

(

)

const

Definition at line 1295 of file scopes.cc.

References Scope::function_, Variable::IsContextSlot(), Context::MIN_CONTEXT_SLOTS, v8::internal::NULL, Scope::num_heap_slots(), Declaration::proxy(), and VariableProxy::var().

Referenced by ScopeInfo::Create().

ZoneList<Declaration*>* declarations ( )

inline

Definition at line 341 of file scopes.h.

References Scope::decls_.

Referenced by HGraphBuilder::CreateGraph().

Scope * DeclarationScope

(

)

Definition at line 699 of file scopes.cc.

References Scope::is_declaration_scope(), and Scope::outer_scope().

Referenced by Scope::TrivialDeclarationScopesBeforeWithScope().

void DeclareFunctionVar ( VariableDeclaration *  declaration )

inline

Definition at line 142 of file scopes.h.

References ASSERT, Scope::function_, and Scope::is_function_scope().

Referenced by Scope::LookupFunctionVar().

Variable * DeclareGlobal

(

Handle< String >

name

)

Definition at line 486 of file scopes.cc.

References ASSERT, VariableMap::Declare(), v8::internal::DYNAMIC_GLOBAL, Scope::is_global_scope(), v8::internal::kCreatedInitialized, Variable::NORMAL, and Scope::variables_.

Variable * DeclareLocal	(	Handle< String >	name,
		VariableMode	mode,
		InitializationFlag	init_flag,
		Interface *	interface = Interface::NewValue()
	)

Definition at line 468 of file scopes.cc.

References Scope::already_resolved(), ASSERT, v8::internal::CONST, v8::internal::CONST_HARMONY, VariableMap::Declare(), v8::internal::LET, Variable::NORMAL, Scope::num_var_or_const_, v8::internal::VAR, and Scope::variables_.

void DeclareParameter	(	Handle< String >	name,
		VariableMode	mode
	)

Definition at line 459 of file scopes.cc.

References Scope::already_resolved(), ASSERT, VariableMap::Declare(), Scope::is_function_scope(), v8::internal::kCreatedInitialized, Variable::NORMAL, Scope::params_, Scope::variables_, and Scope::zone().

Scope * DeserializeScopeChain ( Context *  context, Scope *  global_scope, Zone *  zone  )

static

Definition at line 211 of file scopes.cc.

References ASSERT, v8::internal::BLOCK_SCOPE, ScopeInfo::cast(), String::cast(), Context::closure(), Scope::contains_with(), Context::extension(), v8::internal::FUNCTION_SCOPE, Context::IsBlockContext(), Context::IsCatchContext(), Context::IsFunctionContext(), Context::IsWithContext(), v8::internal::NULL, Context::previous(), Scope::PropagateScopeInfo(), Scope::RecordWithStatement(), Scope::Scope(), Scope::scope_inside_with_, v8::internal::WITH_SCOPE, and Scope::zone().

int end_position ( ) const

inline

Definition at line 266 of file scopes.h.

References Scope::end_position_.

Referenced by FunctionLiteral::end_position(), Scope::GetNestedScopeChain(), and TEST().

Scope * FinalizeBlockScope

(

)

Definition at line 364 of file scopes.cc.

References ASSERT, Scope::inner_scopes_, Scope::is_block_scope(), v8::internal::NULL, Scope::num_var_or_const(), Scope::outer_scope(), Scope::outer_scope_, Scope::params_, Scope::temps_, Scope::unresolved_, and Scope::zone().

void ForceEagerCompilation ( )

inline

Definition at line 372 of file scopes.h.

References Scope::force_eager_compilation_.

VariableDeclaration* function ( ) const

inline

Definition at line 323 of file scopes.h.

References ASSERT, Scope::function_, and Scope::is_function_scope().

Referenced by Scope::Analyze(), ScopeInfo::Create(), and HGraphBuilder::CreateGraph().

void GetNestedScopeChain	(	List< Handle< ScopeInfo > > *	chain,
		int	statement_position
	)

Definition at line 716 of file scopes.cc.

References ASSERT, Scope::end_position(), Scope::GetNestedScopeChain(), Scope::GetScopeInfo(), Scope::inner_scopes_, Scope::is_eval_scope(), and Scope::start_position().

Referenced by Scope::GetNestedScopeChain().

Handle< ScopeInfo > GetScopeInfo

(

)

Definition at line 708 of file scopes.cc.

References ScopeInfo::Create(), Scope::scope_info_, and Scope::zone().

Referenced by Scope::GetNestedScopeChain().

bool HasArgumentsParameter ( )

protected

Definition at line 1139 of file scopes.cc.

References Isolate::factory(), Scope::isolate_, and Scope::params_.

Referenced by Scope::AllocateParameterLocals().

bool HasIllegalRedeclaration ( ) const

inline

Definition at line 214 of file scopes.h.

References Scope::illegal_redecl_, and v8::internal::NULL.

Referenced by HGraphBuilder::CreateGraph(), Scope::Scope(), Scope::SetIllegalRedeclaration(), and Scope::VisitIllegalRedeclaration().

bool HasTrivialContext ( ) const

protected

Definition at line 645 of file scopes.cc.

References v8::internal::NULL.

Referenced by Scope::HasTrivialOuterContext().

bool HasTrivialOuterContext

(

)

const

Definition at line 659 of file scopes.cc.

References Scope::HasTrivialContext(), v8::internal::NULL, Scope::outer_scope_, and Scope::scope_inside_with_.

Referenced by Scope::AllowsLazyCompilation().

void Initialize

(

)

Definition at line 316 of file scopes.cc.

References Variable::AllocateTo(), Scope::already_resolved(), Variable::ARGUMENTS, ASSERT, VariableMap::Declare(), Isolate::factory(), Scope::inner_scopes_, Scope::is_declaration_scope(), Scope::is_function_scope(), Scope::is_with_scope(), Scope::isolate_, v8::internal::kCreatedInitialized, v8::internal::NULL, Scope::outer_scope(), Scope::outer_scope_, Variable::PARAMETER, Scope::receiver(), Scope::receiver_, Scope::scope_inside_with_, Variable::THIS, v8::internal::VAR, Scope::variables_, and Scope::zone().

ZoneList<Scope*>* inner_scopes ( )

inline

Definition at line 344 of file scopes.h.

References Scope::inner_scopes_.

Referenced by TEST().

bool inside_with ( ) const

inline

Definition at line 305 of file scopes.h.

References Scope::scope_inside_with_.

Interface* interface ( ) const

inline

Definition at line 350 of file scopes.h.

References Scope::interface_.

Referenced by Scope::Analyze(), and Scope::NewUnresolved().

bool is_block_scope ( ) const

inline

Definition at line 280 of file scopes.h.

References v8::internal::BLOCK_SCOPE, and Scope::type_.

Referenced by Scope::FinalizeBlockScope(), Scope::MustAllocate(), and Scope::MustAllocateInContext().

bool is_catch_scope ( ) const

inline

Definition at line 279 of file scopes.h.

References v8::internal::CATCH_SCOPE, and Scope::type_.

Referenced by Scope::MustAllocate(), and Scope::MustAllocateInContext().

bool is_classic_mode ( ) const

inline

Definition at line 285 of file scopes.h.

References v8::internal::CLASSIC_MODE, and Scope::language_mode().

Referenced by Scope::AllocateParameterLocals(), Scope::calls_non_strict_eval(), and Scope::is_strict_or_extended_eval_scope().

bool is_declaration_scope ( ) const

inline

Definition at line 282 of file scopes.h.

References Scope::is_eval_scope(), Scope::is_function_scope(), and Scope::is_global_scope().

Referenced by Scope::CheckConflictingVarDeclarations(), Scope::DeclarationScope(), Scope::Initialize(), and Scope::TrivialDeclarationScopesBeforeWithScope().

bool is_eval_scope ( ) const

inline

Definition at line 275 of file scopes.h.

References v8::internal::EVAL_SCOPE, and Scope::type_.

Referenced by Scope::GetNestedScopeChain(), Scope::is_declaration_scope(), Scope::is_strict_or_extended_eval_scope(), and Rewriter::Rewrite().

bool is_extended_mode ( ) const

inline

Definition at line 288 of file scopes.h.

References v8::internal::EXTENDED_MODE, and Scope::language_mode().

Referenced by Scope::CheckAssignmentToConst().

bool is_function_scope ( ) const

inline

Definition at line 276 of file scopes.h.

References v8::internal::FUNCTION_SCOPE, and Scope::type_.

Referenced by Scope::AllocateParameterLocals(), Scope::AllocateVariablesRecursively(), ScopeInfo::Create(), HGraphBuilder::CreateGraph(), Scope::DeclareFunctionVar(), Scope::DeclareParameter(), Scope::function(), Scope::Initialize(), Scope::is_declaration_scope(), Scope::LookupRecursive(), and Scope::parameter().

bool is_global_scope ( ) const

inline

Definition at line 278 of file scopes.h.

References v8::internal::GLOBAL_SCOPE, and Scope::type_.

Referenced by Scope::Analyze(), Scope::DeclareGlobal(), Scope::is_declaration_scope(), Variable::is_global(), Scope::LookupRecursive(), Scope::RecordEvalCall(), Rewriter::Rewrite(), and TEST().

bool is_module_scope ( ) const

inline

Definition at line 277 of file scopes.h.

References v8::internal::MODULE_SCOPE, and Scope::type_.

Referenced by Scope::AllocateVariablesRecursively(), and Scope::MustAllocateInContext().

bool is_strict_or_extended_eval_scope ( ) const

inline

Definition at line 291 of file scopes.h.

References Scope::is_classic_mode(), and Scope::is_eval_scope().

bool is_with_scope ( ) const

inline

Definition at line 281 of file scopes.h.

References Scope::type_, and v8::internal::WITH_SCOPE.

Referenced by Scope::AllocateVariablesRecursively(), Scope::Initialize(), Scope::LookupRecursive(), and Scope::TrivialDeclarationScopesBeforeWithScope().

bool IsDeclared ( Handle< String >  name )

inline

Definition at line 406 of file scopes.h.

References VariableMap::Lookup(), v8::internal::NULL, and Scope::variables_.

LanguageMode language_mode ( ) const

inline

Definition at line 316 of file scopes.h.

References Scope::language_mode_.

Referenced by Compiler::BuildFunctionInfo(), ScopeInfo::Create(), Scope::is_classic_mode(), Scope::is_extended_mode(), FunctionLiteral::language_mode(), and Scope::SetLanguageMode().

Variable * LocalLookup

(

Handle< String >

name

)

Definition at line 393 of file scopes.cc.

References Variable::AllocateTo(), ASSERT, Variable::CONTEXT, VariableMap::Declare(), v8::internal::DYNAMIC, v8::internal::kCreatedInitialized, VariableMap::Lookup(), Variable::LOOKUP, Variable::NORMAL, v8::internal::NULL, Scope::scope_info_, and Scope::variables_.

Referenced by Scope::AllocateParameterLocals(), and Scope::LookupRecursive().

Variable * Lookup

(

Handle< String >

name

)

Definition at line 448 of file scopes.cc.

References v8::internal::NULL.

Variable * LookupFunctionVar	(	Handle< String >	name,
		AstNodeFactory< AstNullVisitor > *	factory
	)

Definition at line 424 of file scopes.cc.

References Variable::AllocateTo(), Variable::CONTEXT, Scope::DeclareFunctionVar(), Scope::function_, Handle< T >::is_identical_to(), v8::internal::kCreatedInitialized, VariableProxy::name(), Variable::NORMAL, v8::internal::NULL, Declaration::proxy(), Scope::scope_info_, VariableProxy::var(), and Scope::zone().

Referenced by Scope::LookupRecursive().

Variable * LookupRecursive ( Handle< String >  name, BindingKind *  binding_kind, AstNodeFactory< AstNullVisitor > *  factory  )

protected

Definition at line 916 of file scopes.cc.

References ASSERT, Scope::BOUND, Scope::BOUND_EVAL_SHADOWED, Scope::calls_non_strict_eval(), Scope::DYNAMIC_LOOKUP, Variable::ForceContextAllocation(), Scope::is_function_scope(), Scope::is_global_scope(), Scope::is_with_scope(), Scope::LocalLookup(), Scope::LookupFunctionVar(), Scope::LookupRecursive(), v8::internal::NULL, Scope::outer_scope_, Scope::UNBOUND, and Scope::UNBOUND_EVAL_SHADOWED.

Referenced by Scope::LookupRecursive(), and Scope::ResolveVariable().

bool MustAllocate ( Variable *  var )

protected

Definition at line 1103 of file scopes.cc.

References Variable::has_forced_context_allocation(), Scope::inner_scope_calls_eval_, Scope::is_block_scope(), Scope::is_catch_scope(), Variable::is_global(), Variable::is_this(), Variable::is_used(), Variable::name(), Scope::scope_calls_eval_, Scope::scope_contains_with_, and Variable::set_is_used().

Referenced by Scope::AllocateNonParameterLocal(), and Scope::AllocateParameterLocals().

bool MustAllocateInContext ( Variable *  var )

protected

Definition at line 1121 of file scopes.cc.

References Variable::has_forced_context_allocation(), Scope::inner_scope_calls_eval_, Scope::is_block_scope(), Scope::is_catch_scope(), Variable::is_global(), Scope::is_module_scope(), Variable::mode(), Scope::scope_calls_eval_, Scope::scope_contains_with_, and v8::internal::TEMPORARY.

Referenced by Scope::AllocateNonParameterLocal(), and Scope::AllocateParameterLocals().

Variable * NewTemporary

(

Handle< String >

name

)

Definition at line 509 of file scopes.cc.

References Scope::already_resolved(), ASSERT, v8::internal::kCreatedInitialized, Variable::NORMAL, v8::internal::TEMPORARY, Scope::temps_, and Scope::zone().

Referenced by Rewriter::Rewrite().

VariableProxy* NewUnresolved ( AstNodeFactory< Visitor > *  factory, Handle< String >  name, int  position = RelocInfo::kNoPosition, Interface *  interface = Interface::NewValue()  )

inline

Definition at line 167 of file scopes.h.

References Scope::already_resolved(), ASSERT, Scope::interface(), and Scope::unresolved_.

Variable * NonLocal ( Handle< String >  name, VariableMode  mode  )

protected

Definition at line 895 of file scopes.cc.

References Variable::AllocateTo(), VariableMap::Declare(), Scope::dynamics_, DynamicScopePart::GetMap(), v8::internal::kCreatedInitialized, v8::internal::kNeedsInitialization, VariableMap::Lookup(), Variable::LOOKUP, Variable::NORMAL, v8::internal::NULL, v8::internal::VAR, and Scope::zone().

Referenced by Scope::ResolveVariable().

int num_heap_slots ( ) const

inline

Definition at line 366 of file scopes.h.

References Scope::num_heap_slots_.

Referenced by Scope::ContextLocalCount(), ScopeInfo::Create(), and Scope::TrivialDeclarationScopesBeforeWithScope().

int num_parameters ( ) const

inline

Definition at line 335 of file scopes.h.

References Scope::params_.

Referenced by ScopeInfo::Create(), and HEnvironment::HEnvironment().

int num_stack_slots ( ) const

inline

Definition at line 365 of file scopes.h.

References Scope::num_stack_slots_.

Referenced by ScopeInfo::Create(), HEnvironment::HEnvironment(), and Scope::StackLocalCount().

int num_var_or_const ( )

inline

Definition at line 362 of file scopes.h.

References Scope::num_var_or_const_.

Referenced by Scope::FinalizeBlockScope().

Scope* outer_scope ( ) const

inline

Definition at line 347 of file scopes.h.

References Scope::outer_scope_.

Referenced by Scope::Analyze(), Scope::DeclarationScope(), Scope::FinalizeBlockScope(), and Scope::Initialize().

bool outer_scope_calls_non_strict_eval ( ) const

inline

Definition at line 300 of file scopes.h.

References Scope::outer_scope_calls_non_strict_eval_.

Referenced by Scope::AllocateVariables().

Variable* parameter ( int  index ) const

inline

Definition at line 330 of file scopes.h.

References ASSERT, Scope::is_function_scope(), and Scope::params_.

Referenced by ScopeInfo::Create().

bool PropagateScopeInfo ( bool  outer_scope_calls_non_strict_eval )

protected

Definition at line 1082 of file scopes.cc.

References Scope::calls_non_strict_eval(), Scope::force_eager_compilation_, Scope::inner_scope_calls_eval_, Scope::inner_scopes_, Scope::outer_scope_calls_non_strict_eval_, Scope::PropagateScopeInfo(), and Scope::scope_calls_eval_.

Referenced by Scope::AllocateVariables(), Scope::DeserializeScopeChain(), and Scope::PropagateScopeInfo().

Variable* receiver ( )

inline

Definition at line 319 of file scopes.h.

References Scope::receiver_.

Referenced by Scope::Initialize().

void RecordEvalCall ( )

inline

Definition at line 233 of file scopes.h.

References Scope::is_global_scope(), and Scope::scope_calls_eval_.

void RecordWithStatement ( )

inline

Definition at line 230 of file scopes.h.

References Scope::scope_contains_with_.

Referenced by Scope::DeserializeScopeChain().

void RemoveUnresolved

(

VariableProxy *

var

)

Definition at line 497 of file scopes.cc.

References Scope::unresolved_.

bool ResolveVariable ( CompilationInfo *  info, VariableProxy *  proxy, AstNodeFactory< AstNullVisitor > *  factory  )

protected

Definition at line 971 of file scopes.cc.

References ASSERT, VariableProxy::BindTo(), Scope::BOUND, Scope::BOUND_EVAL_SHADOWED, v8::internal::DYNAMIC, v8::internal::DYNAMIC_GLOBAL, v8::internal::DYNAMIC_LOCAL, Scope::DYNAMIC_LOOKUP, Variable::interface(), VariableProxy::interface(), Variable::is_dynamic(), Variable::is_global(), v8::internal::kStrictMode, Scope::LookupRecursive(), Variable::name(), VariableProxy::name(), Factory::NewJSArray(), Factory::NewSyntaxError(), NONE, Scope::NonLocal(), v8::internal::NULL, VariableProxy::position(), v8::internal::PrintF(), Variable::set_local_if_not_shadowed(), JSObject::SetElement(), Scope::UNBOUND, Scope::UNBOUND_EVAL_SHADOWED, Interface::Unify(), v8::internal::USE(), VariableProxy::var(), and Scope::zone().

Referenced by Scope::ResolveVariablesRecursively().

bool ResolveVariablesRecursively ( CompilationInfo *  info, AstNodeFactory< AstNullVisitor > *  factory  )

protected

Definition at line 1062 of file scopes.cc.

References ASSERT, Scope::inner_scopes_, Scope::ResolveVariable(), and Scope::unresolved_.

Referenced by Scope::AllocateVariables().

void set_end_position ( int  statement_pos )

inline

Definition at line 267 of file scopes.h.

References Scope::end_position_.

void set_start_position ( int  statement_pos )

inline

Definition at line 263 of file scopes.h.

References Scope::start_position_.

void SetIllegalRedeclaration

(

Expression *

expression

)

Definition at line 527 of file scopes.cc.

References ASSERT, Scope::HasIllegalRedeclaration(), and Scope::illegal_redecl_.

void SetLanguageMode ( LanguageMode  language_mode )

inline

Definition at line 236 of file scopes.h.

References Scope::language_mode(), and Scope::language_mode_.

void SetScopeName ( Handle< String >  scope_name )

inline

Definition at line 111 of file scopes.h.

References Scope::scope_name_.

int StackLocalCount

(

)

const

Definition at line 1289 of file scopes.cc.

References Scope::function_, Variable::IsStackLocal(), v8::internal::NULL, Scope::num_stack_slots(), Declaration::proxy(), and VariableProxy::var().

Referenced by ScopeInfo::Create().

int start_position ( ) const

inline

Definition at line 262 of file scopes.h.

References Scope::start_position_.

Referenced by Scope::GetNestedScopeChain(), FunctionLiteral::start_position(), and TEST().

bool TrivialDeclarationScopesBeforeWithScope

(

)

const

Definition at line 675 of file scopes.cc.

References Scope::DeclarationScope(), Scope::is_declaration_scope(), Scope::is_with_scope(), v8::internal::NULL, Scope::num_heap_slots(), and Scope::outer_scope_.

Referenced by Scope::AllowsLazyRecompilation().

ScopeType type ( ) const

inline

Definition at line 313 of file scopes.h.

References Scope::type_.

Referenced by ScopeInfo::Create().

void VisitIllegalRedeclaration

(

AstVisitor *

visitor

)

Definition at line 536 of file scopes.cc.

References AstNode::Accept(), ASSERT, Scope::HasIllegalRedeclaration(), and Scope::illegal_redecl_.

Zone* zone ( ) const

inline

Definition at line 120 of file scopes.h.

Referenced by Scope::AddDeclaration(), Scope::CollectStackAndContextLocals(), Scope::DeclareParameter(), Scope::DeserializeScopeChain(), Scope::FinalizeBlockScope(), Scope::GetScopeInfo(), Scope::Initialize(), Scope::LookupFunctionVar(), Scope::NewTemporary(), Scope::NonLocal(), and Scope::ResolveVariable().

Friends And Related Function Documentation

friend class ParserFactory

friend

Definition at line 425 of file scopes.h.

Field Documentation

bool already_resolved_

protected

Definition at line 489 of file scopes.h.

Referenced by Scope::already_resolved().

Variable* arguments_

protected

Definition at line 460 of file scopes.h.

Referenced by Scope::AllocateParameterLocals(), and Scope::arguments().

ZoneList<Declaration*> decls_

protected

Definition at line 454 of file scopes.h.

Referenced by Scope::AddDeclaration(), Scope::CheckConflictingVarDeclarations(), and Scope::declarations().

DynamicScopePart* dynamics_

protected

Definition at line 450 of file scopes.h.

Referenced by Scope::NonLocal().

int end_position_

protected

Definition at line 480 of file scopes.h.

Referenced by Scope::end_position(), and Scope::set_end_position().

bool force_eager_compilation_

protected

Definition at line 485 of file scopes.h.

Referenced by Scope::AllowsLazyCompilation(), Scope::AllowsLazyRecompilation(), Scope::ForceEagerCompilation(), and Scope::PropagateScopeInfo().

VariableDeclaration* function_

protected

Definition at line 458 of file scopes.h.

Referenced by Scope::AllocateNonParameterLocals(), Scope::ContextLocalCount(), Scope::DeclareFunctionVar(), Scope::function(), Scope::LookupFunctionVar(), and Scope::StackLocalCount().

Expression* illegal_redecl_

protected

Definition at line 465 of file scopes.h.

Referenced by Scope::HasIllegalRedeclaration(), Scope::SetIllegalRedeclaration(), and Scope::VisitIllegalRedeclaration().

bool inner_scope_calls_eval_

protected

Definition at line 484 of file scopes.h.

Referenced by Scope::MustAllocate(), Scope::MustAllocateInContext(), and Scope::PropagateScopeInfo().

ZoneList<Scope*> inner_scopes_

protected

Definition at line 431 of file scopes.h.

Referenced by Scope::AllocateVariablesRecursively(), Scope::CheckAssignmentToConst(), Scope::FinalizeBlockScope(), Scope::GetNestedScopeChain(), Scope::Initialize(), Scope::inner_scopes(), Scope::PropagateScopeInfo(), and Scope::ResolveVariablesRecursively().

Interface* interface_

protected

Definition at line 462 of file scopes.h.

Referenced by Scope::interface().

Isolate* const isolate_

protected

Definition at line 427 of file scopes.h.

Referenced by Scope::AllocateNonParameterLocal(), Scope::AllocateParameterLocals(), Scope::HasArgumentsParameter(), and Scope::Initialize().

LanguageMode language_mode_

protected

Definition at line 477 of file scopes.h.

Referenced by Scope::language_mode(), and Scope::SetLanguageMode().

int num_heap_slots_

protected

Definition at line 496 of file scopes.h.

Referenced by Scope::AllocateHeapSlot(), Scope::AllocateVariablesRecursively(), and Scope::num_heap_slots().

int num_stack_slots_

protected

Definition at line 495 of file scopes.h.

Referenced by Scope::AllocateStackSlot(), Scope::AllocateVariablesRecursively(), and Scope::num_stack_slots().

int num_var_or_const_

protected

Definition at line 492 of file scopes.h.

Referenced by Scope::DeclareLocal(), and Scope::num_var_or_const().

Scope* outer_scope_

protected

Definition at line 430 of file scopes.h.

Referenced by Scope::AllocateVariables(), Scope::CheckConflictingVarDeclarations(), Scope::ContextChainLength(), Scope::FinalizeBlockScope(), Scope::HasTrivialOuterContext(), Scope::Initialize(), Scope::LookupRecursive(), Scope::outer_scope(), and Scope::TrivialDeclarationScopesBeforeWithScope().

bool outer_scope_calls_non_strict_eval_

protected

Definition at line 483 of file scopes.h.

Referenced by Scope::outer_scope_calls_non_strict_eval(), and Scope::PropagateScopeInfo().

ZoneList<Variable*> params_

protected

Definition at line 448 of file scopes.h.

Referenced by Scope::AllocateParameterLocals(), Scope::DeclareParameter(), Scope::FinalizeBlockScope(), Scope::HasArgumentsParameter(), Scope::num_parameters(), and Scope::parameter().

Variable* receiver_

protected

Definition at line 456 of file scopes.h.

Referenced by Scope::Initialize(), and Scope::receiver().

bool scope_calls_eval_

protected

Definition at line 475 of file scopes.h.

Referenced by Scope::calls_eval(), Scope::calls_non_strict_eval(), Scope::MustAllocate(), Scope::MustAllocateInContext(), Scope::PropagateScopeInfo(), and Scope::RecordEvalCall().

bool scope_contains_with_

protected

Definition at line 472 of file scopes.h.

Referenced by Scope::contains_with(), Scope::MustAllocate(), Scope::MustAllocateInContext(), and Scope::RecordWithStatement().

Handle<ScopeInfo> scope_info_

protected

Definition at line 499 of file scopes.h.

Referenced by Scope::GetScopeInfo(), Scope::LocalLookup(), and Scope::LookupFunctionVar().

bool scope_inside_with_

protected

Definition at line 470 of file scopes.h.

Referenced by Scope::DeserializeScopeChain(), Scope::HasTrivialOuterContext(), Scope::Initialize(), and Scope::inside_with().

Handle<String> scope_name_

protected

Definition at line 437 of file scopes.h.

Referenced by Scope::SetScopeName().

int start_position_

protected

Definition at line 479 of file scopes.h.

Referenced by Scope::set_start_position(), and Scope::start_position().

ZoneList<Variable*> temps_

protected

Definition at line 446 of file scopes.h.

Referenced by Scope::AllocateNonParameterLocals(), Scope::CollectStackAndContextLocals(), Scope::FinalizeBlockScope(), and Scope::NewTemporary().

ScopeType type_

protected

Definition at line 434 of file scopes.h.

Referenced by Scope::is_block_scope(), Scope::is_catch_scope(), Scope::is_eval_scope(), Scope::is_function_scope(), Scope::is_global_scope(), Scope::is_module_scope(), Scope::is_with_scope(), and Scope::type().

ZoneList<VariableProxy*> unresolved_

protected

Definition at line 452 of file scopes.h.

Referenced by Scope::CheckAssignmentToConst(), Scope::FinalizeBlockScope(), Scope::NewUnresolved(), Scope::RemoveUnresolved(), and Scope::ResolveVariablesRecursively().

VariableMap variables_

protected

Definition at line 444 of file scopes.h.

Referenced by Scope::AllocateNonParameterLocals(), Scope::CheckConflictingVarDeclarations(), Scope::CollectStackAndContextLocals(), Scope::DeclareGlobal(), Scope::DeclareLocal(), Scope::DeclareParameter(), Scope::Initialize(), Scope::IsDeclared(), and Scope::LocalLookup().

---

The documentation for this class was generated from the following files:

• src/scopes.h
• src/scopes.cc