Package sootup.core.graph

Class BackwardsStmtGraph<V extends BasicBlock<V>>

java.lang.Object

sootup.core.graph.StmtGraph<V>

sootup.core.graph.ForwardingStmtGraph<V>

sootup.core.graph.BackwardsStmtGraph<V>

All Implemented Interfaces:

Iterable<Stmt>

public class BackwardsStmtGraph<V extends BasicBlock<V>>
extends ForwardingStmtGraph<V>

Author:

Zun Wang

Field Summary

Fields inherited from class sootup.core.graph.ForwardingStmtGraph

backingGraph

Constructor Summary

Constructors

Constructor	Description
BackwardsStmtGraph(@NonNull StmtGraph<V> stmtGraph)

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.ForwardingStmtGraph

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

Methods inherited from class sootup.core.graph.StmtGraph

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

BackwardsStmtGraph

public BackwardsStmtGraph(@NonNull StmtGraph<V> stmtGraph)

Method Details

getStartingStmt

public Stmt getStartingStmt()

Overrides:

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

getStartingStmts

public @NonNull List<Stmt> getStartingStmts()

getNodes

public @NonNull Collection<Stmt> getNodes()

Description copied from class: StmtGraph

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 ForwardingStmtGraph<V extends BasicBlock<V>>

getBlocksSorted

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

Overrides:

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

predecessors

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

Description copied from class: StmtGraph

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 ForwardingStmtGraph<V extends BasicBlock<V>>

successors

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

Description copied from class: StmtGraph

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

Overrides:

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

inDegree

public int inDegree(@NonNull Stmt node)

Description copied from class: StmtGraph

returns the amount of ingoing flows into node

Overrides:

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

outDegree

public int outDegree(@NonNull Stmt node)

Description copied from class: StmtGraph

returns the amount of flows that start from node

Overrides:

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

hasEdgeConnecting

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

Description copied from class: StmtGraph

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 ForwardingStmtGraph<V extends BasicBlock<V>>