#include <kernel_translation_helper.h>

Inheritance diagram for dart::kernel::KernelReaderHelper:

Public Member Functions
	KernelReaderHelper (Zone zone, TranslationHelper translation_helper, const TypedDataBase &data, intptr_t data_program_offset)

virtual	~KernelReaderHelper ()=default

void	SetOffset (intptr_t offset)

intptr_t	ReadListLength ()

NameIndex	ReadCanonicalNameReference ()

virtual void	ReportUnexpectedTag (const char *variant, Tag tag)

void	ReadUntilFunctionNode ()

Tag	PeekTag (uint8_t *payload=nullptr)

Protected Member Functions
virtual void	set_current_script_id (intptr_t id)

virtual void	RecordTokenPosition (TokenPosition position)

intptr_t	ReaderOffset () const

intptr_t	ReaderSize () const

void	SkipBytes (intptr_t skip)

bool	ReadBool ()

uint8_t	ReadByte ()

uint32_t	ReadUInt ()

uint32_t	ReadUInt32 ()

uint32_t	PeekUInt ()

double	ReadDouble ()

uint32_t	PeekListLength ()

StringIndex	ReadStringReference ()

NameIndex	ReadInterfaceMemberNameReference ()

StringIndex	ReadNameAsStringIndex ()

const String &	ReadNameAsMethodName ()

const String &	ReadNameAsGetterName ()

const String &	ReadNameAsSetterName ()

const String &	ReadNameAsFieldName ()

void	SkipFlags ()

void	SkipStringReference ()

void	SkipConstantReference ()

void	SkipCanonicalNameReference ()

void	SkipInterfaceMemberNameReference ()

void	SkipDartType ()

void	SkipOptionalDartType ()

void	SkipInterfaceType (bool simple)

void	SkipFunctionType (bool simple)

void	SkipStatementList ()

void	SkipListOfExpressions ()

void	SkipListOfNamedExpressions ()

void	SkipListOfDartTypes ()

void	SkipListOfStrings ()

void	SkipListOfVariableDeclarations ()

void	SkipListOfCanonicalNameReferences ()

void	SkipTypeParametersList ()

void	SkipInitializer ()

void	SkipExpression ()

void	SkipStatement ()

void	SkipFunctionNode ()

void	SkipName ()

void	SkipArguments ()

void	SkipVariableDeclaration ()

void	SkipLibraryCombinator ()

void	SkipLibraryDependency ()

TokenPosition	ReadPosition ()

Tag	ReadTag (uint8_t *payload=nullptr)

uint8_t	ReadFlags ()

Nullability	ReadNullability ()

Variance	ReadVariance ()

intptr_t	SourceTableSize ()

intptr_t	GetOffsetForSourceInfo (intptr_t index)

String &	SourceTableUriFor (intptr_t index)

const String &	GetSourceFor (intptr_t index)

TypedDataPtr	GetLineStartsFor (intptr_t index)

String &	SourceTableImportUriFor (intptr_t index)

TypedDataViewPtr	GetConstantCoverageFor (intptr_t index)

Protected Attributes
Zone *	zone_

TranslationHelper &	translation_helper_

Reader	reader_

intptr_t	data_program_offset_

Friends
class	ClassHelper

class	CallSiteAttributesMetadataHelper

class	ConstantReader

class	ConstantHelper

class	ConstructorHelper

class	DirectCallMetadataHelper

class	FieldHelper

class	FunctionNodeHelper

class	InferredTypeMetadataHelper

class	KernelLoader

class	LibraryDependencyHelper

class	LibraryHelper

class	MetadataHelper

class	ProcedureAttributesMetadataHelper

class	ProcedureHelper

class	SimpleExpressionConverter

class	ScopeBuilder

class	TableSelectorMetadataHelper

class	TypeParameterHelper

class	TypeTranslator

class	UnboxingInfoMetadataHelper

class	VariableDeclarationHelper

class	ObfuscationProhibitionsMetadataHelper

class	LoadingUnitsMetadataHelper

bool	NeedsDynamicInvocationForwarder (const Function &function)

ArrayPtr	CollectConstConstructorCoverageFrom (const Script &interesting_script)

Detailed Description

Definition at line 1266 of file kernel_translation_helper.h.

Constructor & Destructor Documentation

◆ KernelReaderHelper()

dart::kernel::KernelReaderHelper::KernelReaderHelper	(	Zone *	zone,
		TranslationHelper *	translation_helper,
		const TypedDataBase &	data,
		intptr_t	data_program_offset
	)

inline

Definition at line 1268 of file kernel_translation_helper.h.

      : zone_(zone),
        translation_helper_(*translation_helper),
        reader_(data),
        data_program_offset_(data_program_offset) {}

◆ ~KernelReaderHelper()

virtual dart::kernel::KernelReaderHelper::~KernelReaderHelper ( )

virtualdefault

Member Function Documentation

◆ GetConstantCoverageFor()

TypedDataViewPtr dart::kernel::KernelReaderHelper::GetConstantCoverageFor ( intptr_t index )

protected

Definition at line 3180 of file kernel_translation_helper.cc.

                                                                          {
  AlternativeReadingScope alt(&reader_);
  SetOffset(GetOffsetForSourceInfo(index));
  SkipBytes(ReadUInt());                         // skip uri.
  SkipBytes(ReadUInt());                         // skip source.
  const intptr_t line_start_count = ReadUInt();  // read number of line start
                                                 // entries.
  for (intptr_t i = 0; i < line_start_count; ++i) {
    ReadUInt();
  }
 
  SkipBytes(ReadUInt());  // skip import uri.
 
  intptr_t start_offset = ReaderOffset();
 
  // Read past "constant coverage constructors".
  const intptr_t constant_coverage_constructors = ReadUInt();
  for (intptr_t i = 0; i < constant_coverage_constructors; ++i) {
    ReadUInt();
  }
 
  intptr_t end_offset = ReaderOffset();
 
  return reader_.ViewFromTo(start_offset, end_offset);
}

◆ GetLineStartsFor()

TypedDataPtr dart::kernel::KernelReaderHelper::GetLineStartsFor ( intptr_t index )

protected

Definition at line 3154 of file kernel_translation_helper.cc.

                                                                {
  // Line starts are delta encoded. So get the max delta first so that we
  // can store them as tightly as possible.
  AlternativeReadingScope alt(&reader_);
  SetOffset(GetOffsetForSourceInfo(index));
  SkipBytes(ReadUInt());  // skip uri.
  SkipBytes(ReadUInt());  // skip source.
  const intptr_t line_start_count = ReadUInt();
  return reader_.ReadLineStartsData(line_start_count);
}

◆ GetOffsetForSourceInfo()

intptr_t dart::kernel::KernelReaderHelper::GetOffsetForSourceInfo ( intptr_t index )

protected

Definition at line 3114 of file kernel_translation_helper.cc.

                                                                  {
  AlternativeReadingScope alt(&reader_);
  intptr_t library_count = reader_.ReadFromIndexNoReset(
      reader_.size(), LibraryCountFieldCountFromEnd, 1, 0);
 
  const intptr_t count_from_first_library_offset =
      SourceTableFieldCountFromFirstLibraryOffset;
 
  intptr_t source_table_offset = reader_.ReadFromIndexNoReset(
      reader_.size(),
      LibraryCountFieldCountFromEnd + 1 + library_count + 1 +
          count_from_first_library_offset,
      1, 0);
  intptr_t next_field_offset = reader_.ReadUInt32();
  SetOffset(source_table_offset);
  intptr_t size = reader_.ReadUInt32();  // read source table size.
 
  return reader_.ReadFromIndexNoReset(next_field_offset, 0, size, index);
}

