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

Field Summary

protected PrintStream

_out

Method Summary

void	visit(SSABinding b)

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

visitCFG

Methods inherited from class java.lang.Object

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

Field Detail

_out

protected PrintStream _out

Method Detail

visit

public void visit(SSABinding b)

Specified by:

visit in class SSABindingVisitor