joeq.Compiler.Analysis.IPA
Class LoopAnalysis

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

All Implemented Interfaces:

ControlFlowGraphVisitor

public class LoopAnalysis
extends java.lang.Object
implements ControlFlowGraphVisitor

Version:

$Id: LoopAnalysis.java,v 1.5 2004/09/22 22:17:30 joewhaley Exp $

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(java.lang.String[] args)
void	visitCFG(ControlFlowGraph cfg)

Methods inherited from class java.lang.Object

equals, 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(java.lang.String[] args)
                 throws java.io.IOException

Throws:

java.io.IOException

visitCFG

public void visitCFG(ControlFlowGraph cfg)

Specified by:

visitCFG in interface ControlFlowGraphVisitor

isInLoop

public boolean isInLoop(jq_Method m,
                        BasicBlock bb)