◆ GetSourceFor()

const String & dart::kernel::KernelReaderHelper::GetSourceFor ( intptr_t index )

protected

Definition at line 3141 of file kernel_translation_helper.cc.

                                                             {
  AlternativeReadingScope alt(&reader_);
  SetOffset(GetOffsetForSourceInfo(index));
  SkipBytes(ReadUInt());       // skip uri.
  intptr_t size = ReadUInt();  // read source List<byte> size.
  ASSERT(size >= 0);
  if (size == 0) {
    return Symbols::Empty();
  } else {
    return H.DartString(reader_.BufferAt(ReaderOffset()), size, Heap::kOld);
  }
}

◆ PeekListLength()

uint32_t dart::kernel::KernelReaderHelper::PeekListLength ( )

protected

Definition at line 2206 of file kernel_translation_helper.cc.

                                            {
  AlternativeReadingScope alt(&reader_);
  return reader_.ReadListLength();
}

◆ PeekTag()

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

Definition at line 1296 of file kernel_binary_flowgraph.cc.

                                                {
  return reader_.PeekTag(payload);
}

◆ PeekUInt()

uint32_t dart::kernel::KernelReaderHelper::PeekUInt ( )

protected

Definition at line 2197 of file kernel_translation_helper.cc.

                                      {
  AlternativeReadingScope alt(&reader_);
  return reader_.ReadUInt();
}

◆ ReadBool()

bool dart::kernel::KernelReaderHelper::ReadBool ( )

protected

Definition at line 2181 of file kernel_translation_helper.cc.

                                  {
  return reader_.ReadBool();
}

◆ ReadByte()

uint8_t dart::kernel::KernelReaderHelper::ReadByte ( )

protected

Definition at line 2185 of file kernel_translation_helper.cc.

                                     {
  return reader_.ReadByte();
}

◆ ReadCanonicalNameReference()

NameIndex dart::kernel::KernelReaderHelper::ReadCanonicalNameReference ( )

Definition at line 2219 of file kernel_translation_helper.cc.

                                                         {
  return reader_.ReadCanonicalNameReference();
}

◆ ReadDouble()

double dart::kernel::KernelReaderHelper::ReadDouble ( )

protected

Definition at line 2202 of file kernel_translation_helper.cc.

                                      {
  return reader_.ReadDouble();
}

◆ ReaderOffset()

intptr_t dart::kernel::KernelReaderHelper::ReaderOffset ( ) const

protected

Definition at line 2165 of file kernel_translation_helper.cc.

                                                {
  return reader_.offset();
}

◆ ReaderSize()

intptr_t dart::kernel::KernelReaderHelper::ReaderSize ( ) const

protected

Definition at line 2169 of file kernel_translation_helper.cc.

                                              {
  return reader_.size();
}

◆ ReadFlags()

uint8_t dart::kernel::KernelReaderHelper::ReadFlags ( )

inlineprotected

Definition at line 1348 of file kernel_translation_helper.h.

1348{ return reader_.ReadFlags(); }

dart::kernel::Reader::ReadFlags

uint8_t ReadFlags()

Definition kernel_binary.h:401

◆ ReadInterfaceMemberNameReference()

NameIndex dart::kernel::KernelReaderHelper::ReadInterfaceMemberNameReference ( )

protected

Definition at line 2223 of file kernel_translation_helper.cc.

                                                               {
  NameIndex name_index = reader_.ReadCanonicalNameReference();
  NameIndex origin_name_index = reader_.ReadCanonicalNameReference();
  if (!FLAG_precompiled_mode && origin_name_index != NameIndex::kInvalidName) {
    // Reference to a skipped member signature target, return the origin target.
    return origin_name_index;
  }
  return name_index;
}

◆ ReadListLength()

intptr_t dart::kernel::KernelReaderHelper::ReadListLength ( )

Definition at line 2211 of file kernel_translation_helper.cc.

                                            {
  return reader_.ReadListLength();
}

◆ ReadNameAsFieldName()

const String & dart::kernel::KernelReaderHelper::ReadNameAsFieldName ( )

protected

Definition at line 2274 of file kernel_translation_helper.cc.

                                                      {
  StringIndex name_index = ReadStringReference();  // read name index.
  if ((H.StringSize(name_index) >= 1) && H.CharacterAt(name_index, 0) == '_') {
    NameIndex library_reference =
        ReadCanonicalNameReference();  // read library index.
    return H.DartFieldName(library_reference, name_index);
  } else {
    return H.DartFieldName(NameIndex(), name_index);
  }
}

◆ ReadNameAsGetterName()

const String & dart::kernel::KernelReaderHelper::ReadNameAsGetterName ( )

protected

Definition at line 2263 of file kernel_translation_helper.cc.

                                                       {
  StringIndex name_index = ReadStringReference();  // read name index.
  if ((H.StringSize(name_index) >= 1) && H.CharacterAt(name_index, 0) == '_') {
    NameIndex library_reference =
        ReadCanonicalNameReference();  // read library index.
    return H.DartGetterName(library_reference, name_index);
  } else {
    return H.DartGetterName(NameIndex(), name_index);
  }
}

◆ ReadNameAsMethodName()

const String & dart::kernel::KernelReaderHelper::ReadNameAsMethodName ( )

protected

Definition at line 2241 of file kernel_translation_helper.cc.

                                                       {
  StringIndex name_index = ReadStringReference();  // read name index.
  if ((H.StringSize(name_index) >= 1) && H.CharacterAt(name_index, 0) == '_') {
    NameIndex library_reference =
        ReadCanonicalNameReference();  // read library index.
    return H.DartMethodName(library_reference, name_index);
  } else {
    return H.DartMethodName(NameIndex(), name_index);
  }
}

◆ ReadNameAsSetterName()

const String & dart::kernel::KernelReaderHelper::ReadNameAsSetterName ( )

protected

Definition at line 2252 of file kernel_translation_helper.cc.

                                                       {
  StringIndex name_index = ReadStringReference();  // read name index.
  if ((H.StringSize(name_index) >= 1) && H.CharacterAt(name_index, 0) == '_') {
    NameIndex library_reference =
        ReadCanonicalNameReference();  // read library index.
    return H.DartSetterName(library_reference, name_index);
  } else {
    return H.DartSetterName(NameIndex(), name_index);
  }
}

◆ ReadNameAsStringIndex()

StringIndex dart::kernel::KernelReaderHelper::ReadNameAsStringIndex ( )

protected

Definition at line 2233 of file kernel_translation_helper.cc.

                                                      {
  StringIndex name_index = ReadStringReference();  // read name index.
  if ((H.StringSize(name_index) >= 1) && H.CharacterAt(name_index, 0) == '_') {
    ReadUInt();  // read library index.
  }
  return name_index;
}

◆ ReadNullability()

Nullability dart::kernel::KernelReaderHelper::ReadNullability ( )

protected

Definition at line 1300 of file kernel_binary_flowgraph.cc.

                                                {
  return reader_.ReadNullability();
}

◆ ReadPosition()

