#include <object.h>

Inheritance diagram for dart::RecordType:

Public Member Functions
virtual bool	HasTypeClass () const

RecordTypePtr	ToNullability (Nullability value, Heap::Space space) const

virtual classid_t	type_class_id () const

virtual bool	IsInstantiated (Genericity genericity=kAny, intptr_t num_free_fun_type_params=kAllFree) const

virtual bool	IsEquivalent (const Instance &other, TypeEquality kind, FunctionTypeMapping *function_type_equivalence=nullptr) const

virtual AbstractTypePtr	InstantiateFrom (const TypeArguments &instantiator_type_arguments, const TypeArguments &function_type_arguments, intptr_t num_free_fun_type_params, Heap::Space space, FunctionTypeMapping *function_type_mapping=nullptr, intptr_t num_parent_type_args_adjustment=0) const

virtual AbstractTypePtr	UpdateFunctionTypes (intptr_t num_parent_type_args_adjustment, intptr_t num_free_fun_type_params, Heap::Space space, FunctionTypeMapping *function_type_mapping) const

virtual AbstractTypePtr	Canonicalize (Thread *thread) const

virtual void	EnumerateURIs (URIs *uris) const

virtual void	PrintName (NameVisibility visibility, BaseTextBuffer *printer) const

virtual uword	ComputeHash () const

bool	IsSubtypeOf (const RecordType &other, Heap::Space space, FunctionTypeMapping *function_type_equivalence=nullptr) const

RecordShape	shape () const

ArrayPtr	field_types () const

AbstractTypePtr	FieldTypeAt (intptr_t index) const

void	SetFieldTypeAt (intptr_t index, const AbstractType &value) const

ArrayPtr	GetFieldNames (Thread *thread) const

intptr_t	NumFields () const

void	Print (NameVisibility name_visibility, BaseTextBuffer *printer) const

Public Member Functions inherited from dart::AbstractType
bool	IsFinalized () const

void	SetIsFinalized () const

Nullability	nullability () const

bool	IsNullable () const

bool	IsNonNullable () const

bool	IsLegacy () const

bool	IsStrictlyNonNullable () const

virtual AbstractTypePtr	SetInstantiatedNullability (const TypeParameter &type_param, Heap::Space space) const

virtual AbstractTypePtr	NormalizeFutureOrType (Heap::Space space) const

virtual ClassPtr	type_class () const

virtual TypeArgumentsPtr	arguments () const

virtual bool	CanonicalizeEquals (const Instance &other) const

virtual uint32_t	CanonicalizeHash () const

virtual bool	Equals (const Instance &other) const

virtual InstancePtr	CanonicalizeLocked (Thread *thread) const

virtual const char *	NullabilitySuffix (NameVisibility name_visibility) const

StringPtr	Name () const

const char *	NameCString () const

StringPtr	UserVisibleName () const

const char *	UserVisibleNameCString () const

StringPtr	ScrubbedName () const

const char *	ScrubbedNameCString () const

uword	Hash () const

StringPtr	ClassName () const

bool	IsDynamicType () const

bool	IsVoidType () const

bool	IsNullType () const

bool	IsNeverType () const

bool	IsSentinelType () const

bool	IsObjectType () const

bool	IsNullableObjectType () const

bool	IsTopTypeForSubtyping () const

bool	IsTopTypeForInstanceOf () const

bool	IsBoolType () const

bool	IsIntType () const

bool	IsIntegerImplementationType () const

bool	IsDoubleType () const

bool	IsFloat32x4Type () const

bool	IsFloat64x2Type () const

bool	IsInt32x4Type () const

bool	IsNumberType () const

bool	IsSmiType () const

bool	IsMintType () const

bool	IsStringType () const

bool	IsDartFunctionType () const

bool	IsDartClosureType () const

bool	IsDartRecordType () const

bool	IsFfiPointerType () const

bool	IsFutureOrType () const

AbstractTypePtr	UnwrapFutureOr () const

