#include <object.h>

Inheritance diagram for dart::Field:

Public Types
enum	{ kUnknownLengthOffset = -1 , kUnknownFixedLength = -1 , kNoFixedLength = -2 }

Public Types inherited from dart::Object
enum	NameVisibility { kInternalName = 0 , kScrubbedName , kUserVisibleName }

enum class	NameDisambiguation { kYes , kNo }

using	UntaggedObjectType = UntaggedObject

using	ObjectPtrType = ObjectPtr

Public Member Functions
FieldPtr	Original () const

void	SetOriginal (const Field &value) const

bool	IsOriginal () const

FieldPtr	CloneFromOriginal () const

StringPtr	name () const

StringPtr	UserVisibleName () const

const char *	UserVisibleNameCString () const

virtual StringPtr	DictionaryName () const

uint16_t	kind_bits () const

bool	is_static () const

bool	is_instance () const

bool	is_final () const

bool	is_const () const

bool	is_late () const

bool	is_extension_member () const

bool	is_extension_type_member () const

bool	needs_load_guard () const

bool	is_reflectable () const

void	set_is_reflectable (bool value) const

bool	initializer_changed_after_initialization () const

void	set_initializer_changed_after_initialization (bool value) const

bool	has_pragma () const

void	set_has_pragma (bool value) const

bool	is_covariant () const

void	set_is_covariant (bool value) const

bool	is_generic_covariant_impl () const

void	set_is_generic_covariant_impl (bool value) const

void	set_is_shared (bool value) const

bool	is_shared () const

intptr_t	kernel_offset () const

void	set_kernel_offset (intptr_t value) const

void	InheritKernelOffsetFrom (const Field &src) const

TypedDataViewPtr	KernelLibrary () const

intptr_t	KernelLibraryOffset () const

intptr_t	KernelLibraryIndex () const

void	SetOffset (intptr_t host_offset_in_bytes, intptr_t target_offset_in_bytes) const

intptr_t	HostOffset () const

intptr_t	TargetOffset () const

ObjectPtr	StaticConstFieldValue () const

void	SetStaticConstFieldValue (const Instance &value, bool assert_initializing_store=true) const

ObjectPtr	StaticValue () const

void	SetStaticValue (const Object &value) const

intptr_t	field_id () const

void	set_field_id (intptr_t field_id) const

void	set_field_id_unsafe (intptr_t field_id) const

ClassPtr	Owner () const

ScriptPtr	Script () const

KernelProgramInfoPtr	KernelProgramInfo () const

ObjectPtr	RawOwner () const

uint32_t	Hash () const

AbstractTypePtr	type () const

void	SetFieldType (const AbstractType &value) const

void	SetFieldTypeSafe (const AbstractType &value) const

DART_WARN_UNUSED_RESULT ErrorPtr	VerifyEntryPoint (EntryPointPragma kind) const

FieldPtr	Clone (const Field &original) const

TokenPosition	token_pos () const

TokenPosition	end_token_pos () const

int32_t	SourceFingerprint () const

StringPtr	InitializingExpression () const

bool	has_nontrivial_initializer () const

void	set_has_nontrivial_initializer_unsafe (bool has_nontrivial_initializer) const

void	set_has_nontrivial_initializer (bool has_nontrivial_initializer) const

bool	has_initializer () const

void	set_has_initializer_unsafe (bool has_initializer) const

void	set_has_initializer (bool has_initializer) const

bool	has_trivial_initializer () const

StaticTypeExactnessState	static_type_exactness_state () const

void	set_static_type_exactness_state (StaticTypeExactnessState state) const

void	set_static_type_exactness_state_unsafe (StaticTypeExactnessState state) const

intptr_t	guarded_cid () const

void	set_guarded_cid (intptr_t cid) const

void	set_guarded_cid_unsafe (intptr_t cid) const

intptr_t	guarded_list_length () const

void	set_guarded_list_length_unsafe (intptr_t list_length) const

void	set_guarded_list_length (intptr_t list_length) const

intptr_t	guarded_list_length_in_object_offset () const

void	set_guarded_list_length_in_object_offset_unsafe (intptr_t offset) const

void	set_guarded_list_length_in_object_offset (intptr_t offset) const

bool	needs_length_check () const

bool	NeedsSetter () const

bool	NeedsGetter () const

bool	NeedsInitializationCheckOnLoad () const

const char *	GuardedPropertiesAsCString () const

bool	is_unboxed () const

void	set_is_unboxed_unsafe (bool b) const

void	set_is_unboxed (bool b) const

void	set_is_late (bool value) const

void	set_is_extension_member (bool value) const

void	set_is_extension_type_member (bool value) const

void	set_needs_load_guard (bool value) const

bool	is_nullable () const

void	set_is_nullable (bool val) const

bool	is_nullable_unsafe () const

void	set_is_nullable_unsafe (bool val) const

void	RecordStore (const Object &value) const

void	InitializeGuardedListLengthInObjectOffset (bool unsafe=false) const

WeakArrayPtr	dependent_code () const

void	set_dependent_code (const WeakArray &array) const

void	RegisterDependentCode (const Code &code) const

void	DeoptimizeDependentCode (bool are_mutators_stopped=false) const

bool	IsConsistentWith (const Field &field) const

bool	IsUninitialized () const

DART_WARN_UNUSED_RESULT ErrorPtr	InitializeInstance (const Instance &instance) const

DART_WARN_UNUSED_RESULT ErrorPtr	InitializeStatic () const

DART_WARN_UNUSED_RESULT ObjectPtr	EvaluateInitializer () const

FunctionPtr	EnsureInitializerFunction () const

FunctionPtr	InitializerFunction () const

void	SetInitializerFunction (const Function &initializer) const

bool	HasInitializerFunction () const

InstancePtr	GetterClosure () const

InstancePtr	SetterClosure () const

InstancePtr	AccessorClosure (bool make_setter) const

Public Member Functions inherited from dart::Object
virtual	~Object ()

ObjectPtr	ptr () const

void	operator= (ObjectPtr value)

bool	IsCanonical () const

void	SetCanonical () const

void	ClearCanonical () const

bool	IsImmutable () const

void	SetImmutable () const

void	ClearImmutable () const

intptr_t	GetClassId () const

ClassPtr	clazz () const

	CLASS_LIST_FOR_HANDLES (DEFINE_CLASS_TESTER)

bool	IsNull () const

virtual const char *	ToCString () const

void	PrintJSON (JSONStream *stream, bool ref=true) const

virtual void	PrintJSONImpl (JSONStream *stream, bool ref) const

void	PrintImplementationFields (JSONStream *stream) const

virtual void	PrintImplementationFieldsImpl (const JSONArray &jsarr_fields) const

virtual const char *	JSONType () const

virtual StringPtr	DictionaryName () const

bool	IsNew () const

bool	IsOld () const

bool	InVMIsolateHeap () const

void	Print () const

Static Public Member Functions
static intptr_t	host_offset_or_field_id_offset ()

static intptr_t	TargetOffsetOf (FieldPtr field)

static intptr_t	InstanceSize ()

static FieldPtr	New (const String &name, bool is_static, bool is_final, bool is_const, bool is_reflectable, bool is_late, const Object &owner, const AbstractType &type, TokenPosition token_pos, TokenPosition end_token_pos)

static FieldPtr	NewTopLevel (const String &name, bool is_final, bool is_const, bool is_late, const Object &owner, TokenPosition token_pos, TokenPosition end_token_pos)

static intptr_t	kind_bits_offset ()

static intptr_t	static_type_exactness_state_offset ()

static intptr_t	guarded_cid_offset ()

static intptr_t	guarded_list_length_offset ()

static intptr_t	guarded_list_length_in_object_offset_offset ()

static intptr_t	is_nullable_offset ()

static intptr_t	initializer_function_offset ()

static StringPtr	GetterName (const String &field_name)

static StringPtr	GetterSymbol (const String &field_name)

static StringPtr	LookupGetterSymbol (const String &field_name)

static StringPtr	SetterName (const String &field_name)

static StringPtr	SetterSymbol (const String &field_name)

static StringPtr	LookupSetterSymbol (const String &field_name)

static StringPtr	NameFromGetter (const String &getter_name)

static StringPtr	NameFromSetter (const String &setter_name)

static StringPtr	NameFromInit (const String &init_name)

static bool	IsGetterName (const String &function_name)

static bool	IsSetterName (const String &function_name)

static bool	IsInitName (const String &function_name)

Static Public Member Functions inherited from dart::Object
static ObjectPtr	RawCast (ObjectPtr obj)

static constexpr bool	ContainsCompressedPointers ()

static intptr_t	tags_offset ()

static Object &	Handle ()

static Object &	Handle (Zone *zone)

static Object &	Handle (ObjectPtr ptr)

static Object &	Handle (Zone *zone, ObjectPtr ptr)

static Object &	ZoneHandle ()

static Object &	ZoneHandle (Zone *zone)