TokenPosition dart::kernel::KernelReaderHelper::ReadPosition ( )

protected

Definition at line 3091 of file kernel_translation_helper.cc.

                                               {
  TokenPosition position = reader_.ReadPosition();
  RecordTokenPosition(position);
  return position;
}

◆ ReadStringReference()

StringIndex dart::kernel::KernelReaderHelper::ReadStringReference ( )

protected

Definition at line 2215 of file kernel_translation_helper.cc.

                                                    {
  return StringIndex(ReadUInt());
}

◆ ReadTag()

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

protected

Definition at line 1292 of file kernel_binary_flowgraph.cc.

                                                {
  return reader_.ReadTag(payload);
}

◆ ReadUInt()

uint32_t dart::kernel::KernelReaderHelper::ReadUInt ( )

protected

Definition at line 2189 of file kernel_translation_helper.cc.

                                      {
  return reader_.ReadUInt();
}

◆ ReadUInt32()

uint32_t dart::kernel::KernelReaderHelper::ReadUInt32 ( )

protected

Definition at line 2193 of file kernel_translation_helper.cc.

                                        {
  return reader_.ReadUInt32();
}

◆ ReadUntilFunctionNode()

void dart::kernel::KernelReaderHelper::ReadUntilFunctionNode ( )

Definition at line 2311 of file kernel_translation_helper.cc.

                                               {
  const Tag tag = PeekTag();
  switch (tag) {
    case kProcedure: {
      ProcedureHelper procedure_helper(this);
      procedure_helper.ReadUntilExcluding(ProcedureHelper::kFunction);
      // Now at start of FunctionNode.
      break;
    }
    case kConstructor: {
      ConstructorHelper constructor_helper(this);
      constructor_helper.ReadUntilExcluding(ConstructorHelper::kFunction);
      // Now at start of FunctionNode.
      // Notice that we also have a list of initializers after that!
      break;
    }
    case kFunctionDeclaration:
      ReadTag();
      ReadPosition();
      SkipVariableDeclaration();
      break;
    case kFunctionExpression:
      ReadTag();
      ReadPosition();
      break;
    case kFunctionNode:
      // Already at start of FunctionNode.
      break;
    default:
      ReportUnexpectedTag(
          "a procedure, a constructor, a local function or a function node",
          tag);
      UNREACHABLE();
  }
  ASSERT(PeekTag() == kFunctionNode);
}

◆ ReadVariance()

Variance dart::kernel::KernelReaderHelper::ReadVariance ( )

protected

Definition at line 1304 of file kernel_binary_flowgraph.cc.

                                          {
  return reader_.ReadVariance();
}

◆ RecordTokenPosition()

virtual void dart::kernel::KernelReaderHelper::RecordTokenPosition ( TokenPosition position )

inlineprotectedvirtual

Reimplemented in dart::kernel::KernelTokenPositionCollector.

Definition at line 1297 of file kernel_translation_helper.h.

                                                           {
    // Do nothing by default.
    // This is overridden in KernelTokenPositionCollector.
    USE(position);
  }

◆ ReportUnexpectedTag()

void dart::kernel::KernelReaderHelper::ReportUnexpectedTag	(	const char *	variant,
		Tag	tag
	)

virtual

Reimplemented in dart::kernel::StreamingFlowGraphBuilder.

Definition at line 2306 of file kernel_translation_helper.cc.

                                                                         {
  FATAL("Unexpected tag %d (%s) in ?, expected %s", tag, Reader::TagName(tag),
        variant);
}

◆ set_current_script_id()

virtual void dart::kernel::KernelReaderHelper::set_current_script_id ( intptr_t id )

inlineprotectedvirtual

Reimplemented in dart::kernel::KernelTokenPositionCollector.

Definition at line 1291 of file kernel_translation_helper.h.

                                                  {
    // Do nothing by default.
    // This is overridden in KernelTokenPositionCollector.
    USE(id);
  }

◆ SetOffset()

void dart::kernel::KernelReaderHelper::SetOffset ( intptr_t offset )

Definition at line 2173 of file kernel_translation_helper.cc.

                                                  {
  reader_.set_offset(offset);
}

◆ SkipArguments()

void dart::kernel::KernelReaderHelper::SkipArguments ( )

protected

Definition at line 3058 of file kernel_translation_helper.cc.

                                       {
  ReadUInt();  // read argument count.
 
  SkipListOfDartTypes();         // read list of types.
  SkipListOfExpressions();       // read positional.
  SkipListOfNamedExpressions();  // read named.
}

◆ SkipBytes()

void dart::kernel::KernelReaderHelper::SkipBytes ( intptr_t skip )

protected

Definition at line 2177 of file kernel_translation_helper.cc.

                                                 {
  reader_.set_offset(ReaderOffset() + bytes);
}

◆ SkipCanonicalNameReference()

void dart::kernel::KernelReaderHelper::SkipCanonicalNameReference ( )

protected

Definition at line 2297 of file kernel_translation_helper.cc.

                                                    {
  ReadUInt();
}

◆ SkipConstantReference()

void dart::kernel::KernelReaderHelper::SkipConstantReference ( )

protected

Definition at line 2293 of file kernel_translation_helper.cc.

                                               {
  ReadUInt();
}

◆ SkipDartType()

void dart::kernel::KernelReaderHelper::SkipDartType ( )

protected

Definition at line 2348 of file kernel_translation_helper.cc.

                                      {
  Tag tag = ReadTag();
  switch (tag) {
    case kInvalidType:
    case kDynamicType:
    case kVoidType:
    case kNullType:
      // those contain nothing.
      return;
    case kNeverType:
      ReadNullability();
      return;
    case kInterfaceType:
      SkipInterfaceType(false);
      return;
    case kSimpleInterfaceType:
      SkipInterfaceType(true);
      return;
    case kFunctionType:
      SkipFunctionType(false);
      return;
    case kSimpleFunctionType:
      SkipFunctionType(true);
      return;
    case kRecordType: {
      ReadNullability();
      SkipListOfDartTypes();
      const intptr_t named_count = ReadListLength();
      for (intptr_t i = 0; i < named_count; ++i) {
        SkipStringReference();
        SkipDartType();
        ReadFlags();
      }
      return;
    }
    case kExtensionType: {
      ReadNullability();
      SkipCanonicalNameReference();  // read index for canonical name.
      SkipListOfDartTypes();         // read type arguments
      SkipDartType();                // read type erasure.
      break;
    }
    case kTypedefType:
      ReadNullability();      // read nullability.
      ReadUInt();             // read index for canonical name.
      SkipListOfDartTypes();  // read list of types.
      return;
    case kTypeParameterType:
      ReadNullability();  // read nullability.
      ReadUInt();         // read index for parameter.
      return;
    case kIntersectionType:
      SkipDartType();  // read left.
      SkipDartType();  // read right.
      return;
    case kFutureOrType:
      ReadNullability();
      SkipDartType();  // read type argument.
      break;
    default:
      ReportUnexpectedTag("type", tag);
      UNREACHABLE();
  }
}

◆ SkipExpression()

void dart::kernel::KernelReaderHelper::SkipExpression ( )

protected

