Package eu.bandm.tools.lljava.absy

Class LoopFinder

java.lang.Object

eu.bandm.tools.lljava.absy.LoopFinder

public class LoopFinder
extends Object

An algorithm for finding all loops in a method code array.

Constructor Summary

Constructors

Constructor	Description
LoopFinder(ControlFlowSynthesizer synth)

Method Summary

Modifier and Type	Method	Description
void	run()	Calculate the loop structures.

Methods inherited from class java.lang.Object

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

Constructor Details

LoopFinder

public LoopFinder(ControlFlowSynthesizer synth)

Method Details

run

public void run()

Calculate the loop structures.

This implementation uses the algorithm of Cooper, Harvey and Kennedy (2001) for the dominance relation.