Package eu.bandm.tools.lljava.absy

Class ControlFlowSynthesizer

java.lang.Object

eu.bandm.tools.lljava.absy.ControlFlowSynthesizer

public class ControlFlowSynthesizer
extends Object

Constructor Summary

Constructors

Constructor	Description
ControlFlowSynthesizer(LLJava.Method method)

Method Summary

Modifier and Type	Method	Description
void	add(LLJava.Instruction instruction, int size)
void	exceptionHandler(int startPC, int endPC, int handlerPC, LLJava.ClassReference catchType)
LLJava.CodeMethodBody	getBody()
Interval	getCodeInterval()
ControlFlowAnalyzer.ControlFlow	getFlow()
@Opt Interval	getInterval(LLJava.Instruction instruction)
LLJava.Method	getMethod()
LLJava.Block	getRoot()
LLJava.GotoInterval	interval(int startPC, int endPC)
(package private) LLJava.Name	label(int pc)
LLJava.GotoPoint	point(int pc)
void	retrofitLabels()

Methods inherited from class java.lang.Object

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

Constructor Details

ControlFlowSynthesizer

public ControlFlowSynthesizer(LLJava.Method method)

Method Details

getMethod

public LLJava.Method getMethod()

getBody

public LLJava.CodeMethodBody getBody()

getRoot

public LLJava.Block getRoot()

getFlow

public ControlFlowAnalyzer.ControlFlow getFlow()

interval

public LLJava.GotoInterval interval(int startPC,
 int endPC)

point

public LLJava.GotoPoint point(int pc)

label

LLJava.Name label(int pc)

add

public void add(LLJava.Instruction instruction,
 int size)

exceptionHandler

public void exceptionHandler(int startPC,
 int endPC,
 int handlerPC,
 @Opt
 LLJava.ClassReference catchType)

getInterval

@Opt
public @Opt Interval getInterval(LLJava.Instruction instruction)

getCodeInterval

public Interval getCodeInterval()

retrofitLabels

public void retrofitLabels()