#include <object.h>

Inheritance diagram for dart::Type:

Public Member Functions
virtual bool	HasTypeClass () const

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

virtual classid_t	type_class_id () const

virtual ClassPtr	type_class () const

void	set_type_class (const Class &value) const

virtual TypeArgumentsPtr	arguments () const

void	set_arguments (const TypeArguments &value) const

TypeArgumentsPtr	GetInstanceTypeArguments (Thread *thread, bool canonicalize=true) 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

bool	IsDeclarationTypeOf (const Class &cls) 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

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 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	arguments_offset ()

static intptr_t	InstanceSize ()

static TypePtr	NullType ()

static TypePtr	DynamicType ()

static TypePtr	VoidType ()

static TypePtr	NeverType ()

static TypePtr	ObjectType ()

static TypePtr	BoolType ()

static TypePtr	IntType ()

static TypePtr	NullableIntType ()

static TypePtr	SmiType ()

static TypePtr	MintType ()

static TypePtr	Double ()

static TypePtr	NullableDouble ()

static TypePtr	Float32x4 ()

static TypePtr	Float64x2 ()

static TypePtr	Int32x4 ()

static TypePtr	Number ()

static TypePtr	NullableNumber ()

static TypePtr	StringType ()

static TypePtr	ArrayType ()

static TypePtr	DartFunctionType ()

static TypePtr	DartTypeType ()

static TypePtr	NewNonParameterizedType (const Class &type_class)