Definition at line 2547 of file kernel_translation_helper.cc.

                                        {
  uint8_t payload = 0;
  Tag tag = ReadTag(&payload);
  switch (tag) {
    case kInvalidExpression:
      ReadPosition();
      SkipStringReference();
      if (ReadTag() == kSomething) {
        SkipExpression();  // read expression.
      }
      return;
    case kVariableGet:
      ReadPosition();          // read position.
      ReadUInt();              // read kernel position.
      ReadUInt();              // read relative variable index.
      SkipOptionalDartType();  // read promoted type.
      return;
    case kSpecializedVariableGet:
      ReadPosition();  // read position.
      ReadUInt();      // read kernel position.
      return;
    case kVariableSet:
      ReadPosition();    // read position.
      ReadUInt();        // read kernel position.
      ReadUInt();        // read relative variable index.
      SkipExpression();  // read expression.
      return;
    case kSpecializedVariableSet:
      ReadPosition();    // read position.
      ReadUInt();        // read kernel position.
      SkipExpression();  // read expression.
      return;
    case kInstanceGet:
      ReadByte();                          // read kind.
      ReadPosition();                      // read position.
      SkipExpression();                    // read receiver.
      SkipName();                          // read name.
      SkipDartType();                      // read result_type.
      SkipInterfaceMemberNameReference();  // read interface_target_reference.
      return;
    case kDynamicGet:
      ReadByte();        // read kind.
      ReadPosition();    // read position.
      SkipExpression();  // read receiver.
      SkipName();        // read name.
      return;
    case kInstanceTearOff:
      ReadByte();                          // read kind.
      ReadPosition();                      // read position.
      SkipExpression();                    // read receiver.
      SkipName();                          // read name.
      SkipDartType();                      // read result_type.
      SkipInterfaceMemberNameReference();  // read interface_target_reference.
      return;
    case kFunctionTearOff:
      // Removed by lowering kernel transformation.
      UNREACHABLE();
      break;
    case kInstanceSet:
      ReadByte();                          // read kind.
      ReadPosition();                      // read position.
      SkipExpression();                    // read receiver.
      SkipName();                          // read name.
      SkipExpression();                    // read value.
      SkipInterfaceMemberNameReference();  // read interface_target_reference.
      return;
    case kDynamicSet:
      ReadByte();        // read kind.
      ReadPosition();    // read position.
      SkipExpression();  // read receiver.
      SkipName();        // read name.
      SkipExpression();  // read value.
      return;
    case kAbstractSuperPropertyGet:
      // Abstract super property getters must be converted into super property
      // getters during mixin transformation.
      UNREACHABLE();
      break;
    case kAbstractSuperPropertySet:
      // Abstract super property setters must be converted into super property
      // setters during mixin transformation.
      UNREACHABLE();
      break;
    case kSuperPropertyGet:
      ReadPosition();                      // read position.
      SkipName();                          // read name.
      SkipInterfaceMemberNameReference();  // read interface_target_reference.
      return;
    case kSuperPropertySet:
      ReadPosition();                      // read position.
      SkipName();                          // read name.
      SkipExpression();                    // read value.
      SkipInterfaceMemberNameReference();  // read interface_target_reference.
      return;
    case kStaticGet:
      ReadPosition();                // read position.
      SkipCanonicalNameReference();  // read target_reference.
      return;
    case kStaticSet:
      ReadPosition();                // read position.
      SkipCanonicalNameReference();  // read target_reference.
      SkipExpression();              // read expression.
      return;
    case kInstanceInvocation:
      ReadByte();                          // read kind.
      ReadFlags();                         // read flags.
      ReadPosition();                      // read position.
      SkipExpression();                    // read receiver.
      SkipName();                          // read name.
      SkipArguments();                     // read arguments.
      SkipDartType();                      // read function_type.
      SkipInterfaceMemberNameReference();  // read interface_target_reference.
      return;
    case kDynamicInvocation:
      ReadByte();        // read kind.
      ReadByte();        // read flags.
      ReadPosition();    // read position.
      SkipExpression();  // read receiver.
      SkipName();        // read name.
      SkipArguments();   // read arguments.
      return;
    case kLocalFunctionInvocation:
      ReadPosition();   // read position.
      ReadUInt();       // read variable kernel position.
      ReadUInt();       // read relative variable index.
      SkipArguments();  // read arguments.
      SkipDartType();   // read function_type.
      return;
    case kFunctionInvocation:
      ReadByte();        // read kind.
      ReadPosition();    // read position.
      SkipExpression();  // read receiver.
      SkipArguments();   // read arguments.
      SkipDartType();    // read function_type.
      return;
    case kEqualsCall:
      ReadPosition();                      // read position.
      SkipExpression();                    // read left.
      SkipExpression();                    // read right.
      SkipDartType();                      // read function_type.
      SkipInterfaceMemberNameReference();  // read interface_target_reference.
      return;
    case kEqualsNull:
      ReadPosition();    // read position.
      SkipExpression();  // read expression.
      return;
    case kAbstractSuperMethodInvocation:
      // Abstract super method invocations must be converted into super
      // method invocations during mixin transformation.
      UNREACHABLE();
      break;
    case kSuperMethodInvocation:
      ReadPosition();                      // read position.
      SkipName();                          // read name.
      SkipArguments();                     // read arguments.
      SkipInterfaceMemberNameReference();  // read interface_target_reference.
      return;
    case kStaticInvocation:
      ReadPosition();                // read position.
      SkipCanonicalNameReference();  // read procedure_reference.
      SkipArguments();               // read arguments.
      return;
    case kConstructorInvocation:
      ReadPosition();                // read position.
      SkipCanonicalNameReference();  // read target_reference.
      SkipArguments();               // read arguments.
      return;
    case kNot:
      ReadPosition();    // read position.
      SkipExpression();  // read expression.
      return;
    case kNullCheck:
      ReadPosition();    // read position.
      SkipExpression();  // read expression.
      return;
    case kLogicalExpression:
      ReadPosition();    // read position.
      SkipExpression();  // read left.
      SkipBytes(1);      // read operator.
      SkipExpression();  // read right.
      return;
    case kConditionalExpression:
      ReadPosition();          // read position.
      SkipExpression();        // read condition.
      SkipExpression();        // read then.
      SkipExpression();        // read otherwise.
      SkipOptionalDartType();  // read unused static type.
      return;
    case kStringConcatenation:
      ReadPosition();           // read position.
      SkipListOfExpressions();  // read list of expressions.
      return;
    case kIsExpression:
      ReadPosition();    // read position.
      SkipFlags();       // read flags.
      SkipExpression();  // read operand.
      SkipDartType();    // read type.
      return;
    case kAsExpression:
      ReadPosition();    // read position.
      SkipFlags();       // read flags.
      SkipExpression();  // read operand.
      SkipDartType();    // read type.
      return;
    case kTypeLiteral:
      ReadPosition();  // read position.
      SkipDartType();  // read type.
      return;
    case kThisExpression:
      ReadPosition();  // read position.
      return;
    case kRethrow:
      ReadPosition();  // read position.
      return;
    case kThrow:
      ReadPosition();    // read position.
      SkipFlags();       // read flags.
      SkipExpression();  // read expression.
      return;
    case kListLiteral:
      ReadPosition();           // read position.
      SkipDartType();           // read type.
      SkipListOfExpressions();  // read list of expressions.
      return;
    case kSetLiteral:
      // Set literals are currently desugared in the frontend and will not
      // reach the VM. See http://dartbug.com/35124 for discussion.
      UNREACHABLE();
      return;
    case kMapLiteral: {
      ReadPosition();                           // read position.
      SkipDartType();                           // read key type.
      SkipDartType();                           // read value type.
      intptr_t list_length = ReadListLength();  // read list length.
      for (intptr_t i = 0; i < list_length; ++i) {
        SkipExpression();  // read ith key.
        SkipExpression();  // read ith value.
      }
      return;
    }
    case kRecordLiteral:
      ReadPosition();                // read position.
      SkipListOfExpressions();       // read positionals.
      SkipListOfNamedExpressions();  // read named.
      SkipDartType();                // read recordType.
      return;
    case kRecordIndexGet:
      ReadPosition();    // read position.
      SkipExpression();  // read receiver.
      SkipDartType();    // read recordType.
      ReadUInt();        // read index.
      return;
    case kRecordNameGet:
      ReadPosition();         // read position.
      SkipExpression();       // read receiver.
      SkipDartType();         // read recordType.
      SkipStringReference();  // read name.
      return;
    case kFunctionExpression:
      ReadPosition();      // read position.
      SkipFunctionNode();  // read function node.
      return;
    case kLet:
      ReadPosition();             // read position.
      SkipVariableDeclaration();  // read variable declaration.
      SkipExpression();           // read expression.
      return;
    case kBlockExpression:
      ReadPosition();  // read position.
      SkipStatementList();
      SkipExpression();  // read expression.
      return;
    case kInstantiation:
      ReadPosition();         // read position.
      SkipExpression();       // read expression.
      SkipListOfDartTypes();  // read type arguments.
      return;
    case kBigIntLiteral:
      ReadPosition();         // read position.
      SkipStringReference();  // read string reference.
      return;
    case kStringLiteral:
      ReadPosition();         // read position.
      SkipStringReference();  // read string reference.
      return;
    case kSpecializedIntLiteral:
      ReadPosition();  // read position.
      return;
    case kNegativeIntLiteral:
      ReadPosition();  // read position.
      ReadUInt();      // read value.
      return;
    case kPositiveIntLiteral:
      ReadPosition();  // read position.
      ReadUInt();      // read value.
      return;
    case kDoubleLiteral:
      ReadPosition();  // read position.
      ReadDouble();    // read value.
      return;
    case kTrueLiteral:
      ReadPosition();  // read position.
      return;
    case kFalseLiteral:
      ReadPosition();  // read position.
      return;
    case kNullLiteral:
      ReadPosition();  // read position.
      return;
    case kConstantExpression:
      ReadPosition();  // read position.
      SkipDartType();  // read type.
      SkipConstantReference();
      return;
    case kFileUriConstantExpression:
      ReadPosition();  // read position.
      ReadUInt();      // skip uri
      SkipDartType();  // read type.
      SkipConstantReference();
      return;
    case kLoadLibrary:
    case kCheckLibraryIsLoaded:
      ReadPosition();  // read file offset.
      ReadUInt();      // skip library index
      return;
    case kAwaitExpression:
      ReadPosition();    // read position.
      SkipExpression();  // read operand.
      if (ReadTag() == kSomething) {
        SkipDartType();  // read runtime check type.
      }
      return;
    case kFileUriExpression:
      ReadUInt();        // skip uri
      ReadPosition();    // read position
      SkipExpression();  // read expression
      return;
    case kConstStaticInvocation:
    case kConstConstructorInvocation:
    case kConstListLiteral:
    case kConstSetLiteral:
    case kConstMapLiteral:
    case kSymbolLiteral:
    case kListConcatenation:
    case kSetConcatenation:
    case kMapConcatenation:
    case kInstanceCreation:
    case kStaticTearOff:
    case kSwitchExpression:
    case kPatternAssignment:
    // These nodes are internal to the front end and
    // removed by the constant evaluator.
    default:
      ReportUnexpectedTag("expression", tag);
      UNREACHABLE();
  }
}

