Uses of Interface
sootup.core.graph.BasicBlock

Packages that use BasicBlock

Package	Description
sootup.analysis.intraprocedural
sootup.analysis.intraprocedural.reachingdefs
sootup.core.graph
sootup.core.jimple
sootup.core.jimple.basic
sootup.core.jimple.common.expr
sootup.core.jimple.visitor
sootup.java.core.exceptions

Uses of BasicBlock in sootup.analysis.intraprocedural

Fields in sootup.analysis.intraprocedural with type parameters of type BasicBlock

Modifier and Type	Field	Description
protected final ControlFlowGraph<? extends BasicBlock<?>>	AbstractFlowAnalysis.graph	The graph being analysed.

Constructor parameters in sootup.analysis.intraprocedural with type arguments of type BasicBlock

Modifier	Constructor	Description
	AbstractFlowAnalysis(ControlFlowGraph<? extends BasicBlock<?>> graph)	Constructs a flow analysis on the given ControlFlowGraph.
	FlowAnalysis(@NonNull ControlFlowGraph<? extends BasicBlock<?>> graph)	Constructs a flow analysis on the given DirectedGraph.

Uses of BasicBlock in sootup.analysis.intraprocedural.reachingdefs

Constructor parameters in sootup.analysis.intraprocedural.reachingdefs with type arguments of type BasicBlock

Modifier	Constructor	Description
	ReachingDefs(ControlFlowGraph<? extends BasicBlock<?>> graph)

Uses of BasicBlock in sootup.core.graph

Classes in sootup.core.graph with type parameters of type BasicBlock

Modifier and Type	Class	Description
class	BackwardsControlFlowGraph<V extends BasicBlock<V>>
interface	BasicBlock<V extends BasicBlock<V>>
class	ControlFlowGraph<V extends BasicBlock<V>>	Interface for control flow graphs on Jimple Stmts.
class	ForwardingBasicBlock<V extends BasicBlock<V>>
class	ForwardingControlFlowGraph<V extends BasicBlock<V>>	forwarding implementation for encapsulating a ControlFlowGraph.

Subinterfaces of BasicBlock in sootup.core.graph

Modifier and Type	Interface	Description
interface	MutableBasicBlock

Classes in sootup.core.graph that implement BasicBlock

Modifier and Type	Class	Description
class	ForwardingBasicBlock<V extends BasicBlock<V>>
class	ImmutableBasicBlock
class	ImmutableBlockControlFlowGraph.ImmutableBasicBlock
class	MutableBasicBlockImpl

Methods in sootup.core.graph that return BasicBlock

Modifier and Type	Method	Description
abstract BasicBlock<?>	ControlFlowGraph.getBlockOf(@NonNull Stmt stmt)
BasicBlock<?>	ForwardingControlFlowGraph.getBlockOf(@NonNull Stmt stmt)
BasicBlock<ImmutableBlockControlFlowGraph.ImmutableBasicBlock>	ImmutableBlockControlFlowGraph.getBlockOf(@NonNull Stmt stmt)
@Nullable BasicBlock<?>	MutableBlockControlFlowGraph.getBlockOf(@NonNull Stmt stmt)
BasicBlock<?>	DominanceFinder.getImmediateDominator(@NonNull BasicBlock<?> block)
@Nullable BasicBlock<?>	DominanceTree.getParent(@NonNull BasicBlock<?> block)
@NonNull BasicBlock<?>	DominanceTree.getRoot()
abstract BasicBlock<?>	ControlFlowGraph.getStartingStmtBlock()
BasicBlock<?>	ForwardingControlFlowGraph.getStartingStmtBlock()
BasicBlock<?>	ImmutableBlockControlFlowGraph.getStartingStmtBlock()
@Nullable BasicBlock<?>	MutableBlockControlFlowGraph.getStartingStmtBlock()
@NonNull BasicBlock<?>	MutableBlockControlFlowGraph.insertAfter(@NonNull Stmt existingStmt, @NonNull List<FallsThroughStmt> stmts, @NonNull Map<ClassType,Stmt> exceptionMap)
abstract BasicBlock<?>	MutableControlFlowGraph.insertAfter(@NonNull Stmt afterStmt, @NonNull List<FallsThroughStmt> stmts, @NonNull Map<ClassType,Stmt> exceptionMap)
BasicBlock<?>	MutableControlFlowGraph.insertAfter(@NonNull Stmt afterStmt, @NonNull FallsThroughStmt newStmt)	inserts the "newStmt" after the position of "afterStmt"
@NonNull BasicBlock<?>	MutableBlockControlFlowGraph.insertBefore(@NonNull Stmt existingStmt, @NonNull List<FallsThroughStmt> stmts, @NonNull Map<ClassType,Stmt> exceptionMap)
abstract BasicBlock<?>	MutableControlFlowGraph.insertBefore(@NonNull Stmt beforeStmt, @NonNull List<FallsThroughStmt> stmts, @NonNull Map<ClassType,Stmt> exceptionMap)
BasicBlock<?>	MutableControlFlowGraph.insertBefore(@NonNull Stmt beforeStmt, @NonNull FallsThroughStmt newStmt)	inserts the "newStmt" before the position of "beforeStmt" i.e.
@NonNull BasicBlock<?>	BlockGraphIterator.next()
@Nullable BasicBlock<?>	PostOrderBlockIterator.next()
@Nullable BasicBlock<?>	ReversePostOrderBlockIterator.next()

