dart::kernel::Reader Class Reference

#include <kernel_binary.h>

Inheritance diagram for dart::kernel::Reader:

Public Member Functions
	Reader (const TypedDataBase &typed_data)
uint32_t	ReadFromIndex (intptr_t end_offset, intptr_t fields_before, intptr_t list_size, intptr_t list_index)
uint32_t	ReadUInt32At (intptr_t offset) const
uint32_t	ReadFromIndexNoReset (intptr_t end_offset, intptr_t fields_before, intptr_t list_size, intptr_t list_index)
uint32_t	ReadUInt32 ()
double	ReadDouble ()
uint32_t	ReadUInt ()
intptr_t	ReadSLEB128 ()
int64_t	ReadSLEB128AsInt64 ()
TokenPosition	ReadPosition ()
intptr_t	ReadListLength ()
uint8_t	ReadByte ()
uint8_t	PeekByte ()
void	ReadBytes (uint8_t *buffer, uint8_t size)
bool	ReadBool ()
uint8_t	ReadFlags ()
Tag	ReadTag (uint8_t *payload=nullptr)
Tag	PeekTag (uint8_t *payload=nullptr)
Nullability	ReadNullability ()
Variance	ReadVariance ()
void	EnsureEnd ()
TokenPosition	max_position ()
TokenPosition	min_position ()
NameIndex	ReadCanonicalNameReference ()
const TypedDataBase *	typed_data ()
intptr_t	offset () const
void	set_offset (intptr_t offset)
intptr_t	size () const
TypedDataViewPtr	ViewFromTo (intptr_t start, intptr_t end)
const uint8_t *	BufferAt (intptr_t offset)
TypedDataPtr	ReadLineStartsData (intptr_t line_start_count)
Public Member Functions inherited from dart::ValueObject
	ValueObject ()
	~ValueObject ()

Static Public Member Functions
static const char *	TagName (Tag tag)
static Nullability	ConvertNullability (KernelNullability kernel_nullability)

Friends
class	Program
class	AlternativeReadingScopeWithNewData
class	AlternativeReadingScope
class	PositionScope

Detailed Description

Definition at line 280 of file kernel_binary.h.

Constructor & Destructor Documentation

Reader()

dart::kernel::Reader::Reader ( const TypedDataBase &  typed_data )

inlineexplicit

Definition at line 282 of file kernel_binary.h.

      : thread_(Thread::Current()), typed_data_(&typed_data) {
    Init();
  }

Member Function Documentation

BufferAt()

const uint8_t * dart::kernel::Reader::BufferAt ( intptr_t  offset )

inline

Definition at line 485 of file kernel_binary.h.

                                           {
    ASSERT((offset >= 0) && (offset < size_));
    return &raw_buffer_[offset];
  }

ConvertNullability()

static Nullability dart::kernel::Reader::ConvertNullability ( KernelNullability  kernel_nullability )

inlinestatic

Definition at line 427 of file kernel_binary.h.

                                                                              {
    switch (kernel_nullability) {
      case KernelNullability::kNullable:
        return Nullability::kNullable;
      case KernelNullability::kNonNullable:
      case KernelNullability::kUndetermined:
        return Nullability::kNonNullable;
      case KernelNullability::kLegacy:
        FATAL("Legacy nullability is not supported.");
    }
    UNREACHABLE();
  }

EnsureEnd()

void dart::kernel::Reader::EnsureEnd ( )

inline

Definition at line 450 of file kernel_binary.h.

                   {
    if (offset_ != size_) {
      FATAL(
          "Reading Kernel file: Expected to be at EOF "
          "(offset: %" Pd ", size: %" Pd ")",
          offset_, size_);
    }
  }

max_position()

TokenPosition dart::kernel::Reader::max_position ( )

inline

Definition at line 462 of file kernel_binary.h.

{ return max_position_; }

min_position()

TokenPosition dart::kernel::Reader::min_position ( )

inline

Definition at line 466 of file kernel_binary.h.

{ return min_position_; }

offset()

intptr_t dart::kernel::Reader::offset ( ) const

inline

Definition at line 474 of file kernel_binary.h.

{ return offset_; }

PeekByte()

uint8_t dart::kernel::Reader::PeekByte ( )

inline

Definition at line 385 of file kernel_binary.h.

{ return raw_buffer_[offset_]; }

PeekTag()

Tag dart::kernel::Reader::PeekTag ( uint8_t *  payload = nullptr )

inline

Definition at line 413 of file kernel_binary.h.

                                          {
    uint8_t byte = PeekByte();
    bool has_payload =
        (byte & kSpecializedTagHighBits) == kSpecializedTagHighBits;
    if (has_payload) {
      if (payload != nullptr) {
        *payload = byte & kSpecializedPayloadMask;
      }
      return static_cast<Tag>(byte & kSpecializedTagMask);
    } else {
      return static_cast<Tag>(byte);
    }
  }

