joeq.Compiler.Analysis.IPSSA
Class SSABindingVisitor.SSABindingPrinter

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

Enclosing class:

SSABindingVisitor

public static class SSABindingVisitor.SSABindingPrinter
extends SSABindingVisitor

Nested Class Summary

Nested classes/interfaces inherited from class joeq.Compiler.Analysis.IPSSA.SSABindingVisitor

SSABindingVisitor.EmptySSABindingVisitor, SSABindingVisitor.SSABindingPrinter

Method Summary

void	visit(SSABinding b)

Methods inherited from class joeq.Compiler.Analysis.IPSSA.SSABindingVisitor

visitCFG

Methods inherited from class java.lang.Object

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

Method Detail

visit

public void visit(SSABinding b)

Specified by:

visit in class SSABindingVisitor