Methods in sootup.core.graph that return types with arguments of type BasicBlock

Modifier and Type	Method	Description
List<? extends BasicBlock<?>>	MutableBlockControlFlowGraph.exceptionalPredecessorBlocks(@NonNull BasicBlock<?> block)
@NonNull List<BasicBlock<?>>	DominanceTree.getAllNodesDFS()
Iterator<BasicBlock<?>>	ControlFlowGraph.getBlockIterator()
abstract @NonNull Collection<? extends BasicBlock<?>>	ControlFlowGraph.getBlocks()
@NonNull Collection<? extends BasicBlock<?>>	ForwardingControlFlowGraph.getBlocks()
@NonNull Set<? extends BasicBlock<?>>	MutableBlockControlFlowGraph.getBlocks()
@NonNull List<? extends BasicBlock<?>>	BackwardsControlFlowGraph.getBlocksSorted()
List<BasicBlock<?>>	BlockTraversalStrategy.getBlocksSorted()	This method returns a list of Blocks ordered by the traversal sequence.
abstract @NonNull List<? extends BasicBlock<?>>	ControlFlowGraph.getBlocksSorted()
@NonNull List<? extends BasicBlock<?>>	ForwardingControlFlowGraph.getBlocksSorted()
@NonNull List<? extends BasicBlock<?>>	ImmutableBlockControlFlowGraph.getBlocksSorted()
@NonNull List<? extends BasicBlock<?>>	MutableBlockControlFlowGraph.getBlocksSorted()
@NonNull List<BasicBlock<?>>	PostOrderBlockTraversal.getBlocksSorted()
@NonNull List<BasicBlock<?>>	ReversePostOrderBlockTraversal.getBlocksSorted()
@NonNull Map<BasicBlock<?>,Integer>	DominanceFinder.getBlockToIdx()
@NonNull List<BasicBlock<?>>	DominanceTree.getChildren(@NonNull BasicBlock<?> block)
@NonNull Set<BasicBlock<?>>	DominanceFinder.getDominanceFrontiers(@NonNull BasicBlock<?> block)
@NonNull List<BasicBlock<?>>	DominanceFinder.getIdxToBlock()
Iterable<BasicBlock<?>>	PostOrderBlockTraversal.getOrder()
@NonNull Iterable<BasicBlock<?>>	ReversePostOrderBlockTraversal.getOrder()
abstract List<BasicBlock<?>>	ControlFlowGraph.getTailStmtBlocks()
List<BasicBlock<?>>	ForwardingControlFlowGraph.getTailStmtBlocks()
List<BasicBlock<?>>	ImmutableBlockControlFlowGraph.getTailStmtBlocks()
@NonNull List<BasicBlock<?>>	MutableBlockControlFlowGraph.getTailStmtBlocks()

Methods in sootup.core.graph with parameters of type BasicBlock

