org
.
argus
.
jawa
.
alir
controlFlowGraph
package
controlFlowGraph
Visibility
Public
All
Type Members
final
case class
ICFGCallNode
(
context:
Context
)
extends
ICFGInvokeNode
with
Product
with
Serializable
final
case class
ICFGCenterNode
(
context:
Context
)
extends
ICFGVirtualNode
with
Product
with
Serializable
final
case class
ICFGEntryNode
(
context:
Context
)
extends
ICFGVirtualNode
with
Product
with
Serializable
final
case class
ICFGExitNode
(
context:
Context
)
extends
ICFGVirtualNode
with
Product
with
Serializable
abstract
class
ICFGInvokeNode
extends
ICFGLocNode
abstract
class
ICFGLocNode
extends
ICFGNode
sealed abstract
class
ICFGNode
extends
InterproceduralNode
final
case class
ICFGNormalNode
(
context:
Context
)
extends
ICFGLocNode
with
Product
with
Serializable
final
case class
ICFGReturnNode
(
context:
Context
)
extends
ICFGInvokeNode
with
Product
with
Serializable
abstract
class
ICFGVirtualNode
extends
ICFGNode
class
InterproceduralControlFlowGraph
[
Node <:
ICFGNode
]
extends
InterproceduralGraph
[
Node
]
Value Members
object
ControlFlowGraph
Ungrouped