Package sootup.core.graph

Class MutableStmtGraph

java.lang.Object

sootup.core.graph.StmtGraph<MutableBasicBlock>

sootup.core.graph.MutableStmtGraph

All Implemented Interfaces:

Iterable<Stmt>

Direct Known Subclasses:

MutableBlockStmtGraph

public abstract class MutableStmtGraph
extends StmtGraph<MutableBasicBlock>

Author:

Markus Schmidt

performance suggestions for multiple operations on sequential Stmts: addNode(): top->down removeNode(s): bottom->up as then there is no need for copying inside the MutableBasicBlock

Nested Class Summary

Nested classes/interfaces inherited from class sootup.core.graph.StmtGraph

StmtGraph.BlockGraphIterator, StmtGraph.BlockGraphIteratorAndTrapAggregator

Constructor Summary

Constructors

Constructor	Description
MutableStmtGraph()

Method Summary

Modifier and Type	Method	Description
void	addBlock(List<Stmt> stmts)	creates a whole BasicBlock which contains the sequence of (n-1)*fallsthrough()-stmt + optional a non-fallsthrough() stmt at the end of the list
abstract void	addBlock(List<Stmt> stmts, Map<ClassType,Stmt> traps)	creates a whole BasicBlock with the details from the parameters
abstract void	addExceptionalEdge(Stmt stmt, ClassType exception, Stmt traphandlerStmt)	Adds an exceptional flow with the type "exception" to a "stmt" which will reach "traphandlerStmt"
void	addNode(Stmt stmt)	inserts a "stmt" into the StmtGraph
abstract void	addNode(Stmt stmt, Map<ClassType,Stmt> traps)	inserts a "stmt" with exceptional flows "traps" into the StmtGraph
abstract void	clearExceptionalEdges(Stmt stmt)	Modifications of exceptional flows removes all exceptional flows from "stmt"
abstract void	insertBefore(Stmt beforeStmt, List<FallsThroughStmt> stmts, Map<ClassType,Stmt> exceptionMap)
void	insertBefore(Stmt beforeStmt, FallsThroughStmt newStmt)	inserts the "newStmt" before the position of "beforeStmt" i.e.
abstract void	putEdge(BranchingStmt from, int successorIdx, Stmt to)
abstract void	putEdge(FallsThroughStmt from, Stmt to)	Modifications of unexceptional flows
abstract void	removeBlock(BasicBlock<?> block)
abstract List<Integer>	removeEdge(Stmt from, Stmt to)	removes the current outgoing flows of "from" to "to"
abstract void	removeExceptionalEdge(Stmt stmt, ClassType exception)	removes an exceptional flow of the type "exception" flow from "stmt"
abstract void	removeNode(Stmt stmt)	removes "stmt" from the StmtGraph
abstract void	removeNode(Stmt stmt, boolean keepFlow)
abstract void	replaceNode(Stmt oldStmt, Stmt newStmt)	Modification of stmts (without manipulating any flows; possible assigned exceptional flows stay the same as well)
abstract boolean	replaceSucessorEdge(Stmt from, Stmt oldTo, Stmt newTo)
abstract void	setEdges(BranchingStmt from, List<Stmt> targets)	replaces the current outgoing flows of "from" to "targets"
void	setEdges(BranchingStmt from, Stmt... targets)	replaces the current outgoing flows of "from" to each target of "targets"
abstract void	setStartingStmt(Stmt firstStmt)
abstract StmtGraph<?>	unmodifiableStmtGraph()

Methods inherited from class sootup.core.graph.StmtGraph

buildTraps, containsNode, degree, equals, exceptionalPredecessors, exceptionalSuccessors, getAllSuccessors, getBlockIterator, getBlockOf, getBlocks, getBlocksSorted, getBranchTargetsOf, getEntrypoints, getExtendedBasicBlockPathBetween, getLabeledStmts, getNodes, getStartingStmt, getStartingStmtBlock, getStmts, getTails, hasEdgeConnecting, inDegree, isStmtBranchTarget, iterator, outDegree, predecessors, removeExceptionalFlowFromAllBlocks, successors, 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

MutableStmtGraph

public MutableStmtGraph()

Method Details