static Object &	ZoneHandle (ObjectPtr ptr)

static Object &	ZoneHandle (Zone *zone, ObjectPtr ptr)

static Object *	ReadOnlyHandle ()

static ObjectPtr	null ()

static void	set_vm_isolate_snapshot_object_table (const Array &table)

static ClassPtr	class_class ()

static ClassPtr	dynamic_class ()

static ClassPtr	void_class ()

static ClassPtr	type_parameters_class ()

static ClassPtr	type_arguments_class ()

static ClassPtr	patch_class_class ()

static ClassPtr	function_class ()

static ClassPtr	closure_data_class ()

static ClassPtr	ffi_trampoline_data_class ()

static ClassPtr	field_class ()

static ClassPtr	script_class ()

static ClassPtr	library_class ()

static ClassPtr	namespace_class ()

static ClassPtr	kernel_program_info_class ()

static ClassPtr	code_class ()

static ClassPtr	instructions_class ()

static ClassPtr	instructions_section_class ()

static ClassPtr	instructions_table_class ()

static ClassPtr	object_pool_class ()

static ClassPtr	pc_descriptors_class ()

static ClassPtr	code_source_map_class ()

static ClassPtr	compressed_stackmaps_class ()

static ClassPtr	var_descriptors_class ()

static ClassPtr	exception_handlers_class ()

static ClassPtr	context_class ()

static ClassPtr	context_scope_class ()

static ClassPtr	sentinel_class ()

static ClassPtr	api_error_class ()

static ClassPtr	language_error_class ()

static ClassPtr	unhandled_exception_class ()

static ClassPtr	unwind_error_class ()

static ClassPtr	singletargetcache_class ()

static ClassPtr	unlinkedcall_class ()

static ClassPtr	monomorphicsmiablecall_class ()

static ClassPtr	icdata_class ()

static ClassPtr	megamorphic_cache_class ()

static ClassPtr	subtypetestcache_class ()

static ClassPtr	loadingunit_class ()

static ClassPtr	weak_serialization_reference_class ()

static ClassPtr	weak_array_class ()

static void	InitNullAndBool (IsolateGroup *isolate_group)

static void	Init (IsolateGroup *isolate_group)

static void	InitVtables ()

static void	FinishInit (IsolateGroup *isolate_group)

static void	FinalizeVMIsolate (IsolateGroup *isolate_group)

static void	FinalizeReadOnlyObject (ObjectPtr object)

static void	Cleanup ()

static ErrorPtr	Init (IsolateGroup isolate_group, const uint8_t kernel_buffer, intptr_t kernel_buffer_size)

static void	MakeUnusedSpaceTraversable (const Object &obj, intptr_t original_size, intptr_t used_size)

static intptr_t	InstanceSize ()

template<class FakeObject >
static void	VerifyBuiltinVtable (intptr_t cid)

static void	VerifyBuiltinVtables ()

static bool	ShouldHaveImmutabilityBitSet (classid_t class_id)

Friends
class	StoreFieldInstr

class	Class

class	UntaggedField

class	FieldSerializationCluster

class	FieldDeserializationCluster

Additional Inherited Members
Static Public Attributes inherited from dart::Object
static constexpr intptr_t	kHashBits = 30

static const ClassId	kClassId = kObjectCid

Protected Member Functions inherited from dart::Object
	Object ()

uword	raw_value () const

void	setPtr (ObjectPtr value, intptr_t default_cid)

void	CheckHandle () const

cpp_vtable	vtable () const

void	set_vtable (cpp_vtable value)

bool	Contains (uword addr) const

template<typename type , std::memory_order order = std::memory_order_relaxed>
type	LoadPointer (type const *addr) const

template<typename type , std::memory_order order = std::memory_order_relaxed>
void	StorePointer (type const *addr, type value) const

template<typename type , typename compressed_type , std::memory_order order = std::memory_order_relaxed>
void	StoreCompressedPointer (compressed_type const *addr, type value) const

template<typename type >
void	StorePointerUnaligned (type const addr, type value, Thread thread) const

void	StoreSmi (SmiPtr const *addr, SmiPtr value) const

template<typename FieldType >
void	StoreSimd128 (const FieldType *addr, simd128_value_t value) const

template<typename FieldType >
FieldType	LoadNonPointer (const FieldType *addr) const

template<typename FieldType , std::memory_order order>
FieldType	LoadNonPointer (const FieldType *addr) const

template<typename FieldType , typename ValueType >
void	StoreNonPointer (const FieldType *addr, ValueType value) const

template<typename FieldType , typename ValueType , std::memory_order order>
void	StoreNonPointer (const FieldType *addr, ValueType value) const

template<typename FieldType >
FieldType *	UnsafeMutableNonPointer (const FieldType *addr) const

	CLASS_LIST (STORE_NON_POINTER_ILLEGAL_TYPE)

void	UnimplementedMethod () const

void	AddCommonObjectProperties (JSONObject jsobj, const char protocol_type, bool ref) const

Static Protected Member Functions inherited from dart::Object
static DART_NOINLINE Object &	HandleImpl (Zone *zone, ObjectPtr ptr, intptr_t default_cid)

static DART_NOINLINE Object &	ZoneHandleImpl (Zone *zone, ObjectPtr ptr, intptr_t default_cid)

static DART_NOINLINE Object *	ReadOnlyHandleImpl (intptr_t cid)

static ObjectPtr	Allocate (intptr_t cls_id, intptr_t size, Heap::Space space, bool compressed, uword ptr_field_start_offset, uword ptr_field_end_offset)

template<typename T >
static DART_FORCE_INLINE T::ObjectPtrType	Allocate (Heap::Space space)

template<typename T >
static DART_FORCE_INLINE T::ObjectPtrType	Allocate (Heap::Space space, intptr_t elements)

template<typename T >
static DART_FORCE_INLINE T::ObjectPtrType	AllocateVariant (intptr_t class_id, Heap::Space space)

template<typename T >
static DART_FORCE_INLINE T::ObjectPtrType	AllocateVariant (intptr_t class_id, Heap::Space space, intptr_t elements)

static constexpr intptr_t	RoundedAllocationSize (intptr_t size)

static ObjectPtr	Clone (const Object &orig, Heap::Space space, bool load_with_relaxed_atomics=false)

template<typename T >
static DART_FORCE_INLINE uword	from_offset ()

template<typename T >
static DART_FORCE_INLINE uword	to_offset (intptr_t length=0)

Protected Attributes inherited from dart::Object
ObjectPtr	ptr_

Detailed Description

Definition at line 4407 of file object.h.

Member Enumeration Documentation

◆ anonymous enum

anonymous enum

Enumerator
kUnknownLengthOffset
kUnknownFixedLength
kNoFixedLength

Definition at line 4726 of file object.h.

       {
    kUnknownLengthOffset = -1,
    kUnknownFixedLength = -1,
    kNoFixedLength = -2,
  };

Member Function Documentation

◆ AccessorClosure()

InstancePtr dart::Field::AccessorClosure ( bool make_setter ) const

Definition at line 12178 of file object.cc.

                                                         {
  Thread* thread = Thread::Current();
  Zone* zone = thread->zone();
  ASSERT(is_static());
  const Class& field_owner = Class::Handle(zone, Owner());
 
  String& closure_name = String::Handle(zone, this->name());
  closure_name = Symbols::FromConcat(thread, Symbols::HashMark(), closure_name);
  if (make_setter) {
    closure_name =
        Symbols::FromConcat(thread, Symbols::HashMark(), closure_name);
  }
 
  Field& closure_field = Field::Handle(zone);
  closure_field = field_owner.LookupStaticField(closure_name);
  if (!closure_field.IsNull()) {
    ASSERT(closure_field.is_static());
    const Instance& closure =
        Instance::Handle(zone, Instance::RawCast(closure_field.StaticValue()));
    ASSERT(!closure.IsNull());
    ASSERT(closure.IsClosure());
    return closure.ptr();
  }
 
  UNREACHABLE();
  return Instance::null();
}

◆ Clone()

FieldPtr dart::Field::Clone ( const Field & original ) const

Definition at line 12054 of file object.cc.

                                                 {
  if (original.IsNull()) {
    return Field::null();
  }
  ASSERT(original.IsOriginal());
  Field& clone = Field::Handle();
  // Using relaxed loading is fine because concurrent fields changes are all
  // guarded, will be reconciled during optimized code installation.
  clone ^= Object::Clone(*this, Heap::kOld, /*load_with_relaxed_atomics=*/true);
  clone.SetOriginal(original);
  clone.InheritKernelOffsetFrom(original);
  return clone.ptr();
}

◆ CloneFromOriginal()

FieldPtr dart::Field::CloneFromOriginal ( ) const

Definition at line 11735 of file object.cc.

                                        {
  return this->Clone(*this);
}

◆ DeoptimizeDependentCode()

void dart::Field::DeoptimizeDependentCode ( bool are_mutators_stopped = false ) const

