joeq.Compiler.Quad
Class DataflowFramework.EmptyAnalysis

java.lang.Object
  joeq.Class.jq_MethodVisitor.EmptyVisitor
      joeq.Compiler.Quad.DataflowFramework.EmptyAnalysis

All Implemented Interfaces:

jq_MethodVisitor

Direct Known Subclasses:

DeadCode

Enclosing class:

DataflowFramework

public static class DataflowFramework.EmptyAnalysis
extends jq_MethodVisitor.EmptyVisitor

Nested Class Summary

Nested classes/interfaces inherited from interface joeq.Class.jq_MethodVisitor

jq_MethodVisitor.DeclaredMethodVisitor, jq_MethodVisitor.EmptyVisitor

Field Summary

protected joeq.Compiler.Quad.DataflowFramework.FactCollection

_fc

Constructor Summary

DataflowFramework.EmptyAnalysis()

Method Summary

void	postprocess(ControlFlowGraph cfg)
void	preprocess(ControlFlowGraph cfg)
void	registerFactCollection(joeq.Compiler.Quad.DataflowFramework.FactCollection fc)
boolean	transfer(Quad q)
void	visitMethod(jq_Method m)

Methods inherited from class joeq.Class.jq_MethodVisitor.EmptyVisitor

visitClassInitializer, visitInitializer, visitInstanceMethod, visitStaticMethod

Methods inherited from class java.lang.Object

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

Field Detail

_fc

protected joeq.Compiler.Quad.DataflowFramework.FactCollection _fc

Constructor Detail

DataflowFramework.EmptyAnalysis

public DataflowFramework.EmptyAnalysis()

Method Detail

registerFactCollection

public void registerFactCollection(joeq.Compiler.Quad.DataflowFramework.FactCollection fc)

preprocess

public void preprocess(ControlFlowGraph cfg)

transfer

public boolean transfer(Quad q)

postprocess

public void postprocess(ControlFlowGraph cfg)

visitMethod

public void visitMethod(jq_Method m)

Specified by:

visitMethod in interface jq_MethodVisitor

Overrides:

visitMethod in class jq_MethodVisitor.EmptyVisitor