◆ SkipFlags()

void dart::kernel::KernelReaderHelper::SkipFlags ( )

protected

Definition at line 2285 of file kernel_translation_helper.cc.

                                   {
  ReadFlags();
}

◆ SkipFunctionNode()

void dart::kernel::KernelReaderHelper::SkipFunctionNode ( )

protected

Definition at line 3046 of file kernel_translation_helper.cc.

                                          {
  FunctionNodeHelper function_node_helper(this);
  function_node_helper.ReadUntilExcluding(FunctionNodeHelper::kEnd);
}

◆ SkipFunctionType()

void dart::kernel::KernelReaderHelper::SkipFunctionType ( bool simple )

protected

Definition at line 2431 of file kernel_translation_helper.cc.

                                                     {
  ReadNullability();  // read nullability.
 
  if (!simple) {
    SkipTypeParametersList();  // read type_parameters.
    ReadUInt();                // read required parameter count.
    ReadUInt();                // read total parameter count.
  }
 
  SkipListOfDartTypes();  // read positional_parameters types.
 
  if (!simple) {
    const intptr_t named_count =
        ReadListLength();  // read named_parameters list length.
    for (intptr_t i = 0; i < named_count; ++i) {
      // read string reference (i.e. named_parameters[i].name).
      SkipStringReference();
      SkipDartType();  // read named_parameters[i].type.
      SkipBytes(1);    // read flags
    }
  }
 
  SkipDartType();  // read return type.
}

◆ SkipInitializer()

void dart::kernel::KernelReaderHelper::SkipInitializer ( )

protected

Definition at line 2514 of file kernel_translation_helper.cc.

                                         {
  Tag tag = ReadTag();
  ReadByte();  // read isSynthetic flag.
  switch (tag) {
    case kInvalidInitializer:
      return;
    case kFieldInitializer:
      ReadPosition();                // read position.
      SkipCanonicalNameReference();  // read field_reference.
      SkipExpression();              // read value.
      return;
    case kSuperInitializer:
      ReadPosition();                // read position.
      SkipCanonicalNameReference();  // read target_reference.
      SkipArguments();               // read arguments.
      return;
    case kRedirectingInitializer:
      ReadPosition();                // read position.
      SkipCanonicalNameReference();  // read target_reference.
      SkipArguments();               // read arguments.
      return;
    case kLocalInitializer:
      SkipVariableDeclaration();  // read variable.
      return;
    case kAssertInitializer:
      SkipStatement();
      return;
    default:
      ReportUnexpectedTag("initializer", tag);
      UNREACHABLE();
  }
}

◆ SkipInterfaceMemberNameReference()

void dart::kernel::KernelReaderHelper::SkipInterfaceMemberNameReference ( )

protected

Definition at line 2301 of file kernel_translation_helper.cc.

                                                          {
  SkipCanonicalNameReference();
  SkipCanonicalNameReference();
}

◆ SkipInterfaceType()

void dart::kernel::KernelReaderHelper::SkipInterfaceType ( bool simple )

protected

Definition at line 2423 of file kernel_translation_helper.cc.

                                                      {
  ReadNullability();  // read nullability.
  ReadUInt();         // read klass_name.
  if (!simple) {
    SkipListOfDartTypes();  // read list of types.
  }
}

◆ SkipLibraryCombinator()

void dart::kernel::KernelReaderHelper::SkipLibraryCombinator ( )

protected