Definition at line 12268 of file object.cc.

                                                                   {
  DEBUG_ASSERT(
      IsolateGroup::Current()->program_lock()->IsCurrentThreadWriter());
  ASSERT(IsOriginal());
  FieldDependentArray a(*this);
  if (FLAG_trace_deoptimization && a.HasCodes()) {
    THR_Print("Deopt for field guard (field %s)\n", ToCString());
  }
  a.DisableCode(are_mutators_stopped);
}

◆ dependent_code()

WeakArrayPtr dart::Field::dependent_code ( ) const

Definition at line 12214 of file object.cc.

                                         {
  DEBUG_ASSERT(
      IsolateGroup::Current()->program_lock()->IsCurrentThreadReader());
  return untag()->dependent_code();
}

◆ DictionaryName()

virtual StringPtr dart::Field::DictionaryName ( ) const

inlinevirtual

Reimplemented from dart::Object.

Definition at line 4433 of file object.h.

4433{ return name(); }

◆ end_token_pos()

TokenPosition dart::Field::end_token_pos ( ) const

inline

Definition at line 4590 of file object.h.

4590{ return untag()->end_token_pos_; }

◆ EnsureInitializerFunction()

FunctionPtr dart::Field::EnsureInitializerFunction ( ) const

Definition at line 12297 of file object.cc.

                                                   {
  ASSERT(has_nontrivial_initializer());
  ASSERT(IsOriginal());
  Thread* thread = Thread::Current();
  Zone* zone = thread->zone();
  Function& initializer = Function::Handle(zone, InitializerFunction());
  if (initializer.IsNull()) {
#if defined(DART_PRECOMPILED_RUNTIME)
    UNREACHABLE();
#else
    SafepointMutexLocker ml(
        thread->isolate_group()->initializer_functions_mutex());
    // Double check after grabbing the lock.
    initializer = InitializerFunction();
    if (initializer.IsNull()) {
      initializer = kernel::CreateFieldInitializerFunction(thread, zone, *this);
    }
#endif
  }
  return initializer.ptr();
}

◆ EvaluateInitializer()

ObjectPtr dart::Field::EvaluateInitializer ( ) const

Definition at line 12465 of file object.cc.

                                           {
  ASSERT(Thread::Current()->IsDartMutatorThread());
 
#if !defined(DART_PRECOMPILED_RUNTIME)
  if (is_static() && is_const()) {
    return kernel::EvaluateStaticConstFieldInitializer(*this);
  }
#endif  // !defined(DART_PRECOMPILED_RUNTIME)
 
  const Function& initializer = Function::Handle(EnsureInitializerFunction());
  return DartEntry::InvokeFunction(initializer, Object::empty_array());
}

◆ field_id()

intptr_t dart::Field::field_id ( ) const

inline

Definition at line 13284 of file object.h.

                                      {
  return Smi::Value(untag()->host_offset_or_field_id());
}

◆ GetterClosure()

InstancePtr dart::Field::GetterClosure ( ) const

Definition at line 12206 of file object.cc.

                                       {
  return AccessorClosure(false);
}

◆ GetterName()

StringPtr dart::Field::GetterName ( const String & field_name )

static

Definition at line 11792 of file object.cc.

                                                    {
  return String::Concat(Symbols::GetterPrefix(), field_name);
}

◆ GetterSymbol()

StringPtr dart::Field::GetterSymbol ( const String & field_name )

static

Definition at line 11796 of file object.cc.

                                                      {
  return Symbols::FromGet(Thread::Current(), field_name);
}

◆ guarded_cid()

intptr_t dart::Field::guarded_cid ( ) const

Definition at line 11749 of file object.cc.

                                  {
#if defined(DEBUG)
  // This assertion ensures that the cid seen by the background compiler is
  // consistent. So the assertion passes if the field is a clone. It also
  // passes if the field is static, because we don't use field guards on
  // static fields. It also passes if we're compiling unoptimized
  // code (in which case the caller might get different answers if it obtains
  // the guarded cid multiple times).
  Thread* thread = Thread::Current();
#if defined(DART_PRECOMPILED_RUNTIME)
  ASSERT(!thread->IsInsideCompiler() || is_static());
#else
  ASSERT(!thread->IsInsideCompiler() ||
         ((CompilerState::Current().should_clone_fields() == !IsOriginal())) ||
         is_static());
#endif
#endif
  return LoadNonPointer<ClassIdTagType, std::memory_order_relaxed>(
      &untag()->guarded_cid_);
}

◆ guarded_cid_offset()

static intptr_t dart::Field::guarded_cid_offset ( )

inlinestatic

Definition at line 4669 of file object.h.

                                       {
    return OFFSET_OF(UntaggedField, guarded_cid_);
  }

◆ guarded_list_length()

intptr_t dart::Field::guarded_list_length ( ) const

Definition at line 12101 of file object.cc.

                                          {
  return Smi::Value(untag()->guarded_list_length());
}

◆ guarded_list_length_in_object_offset()

intptr_t dart::Field::guarded_list_length_in_object_offset ( ) const

Definition at line 12110 of file object.cc.

                                                           {
  return untag()->guarded_list_length_in_object_offset_ + kHeapObjectTag;
}

◆ guarded_list_length_in_object_offset_offset()

static intptr_t dart::Field::guarded_list_length_in_object_offset_offset ( )

inlinestatic

Definition at line 4693 of file object.h.

                                                                {
    return OFFSET_OF(UntaggedField, guarded_list_length_in_object_offset_);
  }

◆ guarded_list_length_offset()

static intptr_t dart::Field::guarded_list_length_offset ( )

inlinestatic

Definition at line 4683 of file object.h.

                                               {
    return OFFSET_OF(UntaggedField, guarded_list_length_);
  }

◆ GuardedPropertiesAsCString()

const char * dart::Field::GuardedPropertiesAsCString ( ) const

Definition at line 12504 of file object.cc.

                                                    {
  if (guarded_cid() == kIllegalCid) {
    return "<?>";
  } else if (guarded_cid() == kDynamicCid) {
    ASSERT(!static_type_exactness_state().IsExactOrUninitialized());
    return "<*>";
  }
 
  Zone* zone = Thread::Current()->zone();
 
  const char* exactness = "";
  if (static_type_exactness_state().IsTracking()) {
    exactness =
        zone->PrintToString(" {%s}", static_type_exactness_state().ToCString());
  }
 
  const Class& cls =
      Class::Handle(IsolateGroup::Current()->class_table()->At(guarded_cid()));
  const char* class_name = String::Handle(cls.Name()).ToCString();
 
  if (IsBuiltinListClassId(guarded_cid()) && !is_nullable() && is_final()) {
    ASSERT(guarded_list_length() != kUnknownFixedLength);
    if (guarded_list_length() == kNoFixedLength) {
      return zone->PrintToString("<%s [*]%s>", class_name, exactness);
    } else {
      return zone->PrintToString(
          "<%s [%" Pd " @%" Pd "]%s>", class_name, guarded_list_length(),
          guarded_list_length_in_object_offset(), exactness);
    }
  }
 
  return zone->PrintToString("<%s %s%s>",
                             is_nullable() ? "nullable" : "not-nullable",
                             class_name, exactness);
}

◆ has_initializer()

bool dart::Field::has_initializer ( ) const

inline

Definition at line 4613 of file object.h.

                               {
    return HasInitializerBit::decode(kind_bits());
  }

◆ has_nontrivial_initializer()

bool dart::Field::has_nontrivial_initializer ( ) const

inline

Definition at line 4596 of file object.h.

                                          {
    return HasNontrivialInitializerBit::decode(kind_bits());
  }

◆ has_pragma()

bool dart::Field::has_pragma ( ) const

inline

Definition at line 4470 of file object.h.

4470{ return HasPragmaBit::decode(kind_bits()); }

◆ has_trivial_initializer()

bool dart::Field::has_trivial_initializer ( ) const

inline

Definition at line 4629 of file object.h.

                                       {
    return has_initializer() && !has_nontrivial_initializer();
  }

◆ Hash()

uint32_t dart::Field::Hash ( ) const

Definition at line 11894 of file object.cc.

                           {
  return String::HashRawSymbol(name());
}

◆ HasInitializerFunction()

bool dart::Field::HasInitializerFunction ( ) const

Definition at line 12335 of file object.cc.

                                         {
  return untag()->initializer_function() != Function::null();
}

◆ host_offset_or_field_id_offset()

static intptr_t dart::Field::host_offset_or_field_id_offset ( )

inlinestatic

Definition at line 4523 of file object.h.

                                                   {
    return OFFSET_OF(UntaggedField, host_offset_or_field_id_);
  }

◆ HostOffset()

intptr_t dart::Field::HostOffset ( ) const

inline

Definition at line 13241 of file object.h.

                                 {
  ASSERT(is_instance());  // Valid only for dart instance fields.
  return (Smi::Value(untag()->host_offset_or_field_id()) * kCompressedWordSize);
}

◆ InheritKernelOffsetFrom()

