#include <object.h>

Inheritance diagram for dart::TypeParameter:

Public Member Functions
TypeParameterPtr	ToNullability (Nullability value, Heap::Space space) const

virtual bool	HasTypeClass () const

virtual classid_t	type_class_id () const

bool	IsFunctionTypeParameter () const

bool	IsClassTypeParameter () const

intptr_t	base () const

void	set_base (intptr_t value) const

intptr_t	index () const

void	set_index (intptr_t value) const

classid_t	parameterized_class_id () const

void	set_parameterized_class_id (classid_t value) const

ClassPtr	parameterized_class () const

FunctionTypePtr	parameterized_function_type () const

AbstractTypePtr	bound () 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

AbstractTypePtr	GetFromTypeArguments (const TypeArguments &instantiator_type_arguments, const TypeArguments &function_type_arguments) const

const char *	CanonicalNameCString () 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	index_offset ()

static const char *	CanonicalNameCString (bool is_class_type_parameter, intptr_t base, intptr_t index)

static intptr_t	InstanceSize ()

static TypeParameterPtr	New (const Object &owner, intptr_t base, intptr_t index, Nullability nullability)

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)

Private Member Functions
virtual uword	ComputeHash () const

Friends
class	Class

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

Member Function Documentation

◆ base()

intptr_t dart::TypeParameter::base ( ) const

inline

Definition at line 9798 of file object.h.

9798{ return untag()->base_; }

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

◆ bound()

AbstractTypePtr dart::TypeParameter::bound ( ) const

Definition at line 22810 of file object.cc.

                                           {
  if (IsFunctionTypeParameter()) {
    const auto& owner = FunctionType::Handle(parameterized_function_type());
    const auto& type_parameters =
        TypeParameters::Handle(owner.type_parameters());
    return type_parameters.BoundAt(index() - base());
  } else {
    const auto& owner = Class::Handle(parameterized_class());
    if (owner.IsNull()) {
      return IsolateGroup::Current()->object_store()->nullable_object_type();
    }
    const auto& type_parameters =
        TypeParameters::Handle(owner.type_parameters());
    return type_parameters.BoundAt(index() - base());
  }
}

◆ Canonicalize()

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

virtual

Reimplemented from dart::AbstractType.

Definition at line 22932 of file object.cc.

                                                                {
  ASSERT(IsFinalized());
  Zone* zone = thread->zone();
  if (IsCanonical()) {
#ifdef DEBUG
    if (IsFunctionTypeParameter()) {
      ASSERT(FunctionType::Handle(zone, parameterized_function_type()).IsOld());
    }
#endif
    return this->ptr();
  }
  auto isolate_group = thread->isolate_group();
  ObjectStore* object_store = isolate_group->object_store();
  TypeParameter& type_parameter = TypeParameter::Handle(zone);
  {
    SafepointMutexLocker ml(isolate_group->type_canonicalization_mutex());
    CanonicalTypeParameterSet table(zone,
                                    object_store->canonical_type_parameters());
    type_parameter ^= table.GetOrNull(CanonicalTypeParameterKey(*this));
    if (type_parameter.IsNull()) {
      // Add this type parameter into the canonical table of type parameters.
      if (this->IsNew()) {
        type_parameter ^= Object::Clone(*this, Heap::kOld);
      } else {
        type_parameter = this->ptr();
      }
      ASSERT(type_parameter.IsOld());
      type_parameter.SetCanonical();  // Mark object as being canonical.
      bool present = table.Insert(type_parameter);
      ASSERT(!present);
    }
    object_store->set_canonical_type_parameters(table.Release());
  }
  return type_parameter.ptr();
}

◆ CanonicalNameCString() [1/2]

const char * dart::TypeParameter::CanonicalNameCString ( ) const

inline

Definition at line 9848 of file object.h.

                                           {
    return CanonicalNameCString(IsClassTypeParameter(), base(), index());
  }

◆ CanonicalNameCString() [2/2]

