dart::kernel::InferredTypeMetadata Struct Reference

#include <kernel_translation_helper.h>

Public Types
enum	Flag {   kFlagNullable = 1 << 0 , kFlagInt = 1 << 1 , kFlagSkipCheck = 1 << 2 , kFlagConstant = 1 << 3 ,   kFlagReceiverNotInt = 1 << 4 }

Public Member Functions
	InferredTypeMetadata (intptr_t cid_, uint8_t flags_, const Object &constant_value_=Object::null_object())
bool	IsTrivial () const
bool	IsNullable () const
bool	IsInt () const
bool	IsSkipCheck () const
bool	IsConstant () const
bool	ReceiverNotInt () const
CompileType	ToCompileType (Zone *zone, const AbstractType *static_type=nullptr, bool can_be_sentinel=false) const

Public Attributes
const intptr_t	cid
const uint8_t	flags
const Object &	constant_value

Static Public Attributes
static constexpr intptr_t	kCompileTypeFlagsMask = kFlagNullable | kFlagInt

Detailed Description

Definition at line 1011 of file kernel_translation_helper.h.

Member Enumeration Documentation

Flag

enum dart::kernel::InferredTypeMetadata::Flag

Enumerator
kFlagNullable
kFlagInt
kFlagSkipCheck
kFlagConstant
kFlagReceiverNotInt

Definition at line 1012 of file kernel_translation_helper.h.

            {
    kFlagNullable = 1 << 0,
    kFlagInt = 1 << 1,
    kFlagSkipCheck = 1 << 2,
    kFlagConstant = 1 << 3,
    kFlagReceiverNotInt = 1 << 4,
  };

Constructor & Destructor Documentation

InferredTypeMetadata()

dart::kernel::InferredTypeMetadata::InferredTypeMetadata ( intptr_t  cid_, uint8_t  flags_, const Object &  constant_value_ = Object::null_object()  )

inline

Definition at line 1023 of file kernel_translation_helper.h.

      : cid(cid_), flags(flags_), constant_value(constant_value_) {}

Member Function Documentation

IsConstant()

bool dart::kernel::InferredTypeMetadata::IsConstant ( ) const

inline

Definition at line 1041 of file kernel_translation_helper.h.

{ return (flags & kFlagConstant) != 0; }

IsInt()

bool dart::kernel::InferredTypeMetadata::IsInt ( ) const

inline

Definition at line 1037 of file kernel_translation_helper.h.

                     {
    return (flags & kFlagInt) != 0 || cid == kMintCid || cid == kSmiCid;
  }

IsNullable()

bool dart::kernel::InferredTypeMetadata::IsNullable ( ) const

inline

Definition at line 1036 of file kernel_translation_helper.h.

{ return (flags & kFlagNullable) != 0; }

IsSkipCheck()

bool dart::kernel::InferredTypeMetadata::IsSkipCheck ( ) const

inline

Definition at line 1040 of file kernel_translation_helper.h.

{ return (flags & kFlagSkipCheck) != 0; }

IsTrivial()

bool dart::kernel::InferredTypeMetadata::IsTrivial ( ) const

inline

Definition at line 1032 of file kernel_translation_helper.h.

                         {
    return (cid == kDynamicCid) &&
           ((flags & kCompileTypeFlagsMask) == kFlagNullable);
  }

ReceiverNotInt()

bool dart::kernel::InferredTypeMetadata::ReceiverNotInt ( ) const

inline

Definition at line 1042 of file kernel_translation_helper.h.

{ return (flags & kFlagReceiverNotInt) != 0; }

ToCompileType()

CompileType dart::kernel::InferredTypeMetadata::ToCompileType ( Zone *  zone, const AbstractType *  static_type = nullptr, bool  can_be_sentinel = false  ) const

inline

Definition at line 1046 of file kernel_translation_helper.h.

                                                                {
    if (IsInt() && cid == kDynamicCid) {
      return CompileType::FromAbstractType(
          Type::ZoneHandle(
              zone, (IsNullable() ? Type::NullableIntType() : Type::IntType())),
          IsNullable(), can_be_sentinel);
    } else {
      return CompileType(IsNullable(), can_be_sentinel, cid, static_type);
    }
  }

Member Data Documentation

cid

const intptr_t dart::kernel::InferredTypeMetadata::cid

Definition at line 1028 of file kernel_translation_helper.h.

constant_value

const Object& dart::kernel::InferredTypeMetadata::constant_value

Definition at line 1030 of file kernel_translation_helper.h.

flags

const uint8_t dart::kernel::InferredTypeMetadata::flags

Definition at line 1029 of file kernel_translation_helper.h.

kCompileTypeFlagsMask

constexpr intptr_t dart::kernel::InferredTypeMetadata::kCompileTypeFlagsMask = kFlagNullable | kFlagInt

staticconstexpr

Definition at line 1021 of file kernel_translation_helper.h.

---

The documentation for this struct was generated from the following file:

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