bool	IsCatchAllType () const

bool	IsTypeClassAllowedBySpawnUri () const

bool	IsSubtypeOf (const AbstractType &other, Heap::Space space, FunctionTypeMapping *function_type_equivalence=nullptr) const

uword	type_test_stub_entry_point () const

CodePtr	type_test_stub () const

void	SetTypeTestingStub (const Code &stub) const

void	InitializeTypeTestingStubNonAtomic (const Code &stub) const

void	UpdateTypeTestingStubEntryPoint () const

Public Member Functions inherited from dart::Instance
virtual bool	OperatorEquals (const Instance &other) const

bool	IsIdenticalTo (const Instance &other) const

intptr_t	SizeFromClass () const

InstancePtr	Canonicalize (Thread *thread) const

virtual void	CanonicalizeFieldsLocked (Thread *thread) const

InstancePtr	CopyShallowToOldSpace (Thread *thread) const

ObjectPtr	GetField (const Field &field) const

void	SetField (const Field &field, const Object &value) const

AbstractTypePtr	GetType (Heap::Space space) const

virtual TypeArgumentsPtr	GetTypeArguments () const

virtual void	SetTypeArguments (const TypeArguments &value) const

bool	IsInstanceOf (const AbstractType &other, const TypeArguments &other_instantiator_type_arguments, const TypeArguments &other_function_type_arguments) const

bool	IsAssignableTo (const AbstractType &other, const TypeArguments &other_instantiator_type_arguments, const TypeArguments &other_function_type_arguments) const

bool	IsValidNativeIndex (int index) const

intptr_t *	NativeFieldsDataAddr () const

intptr_t	GetNativeField (int index) const

void	GetNativeFields (uint16_t num_fields, intptr_t *field_values) const

void	SetNativeFields (uint16_t num_fields, const intptr_t *field_values) const

uint16_t	NumNativeFields () const

void	SetNativeField (int index, intptr_t value) const

bool	IsCallable (Function *function) const

ObjectPtr	Invoke (const String &selector, const Array &arguments, const Array &argument_names, bool respect_reflectable=true, bool check_is_entrypoint=false) const

ObjectPtr	InvokeGetter (const String &selector, bool respect_reflectable=true, bool check_is_entrypoint=false) const

ObjectPtr	InvokeSetter (const String &selector, const Instance &argument, bool respect_reflectable=true, bool check_is_entrypoint=false) const

ObjectPtr	EvaluateCompiledExpression (const Class &klass, const ExternalTypedData &kernel_buffer, const Array &type_definitions, const Array &arguments, const TypeArguments &type_arguments) const

virtual ObjectPtr	HashCode () const

IntegerPtr	IdentityHashCode (Thread *thread) const

virtual bool	IsPointer () 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	InstanceSize ()

static RecordTypePtr	New (RecordShape shape, const Array &field_types, Nullability nullability=Nullability::kLegacy, Heap::Space space=Heap::kOld)

Static Public Member Functions inherited from dart::AbstractType
static intptr_t	flags_offset ()

static intptr_t	hash_offset ()

static void	AddURI (URIs *uris, const String &name, const String &uri)

static StringPtr	PrintURIs (URIs *uris)

static bool	InstantiateAndTestSubtype (AbstractType subtype, AbstractType supertype, const TypeArguments &instantiator_type_args, const TypeArguments &function_type_args)

static intptr_t	type_test_stub_entry_point_offset ()

static intptr_t	InstanceSize ()

static intptr_t	NextFieldOffset ()

Static Public Member Functions inherited from dart::Instance
static bool	NullIsAssignableTo (const AbstractType &other)

static bool	NullIsAssignableTo (const AbstractType &other, const TypeArguments &other_instantiator_type_arguments, const TypeArguments &other_function_type_arguments)

static ObjectPtr	EvaluateCompiledExpression (Thread *thread, const Object &receiver, const Library &library, const Class &klass, const ExternalTypedData &kernel_buffer, const Array &type_definitions, const Array &param_values, const TypeArguments &type_param_values)

