dart::LocalVariable Class Reference

#include <scopes.h>

Inheritance diagram for dart::LocalVariable:

Public Types
enum	TypeCheckMode { kDoTypeCheck , kSkipTypeCheck , kTypeCheckedByCaller }

Public Member Functions
	LocalVariable (TokenPosition declaration_pos, TokenPosition token_pos, const String &name, const AbstractType &static_type, intptr_t kernel_offset=kNoKernelOffset)
	LocalVariable (TokenPosition declaration_pos, TokenPosition token_pos, const String &name, const AbstractType &static_type, intptr_t kernel_offset, CompileType *inferred_type, CompileType *inferred_arg_type=nullptr, const Object *inferred_arg_value=nullptr)
TokenPosition	token_pos () const
TokenPosition	declaration_token_pos () const
const String &	name () const
intptr_t	kernel_offset () const
intptr_t	annotations_offset () const
LocalScope *	owner () const
void	set_owner (LocalScope *owner)
void	set_annotations_offset (intptr_t offset)
const AbstractType &	static_type () const
CompileType *	inferred_type () const
CompileType *	inferred_arg_type () const
const Object *	inferred_arg_value () const
bool	is_final () const
void	set_is_final ()
bool	is_captured () const
void	set_is_captured ()
bool	ComputeIfIsAwaiterLink (const Library &library)
void	set_is_awaiter_link (bool value)
bool	is_forced_stack () const
void	set_is_forced_stack ()
bool	is_late () const
void	set_is_late ()
intptr_t	late_init_offset () const
void	set_late_init_offset (intptr_t late_init_offset)
bool	is_explicit_covariant_parameter () const
void	set_is_explicit_covariant_parameter ()
bool	needs_covariant_check_in_method () const
void	set_needs_covariant_check_in_method ()
bool	needs_type_check () const
bool	was_type_checked_by_caller () const
TypeCheckMode	type_check_mode () const
void	set_type_check_mode (TypeCheckMode mode)
bool	HasIndex () const
VariableIndex	index () const
void	set_index (VariableIndex index)
bool	is_invisible () const
void	set_invisible (bool value)
bool	is_captured_parameter () const
void	set_is_captured_parameter (bool value)
bool	Equals (const LocalVariable &other) const
Public Member Functions inherited from dart::ZoneAllocated
	ZoneAllocated ()
void *	operator new (size_t size)
void *	operator new (size_t size, Zone *zone)
void	operator delete (void *pointer)

Static Public Attributes
static constexpr intptr_t	kNoKernelOffset = -1

Friends
class	LocalScope

Detailed Description

Definition at line 75 of file scopes.h.

Member Enumeration Documentation

TypeCheckMode

enum dart::LocalVariable::TypeCheckMode

Enumerator
kDoTypeCheck
kSkipTypeCheck
kTypeCheckedByCaller

Definition at line 182 of file scopes.h.

                     {
    kDoTypeCheck,
    kSkipTypeCheck,
    kTypeCheckedByCaller,
  };

Constructor & Destructor Documentation

LocalVariable() [1/2]

dart::LocalVariable::LocalVariable	(	TokenPosition	declaration_pos,
		TokenPosition	token_pos,
		const String &	name,
		const AbstractType &	static_type,
		intptr_t	kernel_offset = kNoKernelOffset
	)

Definition at line 224 of file scopes.cc.

    : LocalVariable(declaration_pos,
                    token_pos,
                    name,
                    static_type,
                    kernel_offset,
                    new CompileType(CompileType::FromAbstractType(
                        static_type,
                        CompileType::kCanBeNull,
                        CompileType::kCannotBeSentinel))) {}

LocalVariable() [2/2]

dart::LocalVariable::LocalVariable ( TokenPosition  declaration_pos, TokenPosition  token_pos, const String &  name, const AbstractType &  static_type, intptr_t  kernel_offset, CompileType *  inferred_type, CompileType *  inferred_arg_type = nullptr, const Object *  inferred_arg_value = nullptr  )

inline

Definition at line 85 of file scopes.h.

      : declaration_pos_(declaration_pos),
        token_pos_(token_pos),
        name_(name),
        kernel_offset_(kernel_offset),
        annotations_offset_(kNoKernelOffset),
        owner_(nullptr),
        static_type_(static_type),
        inferred_type_(inferred_type),
        inferred_arg_type_(inferred_arg_type),
        inferred_arg_value_(inferred_arg_value),
        covariance_mode_(kNotCovariant),
        late_init_offset_(0),
        type_check_mode_(kDoTypeCheck),
        index_(),
        is_awaiter_link_(IsAwaiterLink::kNotLink) {
    DEBUG_ASSERT(static_type.IsNotTemporaryScopedHandle());
    ASSERT(static_type.IsFinalized());
    ASSERT(inferred_type != nullptr);
    ASSERT(name.IsSymbol());
    if (IsFilteredIdentifier(name)) {
      set_invisible(true);
    }
  }