void dart::Field::InheritKernelOffsetFrom ( const Field & src ) const

Definition at line 11898 of file object.cc.

                                                          {
#if defined(DART_PRECOMPILED_RUNTIME)
  UNREACHABLE();
#else
  StoreNonPointer(&untag()->kernel_offset_, src.untag()->kernel_offset_);
#endif
}

◆ InitializeGuardedListLengthInObjectOffset()

void dart::Field::InitializeGuardedListLengthInObjectOffset ( bool unsafe = false ) const

Definition at line 12540 of file object.cc.

                                                                       {
  auto setter = unsafe ? &Field::set_guarded_list_length_in_object_offset_unsafe
                       : &Field::set_guarded_list_length_in_object_offset;
  ASSERT(IsOriginal());
  if (needs_length_check() &&
      (guarded_list_length() != Field::kUnknownFixedLength)) {
    const intptr_t offset = GetListLengthOffset(guarded_cid());
    (this->*setter)(offset);
    ASSERT(offset != Field::kUnknownLengthOffset);
  } else {
    (this->*setter)(Field::kUnknownLengthOffset);
  }
}

◆ InitializeInstance()

ErrorPtr dart::Field::InitializeInstance ( const Instance & instance ) const

Definition at line 12339 of file object.cc.

                                                                 {
  ASSERT(IsOriginal());
  ASSERT(is_instance());
  ASSERT(instance.GetField(*this) == Object::sentinel().ptr());
  Object& value = Object::Handle();
 
  if (has_nontrivial_initializer()) {
    const Function& initializer = Function::Handle(EnsureInitializerFunction());
    const Array& args = Array::Handle(Array::New(1));
    args.SetAt(0, instance);
    value = DartEntry::InvokeFunction(initializer, args);
    if (!value.IsNull() && value.IsError()) {
      return Error::Cast(value).ptr();
    }
  } else {
    if (is_late() && !has_initializer()) {
      Exceptions::ThrowLateFieldNotInitialized(String::Handle(name()));
      UNREACHABLE();
    }
#if defined(DART_PRECOMPILED_RUNTIME)
    UNREACHABLE();
#else
    // Our trivial initializer is `null`. Any non-`null` initializer is
    // non-trivial (see `KernelLoader::CheckForInitializer()`).
    value = Object::null();
#endif
  }
  ASSERT(value.IsNull() || value.IsInstance());
  if (is_late() && is_final() &&
      (instance.GetField(*this) != Object::sentinel().ptr())) {
    Exceptions::ThrowLateFieldAssignedDuringInitialization(
        String::Handle(name()));
    UNREACHABLE();
  }
  instance.SetField(*this, value);
  return Error::null();
}

◆ initializer_changed_after_initialization()

bool dart::Field::initializer_changed_after_initialization ( ) const

inline

Definition at line 4461 of file object.h.

                                                        {
    return InitializerChangedAfterInitializationBit::decode(kind_bits());
  }

◆ initializer_function_offset()

static intptr_t dart::Field::initializer_function_offset ( )

inlinestatic

Definition at line 4809 of file object.h.

                                                {
    return OFFSET_OF(UntaggedField, initializer_function_);
  }

◆ InitializerFunction()

FunctionPtr dart::Field::InitializerFunction ( ) const

inline

Definition at line 4804 of file object.h.

                                          {
    return untag()->initializer_function<std::memory_order_acquire>();
  }

◆ InitializeStatic()

ErrorPtr dart::Field::InitializeStatic ( ) const

Definition at line 12377 of file object.cc.

                                       {
  ASSERT(IsOriginal());
  ASSERT(is_static());
  if (StaticValue() == Object::sentinel().ptr()) {
    auto& value = Object::Handle();
    if (is_late()) {
      if (!has_initializer()) {
        Exceptions::ThrowLateFieldNotInitialized(String::Handle(name()));
        UNREACHABLE();
      }
      value = EvaluateInitializer();
      if (value.IsError()) {
        return Error::Cast(value).ptr();
      }
      if (is_final() && (StaticValue() != Object::sentinel().ptr())) {
        Exceptions::ThrowLateFieldAssignedDuringInitialization(
            String::Handle(name()));
        UNREACHABLE();
      }
    } else {
      SetStaticValue(Object::transition_sentinel());
      value = EvaluateInitializer();
      if (value.IsError()) {
        SetStaticValue(Object::null_instance());
        return Error::Cast(value).ptr();
      }
    }
    ASSERT(value.IsNull() || value.IsInstance());
    SetStaticValue(value.IsNull() ? Instance::null_instance()
                                  : Instance::Cast(value));
    return Error::null();
  } else if (StaticValue() == Object::transition_sentinel().ptr()) {
    ASSERT(!is_late());
    const Array& ctor_args = Array::Handle(Array::New(1));
    const String& field_name = String::Handle(name());
    ctor_args.SetAt(0, field_name);
    Exceptions::ThrowByType(Exceptions::kCyclicInitializationError, ctor_args);
    UNREACHABLE();
  }
  return Error::null();
}

◆ InitializingExpression()

StringPtr dart::Field::InitializingExpression ( ) const

Definition at line 12077 of file object.cc.

                                              {
  UNREACHABLE();
  return String::null();
}

◆ InstanceSize()

static intptr_t dart::Field::InstanceSize ( )

inlinestatic

Definition at line 4558 of file object.h.

                                 {
    return RoundedAllocationSize(sizeof(UntaggedField));
  }

◆ is_const()

bool dart::Field::is_const ( ) const

inline

Definition at line 4443 of file object.h.

4443{ return ConstBit::decode(kind_bits()); }

◆ is_covariant()

bool dart::Field::is_covariant ( ) const

inline

Definition at line 4476 of file object.h.

4476{ return CovariantBit::decode(kind_bits()); }

◆ is_extension_member()

bool dart::Field::is_extension_member ( ) const

inline

Definition at line 4445 of file object.h.

                                   {
    return IsExtensionMemberBit::decode(kind_bits());
  }

◆ is_extension_type_member()

bool dart::Field::is_extension_type_member ( ) const

inline

Definition at line 4448 of file object.h.

                                        {
    return IsExtensionTypeMemberBit::decode(kind_bits());
  }

◆ is_final()

bool dart::Field::is_final ( ) const

inline

Definition at line 4442 of file object.h.

4442{ return FinalBit::decode(kind_bits()); }

◆ is_generic_covariant_impl()

bool dart::Field::is_generic_covariant_impl ( ) const

inline

Definition at line 4482 of file object.h.

                                         {
    return GenericCovariantImplBit::decode(kind_bits());
  }

◆ is_instance()

bool dart::Field::is_instance ( ) const

inline

Definition at line 4441 of file object.h.

4441{ return !is_static(); }

◆ is_late()

bool dart::Field::is_late ( ) const

inline

Definition at line 4444 of file object.h.

4444{ return IsLateBit::decode(kind_bits()); }

◆ is_nullable()

bool dart::Field::is_nullable ( ) const

Definition at line 11770 of file object.cc.

                              {
#if defined(DEBUG)
  // Same assert as guarded_cid(), because is_nullable() also needs to be
  // consistent for the background compiler.
  Thread* thread = Thread::Current();
#if defined(DART_PRECOMPILED_RUNTIME)
  ASSERT(!thread->IsInsideCompiler() || is_static());
#else
  ASSERT(!thread->IsInsideCompiler() ||
         ((CompilerState::Current().should_clone_fields() == !IsOriginal())) ||
         is_static());
#endif
#endif
  return is_nullable_unsafe();
}

◆ is_nullable_offset()

static intptr_t dart::Field::is_nullable_offset ( )

inlinestatic

Definition at line 4766 of file object.h.

                                       {
    return OFFSET_OF(UntaggedField, is_nullable_);
  }

◆ is_nullable_unsafe()

bool dart::Field::is_nullable_unsafe ( ) const

inline

Definition at line 4758 of file object.h.

                                  {
    return LoadNonPointer<ClassIdTagType, std::memory_order_relaxed>(
               &untag()->is_nullable_) == kNullCid;
  }

◆ is_reflectable()

bool dart::Field::is_reflectable ( ) const

inline

Definition at line 4454 of file object.h.

4454{ return ReflectableBit::decode(kind_bits()); }

◆ is_shared()

bool dart::Field::is_shared ( ) const

inline

Definition at line 4493 of file object.h.

4493{ return SharedBit::decode(kind_bits()); }

◆ is_static()

bool dart::Field::is_static ( ) const

inline

Definition at line 4440 of file object.h.

4440{ return StaticBit::decode(kind_bits()); }

◆ is_unboxed()

bool dart::Field::is_unboxed ( ) const

inline

Definition at line 4712 of file object.h.

4712{ return UnboxedBit::decode(kind_bits()); }

◆ IsConsistentWith()

bool dart::Field::IsConsistentWith ( const Field & field ) const