ReadBool()

bool dart::kernel::Reader::ReadBool ( )

inline

Definition at line 393 of file kernel_binary.h.

{ return (ReadByte() & 1) == 1; }

ReadByte()

uint8_t dart::kernel::Reader::ReadByte ( )

inline

Definition at line 383 of file kernel_binary.h.

{ return raw_buffer_[offset_++]; }

ReadBytes()

void dart::kernel::Reader::ReadBytes ( uint8_t *  buffer, uint8_t  size  )

inline

Definition at line 387 of file kernel_binary.h.

                                                {
    for (int i = 0; i < size; i++) {
      buffer[i] = ReadByte();
    }
  }

ReadCanonicalNameReference()

NameIndex dart::kernel::Reader::ReadCanonicalNameReference ( )

inline

Definition at line 470 of file kernel_binary.h.

{ return NameIndex(ReadUInt() - 1); }

ReadDouble()

double dart::kernel::Reader::ReadDouble ( )

inline

Definition at line 319 of file kernel_binary.h.

                      {
    ASSERT((size_ >= 8) && (offset_ >= 0) && (offset_ <= size_ - 8));
    double value =
        LoadUnaligned(reinterpret_cast<const double*>(&raw_buffer_[offset_]));
    offset_ += 8;
    return value;
  }

ReadFlags()

uint8_t dart::kernel::Reader::ReadFlags ( )

inline

Definition at line 395 of file kernel_binary.h.

{ return ReadByte(); }

ReadFromIndex()

uint32_t dart::kernel::Reader::ReadFromIndex ( intptr_t  end_offset, intptr_t  fields_before, intptr_t  list_size, intptr_t  list_index  )

inline

Definition at line 287 of file kernel_binary.h.

                                              {
    intptr_t org_offset = offset();
    uint32_t result =
        ReadFromIndexNoReset(end_offset, fields_before, list_size, list_index);
    offset_ = org_offset;
    return result;
  }

ReadFromIndexNoReset()

uint32_t dart::kernel::Reader::ReadFromIndexNoReset ( intptr_t  end_offset, intptr_t  fields_before, intptr_t  list_size, intptr_t  list_index  )

inline

Definition at line 305 of file kernel_binary.h.

                                                     {
    offset_ = end_offset - (fields_before + list_size - list_index) * 4;
    return ReadUInt32();
  }

ReadLineStartsData()

TypedDataPtr dart::kernel::Reader::ReadLineStartsData

(

intptr_t

line_start_count

)

Definition at line 37 of file kernel_binary.cc.

                                                                 {
  const intptr_t start_offset = offset();
 
  // Choose representation between Uint16 and Uint32 typed data.
  intptr_t max_start = 0;
  for (intptr_t i = 0; i < line_start_count; ++i) {
    const intptr_t delta = ReadUInt();
    max_start += delta;
  }
 
  const intptr_t cid = (max_start <= kMaxUint16) ? kTypedDataUint16ArrayCid
                                                 : kTypedDataUint32ArrayCid;
  const TypedData& line_starts_data =
      TypedData::Handle(TypedData::New(cid, line_start_count, Heap::kOld));
 
  set_offset(start_offset);
  intptr_t current_start = 0;
  for (intptr_t i = 0; i < line_start_count; ++i) {
    const intptr_t delta = ReadUInt();
    current_start += delta;
    if (cid == kTypedDataUint16ArrayCid) {
      line_starts_data.SetUint16(i << 1, static_cast<uint16_t>(current_start));
    } else {
      line_starts_data.SetUint32(i << 2, current_start);
    }
  }
 
  return line_starts_data.ptr();
}

ReadListLength()

intptr_t dart::kernel::Reader::ReadListLength ( )

inline

Definition at line 381 of file kernel_binary.h.

{ return ReadUInt(); }

ReadNullability()

Nullability dart::kernel::Reader::ReadNullability ( )

inline

Definition at line 440 of file kernel_binary.h.

                                {
    const uint8_t byte = ReadByte();
    return ConvertNullability(static_cast<KernelNullability>(byte));
  }

ReadPosition()

TokenPosition dart::kernel::Reader::ReadPosition ( )

inline

Read and return a TokenPosition from this reader.

Definition at line 371 of file kernel_binary.h.

                               {
    // Position is saved as unsigned,
    // but actually ranges from -1 and up (thus the -1)
    intptr_t value = ReadUInt() - 1;
    TokenPosition result = TokenPosition::Deserialize(value);
    max_position_ = TokenPosition::Max(max_position_, result);
    min_position_ = TokenPosition::Min(min_position_, result);
    return result;
  }

ReadSLEB128()

intptr_t dart::kernel::Reader::ReadSLEB128 ( )

inline

Definition at line 354 of file kernel_binary.h.

                         {
    ReadStream stream(raw_buffer_, size_, offset_);
    const intptr_t result = stream.ReadSLEB128();
    offset_ = stream.Position();
    return result;
  }