const char * dart::TypeParameter::CanonicalNameCString	(	bool	is_class_type_parameter,
		intptr_t	base,
		intptr_t	index
	)

static

Definition at line 23025 of file object.cc.

                                                                {
  Thread* thread = Thread::Current();
  ZoneTextBuffer printer(thread->zone());
  const char* base_fmt = is_class_type_parameter ? "C%" Pd : "F%" Pd;
  const char* index_fmt = is_class_type_parameter ? "X%" Pd : "Y%" Pd;
  if (base != 0) {
    printer.Printf(base_fmt, base);
  }
  printer.Printf(index_fmt, index - base);
  return printer.buffer();
}

◆ ComputeHash()

uword dart::TypeParameter::ComputeHash ( ) const

privatevirtual

Reimplemented from dart::AbstractType.

Definition at line 22976 of file object.cc.

                                       {
  ASSERT(IsFinalized());
  uint32_t result = parameterized_class_id();
  result = CombineHashes(result, base());
  result = CombineHashes(result, index());
  // 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_param_nullability = nullability();
  if (type_param_nullability == Nullability::kLegacy) {
    type_param_nullability = Nullability::kNonNullable;
  }
  result = CombineHashes(result, static_cast<uint32_t>(type_param_nullability));
  result = FinalizeHash(result, kHashBits);
  SetHash(result);
  return result;
}

◆ EnumerateURIs()

virtual void dart::TypeParameter::EnumerateURIs ( URIs * uris ) const

inlinevirtual

Reimplemented from dart::AbstractType.

Definition at line 9835 of file object.h.

9835{ return; }

◆ GetFromTypeArguments()

AbstractTypePtr dart::TypeParameter::GetFromTypeArguments	(	const TypeArguments &	instantiator_type_arguments,
		const TypeArguments &	function_type_arguments
	)		const

Definition at line 22827 of file object.cc.

                                                        {
  ASSERT(IsFinalized());
  const TypeArguments& type_args = IsFunctionTypeParameter()
                                       ? function_type_arguments
                                       : instantiator_type_arguments;
  return type_args.TypeAtNullSafe(index());
}

◆ HasTypeClass()

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

inlinevirtual

Reimplemented from dart::AbstractType.

Definition at line 9789 of file object.h.

9789{ return false; }

◆ index()

intptr_t dart::TypeParameter::index ( ) const

inline

Definition at line 9800 of file object.h.

9800{ return untag()->index_; }

◆ index_offset()

static intptr_t dart::TypeParameter::index_offset ( )

inlinestatic

Definition at line 9802 of file object.h.

                                 {
    return OFFSET_OF(UntaggedTypeParameter, index_);
  }

◆ InstanceSize()

static intptr_t dart::TypeParameter::InstanceSize ( )

inlinestatic

Definition at line 9856 of file object.h.

                                 {
    return RoundedAllocationSize(sizeof(UntaggedTypeParameter));
  }