Member Function Documentation

annotations_offset()

intptr_t dart::LocalVariable::annotations_offset ( ) const

inline

Definition at line 121 of file scopes.h.

{ return annotations_offset_; }

ComputeIfIsAwaiterLink()

bool dart::LocalVariable::ComputeIfIsAwaiterLink

(

const Library &

library

)

Definition at line 603 of file scopes.cc.

                                                                 {
  if (is_awaiter_link_ == IsAwaiterLink::kUnknown) {
    RELEASE_ASSERT(annotations_offset_ != kNoKernelOffset);
    Thread* T = Thread::Current();
    Zone* Z = T->zone();
    const auto& metadata = Object::Handle(
        Z, kernel::EvaluateMetadata(library, annotations_offset_,
                                    /* is_annotations_offset = */ true));
    set_is_awaiter_link(
        FindPragmaInMetadata(T, metadata, Symbols::vm_awaiter_link()));
  }
  return is_awaiter_link_ == IsAwaiterLink::kLink;
}

declaration_token_pos()

TokenPosition dart::LocalVariable::declaration_token_pos ( ) const

inline

Definition at line 118 of file scopes.h.

{ return declaration_pos_; }

Equals()

bool dart::LocalVariable::Equals

(

const LocalVariable &

other

)

const

Definition at line 617 of file scopes.cc.

                                                           {
  if (HasIndex() && other.HasIndex() && (index() == other.index())) {
    if (is_captured() == other.is_captured()) {
      if (!is_captured()) {
        return true;
      }
      if (owner()->context_level() == other.owner()->context_level()) {
        return true;
      }
    }
  }
  return false;
}

HasIndex()

bool dart::LocalVariable::HasIndex ( ) const

inline

Definition at line 201 of file scopes.h.

{ return index_.IsValid(); }

index()

VariableIndex dart::LocalVariable::index ( ) const

inline

Definition at line 202 of file scopes.h.

                              {
    ASSERT(HasIndex());
    return index_;
  }

inferred_arg_type()

CompileType * dart::LocalVariable::inferred_arg_type ( ) const

inline

Definition at line 137 of file scopes.h.

{ return inferred_arg_type_; }

inferred_arg_value()

const Object * dart::LocalVariable::inferred_arg_value ( ) const

inline

Definition at line 138 of file scopes.h.

{ return inferred_arg_value_; }

inferred_type()

CompileType * dart::LocalVariable::inferred_type ( ) const

inline

Definition at line 136 of file scopes.h.

{ return inferred_type_; }

is_captured()

bool dart::LocalVariable::is_captured ( ) const

inline

Definition at line 143 of file scopes.h.

{ return IsCapturedBit::decode(bitfield_); }

is_captured_parameter()

bool dart::LocalVariable::is_captured_parameter ( ) const

inline

Definition at line 220 of file scopes.h.

                                     {
    return IsCapturedParameterBit::decode(bitfield_);
  }

is_explicit_covariant_parameter()

bool dart::LocalVariable::is_explicit_covariant_parameter ( ) const

inline

Definition at line 168 of file scopes.h.

                                               {
    return covariance_mode_ == kExplicit;
  }

is_final()

bool dart::LocalVariable::is_final ( ) const

inline

Definition at line 140 of file scopes.h.

{ return IsFinalBit::decode(bitfield_); }

is_forced_stack()

bool dart::LocalVariable::is_forced_stack ( ) const

inline

Definition at line 155 of file scopes.h.

{ return IsForcedStackBit::decode(bitfield_); }

is_invisible()

bool dart::LocalVariable::is_invisible ( ) const

inline

Definition at line 215 of file scopes.h.

{ return IsInvisibleBit::decode(bitfield_); }

is_late()

bool dart::LocalVariable::is_late ( ) const

inline

Definition at line 160 of file scopes.h.

{ return IsLateBit::decode(bitfield_); }

kernel_offset()

intptr_t dart::LocalVariable::kernel_offset ( ) const

inline

Definition at line 120 of file scopes.h.

{ return kernel_offset_; }

late_init_offset()

intptr_t dart::LocalVariable::late_init_offset ( ) const

inline

Definition at line 163 of file scopes.h.

{ return late_init_offset_; }

name()

const String & dart::LocalVariable::name ( ) const

inline

Definition at line 119 of file scopes.h.

{ return name_; }

needs_covariant_check_in_method()

bool dart::LocalVariable::needs_covariant_check_in_method ( ) const

inline

Definition at line 173 of file scopes.h.

                                               {
    return covariance_mode_ != kNotCovariant;
  }

needs_type_check()

bool dart::LocalVariable::needs_type_check ( ) const

