• Home
• io.joern
• semanticcpg_2.13
• 1.2.44
• source code
• FieldAccessTraversal.scala

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

io.shiftleft.semanticcpg.language.operatorextension.FieldAccessTraversal.scala Maven / Gradle / Ivy

package io.shiftleft.semanticcpg.language.operatorextension

import io.shiftleft.codepropertygraph.generated.nodes.{FieldIdentifier, Member, TypeDecl}
import io.shiftleft.semanticcpg.language._
import overflowdb.traversal.Traversal
import overflowdb.traversal.help.Doc

class FieldAccessTraversal(val traversal: Traversal[OpNodes.FieldAccess]) extends AnyVal {

  @Doc(info = "Attempts to resolve the type declaration for this field access")
  def typeDecl: Traversal[TypeDecl] =
    traversal.flatMap(_.typeDecl)

  // TODO there are cases for the C++ frontend where argument(2) is a CALL or IDENTIFIER,
  // and we are not handling them at the moment

  @Doc(info = "The identifier of the referenced field (right-hand side)")
  def fieldIdentifier: Traversal[FieldIdentifier] =
    traversal.flatMap(_.fieldIdentifier)

  @Doc(info = "Attempts to resolve the member referenced by this field access")
  def member: Traversal[Member] =
    traversal.flatMap(_.member)

}