Definition at line 3071 of file kernel_translation_helper.cc.

                                               {
  ReadBool();                        // read is_show.
  intptr_t name_count = ReadUInt();  // read list length.
  for (intptr_t j = 0; j < name_count; ++j) {
    ReadUInt();  // read ith entry of name_indices.
  }
}

◆ SkipLibraryDependency()

void dart::kernel::KernelReaderHelper::SkipLibraryDependency ( )

protected

Definition at line 3079 of file kernel_translation_helper.cc.

                                               {
  ReadPosition();  // read file offset.
  ReadFlags();
  SkipListOfExpressions();  // Annotations.
  ReadCanonicalNameReference();
  ReadStringReference();  // Name.
  intptr_t combinator_count = ReadListLength();
  for (intptr_t i = 0; i < combinator_count; ++i) {
    SkipLibraryCombinator();
  }
}

◆ SkipListOfCanonicalNameReferences()

void dart::kernel::KernelReaderHelper::SkipListOfCanonicalNameReferences ( )

protected

Definition at line 2499 of file kernel_translation_helper.cc.

                                                           {
  intptr_t list_length = ReadListLength();  // read list length.
  for (intptr_t i = 0; i < list_length; ++i) {
    SkipCanonicalNameReference();
  }
}

◆ SkipListOfDartTypes()

void dart::kernel::KernelReaderHelper::SkipListOfDartTypes ( )

protected

Definition at line 2478 of file kernel_translation_helper.cc.

                                             {
  intptr_t list_length = ReadListLength();  // read list length.
  for (intptr_t i = 0; i < list_length; ++i) {
    SkipDartType();  // read ith type.
  }
}

◆ SkipListOfExpressions()

void dart::kernel::KernelReaderHelper::SkipListOfExpressions ( )

protected

Definition at line 2463 of file kernel_translation_helper.cc.

                                               {
  intptr_t list_length = ReadListLength();  // read list length.
  for (intptr_t i = 0; i < list_length; ++i) {
    SkipExpression();  // read ith expression.
  }
}

◆ SkipListOfNamedExpressions()

void dart::kernel::KernelReaderHelper::SkipListOfNamedExpressions ( )

protected

Definition at line 2470 of file kernel_translation_helper.cc.

                                                    {
  const intptr_t list_length = ReadListLength();  // read list length.
  for (intptr_t i = 0; i < list_length; ++i) {
    SkipStringReference();  // read ith name index.
    SkipExpression();       // read ith expression.
  }
}

◆ SkipListOfStrings()

void dart::kernel::KernelReaderHelper::SkipListOfStrings ( )

protected

Definition at line 2485 of file kernel_translation_helper.cc.

                                           {
  intptr_t list_length = ReadListLength();  // read list length.
  for (intptr_t i = 0; i < list_length; ++i) {
    SkipStringReference();  // read ith string index.
  }
}

◆ SkipListOfVariableDeclarations()

void dart::kernel::KernelReaderHelper::SkipListOfVariableDeclarations ( )

protected

Definition at line 2492 of file kernel_translation_helper.cc.

                                                        {
  intptr_t list_length = ReadListLength();  // read list length.
  for (intptr_t i = 0; i < list_length; ++i) {
    SkipVariableDeclaration();  // read ith variable declaration.
  }
}

◆ SkipName()

void dart::kernel::KernelReaderHelper::SkipName ( )

protected

Definition at line 3051 of file kernel_translation_helper.cc.

                                  {
  StringIndex name_index = ReadStringReference();  // read name index.
  if ((H.StringSize(name_index) >= 1) && H.CharacterAt(name_index, 0) == '_') {
    SkipCanonicalNameReference();  // read library index.
  }
}

◆ SkipOptionalDartType()

void dart::kernel::KernelReaderHelper::SkipOptionalDartType ( )

protected

Definition at line 2413 of file kernel_translation_helper.cc.

                                              {
  Tag tag = ReadTag();  // read tag.
  if (tag == kNothing) {
    return;
  }
  ASSERT(tag == kSomething);
 
  SkipDartType();  // read type.
}

◆ SkipStatement()

void dart::kernel::KernelReaderHelper::SkipStatement ( )

protected

Definition at line 2905 of file kernel_translation_helper.cc.

                                       {
  Tag tag = ReadTag();  // read tag.
  switch (tag) {
    case kExpressionStatement:
      SkipExpression();  // read expression.
      return;
    case kBlock:
      ReadPosition();  // read file offset.
      ReadPosition();  // read file end offset.
      SkipStatementList();
      return;
    case kEmptyStatement:
      return;
    case kAssertBlock:
      SkipStatementList();
      return;
    case kAssertStatement:
      SkipExpression();  // Read condition.
      ReadPosition();    // read condition start offset.
      ReadPosition();    // read condition end offset.
      if (ReadTag() == kSomething) {
        SkipExpression();  // read (rest of) message.
      }
      return;
    case kLabeledStatement:
      ReadPosition();   // read position.
      SkipStatement();  // read body.
      return;
    case kBreakStatement:
      ReadPosition();  // read position.
      ReadUInt();      // read target_index.
      return;
    case kWhileStatement:
      ReadPosition();    // read position.
      SkipExpression();  // read condition.
      SkipStatement();   // read body.
      return;
    case kDoStatement:
      ReadPosition();    // read position.
      SkipStatement();   // read body.
      SkipExpression();  // read condition.
      return;
    case kForStatement: {
      ReadPosition();                    // read position.
      SkipListOfVariableDeclarations();  // read variables.
      Tag tag = ReadTag();               // Read first part of condition.
      if (tag == kSomething) {
        SkipExpression();  // read rest of condition.
      }
      SkipListOfExpressions();  // read updates.
      SkipStatement();          // read body.
      return;
    }
    case kSwitchStatement: {
      ReadPosition();                     // read position.
      ReadBool();                         // read exhaustive flag.
      SkipExpression();                   // read condition.
      SkipOptionalDartType();             // read expression type
      int case_count = ReadListLength();  // read number of cases.
      for (intptr_t i = 0; i < case_count; ++i) {
        ReadPosition();                           // read file offset.
        int expression_count = ReadListLength();  // read number of expressions.
        for (intptr_t j = 0; j < expression_count; ++j) {
          ReadPosition();    // read jth position.
          SkipExpression();  // read jth expression.
        }
        ReadBool();       // read is_default.
        SkipStatement();  // read body.
      }
      return;
    }
    case kContinueSwitchStatement:
      ReadPosition();  // read position.
      ReadUInt();      // read target_index.
      return;
    case kIfStatement:
      ReadPosition();    // read position.
      SkipExpression();  // read condition.
      SkipStatement();   // read then.
      SkipStatement();   // read otherwise.
      return;
    case kReturnStatement: {
      ReadPosition();       // read position
      Tag tag = ReadTag();  // read (first part of) expression.
      if (tag == kSomething) {
        SkipExpression();  // read (rest of) expression.
      }
      return;
    }
    case kTryCatch: {
      ReadPosition();                           // read position
      SkipStatement();                          // read body.
      ReadByte();                               // read flags
      intptr_t catch_count = ReadListLength();  // read number of catches.
      for (intptr_t i = 0; i < catch_count; ++i) {
        ReadPosition();   // read position.
        SkipDartType();   // read guard.
        tag = ReadTag();  // read first part of exception.
        if (tag == kSomething) {
          SkipVariableDeclaration();  // read exception.
        }
        tag = ReadTag();  // read first part of stack trace.
        if (tag == kSomething) {
          SkipVariableDeclaration();  // read stack trace.
        }
        SkipStatement();  // read body.
      }
      return;
    }
    case kTryFinally:
      ReadPosition();   // read position
      SkipStatement();  // read body.
      SkipStatement();  // read finalizer.
      return;
    case kYieldStatement: {
      ReadPosition();    // read position.
      ReadByte();        // read flags.
      SkipExpression();  // read expression.
      return;
    }
    case kVariableDeclaration:
      SkipVariableDeclaration();  // read variable declaration.
      return;
    case kFunctionDeclaration:
      ReadPosition();             // read position.
      SkipVariableDeclaration();  // read variable.
      SkipFunctionNode();         // read function node.
      return;
    case kForInStatement:
    case kAsyncForInStatement:
    case kIfCaseStatement:
    case kPatternSwitchStatement:
    case kPatternVariableDeclaration:
    // These nodes are internal to the front end and
    // removed by the constant evaluator.
    default:
      ReportUnexpectedTag("statement", tag);
      UNREACHABLE();
  }
}

