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(MutableBasicBlock block)
void	addStmt(Stmt newStmt)
void	clearExceptionalSuccessorBlocks()
void	clearPredecessorBlocks()
void	clearSuccessorBlocks()
Collection<ClassType>	collectExceptionalSuccessorBlocks(MutableBasicBlock block)
void	copyExceptionalFlowFrom(MutableBasicBlock sourceBlock)
boolean	equals(Object o)
Map<ClassType,MutableBasicBlock>	getExceptionalPredecessors()
Map<ClassType,MutableBasicBlock>	getExceptionalSuccessors()
Stmt	getHead()
List<MutableBasicBlock>	getPredecessors()
int	getStmtCount()
List<Stmt>	getStmts()
List<MutableBasicBlock>	getSuccessors()
Stmt	getTail()
void	linkExceptionalSuccessorBlock(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(ClassType exception)
void	removeFromSuccessorBlocks(MutableBasicBlock b)
boolean	removePredecessorBlock(MutableBasicBlock b)
void	removeStmt(int idx)
void	removeStmt(Stmt stmt)
boolean	replacePredecessorBlock(MutableBasicBlock oldBlock, MutableBasicBlock newBlock)
void	replaceStmt(int idx, Stmt newStmt)
void	replaceStmt(Stmt oldStmt, Stmt newStmt)
List<Integer>	replaceSuccessorBlock(MutableBasicBlock oldBlock, MutableBasicBlock newBlock)	set newBlock to null to unset..
void	setSuccessorBlock(int successorIdx, MutableBasicBlock block)
MutableBasicBlockImpl	splitBlockLinked(int splitIdx)
MutableBasicBlockImpl	splitBlockLinked(Stmt splitStmt, boolean shouldBeNewHead)	splits a BasicBlock into first|second we know splitStmt must be a FallsThroughStmt
MutableBasicBlockImpl	splitBlockUnlinked(int splitIdx)
MutableBasicBlockImpl	splitBlockUnlinked(Stmt newTail, 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.
String	toString()
protected void	updateSuccessorContainer(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

@Nonnull
public List<MutableBasicBlock> getPredecessors()

Specified by:

getPredecessors in interface BasicBlock<MutableBasicBlock>

Specified by:

getPredecessors in interface MutableBasicBlock

getSuccessors

@Nonnull
public 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

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

Specified by:

getExceptionalSuccessors in interface BasicBlock<MutableBasicBlock>

Specified by:

getExceptionalSuccessors in interface MutableBasicBlock

getStmts

@Nonnull
public 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

@Nonnull
public Stmt getHead()

Specified by:

getHead in interface BasicBlock<MutableBasicBlock>

Specified by:

getHead in interface MutableBasicBlock

getTail

@Nonnull
public 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

@Nonnull
public 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

@Nonnull
public 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