Package sootup.core.graph

Class MutableBasicBlockImpl

java.lang.Object

sootup.core.graph.MutableBasicBlockImpl

All Implemented Interfaces:

BasicBlock<MutableBasicBlock>, MutableBasicBlock

public class MutableBasicBlockImpl
extends Object
implements MutableBasicBlock

Constructor Summary

Constructors

Constructor	Description
MutableBasicBlockImpl()
MutableBasicBlockImpl(List<Stmt> stmts, Map<ClassType,MutableBasicBlock> exceptionMap)

Method Summary

Modifier and Type	Method	Description
void	addPredecessorBlock(@NonNull MutableBasicBlock block)
void	addStmt(@NonNull Stmt newStmt)
void	clearExceptionalSuccessorBlocks()
void	clearPredecessorBlocks()
void	clearSuccessorBlocks()
Collection<ClassType>	collectExceptionalSuccessorBlocks(@NonNull MutableBasicBlock block)
void	copyExceptionalFlowFrom(MutableBasicBlock sourceBlock)
boolean	equals(Object o)
Map<ClassType,MutableBasicBlock>	getExceptionalPredecessors()
@NonNull Map<ClassType,MutableBasicBlock>	getExceptionalSuccessors()
@NonNull Stmt	getHead()
@NonNull List<MutableBasicBlock>	getPredecessors()
int	getStmtCount()
@NonNull List<Stmt>	getStmts()
@NonNull List<MutableBasicBlock>	getSuccessors()
@NonNull Stmt	getTail()
void	linkExceptionalSuccessorBlock(@NonNull ClassType exception, MutableBasicBlock b)
void	linkSuccessor(int successorIdx, MutableBasicBlock blockB)	makes blockA the predecessor of BlockB and BlockB the Successor of BlockA in a combined Method
void	removeExceptionalSuccessorBlock(@NonNull ClassType exception)
void	removeFromSuccessorBlocks(@NonNull MutableBasicBlock b)
boolean	removePredecessorBlock(@NonNull MutableBasicBlock b)
void	removeStmt(int idx)
void	removeStmt(@NonNull Stmt stmt)
boolean	replacePredecessorBlock(MutableBasicBlock oldBlock, MutableBasicBlock newBlock)
void	replaceStmt(int idx, Stmt newStmt)
void	replaceStmt(Stmt oldStmt, Stmt newStmt)
List<Integer>	replaceSuccessorBlock(@NonNull MutableBasicBlock oldBlock, @Nullable MutableBasicBlock newBlock)	set newBlock to null to unset..
void	setSuccessorBlock(int successorIdx, @Nullable MutableBasicBlock block)
@NonNull MutableBasicBlockImpl	splitBlockLinked(int splitIdx)
@NonNull MutableBasicBlockImpl	splitBlockLinked(@NonNull Stmt splitStmt, boolean shouldBeNewHead)	splits a BasicBlock into first|second we know splitStmt must be a FallsThroughStmt
MutableBasicBlockImpl	splitBlockUnlinked(int splitIdx)
MutableBasicBlockImpl	splitBlockUnlinked(@NonNull Stmt newTail, @NonNull Stmt newHead)	splits a single MutableBasicBlock into two at splitIndex position, so that the Stmt at the splitIdx is the Head of the second MutableBasicBlock. this method does not link the splitted blocks.
String	toString()
protected void	updateSuccessorContainer(@NonNull Stmt newStmt)

Methods inherited from class java.lang.Object

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

Methods inherited from interface sootup.core.graph.BasicBlock

equivTo, isEmpty

Constructor Details

MutableBasicBlockImpl

public MutableBasicBlockImpl()

MutableBasicBlockImpl

public MutableBasicBlockImpl(List<Stmt> stmts,
 Map<ClassType,MutableBasicBlock> exceptionMap)

Method Details

equals

public boolean equals(Object o)

Overrides:

equals in class Object

addStmt

public void addStmt(@NonNull Stmt newStmt)

Specified by:

addStmt in interface MutableBasicBlock

removeStmt

public void removeStmt(int idx)

Specified by:

removeStmt in interface MutableBasicBlock

removeStmt

public void removeStmt(@NonNull Stmt stmt)

Specified by:

removeStmt in interface MutableBasicBlock

replaceStmt

public void replaceStmt(Stmt oldStmt,
 Stmt newStmt)

Specified by:

replaceStmt in interface MutableBasicBlock

replaceStmt

public void replaceStmt(int idx,
 Stmt newStmt)

Specified by:

replaceStmt in interface MutableBasicBlock

updateSuccessorContainer

protected void updateSuccessorContainer(@NonNull Stmt newStmt)

addPredecessorBlock

public void addPredecessorBlock(@NonNull MutableBasicBlock block)

Specified by:

addPredecessorBlock in interface MutableBasicBlock

linkSuccessor

public void linkSuccessor(int successorIdx,
 MutableBasicBlock blockB)

makes blockA the predecessor of BlockB and BlockB the Successor of BlockA in a combined Method

Specified by:

linkSuccessor in interface MutableBasicBlock

setSuccessorBlock

public void setSuccessorBlock(int successorIdx,
 @Nullable MutableBasicBlock block)

Specified by:

setSuccessorBlock in interface MutableBasicBlock

removePredecessorBlock

public boolean removePredecessorBlock(@NonNull MutableBasicBlock b)

Specified by:

removePredecessorBlock in interface MutableBasicBlock

removeFromSuccessorBlocks

public void removeFromSuccessorBlocks(@NonNull MutableBasicBlock b)

Specified by:

removeFromSuccessorBlocks in interface MutableBasicBlock

linkExceptionalSuccessorBlock

public void linkExceptionalSuccessorBlock(@NonNull ClassType exception,
 MutableBasicBlock b)

Specified by:

linkExceptionalSuccessorBlock in interface MutableBasicBlock

removeExceptionalSuccessorBlock

public void removeExceptionalSuccessorBlock(@NonNull ClassType exception)

Specified by:

removeExceptionalSuccessorBlock in interface MutableBasicBlock

collectExceptionalSuccessorBlocks

public Collection<ClassType> collectExceptionalSuccessorBlocks(@NonNull MutableBasicBlock block)

Specified by:

collectExceptionalSuccessorBlocks in interface MutableBasicBlock

getPredecessors

public @NonNull List<MutableBasicBlock> getPredecessors()

Specified by:

getPredecessors in interface BasicBlock<MutableBasicBlock>

Specified by:

getPredecessors in interface MutableBasicBlock

getSuccessors

public @NonNull List<MutableBasicBlock> getSuccessors()

Specified by:

getSuccessors in interface BasicBlock<MutableBasicBlock>

Specified by:

getSuccessors in interface MutableBasicBlock

getExceptionalPredecessors

public Map<ClassType,MutableBasicBlock> getExceptionalPredecessors()

Specified by:

getExceptionalPredecessors in interface BasicBlock<MutableBasicBlock>

Specified by:

getExceptionalPredecessors in interface MutableBasicBlock

getExceptionalSuccessors

public @NonNull Map<ClassType,MutableBasicBlock> getExceptionalSuccessors()

Specified by:

getExceptionalSuccessors in interface BasicBlock<MutableBasicBlock>

Specified by:

getExceptionalSuccessors in interface MutableBasicBlock

getStmts

public @NonNull List<Stmt> getStmts()

Specified by:

getStmts in interface BasicBlock<MutableBasicBlock>

Specified by:

getStmts in interface MutableBasicBlock

getStmtCount

public int getStmtCount()

Specified by:

getStmtCount in interface BasicBlock<MutableBasicBlock>

Specified by:

getStmtCount in interface MutableBasicBlock

getHead

public @NonNull Stmt getHead()

Specified by:

getHead in interface BasicBlock<MutableBasicBlock>

Specified by:

getHead in interface MutableBasicBlock

getTail

public @NonNull Stmt getTail()

Specified by:

getTail in interface BasicBlock<MutableBasicBlock>

Specified by:

getTail in interface MutableBasicBlock

splitBlockUnlinked

public MutableBasicBlockImpl splitBlockUnlinked(@NonNull Stmt newTail,
 @NonNull Stmt newHead)

splits a single MutableBasicBlock into two at splitIndex position, so that the Stmt at the splitIdx is the Head of the second MutableBasicBlock. this method does not link the splitted blocks.

Specified by:

splitBlockUnlinked in interface MutableBasicBlock

splitBlockUnlinked

public MutableBasicBlockImpl splitBlockUnlinked(int splitIdx)

Specified by:

splitBlockUnlinked in interface MutableBasicBlock

Parameters:

splitIdx - should be in [1, stmts.size()-1]

splitBlockLinked

public @NonNull MutableBasicBlockImpl splitBlockLinked(@NonNull Stmt splitStmt,
 boolean shouldBeNewHead)

splits a BasicBlock into first|second we know splitStmt must be a FallsThroughStmt

Specified by:

splitBlockLinked in interface MutableBasicBlock

Parameters:

shouldBeNewHead - if true: splitStmt is the Head of the second BasicBlock. if shouldBeNewHead is false splitStmt is the tail of the first BasicBlock

splitStmt - the stmt which determines where to split the BasicBlock

Returns:

BasicBlock with the second part of Stmts

splitBlockLinked

public @NonNull MutableBasicBlockImpl splitBlockLinked(int splitIdx)

Specified by:

splitBlockLinked in interface MutableBasicBlock

copyExceptionalFlowFrom

public void copyExceptionalFlowFrom(MutableBasicBlock sourceBlock)

Specified by:

copyExceptionalFlowFrom in interface MutableBasicBlock

clearSuccessorBlocks

public void clearSuccessorBlocks()

Specified by:

clearSuccessorBlocks in interface MutableBasicBlock

clearExceptionalSuccessorBlocks

public void clearExceptionalSuccessorBlocks()

Specified by:

clearExceptionalSuccessorBlocks in interface MutableBasicBlock

clearPredecessorBlocks

public void clearPredecessorBlocks()

Specified by:

clearPredecessorBlocks in interface MutableBasicBlock

toString

public String toString()

Overrides:

toString in class Object

replaceSuccessorBlock

public List<Integer> replaceSuccessorBlock(@NonNull MutableBasicBlock oldBlock,
 @Nullable MutableBasicBlock newBlock)

set newBlock to null to unset..

Specified by:

replaceSuccessorBlock in interface MutableBasicBlock

replacePredecessorBlock

public boolean replacePredecessorBlock(MutableBasicBlock oldBlock,
 MutableBasicBlock newBlock)

Specified by:

replacePredecessorBlock in interface MutableBasicBlock