joeq.Compiler.Analysis.IPSSA
Class SSABindingVisitor

java.lang.Object
  joeq.Compiler.Analysis.IPSSA.SSABindingVisitor

Direct Known Subclasses:

SSABindingVisitor.EmptySSABindingVisitor, SSABindingVisitor.SSABindingPrinter

public abstract class SSABindingVisitor
extends Object

Goes over all bindings in a method.

Version:

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

Author:

V.Benjamin Livshits

Nested Class Summary

static class	SSABindingVisitor.EmptySSABindingVisitor
static class	SSABindingVisitor.SSABindingPrinter

Constructor Summary

SSABindingVisitor()

Method Summary

abstract void	visit(SSABinding b)
void	visitCFG(ControlFlowGraph cfg) Applies itself to all bindings in the CFG.

Methods inherited from class java.lang.Object

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

Constructor Detail

SSABindingVisitor

public SSABindingVisitor()

Method Detail

visit

public abstract void visit(SSABinding b)

visitCFG

public void visitCFG(ControlFlowGraph cfg)

Applies itself to all bindings in the CFG.