joeq.Compiler.Quad
Class DeadCode

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

All Implemented Interfaces:

jq_MethodVisitor

public class DeadCode
extends DataflowFramework.EmptyAnalysis

Version:

$Id: DeadCode.java 2258 2005-05-05 19:37:36Z joewhaley $

Author:

Michael Martin

Nested Class Summary

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

jq_MethodVisitor.DeclaredMethodVisitor, jq_MethodVisitor.EmptyVisitor

Field Summary

Fields inherited from class joeq.Compiler.Quad.DataflowFramework.EmptyAnalysis

_fc

Constructor Summary

DeadCode()

Method Summary

void	postprocess(ControlFlowGraph cfg)
void	preprocess(ControlFlowGraph cfg)
boolean	transfer(Quad q)

Methods inherited from class joeq.Compiler.Quad.DataflowFramework.EmptyAnalysis

registerFactCollection, visitMethod

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

Constructor Detail

DeadCode

public DeadCode()

Method Detail

preprocess

public void preprocess(ControlFlowGraph cfg)

Overrides:

preprocess in class DataflowFramework.EmptyAnalysis

transfer

public boolean transfer(Quad q)

Overrides:

transfer in class DataflowFramework.EmptyAnalysis

postprocess

public void postprocess(ControlFlowGraph cfg)

Overrides:

postprocess in class DataflowFramework.EmptyAnalysis