inline

Definition at line 190 of file scopes.h.

{ return (type_check_mode_ == kDoTypeCheck); }

owner()

LocalScope * dart::LocalVariable::owner ( ) const

inline

Definition at line 122 of file scopes.h.

{ return owner_; }

set_annotations_offset()

void dart::LocalVariable::set_annotations_offset ( intptr_t  offset )

inline

Definition at line 128 of file scopes.h.

                                               {
    annotations_offset_ = offset;
    is_awaiter_link_ = (offset == kNoKernelOffset) ? IsAwaiterLink::kNotLink
                                                   : IsAwaiterLink::kUnknown;
  }

set_index()

void dart::LocalVariable::set_index ( VariableIndex  index )

inline

Definition at line 208 of file scopes.h.

                                      {
    ASSERT(index.IsValid());
    index_ = index;
  }

set_invisible()

void dart::LocalVariable::set_invisible ( bool  value )

inline

Definition at line 216 of file scopes.h.

                                 {
    bitfield_ = IsInvisibleBit::update(value, bitfield_);
  }

set_is_awaiter_link()

void dart::LocalVariable::set_is_awaiter_link ( bool  value )

inline

Definition at line 147 of file scopes.h.

                                       {
    is_awaiter_link_ = value ? IsAwaiterLink::kLink : IsAwaiterLink::kNotLink;
  }

set_is_captured()

void dart::LocalVariable::set_is_captured ( )

inline

Definition at line 144 of file scopes.h.

{ bitfield_ = IsCapturedBit::update(true, bitfield_); }

set_is_captured_parameter()

void dart::LocalVariable::set_is_captured_parameter ( bool  value )

inline

Definition at line 223 of file scopes.h.

                                             {
    bitfield_ = IsCapturedParameterBit::update(value, bitfield_);
  }

set_is_explicit_covariant_parameter()

void dart::LocalVariable::set_is_explicit_covariant_parameter ( )

inline

Definition at line 171 of file scopes.h.

{ covariance_mode_ = kExplicit; }

set_is_final()

void dart::LocalVariable::set_is_final ( )

inline

Definition at line 141 of file scopes.h.

{ bitfield_ = IsFinalBit::update(true, bitfield_); }

set_is_forced_stack()

void dart::LocalVariable::set_is_forced_stack ( )

inline

Definition at line 156 of file scopes.h.

                             {
    bitfield_ = IsForcedStackBit::update(true, bitfield_);
  }

set_is_late()

void dart::LocalVariable::set_is_late ( )

inline

Definition at line 161 of file scopes.h.

{ bitfield_ = IsLateBit::update(true, bitfield_); }

set_late_init_offset()

void dart::LocalVariable::set_late_init_offset ( intptr_t  late_init_offset )

inline

Definition at line 164 of file scopes.h.

                                                       {
    late_init_offset_ = late_init_offset;
  }

set_needs_covariant_check_in_method()

void dart::LocalVariable::set_needs_covariant_check_in_method ( )

inline

Definition at line 176 of file scopes.h.

                                             {
    if (covariance_mode_ == kNotCovariant) {
      covariance_mode_ = kImplicit;
    }
  }

set_owner()

void dart::LocalVariable::set_owner ( LocalScope *  owner )

inline

Definition at line 123 of file scopes.h.

                                    {
    ASSERT(owner_ == nullptr);
    owner_ = owner;
  }

set_type_check_mode()

void dart::LocalVariable::set_type_check_mode ( TypeCheckMode  mode )

inline

Definition at line 199 of file scopes.h.

{ type_check_mode_ = mode; }

static_type()

const AbstractType & dart::LocalVariable::static_type ( ) const

inline

Definition at line 134 of file scopes.h.

{ return static_type_; }

token_pos()

TokenPosition dart::LocalVariable::token_pos ( ) const

inline

Definition at line 117 of file scopes.h.

{ return token_pos_; }

type_check_mode()

TypeCheckMode dart::LocalVariable::type_check_mode ( ) const

inline

Definition at line 198 of file scopes.h.

{ return type_check_mode_; }

was_type_checked_by_caller()

bool dart::LocalVariable::was_type_checked_by_caller ( ) const

inline

Definition at line 194 of file scopes.h.

                                          {
    return type_check_mode_ == kTypeCheckedByCaller;
  }

Friends And Related Symbol Documentation

LocalScope

friend class LocalScope

friend

Definition at line 281 of file scopes.h.

Member Data Documentation

kNoKernelOffset

constexpr intptr_t dart::LocalVariable::kNoKernelOffset = -1

staticconstexpr

Definition at line 77 of file scopes.h.

---

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

• third_party/dart-lang/sdk/runtime/vm/scopes.h
• third_party/dart-lang/sdk/runtime/vm/scopes.cc