ReadSLEB128AsInt64()

int64_t dart::kernel::Reader::ReadSLEB128AsInt64 ( )

inline

Definition at line 361 of file kernel_binary.h.

                               {
    ReadStream stream(raw_buffer_, size_, offset_);
    const int64_t result = stream.ReadSLEB128<int64_t>();
    offset_ = stream.Position();
    return result;
  }

ReadTag()

Tag dart::kernel::Reader::ReadTag ( uint8_t *  payload = nullptr )

inline

Definition at line 399 of file kernel_binary.h.

                                          {
    uint8_t byte = ReadByte();
    bool has_payload =
        (byte & kSpecializedTagHighBits) == kSpecializedTagHighBits;
    if (has_payload) {
      if (payload != nullptr) {
        *payload = byte & kSpecializedPayloadMask;
      }
      return static_cast<Tag>(byte & kSpecializedTagMask);
    } else {
      return static_cast<Tag>(byte);
    }
  }

ReadUInt()

uint32_t dart::kernel::Reader::ReadUInt ( )

inline

Definition at line 327 of file kernel_binary.h.

                      {
    ASSERT((size_ >= 1) && (offset_ >= 0) && (offset_ <= size_ - 1));
 
    const uint8_t* buffer = raw_buffer_;
    uword byte0 = buffer[offset_];
    if ((byte0 & 0x80) == 0) {
      // 0...
      offset_++;
      return byte0;
    } else if ((byte0 & 0xc0) == 0x80) {
      // 10...
      ASSERT((size_ >= 2) && (offset_ >= 0) && (offset_ <= size_ - 2));
      uint32_t value =
          ((byte0 & ~static_cast<uword>(0x80)) << 8) | (buffer[offset_ + 1]);
      offset_ += 2;
      return value;
    } else {
      // 11...
      ASSERT((size_ >= 4) && (offset_ >= 0) && (offset_ <= size_ - 4));
      uint32_t value = ((byte0 & ~static_cast<uword>(0xc0)) << 24) |
                       (buffer[offset_ + 1] << 16) |
                       (buffer[offset_ + 2] << 8) | (buffer[offset_ + 3] << 0);
      offset_ += 4;
      return value;
    }
  }

ReadUInt32()

uint32_t dart::kernel::Reader::ReadUInt32 ( )

inline

Definition at line 313 of file kernel_binary.h.

                        {
    uint32_t value = ReadUInt32At(offset_);
    offset_ += 4;
    return value;
  }

ReadUInt32At()

uint32_t dart::kernel::Reader::ReadUInt32At ( intptr_t  offset ) const

inline

Definition at line 298 of file kernel_binary.h.

                                               {
    ASSERT((size_ >= 4) && (offset >= 0) && (offset <= size_ - 4));
    uint32_t value =
        LoadUnaligned(reinterpret_cast<const uint32_t*>(raw_buffer_ + offset));
    return Utils::BigEndianToHost32(value);
  }

ReadVariance()

Variance dart::kernel::Reader::ReadVariance ( )

inline

Definition at line 445 of file kernel_binary.h.

                          {
    uint8_t byte = ReadByte();
    return static_cast<Variance>(byte);
  }

set_offset()

void dart::kernel::Reader::set_offset ( intptr_t  offset )

inline

Definition at line 475 of file kernel_binary.h.

                                   {
    ASSERT(offset < size_);
    offset_ = offset;
  }

size()

intptr_t dart::kernel::Reader::size ( ) const

inline

Definition at line 479 of file kernel_binary.h.

{ return size_; }

TagName()

const char * dart::kernel::Reader::TagName ( Tag  tag )

static

Definition at line 24 of file kernel_binary.cc.

                                   {
  switch (tag) {
#define CASE(Name, value)                                                      \
  case k##Name:                                                                \
    return #Name;
    KERNEL_TAG_LIST(CASE)
#undef CASE
    default:
      break;
  }
  return "Unknown";
}

typed_data()

const TypedDataBase * dart::kernel::Reader::typed_data ( )

inline

Definition at line 472 of file kernel_binary.h.

{ return typed_data_; }

ViewFromTo()

TypedDataViewPtr dart::kernel::Reader::ViewFromTo ( intptr_t  start, intptr_t  end  )

inline

Definition at line 481 of file kernel_binary.h.

                                                            {
    return typed_data_->ViewFromTo(start, end, Heap::kOld);
  }

Friends And Related Function Documentation

AlternativeReadingScope

friend class AlternativeReadingScope

friend

Definition at line 495 of file kernel_binary.h.

AlternativeReadingScopeWithNewData

friend class AlternativeReadingScopeWithNewData

friend

Definition at line 494 of file kernel_binary.h.

PositionScope

friend class PositionScope

friend

Definition at line 521 of file kernel_binary.h.

Program

Program

friend

Definition at line 493 of file kernel_binary.h.

---

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

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