joeq.Compiler.Quad
Class AndersenPointerAnalysis.Visitor

java.lang.Object
  joeq.Compiler.Quad.AndersenPointerAnalysis.Visitor

All Implemented Interfaces:

ControlFlowGraphVisitor

Enclosing class:

AndersenPointerAnalysis

public static final class AndersenPointerAnalysis.Visitor
extends Object
implements ControlFlowGraphVisitor

Nested Class Summary

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

ControlFlowGraphVisitor.CodeCacheVisitor

Field Summary

static boolean

added_hook

Constructor Summary

AndersenPointerAnalysis.Visitor()

Method Summary

static void	calcRTA()
static void	doIt_output()
static void	doIt()
void	visitCFG(ControlFlowGraph cfg)

Methods inherited from class java.lang.Object

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

Field Detail

added_hook

public static boolean added_hook

Constructor Detail

AndersenPointerAnalysis.Visitor

public AndersenPointerAnalysis.Visitor()

Method Detail

visitCFG

public void visitCFG(ControlFlowGraph cfg)

Specified by:

visitCFG in interface ControlFlowGraphVisitor

doIt

public static void doIt()

calcRTA

public static void calcRTA()

doIt_output

public static void doIt_output()