edu.cmu.cs.crystal.analysis.constant
Class ConstantAnalysis
java.lang.Object
edu.cmu.cs.crystal.AbstractCrystalMethodAnalysis
edu.cmu.cs.crystal.analysis.constant.ConstantAnalysis
- All Implemented Interfaces:
- ICrystalAnalysis
public class ConstantAnalysis
- extends AbstractCrystalMethodAnalysis
ConstantAnalysis
public ConstantAnalysis()
hasPreciseValueAfter
public boolean hasPreciseValueAfter(Variable var,
ASTNode node,
boolean after)
getValue
public boolean getValue(Variable var,
ASTNode node,
boolean after)
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
getResultsBefore
public TupleLatticeElement<Variable,BooleanConstantLE> getResultsBefore(TACInstruction instr)
getResultsAfter
public TupleLatticeElement<Variable,BooleanConstantLE> getResultsAfter(TACInstruction instr)