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

Block of a MutableBlockControlFlowGraph.

Edges are changed only via the package-private link primitives, which always update both ends: normal edges (link(int, sootup.core.graph.MutableBasicBlockImpl)/unlink(int)) and exceptional edges (linkExc(sootup.core.types.ClassType, sootup.core.graph.MutableBasicBlockImpl)/unlinkExc(sootup.core.types.ClassType)). Normal and exceptional predecessors are kept apart, one entry per edge, so removing an edge removes exactly one entry.

The successor array always has the size of the tail's expected successor count; unset slots are null.

Constructor Summary

Constructors

Constructor	Description
MutableBasicBlockImpl()
MutableBasicBlockImpl(@NonNull List<Stmt> stmts, @NonNull Map<ClassType,MutableBasicBlock> exceptionMap)	standalone block with the given stmts; exceptional successors are linked both ways

Method Summary

Modifier and Type	Method	Description
boolean	equals(Object o)
Map<ClassType,MutableBasicBlock>	getExceptionalPredecessors()
@NonNull Map<ClassType,MutableBasicBlock>	getExceptionalSuccessors()
@NonNull Stmt	getHead()
@NonNull List<MutableBasicBlock>	getPredecessors()	normal and exceptional predecessors, one entry per edge
int	getStmtCount()
@NonNull List<Stmt>	getStmts()
@NonNull List<MutableBasicBlock>	getSuccessors()
@NonNull Stmt	getTail()
int	hashCode()
String	toString()

Methods inherited from class java.lang.Object

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

Methods inherited from interface sootup.core.graph.BasicBlock

equivTo, isEmpty

Constructor Details

MutableBasicBlockImpl

public MutableBasicBlockImpl()

MutableBasicBlockImpl

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

standalone block with the given stmts; exceptional successors are linked both ways

Method Details

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

getPredecessors

public @NonNull List<MutableBasicBlock> getPredecessors()

Description copied from interface: MutableBasicBlock

normal and exceptional predecessors, one entry per edge

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

toString

public String toString()

Overrides:

toString in class Object