CfgNodeTraversal

io.shiftleft.semanticcpg.language.types.expressions.generalizations.CfgNodeTraversal
final class CfgNodeTraversal[A <: CfgNode](val traversal: Traversal[A]) extends AnyVal

Attributes

Graph
Supertypes
class AnyVal
trait Matchable
class Any

Members list

Concise view

Value members

Concrete methods

def address: Traversal[Option[String]]

Obtain hexadecimal string representation of lineNumber field.

Obtain hexadecimal string representation of lineNumber field.

Attributes

def cfgNext: Traversal[CfgNode]

Traverse to next expression in CFG.

Traverse to next expression in CFG.

Attributes

def cfgNext(n: Int): Traversal[CfgNode]

All nodes reachable in the CFG by up to n forward expansions

All nodes reachable in the CFG by up to n forward expansions

Attributes

def cfgPrev: Traversal[CfgNode]

Traverse to previous expression in CFG.

Traverse to previous expression in CFG.

Attributes

def cfgPrev(n: Int): Traversal[CfgNode]

All nodes reachable in the CFG by up to n backward expansions

All nodes reachable in the CFG by up to n backward expansions

Attributes

def controlledBy: Traversal[CfgNode]

Recursively determine all nodes on which any of the nodes in this traversal are control dependent

Recursively determine all nodes on which any of the nodes in this traversal are control dependent

Attributes

def controls: Traversal[CfgNode]

Recursively determine all nodes which are control dependent on this node

Recursively determine all nodes which are control dependent on this node

Attributes

def dominatedBy: Traversal[CfgNode]

Recursively determine all nodes by which this node is dominated

Recursively determine all nodes by which this node is dominated

Attributes

def dominates: Traversal[CfgNode]

Recursively determine all nodes which this node dominates

Recursively determine all nodes which this node dominates

Attributes

def method: Traversal[Method]

Traverse to enclosing method

Traverse to enclosing method

Attributes

def passes(included: Traversal[CfgNode]): Traversal[CfgNode]
def passesNot(excluded: Traversal[CfgNode]): Traversal[CfgNode]
def postDominatedBy: Traversal[CfgNode]

Recursively determine all nodes by which this node is post dominated

Recursively determine all nodes by which this node is post dominated

Attributes

def postDominates: Traversal[CfgNode]

Recursively determine all nodes which this node post dominates

Recursively determine all nodes which this node post dominates

Attributes

def repr: Traversal[String]

Textual representation of CFG node

Textual representation of CFG node

Attributes

Concrete fields

val traversal: Traversal[A]