◆ InstantiateFrom()

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

                                                    {
  Zone* zone = Thread::Current()->zone();
  AbstractType& result = AbstractType::Handle(zone);
  bool substituted = false;
  if (IsFunctionTypeParameter()) {
    ASSERT(IsFinalized());
    if (index() >= num_free_fun_type_params) {
      // Do not instantiate the function type parameter.
      // Get a replacement from the updated function type.
      ASSERT(function_type_mapping != nullptr);
      result = function_type_mapping->MapTypeParameter(*this);
      ASSERT(TypeParameter::Cast(result).index() ==
             index() - num_free_fun_type_params);
      ASSERT(TypeParameter::Cast(result).base() ==
             base() - num_free_fun_type_params);
      ASSERT(TypeParameter::Cast(result).nullability() == nullability());
      AbstractType& upper_bound = AbstractType::Handle(zone, bound());
      if (!upper_bound.IsInstantiated()) {
        upper_bound = upper_bound.InstantiateFrom(
            instantiator_type_arguments, function_type_arguments,
            num_free_fun_type_params, space, function_type_mapping,
            num_parent_type_args_adjustment);
      }
      if (upper_bound.ptr() == Type::NeverType()) {
        // Normalize 'X extends Never' to 'Never'.
        result = Type::NeverType();
      }
    } else if (function_type_arguments.IsNull()) {
      return Type::DynamicType();
    } else {
      result = function_type_arguments.TypeAt(index());
      substituted = true;
    }
  } else {
    ASSERT(IsClassTypeParameter());
    ASSERT(IsFinalized());
    if (instantiator_type_arguments.IsNull()) {
      return Type::DynamicType();
    }
    if (instantiator_type_arguments.Length() <= index()) {
      // InstantiateFrom can be invoked from a compilation pipeline with
      // mismatching type arguments vector. This can only happen for
      // a dynamically unreachable code - which compiler can't remove
      // statically for some reason.
      // To prevent crashes we return AbstractType::null(), understood by caller
      // (see AssertAssignableInstr::Canonicalize).
      return AbstractType::null();
    }
    result = instantiator_type_arguments.TypeAt(index());
    substituted = true;
    // Instantiating a class type parameter cannot result in a
    // function type parameter.
    // Bounds of class type parameters are ignored in the VM.
  }
  result = result.SetInstantiatedNullability(*this, space);
  if (substituted && (num_parent_type_args_adjustment != 0)) {
    // This type parameter is used inside a generic function type.
    // A type being substituted can have nested function types,
    // whose number of parent function type arguments should be adjusted
    // after the substitution.
    result = result.UpdateFunctionTypes(num_parent_type_args_adjustment,
                                        kAllFree, space, function_type_mapping);
  }
  // Canonicalization is not part of instantiation.
  return result.NormalizeFutureOrType(space);
}

◆ IsClassTypeParameter()

bool dart::TypeParameter::IsClassTypeParameter ( ) const

inline

Definition at line 9796 of file object.h.

9796{ return !IsFunctionTypeParameter(); }

◆ IsEquivalent()

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

virtual

Reimplemented from dart::AbstractType.

Definition at line 22706 of file object.cc.

                                                          {
  TRACE_TYPE_CHECKS_VERBOSE("  TypeParameter::IsEquivalent(%s, %s, kind %d)\n",
                            ToCString(), other.ToCString(),
                            static_cast<int>(kind));
  if (ptr() == other.ptr()) {
    TRACE_TYPE_CHECKS_VERBOSE("   - result: true (same types)\n");
    return true;
  }
  if (!other.IsTypeParameter()) {
    TRACE_TYPE_CHECKS_VERBOSE(
        "   - result: false (other is not a type parameter)\n");
    return false;
  }
  const TypeParameter& other_type_param = TypeParameter::Cast(other);
  ASSERT(IsFinalized() && other_type_param.IsFinalized());
  // Compare index, base and owner.
  if (IsFunctionTypeParameter()) {
    if (!other_type_param.IsFunctionTypeParameter()) {
      TRACE_TYPE_CHECKS_VERBOSE(
          "   - result: false (other is not a function type parameter)\n");
      return false;
    }
    if ((parameterized_function_type() !=
         other_type_param.parameterized_function_type()) &&
        ((function_type_equivalence == nullptr) ||
         !function_type_equivalence->ContainsOwnersOfTypeParameters(
             *this, other_type_param))) {
      TRACE_TYPE_CHECKS_VERBOSE(
          "   - result: false (owners are not equivalent)\n");
      return false;
    }
  } else {
    if (!other_type_param.IsClassTypeParameter()) {
      TRACE_TYPE_CHECKS_VERBOSE(
          "   - result: false (other is not a class type parameter)\n");
      return false;
    }
    if (parameterized_class_id() != other_type_param.parameterized_class_id()) {
      TRACE_TYPE_CHECKS_VERBOSE(
          "   - result: false (parameterized class id)\n");
      return false;
    }
  }
  if (base() != other_type_param.base() ||
      index() != other_type_param.index()) {
    TRACE_TYPE_CHECKS_VERBOSE("   - result: false (mismatch base/index)\n");
    return false;
  }
  if (!IsNullabilityEquivalent(Thread::Current(), other_type_param, kind)) {
    TRACE_TYPE_CHECKS_VERBOSE("   - result: false (mismatch nullability)\n");
    return false;
  }
  TRACE_TYPE_CHECKS_VERBOSE("   - result: true\n");
  return true;
}

