Package sootup.core.graph

Class BackwardsControlFlowGraph<V extends BasicBlock<V>>

java.lang.Object

sootup.core.graph.ControlFlowGraph<V>

sootup.core.graph.ForwardingControlFlowGraph<V>

sootup.core.graph.BackwardsControlFlowGraph<V>

All Implemented Interfaces:

Iterable<Stmt>

public class BackwardsControlFlowGraph<V extends BasicBlock<V>>
extends ForwardingControlFlowGraph<V>

Author:

Zun Wang

Field Summary

Fields inherited from class sootup.core.graph.ForwardingControlFlowGraph

backingGraph

Constructor Summary

Constructors

Constructor	Description
BackwardsControlFlowGraph(@NonNull ControlFlowGraph<V> controlFlowGraph)

Method Summary

Modifier and Type	Method	Description
@NonNull List<? extends BasicBlock<?>>	getBlocksSorted()
@NonNull Collection<Stmt>	getNodes()	returns the nodes in this graph in a non-deterministic order (->Set) to get the nodes in linearized, ordered manner use iterator() or getStmts.
Stmt	getStartingStmt()
@NonNull List<Stmt>	getStartingStmts()
boolean	hasEdgeConnecting(@NonNull Stmt source, @NonNull Stmt target)	returns true if there is a flow between source and target throws an Exception if at least one of the parameters is not contained in the graph.
int	inDegree(@NonNull Stmt node)	returns the amount of ingoing flows into node
int	outDegree(@NonNull Stmt node)	returns the amount of flows that start from node
@NonNull List<Stmt>	predecessors(@NonNull Stmt node)	returns the ingoing flows to node as an List with no reliable/specific order and possibly duplicate entries i.e. if a JSwitchStmt has multiple cases that brnach to `node`
@NonNull List<Stmt>	successors(@NonNull Stmt node)	returns the outgoing flows of node as ordered List.

Methods inherited from class sootup.core.graph.ForwardingControlFlowGraph

containsNode, degree, exceptionalPredecessors, exceptionalSuccessors, getBlockOf, getBlocks, getStartingStmtBlock, getTailStmtBlocks, iterator, removeExceptionalFlowFromAllBlocks

Methods inherited from class sootup.core.graph.ControlFlowGraph

equals, getAllSuccessors, getBlockIterator, getBranchTargetsOf, getEntrypoints, getExtendedBasicBlockPathBetween, getStmts, getTails, isStmtBranchTarget, toString, validateStmtConnectionsInGraph

Methods inherited from class java.lang.Object

clone, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Constructor Details

BackwardsControlFlowGraph

public BackwardsControlFlowGraph(@NonNull ControlFlowGraph<V> controlFlowGraph)

Method Details

getStartingStmt

public Stmt getStartingStmt()

Overrides:

getStartingStmt in class ForwardingControlFlowGraph<V extends BasicBlock<V>>

getStartingStmts

public @NonNull List<Stmt> getStartingStmts()

getNodes

public @NonNull Collection<Stmt> getNodes()

Description copied from class: ControlFlowGraph

returns the nodes in this graph in a non-deterministic order (->Set) to get the nodes in linearized, ordered manner use iterator() or getStmts.

Overrides:

getNodes in class ForwardingControlFlowGraph<V extends BasicBlock<V>>

getBlocksSorted

public @NonNull List<? extends BasicBlock<?>> getBlocksSorted()

Overrides:

getBlocksSorted in class ForwardingControlFlowGraph<V extends BasicBlock<V>>

predecessors

public @NonNull List<Stmt> predecessors(@NonNull Stmt node)

Description copied from class: ControlFlowGraph

returns the ingoing flows to node as an List with no reliable/specific order and possibly duplicate entries i.e. if a JSwitchStmt has multiple cases that brnach to `node`

Overrides:

predecessors in class ForwardingControlFlowGraph<V extends BasicBlock<V>>

successors

public @NonNull List<Stmt> successors(@NonNull Stmt node)

Description copied from class: ControlFlowGraph

returns the outgoing flows of node as ordered List. The List can have duplicate entries!

Overrides:

successors in class ForwardingControlFlowGraph<V extends BasicBlock<V>>

inDegree

public int inDegree(@NonNull Stmt node)

Description copied from class: ControlFlowGraph

returns the amount of ingoing flows into node

Overrides:

inDegree in class ForwardingControlFlowGraph<V extends BasicBlock<V>>

outDegree

public int outDegree(@NonNull Stmt node)

Description copied from class: ControlFlowGraph

returns the amount of flows that start from node

Overrides:

outDegree in class ForwardingControlFlowGraph<V extends BasicBlock<V>>

hasEdgeConnecting

public boolean hasEdgeConnecting(@NonNull Stmt source,
 @NonNull Stmt target)

Description copied from class: ControlFlowGraph

returns true if there is a flow between source and target throws an Exception if at least one of the parameters is not contained in the graph.

Overrides:

hasEdgeConnecting in class ForwardingControlFlowGraph<V extends BasicBlock<V>>