Definition at line 12279 of file object.cc.

                                                     {
  return (untag()->guarded_cid_ == other.untag()->guarded_cid_) &&
         (untag()->is_nullable_ == other.untag()->is_nullable_) &&
         (untag()->guarded_list_length() ==
          other.untag()->guarded_list_length()) &&
         (is_unboxed() == other.is_unboxed()) &&
         (static_type_exactness_state().Encode() ==
          other.static_type_exactness_state().Encode());
}

◆ IsGetterName()

bool dart::Field::IsGetterName ( const String & function_name )

static

Definition at line 11831 of file object.cc.

                                                    {
  return function_name.StartsWith(Symbols::GetterPrefix());
}

◆ IsInitName()

bool dart::Field::IsInitName ( const String & function_name )

static

Definition at line 11839 of file object.cc.

                                                  {
  return function_name.StartsWith(Symbols::InitPrefix());
}

◆ IsOriginal()

bool dart::Field::IsOriginal ( ) const

inline

Definition at line 4418 of file object.h.

                          {
    if (IsNull()) {
      return true;
    }
    NoSafepointScope no_safepoint;
    return !untag()->owner()->IsField();
  }

◆ IsSetterName()

bool dart::Field::IsSetterName ( const String & function_name )

static

Definition at line 11835 of file object.cc.

                                                    {
  return function_name.StartsWith(Symbols::SetterPrefix());
}

◆ IsUninitialized()

bool dart::Field::IsUninitialized ( ) const

Definition at line 12289 of file object.cc.

                                  {
  Thread* thread = Thread::Current();
  const FieldTable* field_table = thread->isolate()->field_table();
  const ObjectPtr raw_value = field_table->At(field_id());
  ASSERT(raw_value != Object::transition_sentinel().ptr());
  return raw_value == Object::sentinel().ptr();
}

◆ kernel_offset()

intptr_t dart::Field::kernel_offset ( ) const

inline

Definition at line 4495 of file object.h.

                                 {
#if defined(DART_PRECOMPILED_RUNTIME)
    return 0;
#else
    return untag()->kernel_offset_;
#endif
  }

◆ KernelLibrary()

TypedDataViewPtr dart::Field::KernelLibrary ( ) const

Definition at line 11907 of file object.cc.

                                            {
  const auto& info = KernelProgramInfo::Handle(KernelProgramInfo());
  return info.KernelLibrary(KernelLibraryIndex());
}

◆ KernelLibraryIndex()

intptr_t dart::Field::KernelLibraryIndex ( ) const

Definition at line 11919 of file object.cc.

                                         {
  const Object& obj = Object::Handle(untag()->owner());
  // During background JIT compilation field objects are copied
  // and copy points to the original field via the owner field.
  if (obj.IsField()) {
    return Field::Cast(obj).KernelLibraryIndex();
  } else if (obj.IsClass()) {
    const auto& lib = Library::Handle(Class::Cast(obj).library());
    return lib.kernel_library_index();
  }
  ASSERT(obj.IsPatchClass());
  return PatchClass::Cast(obj).kernel_library_index();
}

◆ KernelLibraryOffset()

intptr_t dart::Field::KernelLibraryOffset ( ) const

Definition at line 11912 of file object.cc.

                                          {
  const intptr_t kernel_library_index = KernelLibraryIndex();
  if (kernel_library_index == -1) return 0;
  const auto& info = KernelProgramInfo::Handle(KernelProgramInfo());
  return info.KernelLibraryStartOffset(kernel_library_index);
}

◆ KernelProgramInfo()

KernelProgramInfoPtr dart::Field::KernelProgramInfo ( ) const

Definition at line 11885 of file object.cc.

                                                    {
  const auto& owner = Object::Handle(RawOwner());
  if (owner.IsClass()) {
    return Class::Cast(owner).KernelProgramInfo();
  }
  return PatchClass::Cast(owner).kernel_program_info();
}

◆ kind_bits()

uint16_t dart::Field::kind_bits ( ) const

inline

Definition at line 4435 of file object.h.

                             {
    return LoadNonPointer<uint16_t, std::memory_order_acquire>(
        &untag()->kind_bits_);
  }

◆ kind_bits_offset()

static intptr_t dart::Field::kind_bits_offset ( )

inlinestatic

Definition at line 4585 of file object.h.

                                     {
    return OFFSET_OF(UntaggedField, kind_bits_);
  }

◆ LookupGetterSymbol()

StringPtr dart::Field::LookupGetterSymbol ( const String & field_name )

static

Definition at line 11800 of file object.cc.

                                                            {
  return Symbols::LookupFromGet(Thread::Current(), field_name);
}

◆ LookupSetterSymbol()

StringPtr dart::Field::LookupSetterSymbol ( const String & field_name )

static

Definition at line 11812 of file object.cc.

                                                            {
  return Symbols::LookupFromSet(Thread::Current(), field_name);
}

◆ name()

StringPtr dart::Field::name ( ) const

inline

Definition at line 4430 of file object.h.

4430{ return untag()->name(); }

◆ NameFromGetter()

StringPtr dart::Field::NameFromGetter ( const String & getter_name )

static

Definition at line 11816 of file object.cc.

                                                         {
  return Symbols::New(Thread::Current(), getter_name, kGetterPrefixLength,
                      getter_name.Length() - kGetterPrefixLength);
}

◆ NameFromInit()

StringPtr dart::Field::NameFromInit ( const String & init_name )

static

Definition at line 11826 of file object.cc.

                                                     {
  return Symbols::New(Thread::Current(), init_name, kInitPrefixLength,
                      init_name.Length() - kInitPrefixLength);
}

◆ NameFromSetter()

StringPtr dart::Field::NameFromSetter ( const String & setter_name )

static

Definition at line 11821 of file object.cc.

                                                         {
  return Symbols::New(Thread::Current(), setter_name, kSetterPrefixLength,
                      setter_name.Length() - kSetterPrefixLength);
}

◆ needs_length_check()

bool dart::Field::needs_length_check ( ) const

inline

Definition at line 4697 of file object.h.

                                  {
    const bool r = guarded_list_length() >= Field::kUnknownFixedLength;
    ASSERT(!r || is_final());
    return r;
  }

◆ needs_load_guard()

bool dart::Field::needs_load_guard ( ) const

inline

Definition at line 4451 of file object.h.

                                {
    return NeedsLoadGuardBit::decode(kind_bits());
  }

◆ NeedsGetter()

bool dart::Field::NeedsGetter ( ) const

Definition at line 12145 of file object.cc.

                              {
  // All instance fields need a getter.
  if (!is_static()) return true;
 
  // Static fields also need a getter if they have a non-trivial initializer,
  // because it needs to be initialized lazily.
  if (has_nontrivial_initializer()) return true;
 
  // Static late fields with no initializer also need a getter, to check if it's
  // been initialized.
  return is_late() && !has_initializer();
}

◆ NeedsInitializationCheckOnLoad()

bool dart::Field::NeedsInitializationCheckOnLoad ( ) const

inline

Definition at line 4706 of file object.h.

                                              {
    return needs_load_guard() || (is_late() && !has_trivial_initializer());
  }

◆ NeedsSetter()

bool dart::Field::NeedsSetter ( ) const

Definition at line 12123 of file object.cc.

                              {
  // According to the Dart language specification, final fields don't have
  // a setter, except late final fields without initializer.
  if (is_final()) {
    // Late final fields without initializer always need a setter to check
    // if they are already initialized.
    if (is_late() && !has_initializer()) {
      return true;
    }
    return false;
  }
 
  // Instance non-final fields always need a setter.
  if (!is_static()) {
    return true;
  }
 
  // Otherwise, setters for static fields can be omitted
  // and fields can be accessed directly.
  return false;
}

◆ New()

FieldPtr dart::Field::New	(	const String &	name,
		bool	is_static,
		bool	is_final,
		bool	is_const,
		bool	is_reflectable,
		bool	is_late,
		const Object &	owner,
		const AbstractType &	type,
		TokenPosition	token_pos,
		TokenPosition	end_token_pos
	)

static

Definition at line 12018 of file object.cc.

                                                 {
  ASSERT(!owner.IsNull());
  const Field& result = Field::Handle(Field::New());
  InitializeNew(result, name, is_static, is_final, is_const, is_reflectable,
                is_late, owner, token_pos, end_token_pos);
  result.SetFieldTypeSafe(type);
#if !defined(DART_PRECOMPILED_RUNTIME)
  compiler::target::UnboxFieldIfSupported(result, type);
#endif
  return result.ptr();
}

◆ NewTopLevel()

FieldPtr dart::Field::NewTopLevel	(	const String &	name,
		bool	is_final,
		bool	is_const,
		bool	is_late,
		const Object &	owner,
		TokenPosition	token_pos,
		TokenPosition	end_token_pos
	)

static

Definition at line 12039 of file object.cc.

                                                         {
  ASSERT(!owner.IsNull());
  const Field& result = Field::Handle(Field::New());
  InitializeNew(result, name, true,       /* is_static */
                is_final, is_const, true, /* is_reflectable */
                is_late, owner, token_pos, end_token_pos);
  return result.ptr();
}

