Package eu.bandm.tools.lljava.absy

Class ControlFlowAnalyzer.ControlFlow

java.lang.Object

eu.bandm.tools.lljava.absy.ControlFlowAnalyzer.ControlFlow

Enclosing class:

ControlFlowAnalyzer

public class ControlFlowAnalyzer.ControlFlow
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
(package private) class	ControlFlowAnalyzer.ControlFlow.Item

Field Summary

Fields

Modifier and Type	Field	Description
(package private) Multimap<LLJava.Instruction,LLJava.Instruction>	branch
(package private) Multimap<LLJava.Instruction,LLJava.Exception>	exceptional
(package private) Map<LLJava.Block,LLJava.Block>	fallthrough
(package private) Map<LLJava.Block,LLJava.Instruction>	first
(package private) Map<LLJava.Block,LLJava.Instruction>	follow
(package private) Multimap<LLJava.Instruction,LLJava.Exception>	handlers
(package private) final LLJava.Method	method
(package private) Set<LLJava.Instruction>	reachable
(package private) Multimap<LLJava.Instruction,LLJava.Instruction>	regular
(package private) LLJava.Instruction	root
(package private) Map<LLJava.Instruction,LLJava.Instruction>	trunk

Constructor Summary

Constructors

Constructor	Description
ControlFlow(LLJava.Method method)

Method Summary

Modifier and Type	Method	Description
(package private) void	applyHandlers()
(package private) void	cover()
Multimap<LLJava.Instruction,LLJava.Exception>	exceptional()
(package private) void	findFallthroughBlocks()
(package private) void	findFirstInstructions()
(package private) void	findFollowInstructions()
Map<LLJava.Block,LLJava.Instruction>	first()
Set<LLJava.Instruction>	reachable()
Multimap<LLJava.Instruction,LLJava.Instruction>	regular()
String	toString()

Methods inherited from class java.lang.Object

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

Field Details

method

final LLJava.Method method

reachable

Set<LLJava.Instruction> reachable

handlers

Multimap<LLJava.Instruction,LLJava.Exception> handlers

first

Map<LLJava.Block,LLJava.Instruction> first

follow

Map<LLJava.Block,LLJava.Instruction> follow

fallthrough

Map<LLJava.Block,LLJava.Block> fallthrough

trunk

Map<LLJava.Instruction,LLJava.Instruction> trunk

branch

Multimap<LLJava.Instruction,LLJava.Instruction> branch

regular

Multimap<LLJava.Instruction,LLJava.Instruction> regular

exceptional

Multimap<LLJava.Instruction,LLJava.Exception> exceptional

root

LLJava.Instruction root

Constructor Details

ControlFlow

ControlFlow(LLJava.Method method)

Method Details

toString

public String toString()

Overrides:

toString in class Object

reachable

public Set<LLJava.Instruction> reachable()

first

public Map<LLJava.Block,LLJava.Instruction> first()

regular

public Multimap<LLJava.Instruction,LLJava.Instruction> regular()

exceptional

public Multimap<LLJava.Instruction,LLJava.Exception> exceptional()

findFirstInstructions

void findFirstInstructions()

findFollowInstructions

void findFollowInstructions()

findFallthroughBlocks

void findFallthroughBlocks()

applyHandlers

void applyHandlers()

cover

void cover()