edu.cmu.cs.crystal.analysis.live
Class LiveVariableAnalysis

java.lang.Object
  extended by edu.cmu.cs.crystal.AbstractCrystalMethodAnalysis
      extended by edu.cmu.cs.crystal.analysis.live.LiveVariableAnalysis
All Implemented Interfaces:
ICrystalAnalysis

public class LiveVariableAnalysis
extends AbstractCrystalMethodAnalysis


Nested Class Summary
 class LiveVariableAnalysis.LiveVariableVisitor
           
 
Field Summary
static LiveVariableAnalysis Instance
           
 
Constructor Summary
LiveVariableAnalysis()
           
 
Method Summary
 void analyzeMethod(MethodDeclaration d)
          Invoked for each method or constructor in the class.
 boolean isLiveBefore(Variable var, ASTNode node)
           
 void printLattice(TupleLatticeElement<Variable,LiveVariableLE> lattice)
           
 
Methods inherited from class edu.cmu.cs.crystal.AbstractCrystalMethodAnalysis
afterAllCompilationUnits, afterAllMethods, beforeAllCompilationUnits, beforeAllMethods, getInput, getName, getReporter, runAnalysis
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

Instance

public static LiveVariableAnalysis Instance
Constructor Detail

LiveVariableAnalysis

public LiveVariableAnalysis()
Method Detail

isLiveBefore

public boolean isLiveBefore(Variable var,
                            ASTNode node)

analyzeMethod

public void analyzeMethod(MethodDeclaration d)
Description copied from class: AbstractCrystalMethodAnalysis
Invoked for each method or constructor in the class.

Specified by:
analyzeMethod in class AbstractCrystalMethodAnalysis

printLattice

public void printLattice(TupleLatticeElement<Variable,LiveVariableLE> lattice)