joeq.Compiler.Analysis.IPSSA.Utils
Class SimpleDominatorQuery.TestSimpleDominatorQuery

java.lang.Object
  joeq.Compiler.Analysis.IPSSA.Utils.SimpleDominatorQuery.TestSimpleDominatorQuery

All Implemented Interfaces:

ControlFlowGraphVisitor

Enclosing class:

SimpleDominatorQuery

public static class SimpleDominatorQuery.TestSimpleDominatorQuery
extends Object
implements ControlFlowGraphVisitor

Nested Class Summary

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

ControlFlowGraphVisitor.CodeCacheVisitor

Constructor Summary

SimpleDominatorQuery.TestSimpleDominatorQuery()

Method Summary

static void	Main(String[] argv)
void	visitCFG(ControlFlowGraph cfg)

Methods inherited from class java.lang.Object

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

Constructor Detail

SimpleDominatorQuery.TestSimpleDominatorQuery

public SimpleDominatorQuery.TestSimpleDominatorQuery()

Method Detail

visitCFG

public void visitCFG(ControlFlowGraph cfg)

Specified by:

visitCFG in interface ControlFlowGraphVisitor

Main

public static void Main(String[] argv)