unmodifiableStmtGraph

@Nonnull
public abstract StmtGraph<?> unmodifiableStmtGraph()

setStartingStmt

public abstract void setStartingStmt(@Nonnull
 Stmt firstStmt)

addNode

public void addNode(@Nonnull
 Stmt stmt)

inserts a "stmt" into the StmtGraph

addNode

public abstract void addNode(@Nonnull
 Stmt stmt,
 @Nonnull
 Map<ClassType,Stmt> traps)

inserts a "stmt" with exceptional flows "traps" into the StmtGraph

addBlock

public abstract void addBlock(@Nonnull
 List<Stmt> stmts,
 @Nonnull
 Map<ClassType,Stmt> traps)

creates a whole BasicBlock with the details from the parameters

removeBlock

public abstract void removeBlock(BasicBlock<?> block)

addBlock

public void addBlock(@Nonnull
 List<Stmt> stmts)

creates a whole BasicBlock which contains the sequence of (n-1)*fallsthrough()-stmt + optional a non-fallsthrough() stmt at the end of the list

replaceNode

public abstract void replaceNode(@Nonnull
 Stmt oldStmt,
 @Nonnull
 Stmt newStmt)

Modification of stmts (without manipulating any flows; possible assigned exceptional flows stay the same as well)

insertBefore

public abstract void insertBefore(@Nonnull
 Stmt beforeStmt,
 @Nonnull
 List<FallsThroughStmt> stmts,
 @Nonnull
 Map<ClassType,Stmt> exceptionMap)

insertBefore

public void insertBefore(@Nonnull
 Stmt beforeStmt,
 @Nonnull
 FallsThroughStmt newStmt)

inserts the "newStmt" before the position of "beforeStmt" i.e. newStmt.successors().contains(beforeStmt) will be true

removeNode

public abstract void removeNode(@Nonnull
 Stmt stmt)

removes "stmt" from the StmtGraph

removeNode

public abstract void removeNode(@Nonnull
 Stmt stmt,
 boolean keepFlow)

putEdge

public abstract void putEdge(@Nonnull
 FallsThroughStmt from,
 @Nonnull
 Stmt to)

Modifications of unexceptional flows

Adds a flow "from" to "to". if at least one of the parameter Stmts is not already in the StmtGraph it will be added. if "to" needs to be added to the StmtGraph i.e. "to" is not already in the StmtGraph the method assumes "to" has the same exceptional flows as "from".

putEdge

public abstract void putEdge(@Nonnull
 BranchingStmt from,
 int successorIdx,
 @Nonnull
 Stmt to)

replaceSucessorEdge

public abstract boolean replaceSucessorEdge(@Nonnull
 Stmt from,
 @Nonnull
 Stmt oldTo,
 @Nonnull
 Stmt newTo)

setEdges

public abstract void setEdges(@Nonnull
 BranchingStmt from,
 @Nonnull
 List<Stmt> targets)

replaces the current outgoing flows of "from" to "targets"

setEdges

public void setEdges(@Nonnull
 BranchingStmt from,
 @Nonnull
 Stmt... targets)

replaces the current outgoing flows of "from" to each target of "targets"

removeEdge

public abstract List<Integer> removeEdge(@Nonnull
 Stmt from,
 @Nonnull
 Stmt to)

removes the current outgoing flows of "from" to "to"

Returns:

returns List of the successor indices of "from" that were connected to "to" - items are 0 in case of FallsThroughStmts or idx > 0 in case of BranchingStmts with multiple successors

clearExceptionalEdges

public abstract void clearExceptionalEdges(@Nonnull
 Stmt stmt)

Modifications of exceptional flows removes all exceptional flows from "stmt"

addExceptionalEdge

public abstract void addExceptionalEdge(@Nonnull
 Stmt stmt,
 @Nonnull
 ClassType exception,
 @Nonnull
 Stmt traphandlerStmt)

Adds an exceptional flow with the type "exception" to a "stmt" which will reach "traphandlerStmt"

removeExceptionalEdge

public abstract void removeExceptionalEdge(@Nonnull
 Stmt stmt,
 @Nonnull
 ClassType exception)

removes an exceptional flow of the type "exception" flow from "stmt"