static intptr_t	UnroundedSize ()

static intptr_t	InstanceSize ()

static InstancePtr	New (const Class &cls, Heap::Space space=Heap::kNew)

static InstancePtr	NewAlreadyFinalized (const Class &cls, Heap::Space space=Heap::kNew)

static intptr_t	DataOffsetFor (intptr_t cid)

static intptr_t	ElementSizeFor (intptr_t cid)

static intptr_t	NextFieldOffset ()

static intptr_t	NativeFieldsOffset ()

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	Class

class	ClassFinalizer

class	Record

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

enum class	NameDisambiguation { kYes , kNo }

using	UntaggedObjectType = UntaggedObject

using	ObjectPtrType = ObjectPtr

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

static const ClassId	kClassId = kObjectCid

Protected Member Functions inherited from dart::AbstractType
bool	IsNullabilityEquivalent (Thread *thread, const AbstractType &other_type, TypeEquality kind) const

void	SetHash (intptr_t value) const

UntaggedAbstractType::TypeState	type_state () const

void	set_flags (uint32_t value) const

void	set_type_state (UntaggedAbstractType::TypeState value) const

void	set_nullability (Nullability value) const

	HEAP_OBJECT_IMPLEMENTATION (AbstractType, Instance)

Protected Member Functions inherited from dart::Instance
virtual void	PrintSharedInstanceJSON (JSONObject *jsobj, bool ref, bool include_id=true) const

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 11323 of file object.h.

Member Function Documentation

◆ Canonicalize()

AbstractTypePtr dart::RecordType::Canonicalize ( Thread * thread ) const

virtual

Reimplemented from dart::AbstractType.

Definition at line 27639 of file object.cc.

                                                             {
  ASSERT(IsFinalized());
  Zone* zone = thread->zone();
  AbstractType& type = AbstractType::Handle(zone);
  if (IsCanonical()) {
#ifdef DEBUG
    // Verify that all fields are allocated in old space and are canonical.
    ASSERT(Array::Handle(zone, field_types()).IsOld());
    const intptr_t num_fields = NumFields();
    for (intptr_t i = 0; i < num_fields; ++i) {
      type = FieldTypeAt(i);
      ASSERT(type.IsOld());
      ASSERT(type.IsCanonical());
    }
#endif
    return ptr();
  }
  auto isolate_group = thread->isolate_group();
  ObjectStore* object_store = isolate_group->object_store();
  RecordType& rec = RecordType::Handle(zone);
  {
    SafepointMutexLocker ml(isolate_group->type_canonicalization_mutex());
    CanonicalRecordTypeSet table(zone, object_store->canonical_record_types());
    rec ^= table.GetOrNull(CanonicalRecordTypeKey(*this));
    ASSERT(object_store->canonical_record_types() == table.Release().ptr());
  }
  if (rec.IsNull()) {
    ASSERT(Array::Handle(zone, field_types()).IsOld());
    const intptr_t num_fields = NumFields();
    for (intptr_t i = 0; i < num_fields; ++i) {
      type = FieldTypeAt(i);
      if (!type.IsCanonical()) {
        type = type.Canonicalize(thread);
        SetFieldTypeAt(i, type);
      }
    }
    // Check to see if the record type got added to canonical table as part
    // of the canonicalization of its signature types.
    SafepointMutexLocker ml(isolate_group->type_canonicalization_mutex());
    CanonicalRecordTypeSet table(zone, object_store->canonical_record_types());
    rec ^= table.GetOrNull(CanonicalRecordTypeKey(*this));
    if (rec.IsNull()) {
      // Add this record type into the canonical table of record types.
      if (this->IsNew()) {
        rec ^= Object::Clone(*this, Heap::kOld);
      } else {
        rec = this->ptr();
      }
      ASSERT(rec.IsOld());
      rec.SetCanonical();  // Mark object as being canonical.
      bool present = table.Insert(rec);
      ASSERT(!present);
    }
    object_store->set_canonical_record_types(table.Release());
  }
  return rec.ptr();
}

