#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.

121{ 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.

118{ 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.

201{ return index_.IsValid(); }

dart::VariableIndex::IsValid

bool IsValid() const

Definition: scopes.h:67

◆ 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.

137{ return inferred_arg_type_; }

◆ inferred_arg_value()

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

inline

Definition at line 138 of file scopes.h.

138{ return inferred_arg_value_; }

◆ inferred_type()

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

inline

Definition at line 136 of file scopes.h.

136{ return inferred_type_; }

◆ is_captured()

bool dart::LocalVariable::is_captured ( ) const

inline

Definition at line 143 of file scopes.h.

143{ return IsCapturedBit::decode(bitfield_); }

dart::BitField::decode

static constexpr T decode(S value)

Definition: bitfield.h:171

◆ 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.

140{ return IsFinalBit::decode(bitfield_); }

◆ is_forced_stack()

bool dart::LocalVariable::is_forced_stack ( ) const

inline

Definition at line 155 of file scopes.h.

155{ return IsForcedStackBit::decode(bitfield_); }

◆ is_invisible()

bool dart::LocalVariable::is_invisible ( ) const

inline

Definition at line 215 of file scopes.h.

215{ return IsInvisibleBit::decode(bitfield_); }

◆ is_late()

bool dart::LocalVariable::is_late ( ) const

inline

Definition at line 160 of file scopes.h.

160{ return IsLateBit::decode(bitfield_); }

◆ kernel_offset()

intptr_t dart::LocalVariable::kernel_offset ( ) const

inline

Definition at line 120 of file scopes.h.

120{ return kernel_offset_; }

◆ late_init_offset()

intptr_t dart::LocalVariable::late_init_offset ( ) const

inline

Definition at line 163 of file scopes.h.

163{ return late_init_offset_; }

◆ name()

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

inline

Definition at line 119 of file scopes.h.

119{ 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.

190{ return (type_check_mode_ == kDoTypeCheck); }

◆ owner()

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

inline

Definition at line 122 of file scopes.h.

122{ 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.

144{ 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.

171{ covariance_mode_ = kExplicit; }

◆ set_is_final()

void dart::LocalVariable::set_is_final ( )

inline

Definition at line 141 of file scopes.h.

141{ 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.

161{ 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.

199{ type_check_mode_ = mode; }

flutter::mode

it will be possible to load the file into Perfetto s trace viewer disable asset Prevents usage of any non test fonts unless they were explicitly Loaded via prefetched default font Indicates whether the embedding started a prefetch of the default font manager before creating the engine run In non interactive mode

Definition: switches.h:228

◆ static_type()

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

inline

Definition at line 134 of file scopes.h.

134{ return static_type_; }

◆ token_pos()

TokenPosition dart::LocalVariable::token_pos ( ) const

inline

Definition at line 117 of file scopes.h.

117{ return token_pos_; }

◆ type_check_mode()

TypeCheckMode dart::LocalVariable::type_check_mode ( ) const

inline

Definition at line 198 of file scopes.h.

198{ 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 Function 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

Public Types

Public Member Functions

Static Public Attributes

Friends

Detailed Description

Member Enumeration Documentation

◆ TypeCheckMode

Constructor & Destructor Documentation

◆ LocalVariable() [1/2]

◆ LocalVariable() [2/2]

Member Function Documentation

◆ annotations_offset()

◆ ComputeIfIsAwaiterLink()

◆ declaration_token_pos()

◆ Equals()

◆ HasIndex()

◆ index()

◆ inferred_arg_type()

◆ inferred_arg_value()

◆ inferred_type()

◆ is_captured()

◆ is_captured_parameter()

◆ is_explicit_covariant_parameter()

◆ is_final()

◆ is_forced_stack()

◆ is_invisible()

◆ is_late()

◆ kernel_offset()

◆ late_init_offset()

◆ name()

◆ needs_covariant_check_in_method()

◆ needs_type_check()

◆ owner()

◆ set_annotations_offset()

◆ set_index()

◆ set_invisible()

◆ set_is_awaiter_link()

◆ set_is_captured()

◆ set_is_captured_parameter()

◆ set_is_explicit_covariant_parameter()

◆ set_is_final()

◆ set_is_forced_stack()

◆ set_is_late()

◆ set_late_init_offset()

◆ set_needs_covariant_check_in_method()

◆ set_owner()

◆ set_type_check_mode()

◆ static_type()

◆ token_pos()

◆ type_check_mode()

◆ was_type_checked_by_caller()

Friends And Related Function Documentation

◆ LocalScope

Member Data Documentation

◆ kNoKernelOffset