dart::kernel::InferredTypeMetadataHelper Class Reference

#include <kernel_translation_helper.h>

Inheritance diagram for dart::kernel::InferredTypeMetadataHelper:

Public Types
enum class	Kind { Type , ArgType }

Public Member Functions
	InferredTypeMetadataHelper (KernelReaderHelper *helper, ConstantReader *constant_reader, Kind kind=Kind::Type)
InferredTypeMetadata	GetInferredType (intptr_t node_offset, bool read_constant=true)
Public Member Functions inherited from dart::kernel::MetadataHelper
	MetadataHelper (KernelReaderHelper *helper, const char *tag, bool precompiler_only)

Static Public Member Functions
static const char *	tag (Kind kind)

Additional Inherited Members
Protected Member Functions inherited from dart::kernel::MetadataHelper
intptr_t	FindMetadataMapping (intptr_t node_offset)
intptr_t	GetNextMetadataPayloadOffset (intptr_t node_offset)
intptr_t	GetComponentMetadataPayloadOffset ()
Protected Attributes inherited from dart::kernel::MetadataHelper
KernelReaderHelper *	helper_
TranslationHelper &	translation_helper_

Detailed Description

Definition at line 1061 of file kernel_translation_helper.h.

Member Enumeration Documentation

Kind

enum class dart::kernel::InferredTypeMetadataHelper::Kind

strong

Enumerator
Type
ArgType

Definition at line 1063 of file kernel_translation_helper.h.

                  {
    Type,     // Inferred type of a call, field or variable.
    ArgType,  // Inferred incoming argument type.
  };

Constructor & Destructor Documentation

InferredTypeMetadataHelper()

dart::kernel::InferredTypeMetadataHelper::InferredTypeMetadataHelper ( KernelReaderHelper *  helper, ConstantReader *  constant_reader, InferredTypeMetadataHelper::Kind  kind = Kind::Type  )

explicit

Definition at line 1868 of file kernel_translation_helper.cc.

    : MetadataHelper(helper, tag(kind), /* precompiler_only = */ true),
      constant_reader_(constant_reader) {}

Member Function Documentation

GetInferredType()

InferredTypeMetadata dart::kernel::InferredTypeMetadataHelper::GetInferredType	(	intptr_t	node_offset,
		bool	read_constant = true
	)

Definition at line 1875 of file kernel_translation_helper.cc.

                        {
  const intptr_t md_offset = GetNextMetadataPayloadOffset(node_offset);
  if (md_offset < 0) {
    return InferredTypeMetadata(kDynamicCid,
                                InferredTypeMetadata::kFlagNullable);
  }
 
  AlternativeReadingScopeWithNewData alt(&helper_->reader_,
                                         &H.metadata_payloads(), md_offset);
 
  const NameIndex kernel_name = helper_->ReadCanonicalNameReference();
  const uint8_t flags = helper_->ReadByte();
 
  const Object* constant_value = &Object::null_object();
  if ((flags & InferredTypeMetadata::kFlagConstant) != 0) {
    const intptr_t constant_index = helper_->ReadUInt();
    if (read_constant) {
      constant_value = &Object::ZoneHandle(
          H.zone(), constant_reader_->ReadConstant(constant_index));
    }
  }
 
  if (H.IsRoot(kernel_name)) {
    ASSERT((flags & InferredTypeMetadata::kFlagConstant) == 0);
    return InferredTypeMetadata(kDynamicCid, flags);
  }
 
  const Class& klass =
      Class::Handle(helper_->zone_, H.LookupClassByKernelClass(kernel_name));
  ASSERT(!klass.IsNull());
 
  intptr_t cid = klass.id();
  if (cid == kClosureCid) {
    // VM uses more specific function types and doesn't expect instances of
    // _Closure class, so inferred _Closure class doesn't make sense for the VM.
    cid = kDynamicCid;
  }
 
  return InferredTypeMetadata(cid, flags, *constant_value);
}

tag()

static const char * dart::kernel::InferredTypeMetadataHelper::tag ( Kind  kind )

inlinestatic

Definition at line 1068 of file kernel_translation_helper.h.

                                    {
    switch (kind) {
      case Kind::Type:
        return "vm.inferred-type.metadata";
      case Kind::ArgType:
        return "vm.inferred-arg-type.metadata";
    }
    UNREACHABLE();
    return nullptr;
  }

---

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

• third_party/dart-lang/sdk/runtime/vm/compiler/frontend/kernel_translation_helper.h
• third_party/dart-lang/sdk/runtime/vm/compiler/frontend/kernel_translation_helper.cc