◆ ComputeHash()

uword dart::RecordType::ComputeHash ( ) const

virtual

Reimplemented from dart::AbstractType.

Definition at line 27617 of file object.cc.

                                    {
  ASSERT(IsFinalized());
  uint32_t result = 0;
  // A legacy type should have the same hash as its non-nullable version to be
  // consistent with the definition of type equality in Dart code.
  Nullability type_nullability = nullability();
  if (type_nullability == Nullability::kLegacy) {
    type_nullability = Nullability::kNonNullable;
  }
  result = CombineHashes(result, static_cast<uint32_t>(type_nullability));
  result = CombineHashes(result, static_cast<uint32_t>(shape().AsInt()));
  AbstractType& type = AbstractType::Handle();
  const intptr_t num_fields = NumFields();
  for (intptr_t i = 0; i < num_fields; ++i) {
    type = FieldTypeAt(i);
    result = CombineHashes(result, type.Hash());
  }
  result = FinalizeHash(result, kHashBits);
  SetHash(result);
  return result;
}

◆ EnumerateURIs()

void dart::RecordType::EnumerateURIs ( URIs * uris ) const

virtual

Reimplemented from dart::AbstractType.

Definition at line 27697 of file object.cc.

                                               {
  AbstractType& type = AbstractType::Handle();
  const intptr_t num_fields = NumFields();
  for (intptr_t i = 0; i < num_fields; ++i) {
    type = FieldTypeAt(i);
    type.EnumerateURIs(uris);
  }
}

◆ field_types()

ArrayPtr dart::RecordType::field_types ( ) const

inline

Definition at line 11364 of file object.h.

11364{ return untag()->field_types(); }

dart::untag

raw_obj untag() -> num_entries()) VARIABLE_COMPRESSED_VISITOR(Array, Smi::Value(raw_obj->untag() ->length())) VARIABLE_COMPRESSED_VISITOR(TypedData, TypedData::ElementSizeInBytes(raw_obj->GetClassId()) *Smi::Value(raw_obj->untag() ->length())) VARIABLE_COMPRESSED_VISITOR(Record, RecordShape(raw_obj->untag() ->shape()).num_fields()) VARIABLE_NULL_VISITOR(CompressedStackMaps, CompressedStackMaps::PayloadSizeOf(raw_obj)) VARIABLE_NULL_VISITOR(OneByteString, Smi::Value(raw_obj->untag() ->length())) VARIABLE_NULL_VISITOR(TwoByteString, Smi::Value(raw_obj->untag() ->length())) intptr_t UntaggedField::VisitFieldPointers(FieldPtr raw_obj, ObjectPointerVisitor *visitor)

Definition raw_object.cc:562

◆ FieldTypeAt()

AbstractTypePtr dart::RecordType::FieldTypeAt ( intptr_t index ) const

Definition at line 27456 of file object.cc.

                                                            {
  const Array& field_types = Array::Handle(untag()->field_types());
  return AbstractType::RawCast(field_types.At(index));
}

◆ GetFieldNames()

ArrayPtr dart::RecordType::GetFieldNames ( Thread * thread ) const

Definition at line 27477 of file object.cc.

                                                       {
  return shape().GetFieldNames(thread);
}

◆ HasTypeClass()

virtual bool dart::RecordType::HasTypeClass ( ) const

inlinevirtual

Reimplemented from dart::AbstractType.

Definition at line 11325 of file object.h.

11325{ return false; }

◆ InstanceSize()

static intptr_t dart::RecordType::InstanceSize ( )

inlinestatic

Definition at line 11376 of file object.h.

                                 {
    return RoundedAllocationSize(sizeof(UntaggedRecordType));
  }

◆ InstantiateFrom()

