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 and Description
ControlFlowSynthesizer(LLJava.Method method)

Method Summary

Modifier and Type	Method and 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)
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 Detail

ControlFlowSynthesizer

public ControlFlowSynthesizer(LLJava.Method method)

Method Detail

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)

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