object Cfg
- Companion:
- class
Type members
Classlikes
Value members
Concrete methods
def edges(sources: List[CfgNode], dstNode: Option[CfgNode], cfgEdgeType: CfgEdgeType): List[CfgEdge]
Create edges of given type from a list of source nodes to a destination node
Create edges of given type from a list of source nodes to a destination node
Create edges from all nodes of cfg's fringe to node
.
Create edges from all nodes of cfg's fringe to node
.
Create edges from all nodes of cfg's fringe to node
, ignoring fringe edge types and using cfgEdgeType
instead.
Create edges from all nodes of cfg's fringe to node
, ignoring fringe edge types and using cfgEdgeType
instead.
def edgesFromFringeTo(fringeElems: List[(CfgNode, CfgEdgeType)], node: Option[CfgNode]): List[CfgEdge]
Create edges from a list (node, cfgEdgeType) pairs to node
Create edges from a list (node, cfgEdgeType) pairs to node
def edgesToMultiple(sources: List[CfgNode], destinations: List[CfgNode], cfgEdgeType: CfgEdgeType): List[CfgEdge]
Create edges of given type from all nodes in sources
to node
.
Create edges of given type from all nodes in sources
to node
.