joeq.Compiler.Quad
Class BasicBlockVisitor.AllBasicBlockVisitor

java.lang.Object
  joeq.Compiler.Quad.BasicBlockVisitor.AllBasicBlockVisitor

All Implemented Interfaces:

ControlFlowGraphVisitor

Enclosing interface:

BasicBlockVisitor

public static class BasicBlockVisitor.AllBasicBlockVisitor
extends Object
implements ControlFlowGraphVisitor

Control flow graph visitor that visits all basic blocks in the CFG with a given basic block visitor.

See Also:

ControlFlowGraph, ControlFlowGraphVisitor

Nested Class Summary

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

ControlFlowGraphVisitor.CodeCacheVisitor

Constructor Summary

BasicBlockVisitor.AllBasicBlockVisitor(BasicBlockVisitor bbv)
Construct a new AllBasicBlockVisitor.

BasicBlockVisitor.AllBasicBlockVisitor(BasicBlockVisitor bbv, boolean trace)
Construct a new AllBasicBlockVisitor and set the trace flag to be the specified value.

Method Summary

void	visitCFG(ControlFlowGraph cfg) Visit each of the basic blocks in the given control flow graph.

Methods inherited from class java.lang.Object

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

Constructor Detail

BasicBlockVisitor.AllBasicBlockVisitor

public BasicBlockVisitor.AllBasicBlockVisitor(BasicBlockVisitor bbv)

Construct a new AllBasicBlockVisitor.

Parameters:

bbv - basic block visitor to visit each basic block with.

BasicBlockVisitor.AllBasicBlockVisitor

public BasicBlockVisitor.AllBasicBlockVisitor(BasicBlockVisitor bbv,
                                              boolean trace)

Construct a new AllBasicBlockVisitor and set the trace flag to be the specified value.

Parameters:

bbv - basic block visitor to visit each basic block with.

trace - value of the trace flag

Method Detail

visitCFG

public void visitCFG(ControlFlowGraph cfg)

Visit each of the basic blocks in the given control flow graph.

Specified by:

visitCFG in interface ControlFlowGraphVisitor

Parameters:

cfg - control flow graph to visit