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 java.lang.Object

Goes over all bindings in a method.

Version:

$Id: SSABindingVisitor.java,v 1.8 2004/09/22 22:17:33 joewhaley Exp $

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

equals, 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.