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

Method Summary

Modifier and Type	Method	Description
Multimap<LLJava.Instruction,LLJava.Exception>	exceptional()
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

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()