AbstractTypePtr dart::RecordType::InstantiateFrom	(	const TypeArguments &	instantiator_type_arguments,
		const TypeArguments &	function_type_arguments,
		intptr_t	num_free_fun_type_params,
		Heap::Space	space,
		FunctionTypeMapping *	function_type_mapping = `nullptr`,
		intptr_t	num_parent_type_args_adjustment = `0`
	)		const

virtual

Reimplemented from dart::AbstractType.

Definition at line 27711 of file object.cc.

                                                    {
  ASSERT(IsFinalized());
  Zone* zone = Thread::Current()->zone();
 
  const intptr_t num_fields = NumFields();
  const Array& old_field_types = Array::Handle(zone, field_types());
  const Array& new_field_types =
      Array::Handle(zone, Array::New(num_fields, space));
  AbstractType& type = AbstractType::Handle(zone);
  for (intptr_t i = 0; i < num_fields; ++i) {
    type ^= old_field_types.At(i);
    if (!type.IsInstantiated()) {
      type = type.InstantiateFrom(
          instantiator_type_arguments, function_type_arguments,
          num_free_fun_type_params, space, function_type_mapping,
          num_parent_type_args_adjustment);
      // A returned null type indicates a failed instantiation in dead code that
      // must be propagated up to the caller, the optimizing compiler.
      if (type.IsNull()) {
        return RecordType::null();
      }
    }
    new_field_types.SetAt(i, type);
  }
 
  const auto& rec = RecordType::Handle(
      zone, RecordType::New(shape(), new_field_types, nullability(), space));
 
  rec.SetIsFinalized();
 
  // Canonicalization is not part of instantiation.
  return rec.ptr();
}

◆ IsEquivalent()

bool dart::RecordType::IsEquivalent	(	const Instance &	other,
		TypeEquality	kind,
		FunctionTypeMapping *	function_type_equivalence = `nullptr`
	)		const

virtual

Reimplemented from dart::AbstractType.

Definition at line 27580 of file object.cc.

                                                          {
  ASSERT(!IsNull());
  if (ptr() == other.ptr()) {
    return true;
  }
  if (!other.IsRecordType()) {
    return false;
  }
  const RecordType& other_type = RecordType::Cast(other);
  // Equal record types must have the same shape
  // (number of fields and named fields).
  if (shape() != other_type.shape()) {
    return false;
  }
  Thread* thread = Thread::Current();
  Zone* zone = thread->zone();
  if (!IsNullabilityEquivalent(thread, other_type, kind)) {
    return false;
  }
  // Equal record types must have equal field types.
  AbstractType& field_type = Type::Handle(zone);
  AbstractType& other_field_type = Type::Handle(zone);
  const intptr_t num_fields = NumFields();
  for (intptr_t i = 0; i < num_fields; ++i) {
    field_type = FieldTypeAt(i);
    other_field_type = other_type.FieldTypeAt(i);
    if (!field_type.IsEquivalent(other_field_type, kind,
                                 function_type_equivalence)) {
      return false;
    }
  }
  return true;
}

◆ IsInstantiated()

bool dart::RecordType::IsInstantiated	(	Genericity	genericity = `kAny`,
		intptr_t	num_free_fun_type_params = `kAllFree`
	)		const

virtual

Reimplemented from dart::AbstractType.

Definition at line 27524 of file object.cc.

                                                                         {
  AbstractType& type = AbstractType::Handle();
  const intptr_t num_fields = NumFields();
  for (intptr_t i = 0; i < num_fields; ++i) {
    type = FieldTypeAt(i);
    if (!type.IsInstantiated(genericity, num_free_fun_type_params)) {
      return false;
    }
  }
  return true;
}

◆ IsSubtypeOf()

bool dart::RecordType::IsSubtypeOf	(	const RecordType &	other,
		Heap::Space	space,
		FunctionTypeMapping *	function_type_equivalence = `nullptr`
	)		const