◆ Original()

FieldPtr dart::Field::Original ( ) const

Definition at line 11739 of file object.cc.

                               {
  if (IsNull()) {
    return Field::null();
  }
  if (untag()->owner()->IsField()) {
    return static_cast<FieldPtr>(untag()->owner());
  }
  return this->ptr();
}

◆ Owner()

ClassPtr dart::Field::Owner ( ) const

Definition at line 11860 of file object.cc.

                            {
  const Field& field = Field::Handle(Original());
  ASSERT(field.IsOriginal());
  const Object& obj = Object::Handle(field.untag()->owner());
  if (obj.IsClass()) {
    return Class::Cast(obj).ptr();
  }
  ASSERT(obj.IsPatchClass());
  return PatchClass::Cast(obj).wrapped_class();
}

◆ RawOwner()

ObjectPtr dart::Field::RawOwner ( ) const

Definition at line 11849 of file object.cc.

                                {
  if (IsOriginal()) {
    return untag()->owner();
  } else {
    const Field& field = Field::Handle(Original());
    ASSERT(field.IsOriginal());
    ASSERT(!Object::Handle(field.untag()->owner()).IsField());
    return field.untag()->owner();
  }
}

◆ RecordStore()

void dart::Field::RecordStore ( const Object & value ) const

Definition at line 13027 of file object.cc.

                                                 {
  ASSERT(IsOriginal());
  Thread* const thread = Thread::Current();
  if (!thread->isolate_group()->use_field_guards()) {
    return;
  }
 
  // We should never try to record a sentinel.
  ASSERT(value.ptr() != Object::sentinel().ptr());
 
  SafepointWriteRwLocker ml(thread, thread->isolate_group()->program_lock());
  if ((guarded_cid() == kDynamicCid) ||
      (is_nullable() && value.ptr() == Object::null())) {
    // Nothing to do: the field is not guarded or we are storing null into
    // a nullable field.
    return;
  }
 
  if (FLAG_trace_field_guards) {
    THR_Print("Store %s %s <- %s\n", ToCString(), GuardedPropertiesAsCString(),
              value.ToCString());
  }
 
  FieldGuardUpdater updater(this, value);
  if (updater.IsUpdateNeeded()) {
    if (FLAG_trace_field_guards) {
      THR_Print("    => %s\n", GuardedPropertiesAsCString());
    }
    // Nobody else could have updated guard state since we are holding write
    // program lock. But we need to ensure we stop mutators as we update
    // guard state as we can't have optimized code running with updated fields.
    auto isolate_group = IsolateGroup::Current();
    isolate_group->RunWithStoppedMutators([&]() {
      updater.DoUpdate();
      DeoptimizeDependentCode(/*are_mutators_stopped=*/true);
    });
  }
}

◆ RegisterDependentCode()

void dart::Field::RegisterDependentCode ( const Code & code ) const

Definition at line 12260 of file object.cc.

                                                        {
  ASSERT(IsOriginal());
  DEBUG_ASSERT(IsMutatorOrAtDeoptSafepoint());
  ASSERT(code.is_optimized());
  FieldDependentArray a(*this);
  a.Register(code);
}

◆ Script()

ScriptPtr dart::Field::Script ( ) const

Definition at line 11871 of file object.cc.

                              {
  // NOTE(turnidge): If you update this function, you probably want to
  // update Class::PatchFieldsAndFunctions() at the same time.
  const Field& field = Field::Handle(Original());
  ASSERT(field.IsOriginal());
  const Object& obj = Object::Handle(field.untag()->owner());
  if (obj.IsClass()) {
    return Class::Cast(obj).script();
  }
  ASSERT(obj.IsPatchClass());
  return PatchClass::Cast(obj).script();
}

◆ set_dependent_code()

void dart::Field::set_dependent_code ( const WeakArray & array ) const

Definition at line 12220 of file object.cc.

                                                           {
  ASSERT(IsOriginal());
  DEBUG_ASSERT(
      IsolateGroup::Current()->program_lock()->IsCurrentThreadWriter());
  untag()->set_dependent_code(array.ptr());
}

◆ set_field_id()

void dart::Field::set_field_id ( intptr_t field_id ) const

inline

Definition at line 13288 of file object.h.

                                                {
  DEBUG_ASSERT(
      IsolateGroup::Current()->program_lock()->IsCurrentThreadWriter());
  set_field_id_unsafe(field_id);
}

◆ set_field_id_unsafe()

void dart::Field::set_field_id_unsafe ( intptr_t field_id ) const

inline

Definition at line 13294 of file object.h.

                                                       {
  ASSERT(is_static());
  untag()->set_host_offset_or_field_id(Smi::New(field_id));
}

◆ set_guarded_cid()

void dart::Field::set_guarded_cid ( intptr_t cid ) const

inline

Definition at line 4660 of file object.h.

                                           {
    DEBUG_ASSERT(
        IsolateGroup::Current()->program_lock()->IsCurrentThreadWriter());
    set_guarded_cid_unsafe(cid);
  }

◆ set_guarded_cid_unsafe()

void dart::Field::set_guarded_cid_unsafe ( intptr_t cid ) const

inline

Definition at line 4665 of file object.h.

                                                  {
    StoreNonPointer<ClassIdTagType, ClassIdTagType, std::memory_order_relaxed>(
        &untag()->guarded_cid_, cid);
  }

◆ set_guarded_list_length()

void dart::Field::set_guarded_list_length ( intptr_t list_length ) const

inline

Definition at line 4678 of file object.h.

                                                           {
    DEBUG_ASSERT(
        IsolateGroup::Current()->program_lock()->IsCurrentThreadWriter());
    set_guarded_list_length_unsafe(list_length);
  }

◆ set_guarded_list_length_in_object_offset()

void dart::Field::set_guarded_list_length_in_object_offset ( intptr_t offset ) const

inline

Definition at line 4688 of file object.h.

                                                                       {
    DEBUG_ASSERT(
        IsolateGroup::Current()->program_lock()->IsCurrentThreadWriter());
    set_guarded_list_length_in_object_offset_unsafe(offset);
  }

◆ set_guarded_list_length_in_object_offset_unsafe()

void dart::Field::set_guarded_list_length_in_object_offset_unsafe ( intptr_t offset ) const

Definition at line 12114 of file object.cc.

                                       {
  ASSERT(IsOriginal());
  StoreNonPointer<int8_t, int8_t, std::memory_order_relaxed>(
      &untag()->guarded_list_length_in_object_offset_,
      static_cast<int8_t>(list_length_offset - kHeapObjectTag));
  ASSERT(guarded_list_length_in_object_offset() == list_length_offset);
}

◆ set_guarded_list_length_unsafe()

void dart::Field::set_guarded_list_length_unsafe ( intptr_t list_length ) const

Definition at line 12105 of file object.cc.

                                                                     {
  ASSERT(IsOriginal());
  untag()->set_guarded_list_length(Smi::New(list_length));
}

◆ set_has_initializer()

void dart::Field::set_has_initializer ( bool has_initializer ) const

inline

Definition at line 4623 of file object.h.

                                                       {
    DEBUG_ASSERT(
        IsolateGroup::Current()->program_lock()->IsCurrentThreadWriter());
    set_has_initializer_unsafe(has_initializer);
  }

◆ set_has_initializer_unsafe()

void dart::Field::set_has_initializer_unsafe ( bool has_initializer ) const

inline

Definition at line 4617 of file object.h.

                                                              {
    ASSERT(IsOriginal());
    // TODO(36097): Once concurrent access is possible ensure updates are safe.
    set_kind_bits(
        HasInitializerBit::update(has_initializer, untag()->kind_bits_));
  }

◆ set_has_nontrivial_initializer()

void dart::Field::set_has_nontrivial_initializer ( bool has_nontrivial_initializer ) const

inline

Definition at line 4607 of file object.h.

                                                                             {
    DEBUG_ASSERT(
        IsolateGroup::Current()->program_lock()->IsCurrentThreadWriter());
    set_has_nontrivial_initializer_unsafe(has_nontrivial_initializer);
  }

◆ set_has_nontrivial_initializer_unsafe()

void dart::Field::set_has_nontrivial_initializer_unsafe ( bool has_nontrivial_initializer ) const

inline

Definition at line 4600 of file object.h.

                                             {
    ASSERT(IsOriginal());
    // TODO(36097): Once concurrent access is possible ensure updates are safe.
    set_kind_bits(HasNontrivialInitializerBit::update(
        has_nontrivial_initializer, untag()->kind_bits_));
  }

◆ set_has_pragma()

void dart::Field::set_has_pragma ( bool value ) const

inline

Definition at line 4471 of file object.h.

                                        {
    // TODO(36097): Once concurrent access is possible ensure updates are safe.
    set_kind_bits(HasPragmaBit::update(value, untag()->kind_bits_));
  }