◆ IsFunctionTypeParameter()

bool dart::TypeParameter::IsFunctionTypeParameter ( ) const

inline

Definition at line 9792 of file object.h.

                                       {
    return UntaggedTypeParameter::IsFunctionTypeParameter::decode(
        untag()->flags());
  }

◆ IsInstantiated()

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

virtual

Reimplemented from dart::AbstractType.

Definition at line 22696 of file object.cc.

                                                                            {
  // Bounds of class type parameters are ignored in the VM.
  if (IsClassTypeParameter()) {
    return genericity == kFunctions;
  }
  ASSERT(IsFunctionTypeParameter());
  return (genericity == kCurrentClass) || (index() >= num_free_fun_type_params);
}

◆ New()

TypeParameterPtr dart::TypeParameter::New	(	const Object &	owner,
		intptr_t	base,
		intptr_t	index,
		Nullability	nullability
	)

static

Definition at line 22997 of file object.cc.

                                                             {
  ASSERT(owner.IsNull() || owner.IsClass() || owner.IsFunctionType());
  const bool is_function_type_parameter = owner.IsFunctionType();
  const uint32_t flags = UntaggedTypeParameter::IsFunctionTypeParameter::encode(
      is_function_type_parameter);
  Zone* Z = Thread::Current()->zone();
  const TypeParameter& result = TypeParameter::Handle(Z, TypeParameter::New());
  result.set_flags(flags);
  if (is_function_type_parameter) {
    result.set_owner(owner);
  } else {
    result.set_parameterized_class_id(owner.IsNull() ? kIllegalCid
                                                     : Class::Cast(owner).id());
  }
  result.set_base(base);
  result.set_index(index);
  result.SetHash(0);
  result.set_nullability(nullability);
  result.set_type_state(UntaggedAbstractType::kAllocated);
 
  result.InitializeTypeTestingStubNonAtomic(
      Code::Handle(Z, TypeTestingStubGenerator::DefaultCodeForType(result)));
  return result.ptr();
}

◆ parameterized_class()

ClassPtr dart::TypeParameter::parameterized_class ( ) const

Definition at line 22783 of file object.cc.

                                                  {
  if (IsClassTypeParameter()) {
    const classid_t cid = parameterized_class_id();
    if (cid != kIllegalCid) {
      return IsolateGroup::Current()->class_table()->At(cid);
    }
  }
  return Class::null();
}

◆ parameterized_class_id()

classid_t dart::TypeParameter::parameterized_class_id ( ) const

Definition at line 22771 of file object.cc.

                                                      {
  if (IsClassTypeParameter()) {
    return Smi::Value(Smi::RawCast(untag()->owner()));
  } else {
    return kFunctionCid;
  }
}

◆ parameterized_function_type()

FunctionTypePtr dart::TypeParameter::parameterized_function_type ( ) const

Definition at line 22793 of file object.cc.

                                                                 {
  ASSERT(IsFunctionTypeParameter());
  return FunctionType::RawCast(untag()->owner());
}

◆ PrintName()

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

virtual

Reimplemented from dart::AbstractType.

Definition at line 22968 of file object.cc.

                                                             {
  const TypeParameter& type_param = TypeParameter::Cast(*this);
  // Type parameter names are meaningless after canonicalization.
  printer->AddString(type_param.CanonicalNameCString());
  printer->AddString(NullabilitySuffix(name_visibility));
}