◆ SkipStatementList()

void dart::kernel::KernelReaderHelper::SkipStatementList ( )

protected

Definition at line 2456 of file kernel_translation_helper.cc.

                                           {
  intptr_t list_length = ReadListLength();  // read list length.
  for (intptr_t i = 0; i < list_length; ++i) {
    SkipStatement();  // read ith expression.
  }
}

◆ SkipStringReference()

void dart::kernel::KernelReaderHelper::SkipStringReference ( )

protected

Definition at line 2289 of file kernel_translation_helper.cc.

                                             {
  ReadUInt();
}

◆ SkipTypeParametersList()

void dart::kernel::KernelReaderHelper::SkipTypeParametersList ( )

protected

Definition at line 2506 of file kernel_translation_helper.cc.

                                                {
  intptr_t list_length = ReadListLength();  // read list length.
  for (intptr_t i = 0; i < list_length; ++i) {
    TypeParameterHelper helper(this);
    helper.Finish();
  }
}

◆ SkipVariableDeclaration()

void dart::kernel::KernelReaderHelper::SkipVariableDeclaration ( )

protected

Definition at line 3066 of file kernel_translation_helper.cc.

                                                 {
  VariableDeclarationHelper helper(this);
  helper.ReadUntilExcluding(VariableDeclarationHelper::kEnd);
}

◆ SourceTableImportUriFor()

String & dart::kernel::KernelReaderHelper::SourceTableImportUriFor ( intptr_t index )

protected

Definition at line 3165 of file kernel_translation_helper.cc.

                                                                  {
  AlternativeReadingScope alt(&reader_);
  SetOffset(GetOffsetForSourceInfo(index));
  SkipBytes(ReadUInt());                         // skip uri.
  SkipBytes(ReadUInt());                         // skip source.
  const intptr_t line_start_count = ReadUInt();  // read number of line start
                                                 // entries.
  for (intptr_t i = 0; i < line_start_count; ++i) {
    ReadUInt();
  }
 
  intptr_t size = ReadUInt();  // read import uri List<byte> size.
  return H.DartString(reader_.BufferAt(ReaderOffset()), size, Heap::kOld);
}

◆ SourceTableSize()

intptr_t dart::kernel::KernelReaderHelper::SourceTableSize ( )

protected

Definition at line 3097 of file kernel_translation_helper.cc.

                                             {
  AlternativeReadingScope alt(&reader_);
  intptr_t library_count = reader_.ReadFromIndexNoReset(
      reader_.size(), LibraryCountFieldCountFromEnd, 1, 0);
 
  const intptr_t count_from_first_library_offset =
      SourceTableFieldCountFromFirstLibraryOffset;
 
  intptr_t source_table_offset = reader_.ReadFromIndexNoReset(
      reader_.size(),
      LibraryCountFieldCountFromEnd + 1 + library_count + 1 +
          count_from_first_library_offset,
      1, 0);
  SetOffset(source_table_offset);  // read source table offset.
  return reader_.ReadUInt32();     // read source table size.
}

◆ SourceTableUriFor()

String & dart::kernel::KernelReaderHelper::SourceTableUriFor ( intptr_t index )

protected

Definition at line 3134 of file kernel_translation_helper.cc.

                                                            {
  AlternativeReadingScope alt(&reader_);
  SetOffset(GetOffsetForSourceInfo(index));
  intptr_t size = ReadUInt();  // read uri List<byte> size.
  return H.DartString(reader_.BufferAt(ReaderOffset()), size, Heap::kOld);
}

Friends And Related Symbol Documentation

◆ CallSiteAttributesMetadataHelper

friend class CallSiteAttributesMetadataHelper

friend

Definition at line 1372 of file kernel_translation_helper.h.

◆ ClassHelper

friend class ClassHelper

friend

Definition at line 1371 of file kernel_translation_helper.h.

◆ CollectConstConstructorCoverageFrom

ArrayPtr CollectConstConstructorCoverageFrom ( const Script & interesting_script )

friend

◆ ConstantHelper

friend class ConstantHelper

friend

Definition at line 1374 of file kernel_translation_helper.h.

◆ ConstantReader

friend class ConstantReader

friend

Definition at line 1373 of file kernel_translation_helper.h.

◆ ConstructorHelper

friend class ConstructorHelper

friend

Definition at line 1375 of file kernel_translation_helper.h.

◆ DirectCallMetadataHelper

friend class DirectCallMetadataHelper

friend

Definition at line 1376 of file kernel_translation_helper.h.

◆ FieldHelper

friend class FieldHelper

friend

Definition at line 1377 of file kernel_translation_helper.h.

◆ FunctionNodeHelper

friend class FunctionNodeHelper

friend

Definition at line 1378 of file kernel_translation_helper.h.

◆ InferredTypeMetadataHelper

friend class InferredTypeMetadataHelper

friend

Definition at line 1379 of file kernel_translation_helper.h.

◆ KernelLoader

friend class KernelLoader

friend

Definition at line 1380 of file kernel_translation_helper.h.

◆ LibraryDependencyHelper

friend class LibraryDependencyHelper

friend

Definition at line 1381 of file kernel_translation_helper.h.

◆ LibraryHelper

friend class LibraryHelper

friend

Definition at line 1382 of file kernel_translation_helper.h.

◆ LoadingUnitsMetadataHelper

friend class LoadingUnitsMetadataHelper

friend

Definition at line 1394 of file kernel_translation_helper.h.

◆ MetadataHelper

friend class MetadataHelper

friend

Definition at line 1383 of file kernel_translation_helper.h.

◆ NeedsDynamicInvocationForwarder

bool NeedsDynamicInvocationForwarder ( const Function & function )

friend