◆ set_initializer_changed_after_initialization()

void dart::Field::set_initializer_changed_after_initialization ( bool value ) const

inline

Definition at line 4464 of file object.h.

                                                                      {
    // TODO(36097): Once concurrent access is possible ensure updates are safe.
    set_kind_bits(InitializerChangedAfterInitializationBit::update(
        value, untag()->kind_bits_));
  }

◆ set_is_covariant()

void dart::Field::set_is_covariant ( bool value ) const

inline

Definition at line 4477 of file object.h.

                                          {
    // TODO(36097): Once concurrent access is possible ensure updates are safe.
    set_kind_bits(CovariantBit::update(value, untag()->kind_bits_));
  }

◆ set_is_extension_member()

void dart::Field::set_is_extension_member ( bool value ) const

inline

Definition at line 4735 of file object.h.

                                                 {
    // TODO(36097): Once concurrent access is possible ensure updates are safe.
    set_kind_bits(IsExtensionMemberBit::update(value, untag()->kind_bits_));
  }

◆ set_is_extension_type_member()

void dart::Field::set_is_extension_type_member ( bool value ) const

inline

Definition at line 4739 of file object.h.

                                                      {
    // TODO(36097): Once concurrent access is possible ensure updates are safe.
    set_kind_bits(IsExtensionTypeMemberBit::update(value, untag()->kind_bits_));
  }

◆ set_is_generic_covariant_impl()

void dart::Field::set_is_generic_covariant_impl ( bool value ) const

inline

Definition at line 4485 of file object.h.

                                                       {
    // TODO(36097): Once concurrent access is possible ensure updates are safe.
    set_kind_bits(GenericCovariantImplBit::update(value, untag()->kind_bits_));
  }

◆ set_is_late()

void dart::Field::set_is_late ( bool value ) const

inline

Definition at line 4731 of file object.h.

                                     {
    // TODO(36097): Once concurrent access is possible ensure updates are safe.
    set_kind_bits(IsLateBit::update(value, untag()->kind_bits_));
  }

◆ set_is_nullable()

void dart::Field::set_is_nullable ( bool val ) const

inline

Definition at line 4753 of file object.h.

                                       {
    DEBUG_ASSERT(
        IsolateGroup::Current()->program_lock()->IsCurrentThreadWriter());
    set_is_nullable_unsafe(val);
  }

◆ set_is_nullable_unsafe()

void dart::Field::set_is_nullable_unsafe ( bool val ) const

inline

Definition at line 4762 of file object.h.

                                              {
    StoreNonPointer<ClassIdTagType, ClassIdTagType, std::memory_order_relaxed>(
        &untag()->is_nullable_, val ? kNullCid : kIllegalCid);
  }

◆ set_is_reflectable()

void dart::Field::set_is_reflectable ( bool value ) const

inline

Definition at line 4455 of file object.h.

                                            {
    ASSERT(IsOriginal());
    // TODO(36097): Once concurrent access is possible ensure updates are safe.
    set_kind_bits(ReflectableBit::update(value, untag()->kind_bits_));
  }

◆ set_is_shared()

void dart::Field::set_is_shared ( bool value ) const

inline

Definition at line 4490 of file object.h.

                                       {
    set_kind_bits(SharedBit::update(value, untag()->kind_bits_));
  }

◆ set_is_unboxed()

void dart::Field::set_is_unboxed ( bool b ) const

inline

Definition at line 4720 of file object.h.

                                    {
    DEBUG_ASSERT(
        IsolateGroup::Current()->program_lock()->IsCurrentThreadWriter());
    set_is_unboxed_unsafe(b);
  }

◆ set_is_unboxed_unsafe()

void dart::Field::set_is_unboxed_unsafe ( bool b ) const

inline

Definition at line 4716 of file object.h.

                                           {
    set_kind_bits(UnboxedBit::update(b, untag()->kind_bits_));
  }

◆ set_kernel_offset()

void dart::Field::set_kernel_offset ( intptr_t value ) const

inline

Definition at line 4503 of file object.h.

                                               {
#if defined(DART_PRECOMPILED_RUNTIME)
    UNREACHABLE();
#else
    ASSERT(value >= 0);
    StoreNonPointer(&untag()->kernel_offset_, value);
#endif
  }

◆ set_needs_load_guard()

void dart::Field::set_needs_load_guard ( bool value ) const

inline

Definition at line 4743 of file object.h.

                                              {
    // TODO(36097): Once concurrent access is possible ensure updates are safe.
    set_kind_bits(NeedsLoadGuardBit::update(value, untag()->kind_bits_));
  }

◆ set_static_type_exactness_state()

void dart::Field::set_static_type_exactness_state ( StaticTypeExactnessState state ) const

inline

Definition at line 4639 of file object.h.

                                                                             {
    DEBUG_ASSERT(
        IsolateGroup::Current()->program_lock()->IsCurrentThreadWriter());
    set_static_type_exactness_state_unsafe(state);
  }

◆ set_static_type_exactness_state_unsafe()

void dart::Field::set_static_type_exactness_state_unsafe ( StaticTypeExactnessState state ) const

inline

Definition at line 4645 of file object.h.

                                            {
    StoreNonPointer<int8_t, int8_t, std::memory_order_relaxed>(
        &untag()->static_type_exactness_state_, state.Encode());
  }

◆ SetFieldType()

void dart::Field::SetFieldType ( const AbstractType & value ) const

Definition at line 11943 of file object.cc.

                                                        {
  DEBUG_ASSERT(
      IsolateGroup::Current()->program_lock()->IsCurrentThreadWriter());
  SetFieldTypeSafe(value);
}

◆ SetFieldTypeSafe()

void dart::Field::SetFieldTypeSafe ( const AbstractType & value ) const

Definition at line 11934 of file object.cc.

                                                            {
  ASSERT(IsOriginal());
  ASSERT(!value.IsNull());
  if (value.ptr() != type()) {
    untag()->set_type(value.ptr());
  }
}

◆ SetInitializerFunction()

void dart::Field::SetInitializerFunction ( const Function & initializer ) const

Definition at line 12319 of file object.cc.

                                                                    {
#if defined(DART_PRECOMPILED_RUNTIME)
  UNREACHABLE();
#else
  ASSERT(IsOriginal());
  ASSERT(IsolateGroup::Current()
             ->initializer_functions_mutex()
             ->IsOwnedByCurrentThread());
  // We have to ensure that all stores into the initializer function object
  // happen before releasing the pointer to the initializer as it may be
  // accessed without grabbing the lock.
  untag()->set_initializer_function<std::memory_order_release>(
      initializer.ptr());
#endif
}

◆ SetOffset()

void dart::Field::SetOffset	(	intptr_t	host_offset_in_bytes,
		intptr_t	target_offset_in_bytes
	)		const

inline

Definition at line 13263 of file object.h.

                                                             {
  ASSERT(is_instance());  // Valid only for dart instance fields.
  ASSERT(kCompressedWordSize != 0);
  untag()->set_host_offset_or_field_id(
      Smi::New(host_offset_in_bytes / kCompressedWordSize));
#if !defined(DART_PRECOMPILED_RUNTIME)
  ASSERT(compiler::target::kCompressedWordSize != 0);
  StoreNonPointer(
      &untag()->target_offset_,
      target_offset_in_bytes / compiler::target::kCompressedWordSize);
#else
  ASSERT(host_offset_in_bytes == target_offset_in_bytes);
#endif  //  !defined(DART_PRECOMPILED_RUNTIME)
}

◆ SetOriginal()

void dart::Field::SetOriginal ( const Field & value ) const

Definition at line 11786 of file object.cc.

                                                {
  ASSERT(value.IsOriginal());
  ASSERT(!value.IsNull());
  untag()->set_owner(static_cast<ObjectPtr>(value.ptr()));
}

◆ SetStaticConstFieldValue()

void dart::Field::SetStaticConstFieldValue	(	const Instance &	value,
		bool	assert_initializing_store = `true`
	)		const

Definition at line 12448 of file object.cc.

                                                                           {
  ASSERT(is_static());
  ASSERT(!is_shared());
  auto thread = Thread::Current();
  auto initial_field_table = thread->isolate_group()->initial_field_table();
 
  SafepointWriteRwLocker ml(thread, thread->isolate_group()->program_lock());
  ASSERT(initial_field_table->At(field_id()) == Object::sentinel().ptr() ||
         initial_field_table->At(field_id()) == value.ptr() ||
         !assert_initializing_store);
  initial_field_table->SetAt(field_id(),
                             value.IsNull() ? Instance::null_instance().ptr()
                                            : Instance::Cast(value).ptr(),
                             /*concurrent_use=*/true);
}

◆ SetStaticValue()

void dart::Field::SetStaticValue ( const Object & value ) const

