dart::TypeUsageInfo Class Reference

#include <type_testing_stubs.h>

Inheritance diagram for dart::TypeUsageInfo:

Public Member Functions
	TypeUsageInfo (Thread *thread)
	~TypeUsageInfo ()
void	UseTypeInAssertAssignable (const AbstractType &type)
void	UseTypeArgumentsInInstanceCreation (const Class &klass, const TypeArguments &ta)
void	BuildTypeUsageInformation ()
bool	IsUsedInTypeTest (const AbstractType &type)
Public Member Functions inherited from dart::ThreadStackResource
	ThreadStackResource (Thread *T)
	~ThreadStackResource ()
Thread *	thread () const
Isolate *	isolate () const
IsolateGroup *	isolate_group () const
Public Member Functions inherited from dart::StackResource
	StackResource (ThreadState *thread)
virtual	~StackResource ()
ThreadState *	thread () const

Additional Inherited Members
Static Public Member Functions inherited from dart::StackResource
static void	Unwind (ThreadState *thread)
static void	UnwindAbove (ThreadState *thread, StackResource *new_top)

Detailed Description

Definition at line 184 of file type_testing_stubs.h.

Constructor & Destructor Documentation

TypeUsageInfo()

dart::TypeUsageInfo::TypeUsageInfo ( Thread *  thread )

explicit

Definition at line 1373 of file type_testing_stubs.cc.

    : ThreadStackResource(thread),
      zone_(thread->zone()),
      assert_assignable_types_(),
      instance_creation_arguments_(
          new TypeArgumentsSet
              [thread->isolate_group()->class_table()->NumCids()]),
      klass_(Class::Handle(zone_)) {
  thread->set_type_usage_info(this);
}

~TypeUsageInfo()

dart::TypeUsageInfo::~TypeUsageInfo

(

)

Definition at line 1384 of file type_testing_stubs.cc.

                              {
  thread()->set_type_usage_info(nullptr);
  delete[] instance_creation_arguments_;
}

Member Function Documentation

BuildTypeUsageInformation()

void dart::TypeUsageInfo::BuildTypeUsageInformation

(

)

Definition at line 1432 of file type_testing_stubs.cc.

                                              {
  ClassTable* class_table = thread()->isolate_group()->class_table();
  const intptr_t cid_count = class_table->NumCids();
 
  // Step 1) Collect the type parameters we're interested in.
  TypeParameterSet parameters_tested_against;
  CollectTypeParametersUsedInAssertAssignable(&parameters_tested_against);
 
  // Step 2) Add all types which flow into a type parameter we test against to
  // the set of types tested against.
  UpdateAssertAssignableTypes(class_table, cid_count,
                              &parameters_tested_against);
}

IsUsedInTypeTest()

bool dart::TypeUsageInfo::IsUsedInTypeTest

(

const AbstractType &

type

)

Definition at line 1519 of file type_testing_stubs.cc.

                                                             {
  if (type.IsFinalized()) {
    return assert_assignable_types_.HasKey(&type);
  }
  return false;
}

UseTypeArgumentsInInstanceCreation()

void dart::TypeUsageInfo::UseTypeArgumentsInInstanceCreation	(	const Class &	klass,
		const TypeArguments &	ta
	)

Definition at line 1395 of file type_testing_stubs.cc.

                             {
  if (ta.IsNull() || ta.IsCanonical()) {
    // The Dart VM performs an optimization where it re-uses type argument
    // vectors if the use-site needs a prefix of an already-existent type
    // arguments vector.
    //
    // For example:
    //
    //    class Foo<K, V> {
    //      foo() => new Bar<K>();
    //    }
    //
    // So the length of the type arguments vector can be longer than the number
    // of type arguments the class expects.
    ASSERT(ta.IsNull() || klass.NumTypeArguments() <= ta.Length());
 
    // If this is a non-instantiated [TypeArguments] object, then it refers to
    // type parameters.  We need to ensure the type parameters in [ta] only
    // refer to type parameters in the class.
    if (!ta.IsNull() && !ta.IsInstantiated()) {
      return;
    }
 
    klass_ = klass.ptr();
    while (klass_.NumTypeArguments() > 0) {
      const intptr_t cid = klass_.id();
      TypeArgumentsSet& set = instance_creation_arguments_[cid];
      if (!set.HasKey(&ta)) {
        set.Insert(&TypeArguments::ZoneHandle(zone_, ta.ptr()));
      }
      klass_ = klass_.SuperClass();
    }
  }
}

UseTypeInAssertAssignable()

void dart::TypeUsageInfo::UseTypeInAssertAssignable

(

const AbstractType &

type

)

Definition at line 1389 of file type_testing_stubs.cc.

                                                                      {
  if (!assert_assignable_types_.HasKey(&type)) {
    AddTypeToSet(&assert_assignable_types_, &type);
  }
}

---

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

• third_party/dart-lang/sdk/runtime/vm/type_testing_stubs.h
• third_party/dart-lang/sdk/runtime/vm/type_testing_stubs.cc