Definition at line 657 of file kernel.cc.

                                                               {
  Zone* zone = Thread::Current()->zone();
 
  // Right now closures do not need a dyn:* forwarder.
  // See https://github.com/dart-lang/sdk/issues/40813
  if (function.IsClosureFunction()) return false;
 
  // Method extractors have no parameters to check and return value is a closure
  // and therefore not an unboxed primitive type.
  if (function.IsMethodExtractor()) {
    return false;
  }
 
  // Record field getters have no parameters to check and 'dynamic' return type.
  if (function.IsRecordFieldGetter()) {
    return false;
  }
 
  // Invoke field dispatchers are dynamically generated, will invoke a getter to
  // obtain the field value and then invoke ".call()" on the result.
  // Those dynamically generated dispathers don't have proper kernel metadata
  // associated with them - we can therefore not query if there are dynamic
  // calls to them or not and are therefore conservative.
  if (function.IsInvokeFieldDispatcher()) {
    return true;
  }
 
  // The dyn:* forwarders perform unboxing of parameters before calling the
  // actual target (which accepts unboxed parameters) and boxes return values
  // of the return value.
  if (function.HasUnboxedParameters() || function.HasUnboxedReturnValue()) {
    return true;
  }
 
  if (function.MaxNumberOfParametersInRegisters(zone) > 0) {
    return true;
  }
 
  // There are no parameters to type check for getters and if the return value
  // is boxed, then the dyn:* forwarder is not needed.
  if (function.IsImplicitGetterFunction()) {
    return false;
  }
 
  // Covariant parameters (both explicitly covariant and generic-covariant-impl)
  // are checked in the body of a function and therefore don't need checks in a
  // dynamic invocation forwarder. So dynamic invocation forwarder is only
  // needed if there are non-covariant parameters of non-top type.
  if (function.IsImplicitSetterFunction()) {
    const auto& field = Field::Handle(zone, function.accessor_field());
    return !(field.is_covariant() || field.is_generic_covariant_impl());
  }
 
  const auto& type_params =
      TypeParameters::Handle(zone, function.type_parameters());
  if (!type_params.IsNull()) {
    auto& bound = AbstractType::Handle(zone);
    for (intptr_t i = 0, n = type_params.Length(); i < n; ++i) {
      bound = type_params.BoundAt(i);
      if (!bound.IsTopTypeForSubtyping() &&
          !type_params.IsGenericCovariantImplAt(i)) {
        return true;
      }
    }
  }
 
  const intptr_t num_params = function.NumParameters();
  BitVector is_covariant(zone, num_params);
  BitVector is_generic_covariant_impl(zone, num_params);
  ReadParameterCovariance(function, &is_covariant, &is_generic_covariant_impl);
 
  auto& type = AbstractType::Handle(zone);
  for (intptr_t i = function.NumImplicitParameters(); i < num_params; ++i) {
    type = function.ParameterTypeAt(i);
    if (!type.IsTopTypeForSubtyping() &&
        !is_generic_covariant_impl.Contains(i) && !is_covariant.Contains(i)) {
      return true;
    }
  }
 
  return false;
}

◆ ObfuscationProhibitionsMetadataHelper

friend class ObfuscationProhibitionsMetadataHelper

friend

Definition at line 1393 of file kernel_translation_helper.h.

◆ ProcedureAttributesMetadataHelper

friend class ProcedureAttributesMetadataHelper

friend

Definition at line 1384 of file kernel_translation_helper.h.

◆ ProcedureHelper

friend class ProcedureHelper

friend

Definition at line 1385 of file kernel_translation_helper.h.

◆ ScopeBuilder

friend class ScopeBuilder

friend

Definition at line 1387 of file kernel_translation_helper.h.

◆ SimpleExpressionConverter

friend class SimpleExpressionConverter

friend

Definition at line 1386 of file kernel_translation_helper.h.

◆ TableSelectorMetadataHelper

friend class TableSelectorMetadataHelper

friend

Definition at line 1388 of file kernel_translation_helper.h.

◆ TypeParameterHelper

friend class TypeParameterHelper

friend

Definition at line 1389 of file kernel_translation_helper.h.

◆ TypeTranslator

friend class TypeTranslator

friend

Definition at line 1390 of file kernel_translation_helper.h.

◆ UnboxingInfoMetadataHelper

friend class UnboxingInfoMetadataHelper

friend

Definition at line 1391 of file kernel_translation_helper.h.

◆ VariableDeclarationHelper

friend class VariableDeclarationHelper

friend

Definition at line 1392 of file kernel_translation_helper.h.

Member Data Documentation

◆ data_program_offset_

intptr_t dart::kernel::KernelReaderHelper::data_program_offset_

protected

Definition at line 1369 of file kernel_translation_helper.h.

◆ reader_

Reader dart::kernel::KernelReaderHelper::reader_

protected

Definition at line 1362 of file kernel_translation_helper.h.

◆ translation_helper_

TranslationHelper& dart::kernel::KernelReaderHelper::translation_helper_

protected

Definition at line 1361 of file kernel_translation_helper.h.

◆ zone_

Zone* dart::kernel::KernelReaderHelper::zone_

protected

Definition at line 1360 of file kernel_translation_helper.h.

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_binary_flowgraph.cc
third_party/dart-lang/sdk/runtime/vm/compiler/frontend/kernel_translation_helper.cc

Public Member Functions

Protected Member Functions

Protected Attributes

Friends

Detailed Description

Constructor & Destructor Documentation

◆ KernelReaderHelper()

◆ ~KernelReaderHelper()

Member Function Documentation

◆ GetConstantCoverageFor()

◆ GetLineStartsFor()

◆ GetOffsetForSourceInfo()

◆ GetSourceFor()

◆ PeekListLength()

◆ PeekTag()

◆ PeekUInt()

◆ ReadBool()

◆ ReadByte()

◆ ReadCanonicalNameReference()

◆ ReadDouble()

◆ ReaderOffset()

◆ ReaderSize()

◆ ReadFlags()

◆ ReadInterfaceMemberNameReference()

◆ ReadListLength()

◆ ReadNameAsFieldName()

◆ ReadNameAsGetterName()

◆ ReadNameAsMethodName()

◆ ReadNameAsSetterName()

◆ ReadNameAsStringIndex()

◆ ReadNullability()

◆ ReadPosition()

◆ ReadStringReference()

◆ ReadTag()

◆ ReadUInt()

◆ ReadUInt32()

◆ ReadUntilFunctionNode()

◆ ReadVariance()

◆ RecordTokenPosition()

◆ ReportUnexpectedTag()

◆ set_current_script_id()

◆ SetOffset()

◆ SkipArguments()

◆ SkipBytes()

◆ SkipCanonicalNameReference()

◆ SkipConstantReference()

◆ SkipDartType()

◆ SkipExpression()

◆ SkipFlags()

◆ SkipFunctionNode()

◆ SkipFunctionType()

◆ SkipInitializer()

◆ SkipInterfaceMemberNameReference()

◆ SkipInterfaceType()

◆ SkipLibraryCombinator()

◆ SkipLibraryDependency()

◆ SkipListOfCanonicalNameReferences()

◆ SkipListOfDartTypes()

◆ SkipListOfExpressions()

◆ SkipListOfNamedExpressions()

◆ SkipListOfStrings()

◆ SkipListOfVariableDeclarations()

◆ SkipName()

◆ SkipOptionalDartType()

◆ SkipStatement()

◆ SkipStatementList()

◆ SkipStringReference()

◆ SkipTypeParametersList()

◆ SkipVariableDeclaration()

◆ SourceTableImportUriFor()

◆ SourceTableSize()

◆ SourceTableUriFor()

Friends And Related Symbol Documentation

◆ CallSiteAttributesMetadataHelper

◆ ClassHelper

◆ CollectConstConstructorCoverageFrom

◆ ConstantHelper

◆ ConstantReader

◆ ConstructorHelper

◆ DirectCallMetadataHelper