Package sootup.core.graph

Class ImmutableBlockControlFlowGraph.ImmutableBasicBlock

java.lang.Object

sootup.core.graph.ImmutableBlockControlFlowGraph.ImmutableBasicBlock

All Implemented Interfaces:

BasicBlock<ImmutableBlockControlFlowGraph.ImmutableBasicBlock>

Enclosing class:

ImmutableBlockControlFlowGraph

public class ImmutableBlockControlFlowGraph.ImmutableBasicBlock
extends Object
implements BasicBlock<ImmutableBlockControlFlowGraph.ImmutableBasicBlock>

An immutable basic block backed by a range [startIdx, endIdx] of the enclosing graph's flat statement array. No separate statement list is stored.

Method Summary

Modifier and Type	Method	Description
@NonNull Map<ClassType,ImmutableBlockControlFlowGraph.ImmutableBasicBlock>	getExceptionalPredecessors()
@NonNull Map<ClassType,ImmutableBlockControlFlowGraph.ImmutableBasicBlock>	getExceptionalSuccessors()
@NonNull Stmt	getHead()
@NonNull List<ImmutableBlockControlFlowGraph.ImmutableBasicBlock>	getPredecessors()
int	getStmtCount()
@NonNull List<Stmt>	getStmts()	Returns an unmodifiable list view of the stmts in this block.
@NonNull List<ImmutableBlockControlFlowGraph.ImmutableBasicBlock>	getSuccessors()
@NonNull Stmt	getTail()
String	toString()

Methods inherited from class java.lang.Object

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

Methods inherited from interface sootup.core.graph.BasicBlock

equivTo, isEmpty

Method Details

getPredecessors

public @NonNull List<ImmutableBlockControlFlowGraph.ImmutableBasicBlock> getPredecessors()

Specified by:

getPredecessors in interface BasicBlock<ImmutableBlockControlFlowGraph.ImmutableBasicBlock>

getSuccessors

public @NonNull List<ImmutableBlockControlFlowGraph.ImmutableBasicBlock> getSuccessors()

Specified by:

getSuccessors in interface BasicBlock<ImmutableBlockControlFlowGraph.ImmutableBasicBlock>

getExceptionalPredecessors

public @NonNull Map<ClassType,ImmutableBlockControlFlowGraph.ImmutableBasicBlock> getExceptionalPredecessors()

Specified by:

getExceptionalPredecessors in interface BasicBlock<ImmutableBlockControlFlowGraph.ImmutableBasicBlock>

getExceptionalSuccessors

public @NonNull Map<ClassType,ImmutableBlockControlFlowGraph.ImmutableBasicBlock> getExceptionalSuccessors()

Specified by:

getExceptionalSuccessors in interface BasicBlock<ImmutableBlockControlFlowGraph.ImmutableBasicBlock>

getStmts

public @NonNull List<Stmt> getStmts()

Returns an unmodifiable list view of the stmts in this block. Backed directly by the enclosing graph's flat array — no copy.

Specified by:

getStmts in interface BasicBlock<ImmutableBlockControlFlowGraph.ImmutableBasicBlock>

getStmtCount

public int getStmtCount()

Specified by:

getStmtCount in interface BasicBlock<ImmutableBlockControlFlowGraph.ImmutableBasicBlock>

getHead

public @NonNull Stmt getHead()

Specified by:

getHead in interface BasicBlock<ImmutableBlockControlFlowGraph.ImmutableBasicBlock>

getTail

public @NonNull Stmt getTail()

Specified by:

getTail in interface BasicBlock<ImmutableBlockControlFlowGraph.ImmutableBasicBlock>

toString

public String toString()

Overrides:

toString in class Object