Definition at line 12770 of file object.cc.

                                                    {
  ASSERT(!is_shared());
  auto thread = Thread::Current();
  ASSERT(thread->IsDartMutatorThread());
  ASSERT(value.IsNull() || value.IsSentinel() || value.IsInstance());
 
  ASSERT(is_static());  // Valid only for static dart fields.
  const intptr_t id = field_id();
  ASSERT(id >= 0);
 
  SafepointWriteRwLocker ml(thread, thread->isolate_group()->program_lock());
  thread->isolate()->field_table()->SetAt(id, value.ptr());
}

◆ SetterClosure()

InstancePtr dart::Field::SetterClosure ( ) const

Definition at line 12210 of file object.cc.

                                       {
  return AccessorClosure(true);
}

◆ SetterName()

StringPtr dart::Field::SetterName ( const String & field_name )

static

Definition at line 11804 of file object.cc.

                                                    {
  return String::Concat(Symbols::SetterPrefix(), field_name);
}

◆ SetterSymbol()

StringPtr dart::Field::SetterSymbol ( const String & field_name )

static

Definition at line 11808 of file object.cc.

                                                      {
  return Symbols::FromSet(Thread::Current(), field_name);
}

◆ SourceFingerprint()

int32_t dart::Field::SourceFingerprint ( ) const

Definition at line 12068 of file object.cc.

                                       {
#if !defined(DART_PRECOMPILED_RUNTIME)
  return kernel::KernelSourceFingerprintHelper::CalculateFieldFingerprint(
      *this);
#else
  return 0;
#endif  // !defined(DART_PRECOMPILED_RUNTIME)
}

◆ static_type_exactness_state()

StaticTypeExactnessState dart::Field::static_type_exactness_state ( ) const

inline

Definition at line 4633 of file object.h.

                                                               {
    return StaticTypeExactnessState::Decode(
        LoadNonPointer<int8_t, std::memory_order_relaxed>(
            &untag()->static_type_exactness_state_));
  }

◆ static_type_exactness_state_offset()

static intptr_t dart::Field::static_type_exactness_state_offset ( )

inlinestatic

Definition at line 4651 of file object.h.

                                                       {
    return OFFSET_OF(UntaggedField, static_type_exactness_state_);
  }

◆ StaticConstFieldValue()

ObjectPtr dart::Field::StaticConstFieldValue ( ) const

Definition at line 12419 of file object.cc.

                                             {
  ASSERT(is_static() &&
         (is_const() || (is_final() && has_trivial_initializer())));
 
  auto thread = Thread::Current();
  auto zone = thread->zone();
  auto initial_field_table = thread->isolate_group()->initial_field_table();
 
  // We can safely cache the value of the static const field in the initial
  // field table.
  ASSERT(!is_shared());
  auto& value = Object::Handle(
      zone, initial_field_table->At(field_id(), /*concurrent_use=*/true));
  if (value.ptr() == Object::sentinel().ptr()) {
    // Fields with trivial initializers get their initial value
    // eagerly when they are registered.
    ASSERT(is_const());
    ASSERT(has_initializer());
    ASSERT(has_nontrivial_initializer());
    value = EvaluateInitializer();
    if (!value.IsError()) {
      ASSERT(value.IsNull() || value.IsInstance());
      SetStaticConstFieldValue(value.IsNull() ? Instance::null_instance()
                                              : Instance::Cast(value));
    }
  }
  return value.ptr();
}

◆ StaticValue()

ObjectPtr dart::Field::StaticValue ( ) const

inline

Definition at line 13279 of file object.h.

                                   {
  ASSERT(is_static());  // Valid only for static dart fields.
  return Isolate::Current()->field_table()->At(field_id());
}

◆ TargetOffset()

intptr_t dart::Field::TargetOffset ( ) const

inline

Definition at line 13246 of file object.h.

                                   {
  ASSERT(is_instance());  // Valid only for dart instance fields.
#if !defined(DART_PRECOMPILED_RUNTIME)
  return (untag()->target_offset_ * compiler::target::kCompressedWordSize);
#else
  return HostOffset();
#endif  //  !defined(DART_PRECOMPILED_RUNTIME)
}

◆ TargetOffsetOf()

intptr_t dart::Field::TargetOffsetOf ( FieldPtr field )

inlinestatic

Definition at line 13255 of file object.h.

                                                          {
#if !defined(DART_PRECOMPILED_RUNTIME)
  return field->untag()->target_offset_;
#else
  return Smi::Value(field->untag()->host_offset_or_field_id());
#endif  //  !defined(DART_PRECOMPILED_RUNTIME)
}

◆ token_pos()

TokenPosition dart::Field::token_pos ( ) const

inline

Definition at line 4589 of file object.h.

4589{ return untag()->token_pos_; }

◆ type()

AbstractTypePtr dart::Field::type ( ) const

inline

Definition at line 4550 of file object.h.

4550{ return untag()->type(); }

◆ UserVisibleName()

StringPtr dart::Field::UserVisibleName ( ) const

Definition at line 12091 of file object.cc.

                                       {
  if (FLAG_show_internal_names) {
    return name();
  }
  return Symbols::New(
      Thread::Current(),
      String::ScrubName(String::Handle(name()),
                        is_extension_member() || is_extension_type_member()));
}

◆ UserVisibleNameCString()

const char * dart::Field::UserVisibleNameCString ( ) const

Definition at line 12082 of file object.cc.

                                                {
  NoSafepointScope no_safepoint;
  if (FLAG_show_internal_names) {
    return String::Handle(name()).ToCString();
  }
  return String::ScrubName(String::Handle(name()),
                           is_extension_member() || is_extension_type_member());
}

◆ VerifyEntryPoint()

ErrorPtr dart::Field::VerifyEntryPoint ( EntryPointPragma kind ) const

Definition at line 27363 of file object.cc.

                                                              {
  if (!FLAG_verify_entry_points) return Error::null();
  const Class& cls = Class::Handle(Owner());
  const Library& lib = Library::Handle(cls.library());
  return dart::VerifyEntryPoint(lib, *this, *this, {pragma});
}

Friends And Related Function Documentation

◆ Class

friend class Class

friend

Definition at line 4924 of file object.h.

◆ FieldDeserializationCluster

friend class FieldDeserializationCluster

friend

Definition at line 4927 of file object.h.

◆ FieldSerializationCluster

friend class FieldSerializationCluster

friend

Definition at line 4926 of file object.h.

◆ StoreFieldInstr

friend class StoreFieldInstr

friend

Definition at line 4846 of file object.h.

◆ UntaggedField

friend class UntaggedField

friend

Definition at line 4925 of file object.h.

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

third_party/dart-lang/sdk/runtime/vm/object.h
third_party/dart-lang/sdk/runtime/vm/object.cc

Public Types

Public Member Functions

Static Public Member Functions

Friends

Additional Inherited Members

Detailed Description

Member Enumeration Documentation

◆ anonymous enum

Member Function Documentation

◆ AccessorClosure()

◆ Clone()

◆ CloneFromOriginal()

◆ DeoptimizeDependentCode()

◆ dependent_code()

◆ DictionaryName()

◆ end_token_pos()

◆ EnsureInitializerFunction()

◆ EvaluateInitializer()

◆ field_id()

◆ GetterClosure()

◆ GetterName()

◆ GetterSymbol()

◆ guarded_cid()

◆ guarded_cid_offset()

◆ guarded_list_length()

◆ guarded_list_length_in_object_offset()

◆ guarded_list_length_in_object_offset_offset()

◆ guarded_list_length_offset()

◆ GuardedPropertiesAsCString()

◆ has_initializer()

◆ has_nontrivial_initializer()

◆ has_pragma()

◆ has_trivial_initializer()

◆ Hash()

◆ HasInitializerFunction()

◆ host_offset_or_field_id_offset()

◆ HostOffset()

◆ InheritKernelOffsetFrom()

◆ InitializeGuardedListLengthInObjectOffset()

◆ InitializeInstance()

◆ initializer_changed_after_initialization()

◆ initializer_function_offset()

◆ InitializerFunction()

◆ InitializeStatic()

◆ InitializingExpression()

◆ InstanceSize()

◆ is_const()

◆ is_covariant()

◆ is_extension_member()

◆ is_extension_type_member()

◆ is_final()

◆ is_generic_covariant_impl()

◆ is_instance()

◆ is_late()

◆ is_nullable()

◆ is_nullable_offset()

◆ is_nullable_unsafe()

◆ is_reflectable()

◆ is_shared()

◆ is_static()

◆ is_unboxed()

◆ IsConsistentWith()

◆ IsGetterName()

◆ IsInitName()

◆ IsOriginal()

◆ IsSetterName()

◆ IsUninitialized()

◆ kernel_offset()

◆ KernelLibrary()

◆ KernelLibraryIndex()

◆ KernelLibraryOffset()

◆ KernelProgramInfo()

◆ kind_bits()

◆ kind_bits_offset()

◆ LookupGetterSymbol()

◆ LookupSetterSymbol()

◆ name()

◆ NameFromGetter()

◆ NameFromInit()

◆ NameFromSetter()