joeq.Compiler.Dataflow
Class ReachingDefs.RDVisitor

java.lang.Object
  joeq.Compiler.Dataflow.ReachingDefs.RDVisitor

All Implemented Interfaces:

ControlFlowGraphVisitor

Enclosing class:

ReachingDefs

public static class ReachingDefs.RDVisitor
extends Object
implements ControlFlowGraphVisitor

Nested Class Summary

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

ControlFlowGraphVisitor.CodeCacheVisitor

Field Summary

static boolean	DUMP
static int	SOLVER

Constructor Summary

ReachingDefs.RDVisitor()

Method Summary

String	toString()
void	visitCFG(ControlFlowGraph cfg)

Methods inherited from class java.lang.Object

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

Field Detail

DUMP

public static boolean DUMP

SOLVER

public static int SOLVER

Constructor Detail

ReachingDefs.RDVisitor

public ReachingDefs.RDVisitor()

Method Detail

visitCFG

public void visitCFG(ControlFlowGraph cfg)

Specified by:

visitCFG in interface ControlFlowGraphVisitor

toString

public String toString()

Overrides:

toString in class Object