Definition at line 27790 of file object.cc.

                                                          {
  if (ptr() == other.ptr()) {
    return true;
  }
  ASSERT(IsFinalized());
  ASSERT(other.IsFinalized());
  const intptr_t num_fields = NumFields();
  if (shape() != other.shape()) {
    // Different number of fields or different named fields.
    return false;
  }
  Thread* const thread = Thread::Current();
  if (!IsNullabilityEquivalent(thread, other, TypeEquality::kInSubtypeTest)) {
    return false;
  }
  // Check subtyping of record field types.
  Zone* const zone = thread->zone();
  AbstractType& field_type = Type::Handle(zone);
  AbstractType& other_field_type = Type::Handle(zone);
  for (intptr_t i = 0; i < num_fields; ++i) {
    field_type = FieldTypeAt(i);
    other_field_type = other.FieldTypeAt(i);
    if (!field_type.IsSubtypeOf(other_field_type, space,
                                function_type_equivalence)) {
      return false;
    }
  }
  return true;
}

◆ New()

RecordTypePtr dart::RecordType::New	(	RecordShape	shape,
		const Array &	field_types,
		Nullability	nullability = `Nullability::kLegacy`,
		Heap::Space	space = `Heap::kOld`
	)

static

Definition at line 27541 of file object.cc.

                                               {
  Zone* Z = Thread::Current()->zone();
  const RecordType& result = RecordType::Handle(Z, RecordType::New(space));
  result.set_shape(shape);
  result.set_field_types(field_types);
  result.SetHash(0);
  result.set_flags(0);
  result.set_nullability(nullability);
  result.set_type_state(UntaggedAbstractType::kAllocated);
  result.InitializeTypeTestingStubNonAtomic(
      Code::Handle(Z, TypeTestingStubGenerator::DefaultCodeForType(result)));
  return result.ptr();
}

◆ NumFields()

intptr_t dart::RecordType::NumFields ( ) const

inline

Definition at line 13366 of file object.h.

                                            {
  return Array::LengthOf(field_types());
}

◆ Print()

void dart::RecordType::Print	(	NameVisibility	name_visibility,
		BaseTextBuffer *	printer
	)		const

Definition at line 27481 of file object.cc.

                                                      {
  if (IsNull()) {
    printer->AddString("null");
    return;
  }
  Thread* thread = Thread::Current();
  Zone* zone = thread->zone();
  AbstractType& type = AbstractType::Handle(zone);
  String& name = String::Handle(zone);
  const intptr_t num_fields = NumFields();
  const Array& field_names = Array::Handle(zone, GetFieldNames(thread));
  const intptr_t num_positional_fields = num_fields - field_names.Length();
  printer->AddString("(");
  for (intptr_t i = 0; i < num_fields; ++i) {
    if (i != 0) {
      printer->AddString(", ");
    }
    if (i == num_positional_fields) {
      printer->AddString("{");
    }
    type = FieldTypeAt(i);
    type.PrintName(name_visibility, printer);
    if (i >= num_positional_fields) {
      printer->AddString(" ");
      name ^= field_names.At(i - num_positional_fields);
      printer->AddString(name.ToCString());
    }
  }
  if (num_positional_fields < num_fields) {
    printer->AddString("}");
  }
  printer->AddString(")");
  printer->AddString(NullabilitySuffix(name_visibility));
}

◆ PrintName()

void dart::RecordType::PrintName	(	NameVisibility	visibility,
		BaseTextBuffer *	printer
	)		const

virtual

Reimplemented from dart::AbstractType.

Definition at line 27706 of file object.cc.

                                                          {
  RecordType::Cast(*this).Print(name_visibility, printer);
}

◆ SetFieldTypeAt()

void dart::RecordType::SetFieldTypeAt	(	intptr_t	index,
		const AbstractType &	value
	)		const

Definition at line 27461 of file object.cc.

                                                                 {
  ASSERT(!value.IsNull());
  const Array& field_types = Array::Handle(untag()->field_types());
  field_types.SetAt(index, value);
}

◆ shape()

RecordShape dart::RecordType::shape ( ) const

inline

Definition at line 11362 of file object.h.