static TypePtr	New (const Class &clazz, const TypeArguments &arguments, 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	TypeArguments

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

Member Function Documentation

◆ arguments()

virtual TypeArgumentsPtr dart::Type::arguments ( ) const

inlinevirtual

Reimplemented from dart::AbstractType.

Definition at line 9361 of file object.h.

9361{ return untag()->arguments(); }

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

◆ arguments_offset()

static intptr_t dart::Type::arguments_offset ( )

inlinestatic

Definition at line 9350 of file object.h.

                                     {
    return OFFSET_OF(UntaggedType, arguments_);
  }

◆ ArrayType()

TypePtr dart::Type::ArrayType ( )

static

Definition at line 21934 of file object.cc.

                        {
  return IsolateGroup::Current()->object_store()->array_type();
}

◆ BoolType()

TypePtr dart::Type::BoolType ( )

static

Definition at line 21882 of file object.cc.

                       {
  return IsolateGroup::Current()->object_store()->bool_type();
}

◆ Canonicalize()

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

virtual

Reimplemented from dart::AbstractType.

Definition at line 22255 of file object.cc.

                                                       {
  Zone* zone = thread->zone();
  ASSERT(IsFinalized());
  if (IsCanonical()) {
#ifdef DEBUG
    TypeArguments& type_args = TypeArguments::Handle(zone, arguments());
    ASSERT(type_args.IsCanonical());
    ASSERT(type_args.IsOld());
#endif
    return this->ptr();
  }
  auto isolate_group = thread->isolate_group();
  const classid_t cid = type_class_id();
  if (cid == kDynamicCid) {
    ASSERT(Object::dynamic_type().IsCanonical());
    return Object::dynamic_type().ptr();
  }
 
  if (cid == kVoidCid) {
    ASSERT(Object::void_type().IsCanonical());
    return Object::void_type().ptr();
  }
 
  const Class& cls = Class::Handle(zone, type_class());
 
  // Fast canonical lookup/registry for simple types.
  if (IsDeclarationTypeOf(cls)) {
    ASSERT(!cls.IsNullClass() || IsNullable());
    Type& type = Type::Handle(zone, cls.declaration_type());
    if (type.IsNull()) {
      ASSERT(!cls.ptr()->untag()->InVMIsolateHeap() ||
             (isolate_group == Dart::vm_isolate_group()));
      // Canonicalize the type arguments of the supertype, if any.
      TypeArguments& type_args = TypeArguments::Handle(zone, arguments());
      type_args = type_args.Canonicalize(thread);
      set_arguments(type_args);
      type = cls.declaration_type();
      // May be set while canonicalizing type args.
      if (type.IsNull()) {
        SafepointMutexLocker ml(isolate_group->type_canonicalization_mutex());
        // Recheck if type exists.
        type = cls.declaration_type();
        if (type.IsNull()) {
          if (this->IsNew()) {
            type ^= Object::Clone(*this, Heap::kOld);
          } else {
            type = this->ptr();
          }
          ASSERT(type.IsOld());
          type.ComputeHash();
          type.SetCanonical();
          cls.set_declaration_type(type);
          return type.ptr();
        }
      }
    }
    ASSERT(this->Equals(type));
    ASSERT(type.IsOld());
    if (type.IsCanonical()) {
      return type.ptr();
    }
  }
 
  Type& type = Type::Handle(zone);
  ObjectStore* object_store = isolate_group->object_store();
  {
    SafepointMutexLocker ml(isolate_group->type_canonicalization_mutex());
    CanonicalTypeSet table(zone, object_store->canonical_types());
    type ^= table.GetOrNull(CanonicalTypeKey(*this));
    ASSERT(object_store->canonical_types() == table.Release().ptr());
  }
  if (type.IsNull()) {
    // The type was not found in the table. It is not canonical yet.
 
    // Canonicalize the type arguments.
    TypeArguments& type_args = TypeArguments::Handle(zone, arguments());
    ASSERT(type_args.IsNull() ||
           (type_args.Length() == cls.NumTypeParameters()));
    type_args = type_args.Canonicalize(thread);
    set_arguments(type_args);
    ASSERT(type_args.IsNull() || type_args.IsOld());
 
    // Check to see if the type got added to canonical table as part of the
    // type arguments canonicalization.
    SafepointMutexLocker ml(isolate_group->type_canonicalization_mutex());
    CanonicalTypeSet table(zone, object_store->canonical_types());
    type ^= table.GetOrNull(CanonicalTypeKey(*this));
    if (type.IsNull()) {
      // Add this type into the canonical table of types.
      if (this->IsNew()) {
        type ^= Object::Clone(*this, Heap::kOld);
      } else {
        type = this->ptr();
      }
      ASSERT(type.IsOld());
      type.SetCanonical();  // Mark object as being canonical.
      bool present = table.Insert(type);
      ASSERT(!present);
    }
    object_store->set_canonical_types(table.Release());
  }
  return type.ptr();
}

◆ ComputeHash()

uword dart::Type::ComputeHash ( ) const

virtual

Reimplemented from dart::AbstractType.

Definition at line 22400 of file object.cc.

                              {
  ASSERT(IsFinalized());
  uint32_t result = type_class_id();
  // 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));
  uint32_t type_args_hash = TypeArguments::kAllDynamicHash;
  if (arguments() != TypeArguments::null()) {
    const TypeArguments& args = TypeArguments::Handle(arguments());
    type_args_hash = args.Hash();
  }
  result = CombineHashes(result, type_args_hash);
  result = FinalizeHash(result, kHashBits);
  SetHash(result);
  return result;
}

◆ DartFunctionType()

TypePtr dart::Type::DartFunctionType ( )

static

Definition at line 21938 of file object.cc.

                               {
  return IsolateGroup::Current()->object_store()->function_type();
}

◆ DartTypeType()

TypePtr dart::Type::DartTypeType ( )

static

Definition at line 21942 of file object.cc.

                           {
  return IsolateGroup::Current()->object_store()->type_type();
}

◆ Double()

TypePtr dart::Type::Double ( )

static

Definition at line 21902 of file object.cc.

                     {
  return IsolateGroup::Current()->object_store()->double_type();
}

◆ DynamicType()

TypePtr dart::Type::DynamicType ( )

static

Definition at line 21866 of file object.cc.

                          {
  return Object::dynamic_type().ptr();
}

◆ EnumerateURIs()

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

virtual

Reimplemented from dart::AbstractType.

Definition at line 22359 of file object.cc.

                                         {
  if (IsDynamicType() || IsVoidType() || IsNeverType()) {
    return;
  }
  Thread* thread = Thread::Current();
  Zone* zone = thread->zone();
  const Class& cls = Class::Handle(zone, type_class());
  const String& name = String::Handle(zone, cls.UserVisibleName());
  const Library& library = Library::Handle(zone, cls.library());
  const String& uri = String::Handle(zone, library.url());
  AddURI(uris, name, uri);
  const TypeArguments& type_args = TypeArguments::Handle(zone, arguments());
  type_args.EnumerateURIs(uris);
}

◆ Float32x4()

TypePtr dart::Type::Float32x4 ( )

static

Definition at line 21910 of file object.cc.

                        {
  return IsolateGroup::Current()->object_store()->float32x4_type();
}

◆ Float64x2()

TypePtr dart::Type::Float64x2 ( )

static

Definition at line 21914 of file object.cc.

                        {
  return IsolateGroup::Current()->object_store()->float64x2_type();
}

◆ GetInstanceTypeArguments()

TypeArgumentsPtr dart::Type::GetInstanceTypeArguments	(	Thread *	thread,
		bool	canonicalize = `true`
	)		const

Definition at line 22480 of file object.cc.

                                                                         {
  Zone* zone = thread->zone();
  const auto& cls = Class::Handle(zone, type_class());
  const auto& args = TypeArguments::Handle(zone, arguments());
  return cls.GetInstanceTypeArguments(thread, args, canonicalize);
}

◆ HasTypeClass()

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

inlinevirtual

Reimplemented from dart::AbstractType.

Definition at line 9353 of file object.h.

                                    {
    ASSERT(type_class_id() != kIllegalCid);
    return true;
  }

◆ InstanceSize()

static intptr_t dart::Type::InstanceSize ( )

inlinestatic

Definition at line 9402 of file object.h.

                                 {
    return RoundedAllocationSize(sizeof(UntaggedType));
  }

◆ InstantiateFrom()

AbstractTypePtr dart::Type::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 22049 of file object.cc.

                                                    {
  Zone* zone = Thread::Current()->zone();
  ASSERT(IsFinalized());
  ASSERT(!IsInstantiated());
  // Note that the type class has to be resolved at this time, but not
  // necessarily finalized yet. We may be checking bounds at compile time or
  // finalizing the type argument vector of a recursive type.
  const Class& cls = Class::Handle(zone, type_class());
  TypeArguments& type_arguments = TypeArguments::Handle(zone, arguments());
  ASSERT(type_arguments.Length() == cls.NumTypeParameters());
  type_arguments = type_arguments.InstantiateFrom(
      instantiator_type_arguments, function_type_arguments,
      num_free_fun_type_params, space, function_type_mapping,
      num_parent_type_args_adjustment);
  // A returned empty_type_arguments indicates a failed instantiation in dead
  // code that must be propagated up to the caller, the optimizing compiler.
  if (type_arguments.ptr() == Object::empty_type_arguments().ptr()) {
    return Type::null();
  }
  // This uninstantiated type is not modified, as it can be instantiated
  // with different instantiators. Allocate a new instantiated version of it.
  const Type& instantiated_type =
      Type::Handle(zone, Type::New(cls, type_arguments, nullability(), space));
  instantiated_type.SetIsFinalized();
  // Canonicalization is not part of instantiation.
  return instantiated_type.NormalizeFutureOrType(space);
}

◆ Int32x4()

TypePtr dart::Type::Int32x4 ( )

static

Definition at line 21918 of file object.cc.

                      {
  return IsolateGroup::Current()->object_store()->int32x4_type();
}

◆ IntType()

TypePtr dart::Type::IntType ( )

static

Definition at line 21886 of file object.cc.

                      {
  return IsolateGroup::Current()->object_store()->int_type();
}

◆ IsDeclarationTypeOf()

bool dart::Type::IsDeclarationTypeOf ( const Class & cls ) const

Definition at line 22243 of file object.cc.

                                                     {
  ASSERT(type_class() == cls.ptr());
  if (cls.IsNullClass()) {
    return true;
  }
  if (cls.IsGeneric() || cls.IsClosureClass()) {
    return false;
  }
  return nullability() == Nullability::kNonNullable;
}

◆ IsEquivalent()

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

virtual

Reimplemented from dart::AbstractType.

Definition at line 22126 of file object.cc.

                                                                              {
  ASSERT(!IsNull());
  if (ptr() == other.ptr()) {
    return true;
  }
  if (!other.IsType()) {
    return false;
  }
  const Type& other_type = Type::Cast(other);
  const classid_t type_cid = type_class_id();
  const classid_t other_type_cid = other_type.type_class_id();
  if (type_cid != other_type_cid) {
    if ((kind != TypeEquality::kSyntactical) ||
        (NormalizeClassIdForSyntacticalTypeEquality(type_cid) !=
         NormalizeClassIdForSyntacticalTypeEquality(other_type_cid))) {
      return false;
    }
  }
  Thread* thread = Thread::Current();
  Zone* zone = thread->zone();
  ASSERT(
      Class::Handle(zone, type_class()).NumTypeParameters(thread) ==
      Class::Handle(zone, other_type.type_class()).NumTypeParameters(thread));
 
  if (!IsNullabilityEquivalent(thread, other_type, kind)) {
    return false;
  }
  if (!IsFinalized() || !other_type.IsFinalized()) {
    ASSERT(kind != TypeEquality::kCanonical);
    return false;  // Too early to decide if equal.
  }
  if (arguments() == other_type.arguments()) {
    return true;
  }
  const TypeArguments& type_args =
      TypeArguments::Handle(zone, this->arguments());
  const TypeArguments& other_type_args =
      TypeArguments::Handle(zone, other_type.arguments());
  return type_args.IsEquivalent(other_type_args, kind,
                                function_type_equivalence);
}

◆ IsInstantiated()

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

virtual

Reimplemented from dart::AbstractType.

Definition at line 22032 of file object.cc.

                                                                   {
  if (type_state() == UntaggedType::kFinalizedInstantiated) {
    return true;
  }
  if ((genericity == kAny) && (num_free_fun_type_params == kAllFree) &&
      (type_state() == UntaggedType::kFinalizedUninstantiated)) {
    return false;
  }
  if (arguments() == TypeArguments::null()) {
    return true;
  }
  const TypeArguments& args = TypeArguments::Handle(arguments());
  return args.IsSubvectorInstantiated(0, args.Length(), genericity,
                                      num_free_fun_type_params);
}

◆ MintType()

TypePtr dart::Type::MintType ( )

static

Definition at line 21898 of file object.cc.

                       {
  return IsolateGroup::Current()->object_store()->mint_type();
}

◆ NeverType()

TypePtr dart::Type::NeverType ( )

static

Definition at line 21874 of file object.cc.

                        {
  return IsolateGroup::Current()->object_store()->never_type();
}

◆ New()

TypePtr dart::Type::New	(	const Class &	clazz,
		const TypeArguments &	arguments,
		Nullability	nullability = `Nullability::kLegacy`,
		Heap::Space	space = `Heap::kOld`
	)

static

Definition at line 22492 of file object.cc.

                                   {
  Zone* Z = Thread::Current()->zone();
  const Type& result = Type::Handle(Z, Type::New(space));
  result.SetHash(0);
  result.set_flags(0);
  result.set_nullability(nullability);
  result.set_type_state(UntaggedAbstractType::kAllocated);
  result.set_type_class(clazz);
  result.set_arguments(arguments);
 
  result.InitializeTypeTestingStubNonAtomic(
      Code::Handle(Z, TypeTestingStubGenerator::DefaultCodeForType(result)));
  return result.ptr();
}

◆ NewNonParameterizedType()

TypePtr dart::Type::NewNonParameterizedType ( const Class & type_class )

static

Definition at line 21946 of file object.cc.

                                                             {
  ASSERT(type_class.NumTypeArguments() == 0);
  if (type_class.IsNullClass()) {
    return Type::NullType();
  }
  if (type_class.IsDynamicClass()) {
    return Type::DynamicType();
  }
  if (type_class.IsVoidClass()) {
    return Type::VoidType();
  }
  // It is too early to use the class finalizer, as type_class may not be named
  // yet, so do not call DeclarationType().
  Type& type = Type::Handle(type_class.declaration_type());
  if (type.IsNull()) {
    type = Type::New(Class::Handle(type_class.ptr()),
                     Object::null_type_arguments(), Nullability::kNonNullable);
    type.SetIsFinalized();
    type ^= type.Canonicalize(Thread::Current());
    type_class.set_declaration_type(type);
  }
  ASSERT(type.IsFinalized());
  return type.ptr();
}

◆ NullableDouble()

TypePtr dart::Type::NullableDouble ( )

static

Definition at line 21906 of file object.cc.

                             {
  return IsolateGroup::Current()->object_store()->nullable_double_type();
}

◆ NullableIntType()

TypePtr dart::Type::NullableIntType ( )

static

Definition at line 21890 of file object.cc.

                              {
  return IsolateGroup::Current()->object_store()->nullable_int_type();
}

◆ NullableNumber()

TypePtr dart::Type::NullableNumber ( )

static

Definition at line 21926 of file object.cc.

                             {
  return IsolateGroup::Current()->object_store()->nullable_number_type();
}

◆ NullType()

TypePtr dart::Type::NullType ( )

static

Definition at line 21862 of file object.cc.

                       {
  return IsolateGroup::Current()->object_store()->null_type();
}

◆ Number()

TypePtr dart::Type::Number ( )

static

Definition at line 21922 of file object.cc.

                     {
  return IsolateGroup::Current()->object_store()->number_type();
}

◆ ObjectType()

TypePtr dart::Type::ObjectType ( )

static

Definition at line 21878 of file object.cc.

                         {
  return IsolateGroup::Current()->object_store()->object_type();
}

◆ PrintName()

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

virtual

Reimplemented from dart::AbstractType.

Definition at line 22374 of file object.cc.

                                                    {
  Thread* thread = Thread::Current();
  Zone* zone = thread->zone();
  const Class& cls = Class::Handle(zone, type_class());
  const TypeParameters& params =
      TypeParameters::Handle(zone, cls.type_parameters());
  printer->AddString(cls.NameCString(name_visibility));
  const TypeArguments& args = TypeArguments::Handle(zone, arguments());
  intptr_t num_type_params = 0;
  if (cls.is_declaration_loaded()) {
    num_type_params = cls.NumTypeParameters(thread);
  } else if (!args.IsNull() || args.ptr() != params.defaults()) {
    num_type_params = args.Length();
  }
  if (num_type_params == 0) {
    // Do nothing.
  } else {
    args.PrintSubvectorName(0, num_type_params, name_visibility, printer);
  }
  printer->AddString(NullabilitySuffix(name_visibility));
  // The name is only used for type checking and debugging purposes.
  // Unless profiling data shows otherwise, it is not worth caching the name in
  // the type.
}

◆ set_arguments()

void dart::Type::set_arguments ( const TypeArguments & value ) const

Definition at line 22467 of file object.cc.

                                                         {
  ASSERT(!IsCanonical());
  ASSERT(value.IsNull() ||
         // Do not attempt to query number of type parameters
         // before class declaration is fully loaded.
         !Class::Handle(type_class()).is_declaration_loaded() ||
         // Relax assertion in order to support invalid generic types
         // created in ClosureMirror_function.
         (type_class_id() == kInstanceCid) ||
         value.Length() == Class::Handle(type_class()).NumTypeParameters());
  untag()->set_arguments(value.ptr());
}

◆ set_type_class()

void dart::Type::set_type_class ( const Class & value ) const

Definition at line 22462 of file object.cc.

                                                  {
  ASSERT(!value.IsNull());
  set_type_class_id(value.id());
}

◆ SmiType()

TypePtr dart::Type::SmiType ( )

static

Definition at line 21894 of file object.cc.

                      {
  return IsolateGroup::Current()->object_store()->smi_type();
}

◆ StringType()

TypePtr dart::Type::StringType ( )

static

Definition at line 21930 of file object.cc.

                         {
  return IsolateGroup::Current()->object_store()->string_type();
}

◆ ToNullability()

TypePtr dart::Type::ToNullability	(	Nullability	value,
		Heap::Space	space
	)		const

Definition at line 21971 of file object.cc.

                                                                    {
  if (nullability() == value) {
    return ptr();
  }
  // Type parameter instantiation may request a nullability change, which should
  // be ignored for types dynamic and void. Type Null cannot be the result of
  // instantiating a non-nullable type parameter (TypeError thrown).
  const classid_t cid = type_class_id();
  if (cid == kDynamicCid || cid == kVoidCid || cid == kNullCid) {
    return ptr();
  }
  if (cid == kNeverCid && value == Nullability::kNullable) {
    // Normalize Never? to Null.
    return Type::NullType();
  }
  // Clone type and set new nullability.
  Type& type = Type::Handle();
  // Always cloning in old space and removing space parameter would not satisfy
  // currently existing requests for type instantiation in new space.
  // Load with relaxed atomics to prevent data race with updating type
  // testing stub.
  type ^= Object::Clone(*this, space, /*load_with_relaxed_atomics=*/true);
  type.set_nullability(value);
  type.SetHash(0);
  type.InitializeTypeTestingStubNonAtomic(
      Code::Handle(TypeTestingStubGenerator::DefaultCodeForType(type)));
  if (IsCanonical()) {
    // Object::Clone does not clone canonical bit.
    ASSERT(!type.IsCanonical());
    type ^= type.Canonicalize(Thread::Current());
  }
  return type.ptr();
}

◆ type_class()

ClassPtr dart::Type::type_class ( ) const

virtual

Reimplemented from dart::AbstractType.

Definition at line 22028 of file object.cc.

                                {
  return IsolateGroup::Current()->class_table()->At(type_class_id());
}

◆ type_class_id()

classid_t dart::Type::type_class_id ( ) const

virtual

Reimplemented from dart::AbstractType.

Definition at line 22024 of file object.cc.

                                    {
  return untag()->type_class_id();
}

◆ UpdateFunctionTypes()

AbstractTypePtr dart::Type::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 22083 of file object.cc.

                                                      {
  ASSERT(IsFinalized());
  ASSERT(num_parent_type_args_adjustment >= 0);
  if (arguments() == Object::null()) {
    return ptr();
  }
  Zone* zone = Thread::Current()->zone();
  const auto& type_args = TypeArguments::Handle(zone, arguments());
  const auto& updated_type_args = TypeArguments::Handle(
      zone, type_args.UpdateFunctionTypes(num_parent_type_args_adjustment,
                                          num_free_fun_type_params, space,
                                          function_type_mapping));
  if (type_args.ptr() == updated_type_args.ptr()) {
    return ptr();
  }
  const Class& cls = Class::Handle(zone, type_class());
  const Type& new_type = Type::Handle(
      zone, Type::New(cls, updated_type_args, nullability(), space));
  new_type.SetIsFinalized();
  return new_type.ptr();
}

◆ VoidType()

TypePtr dart::Type::VoidType ( )

static

Definition at line 21870 of file object.cc.

                       {
  return Object::void_type().ptr();
}

Friends And Related Symbol Documentation

◆ Class

friend class Class

friend

Definition at line 9486 of file object.h.

◆ TypeArguments

friend class TypeArguments

friend

Definition at line 9487 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

◆ arguments()

◆ arguments_offset()

◆ ArrayType()

◆ BoolType()

◆ Canonicalize()

◆ ComputeHash()

◆ DartFunctionType()

◆ DartTypeType()

◆ Double()

◆ DynamicType()

◆ EnumerateURIs()

◆ Float32x4()

◆ Float64x2()

◆ GetInstanceTypeArguments()

◆ HasTypeClass()

◆ InstanceSize()

◆ InstantiateFrom()

◆ Int32x4()

◆ IntType()

◆ IsDeclarationTypeOf()

◆ IsEquivalent()

◆ IsInstantiated()

◆ MintType()

◆ NeverType()

◆ New()

◆ NewNonParameterizedType()

◆ NullableDouble()

◆ NullableIntType()

◆ NullableNumber()

◆ NullType()

◆ Number()

◆ ObjectType()

◆ PrintName()

◆ set_arguments()

◆ set_type_class()

◆ SmiType()

◆ StringType()

◆ ToNullability()

◆ type_class()

◆ type_class_id()

◆ UpdateFunctionTypes()

◆ VoidType()

Friends And Related Symbol Documentation

◆ Class

◆ TypeArguments