joeq.Compiler.Analysis.IPA
Class LoopAnalysis

java.lang.Object
  joeq.Compiler.Analysis.IPA.LoopAnalysis

All Implemented Interfaces:

ControlFlowGraphVisitor

public class LoopAnalysis
extends Object
implements ControlFlowGraphVisitor

Version:

$Id: LoopAnalysis.java 1931 2004-09-22 22:17:47Z joewhaley $

Author:

jwhaley

Nested Class Summary

class

LoopAnalysis.InvokeVisitor

Nested classes/interfaces inherited from interface joeq.Compiler.Quad.ControlFlowGraphVisitor

ControlFlowGraphVisitor.CodeCacheVisitor

Constructor Summary

LoopAnalysis()

LoopAnalysis(CallGraph cg)

Method Summary

boolean	isInLoop(jq_Method m, BasicBlock bb)
static void	main(String[] args)
void	visitCFG(ControlFlowGraph cfg)

Methods inherited from class java.lang.Object

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

Constructor Detail

LoopAnalysis

public LoopAnalysis()

LoopAnalysis

public LoopAnalysis(CallGraph cg)

Method Detail

main

public static void main(String[] args)
                 throws IOException

Throws:

IOException

visitCFG

public void visitCFG(ControlFlowGraph cfg)

Specified by:

visitCFG in interface ControlFlowGraphVisitor

isInLoop

public boolean isInLoop(jq_Method m,
                        BasicBlock bb)