11362{ return RecordShape(untag()->shape()); }

◆ ToNullability()

RecordTypePtr dart::RecordType::ToNullability	(	Nullability	value,
		Heap::Space	space
	)		const

Definition at line 27558 of file object.cc.

                                                               {
  if (nullability() == value) {
    return ptr();
  }
  // Clone record type and set new nullability.
  // Always cloning in old space and removing space parameter would not satisfy
  // currently existing requests for type instantiation in new space.
  Thread* T = Thread::Current();
  Zone* Z = T->zone();
  AbstractType& type = RecordType::Handle(
      Z,
      RecordType::New(shape(), Array::Handle(Z, field_types()), value, space));
  if (IsFinalized()) {
    type.SetIsFinalized();
    if (IsCanonical()) {
      type ^= type.Canonicalize(T);
    }
  }
  return RecordType::Cast(type).ptr();
}

◆ type_class_id()

virtual classid_t dart::RecordType::type_class_id ( ) const

inlinevirtual

Reimplemented from dart::AbstractType.

Definition at line 11327 of file object.h.

11327{ return kIllegalCid; }

dart::kIllegalCid

@ kIllegalCid

Definition class_id.h:214

◆ UpdateFunctionTypes()

AbstractTypePtr dart::RecordType::UpdateFunctionTypes	(	intptr_t	num_parent_type_args_adjustment,
		intptr_t	num_free_fun_type_params,
		Heap::Space	space,
		FunctionTypeMapping *	function_type_mapping
	)		const

virtual

Reimplemented from dart::AbstractType.

Definition at line 27751 of file object.cc.

                                                      {
  ASSERT(IsFinalized());
  ASSERT(num_parent_type_args_adjustment >= 0);
  Zone* zone = Thread::Current()->zone();
  const auto& types = Array::Handle(zone, field_types());
  Array* updated_types = nullptr;
  auto& type = AbstractType::Handle(zone);
  auto& updated = AbstractType::Handle(zone);
  for (intptr_t i = 0, n = NumFields(); i < n; ++i) {
    type ^= types.At(i);
    updated = type.UpdateFunctionTypes(num_parent_type_args_adjustment,
                                       num_free_fun_type_params, space,
                                       function_type_mapping);
    if (type.ptr() != updated.ptr()) {
      if (updated_types == nullptr) {
        updated_types = &Array::Handle(zone, Array::New(n, space));
        for (intptr_t j = 0; j < i; ++j) {
          type ^= types.At(j);
          updated_types->SetAt(j, type);
        }
      }
    }
    if (updated_types != nullptr) {
      updated_types->SetAt(i, updated);
    }
  }
  if (updated_types == nullptr) {
    return ptr();
  }
  const auto& new_rt = RecordType::Handle(
      zone, RecordType::New(shape(), *updated_types, nullability(), space));
  new_rt.SetIsFinalized();
  return new_rt.ptr();
}

Friends And Related Symbol Documentation

◆ Class

friend class Class

friend

Definition at line 11392 of file object.h.

◆ ClassFinalizer

friend class ClassFinalizer

friend

Definition at line 11393 of file object.h.

◆ Record

friend class Record

friend

Definition at line 11394 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 Member Functions

Static Public Member Functions

Friends

Additional Inherited Members

Detailed Description

Member Function Documentation

◆ Canonicalize()

◆ ComputeHash()

◆ EnumerateURIs()

◆ field_types()

◆ FieldTypeAt()

◆ GetFieldNames()

◆ HasTypeClass()

◆ InstanceSize()

◆ InstantiateFrom()

◆ IsEquivalent()

◆ IsInstantiated()

◆ IsSubtypeOf()

◆ New()

◆ NumFields()

◆ Print()

◆ PrintName()

◆ SetFieldTypeAt()

◆ shape()

◆ ToNullability()

◆ type_class_id()

◆ UpdateFunctionTypes()

Friends And Related Symbol Documentation

◆ Class

◆ ClassFinalizer

◆ Record