◆ set_base()

void dart::TypeParameter::set_base ( intptr_t value ) const

Definition at line 22798 of file object.cc.

                                                 {
  ASSERT(value >= 0);
  ASSERT(Utils::IsUint(16, value));
  StoreNonPointer(&untag()->base_, value);
}

◆ set_index()

void dart::TypeParameter::set_index ( intptr_t value ) const

Definition at line 22804 of file object.cc.

                                                  {
  ASSERT(value >= 0);
  ASSERT(Utils::IsUint(16, value));
  StoreNonPointer(&untag()->index_, value);
}

◆ set_parameterized_class_id()

void dart::TypeParameter::set_parameterized_class_id ( classid_t value ) const

Definition at line 22778 of file object.cc.

                                                                    {
  ASSERT(IsClassTypeParameter());
  untag()->set_owner(Smi::New(value));
}

◆ ToNullability()

TypeParameterPtr dart::TypeParameter::ToNullability	(	Nullability	value,
		Heap::Space	space
	)		const

Definition at line 22674 of file object.cc.

                                                                     {
  if (nullability() == value) {
    return ptr();
  }
  // Clone type parameter and set new nullability.
  TypeParameter& type_parameter = TypeParameter::Handle();
  type_parameter ^= Object::Clone(*this, space);
  type_parameter.set_nullability(value);
  type_parameter.SetHash(0);
  type_parameter.InitializeTypeTestingStubNonAtomic(Code::Handle(
      TypeTestingStubGenerator::DefaultCodeForType(type_parameter)));
  if (IsCanonical()) {
    // Object::Clone does not clone canonical bit.
    ASSERT(!type_parameter.IsCanonical());
    ASSERT(IsFinalized());
    ASSERT(type_parameter.IsFinalized());
    type_parameter ^= type_parameter.Canonicalize(Thread::Current());
  }
  return type_parameter.ptr();
}

◆ type_class_id()

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

inlinevirtual

Reimplemented from dart::AbstractType.

Definition at line 9790 of file object.h.

9790{ return kIllegalCid; }

◆ UpdateFunctionTypes()

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

                                                      {
  ASSERT(IsFinalized());
  ASSERT(num_parent_type_args_adjustment >= 0);
  if (IsFunctionTypeParameter() && (index() >= num_free_fun_type_params)) {
    Zone* zone = Thread::Current()->zone();
    ASSERT(function_type_mapping != nullptr);
    const auto& new_tp = TypeParameter::Handle(
        zone, function_type_mapping->MapTypeParameter(*this));
    ASSERT(new_tp.base() == base() + num_parent_type_args_adjustment);
    ASSERT(new_tp.index() == index() + num_parent_type_args_adjustment);
    ASSERT(new_tp.nullability() == nullability());
    ASSERT(new_tp.IsFinalized());
    return new_tp.ptr();
  } else {
    return ptr();
  }
}

Friends And Related Symbol Documentation

◆ Class

friend class Class

friend

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

Private Member Functions

Friends

Additional Inherited Members

Detailed Description

Member Function Documentation

◆ base()

◆ bound()

◆ Canonicalize()

◆ CanonicalNameCString() [1/2]

◆ CanonicalNameCString() [2/2]

◆ ComputeHash()

◆ EnumerateURIs()

◆ GetFromTypeArguments()

◆ HasTypeClass()

◆ index()

◆ index_offset()

◆ InstanceSize()

◆ InstantiateFrom()

◆ IsClassTypeParameter()

◆ IsEquivalent()

◆ IsFunctionTypeParameter()

◆ IsInstantiated()

◆ New()

◆ parameterized_class()

◆ parameterized_class_id()

◆ parameterized_function_type()

◆ PrintName()

◆ set_base()

◆ set_index()

◆ set_parameterized_class_id()

◆ ToNullability()

◆ type_class_id()

◆ UpdateFunctionTypes()

Friends And Related Symbol Documentation

◆ Class