Modifier and Type	Method	Description
List<? extends BasicBlock<?>>	MutableBlockControlFlowGraph.exceptionalPredecessorBlocks(@NonNull BasicBlock<?> block)
@NonNull List<BasicBlock<?>>	DominanceTree.getChildren(@NonNull BasicBlock<?> block)
@NonNull Set<BasicBlock<?>>	DominanceFinder.getDominanceFrontiers(@NonNull BasicBlock<?> block)
BasicBlock<?>	DominanceFinder.getImmediateDominator(@NonNull BasicBlock<?> block)
@Nullable BasicBlock<?>	DominanceTree.getParent(@NonNull BasicBlock<?> block)
void	MutableBlockControlFlowGraph.removeBlock(BasicBlock<?> block)
abstract void	MutableControlFlowGraph.removeBlock(BasicBlock<?> block)
void	DominanceFinder.replaceBlock(@NonNull BasicBlock<?> newBlock, BasicBlock<?> oldBlock)
void	DominanceTree.replaceNode(@NonNull BasicBlock<?> oldBlock, @NonNull BasicBlock<?> newBlock)

Constructors in sootup.core.graph with parameters of type BasicBlock

Modifier	Constructor	Description
	PostOrderBlockIterator(@NonNull BasicBlock<?> startNode)
	ReversePostOrderBlockIterator(@NonNull BasicBlock<?> startNode)

Constructor parameters in sootup.core.graph with type arguments of type BasicBlock

Modifier	Constructor	Description
	MutableBlockControlFlowGraph(@NonNull ControlFlowGraph<? extends BasicBlock<?>> graph)	copies a ControlFlowGraph into this Mutable instance

Uses of BasicBlock in sootup.core.jimple

Method parameters in sootup.core.jimple with type arguments of type BasicBlock

Modifier and Type	Method	Description
static JPhiExpr	Jimple.newPhiExpr(List<Local> args, Map<Local,BasicBlock<?>> argToBlock)

Uses of BasicBlock in sootup.core.jimple.basic

Methods in sootup.core.jimple.basic with parameters of type BasicBlock

Modifier and Type	Method	Description
boolean	JimpleComparator.caseBlock(BasicBlock<?> block, Object o)

Uses of BasicBlock in sootup.core.jimple.common.expr

Methods in sootup.core.jimple.common.expr that return BasicBlock

Modifier and Type	Method	Description
@NonNull BasicBlock<?>	JPhiExpr.getBlock(int index)
@NonNull BasicBlock<?>	JPhiExpr.getBlock(@NonNull Local arg)

Methods in sootup.core.jimple.common.expr that return types with arguments of type BasicBlock

Modifier and Type	Method	Description
@NonNull Map<Local,BasicBlock<?>>	JPhiExpr.getArgToBlockMap()
@NonNull List<BasicBlock<?>>	JPhiExpr.getBlocks()

Methods in sootup.core.jimple.common.expr with parameters of type BasicBlock

Modifier and Type	Method	Description
@NonNull Local	JPhiExpr.getArg(@NonNull BasicBlock<?> block)
int	JPhiExpr.getArgIndex(@NonNull BasicBlock<?> block)

Method parameters in sootup.core.jimple.common.expr with type arguments of type BasicBlock

Modifier and Type	Method	Description
@NonNull JPhiExpr	JPhiExpr.withArgToBlockMap(@NonNull Map<Local,BasicBlock<?>> argToBlock)

Constructor parameters in sootup.core.jimple.common.expr with type arguments of type BasicBlock

Modifier	Constructor	Description
	JPhiExpr(@NonNull List<Local> args, @NonNull Map<Local,BasicBlock<?>> argToBlock)

Uses of BasicBlock in sootup.core.jimple.visitor

Constructors in sootup.core.jimple.visitor with parameters of type BasicBlock

Modifier	Constructor	Description
	ReplaceUseExprVisitor(Value oldUse, Value newUse, BasicBlock<?> phiBlock)

Uses of BasicBlock in sootup.java.core.exceptions

Method parameters in sootup.java.core.exceptions with type arguments of type BasicBlock

Modifier and Type	Method	Description
ExceptionInferResult	StmtExceptionAnalyzer.mightThrow(@NonNull Stmt stmt, @NonNull ControlFlowGraph<? extends BasicBlock<?>> graph)
ExceptionInferResult	StmtExceptionAnalyzer.mightThrowExplicitly(@NonNull JThrowStmt throwStmt, @NonNull ControlFlowGraph<? extends BasicBlock<?>> graph)