tip.cfg.dfa
Class VeryBusyExpressionsAnalysis

java.lang.Object
  extended by tip.cfg.CFGAnalysisAdapter
      extended by tip.cfg.FlowAnalysis<EqualitySet<ABinopExp>>
          extended by tip.cfg.dfa.VeryBusyExpressionsAnalysis
All Implemented Interfaces:
FixedPointAnalysis<EqualitySet<ABinopExp>>, ICFGAnalysis

public class VeryBusyExpressionsAnalysis
extends FlowAnalysis<EqualitySet<ABinopExp>>


Constructor Summary
VeryBusyExpressionsAnalysis()
           
 
Method Summary
 boolean caseCAssignVarStmPoint(AAssignVarStm node, CAssignVarStmPoint point)
          Default implementation.
 boolean caseCIfThenElseStmPoint(AIfThenElseStm node, CIfThenElseStmPoint point)
          Default implementation.
 boolean caseCIfThenStmPoint(AIfThenStm node, CIfThenStmPoint point)
          Default implementation.
 boolean caseCOutputStmPoint(AOutputStm node, COutputStmPoint point)
          Default implementation.
 boolean caseCReturnStmPoint(AReturnStm node, CReturnStmPoint point)
          Default implementation.
 boolean caseCWhileStmPoint(AWhileStm node, CWhileStmPoint point)
          Default implementation.
 boolean caseExitPoint(Node node, ExitPoint point)
          Default implementation.
 String getVariableString(EqualitySet<ABinopExp> variable)
          Returns a textual representation of the variable variable.
 
Methods inherited from class tip.cfg.FlowAnalysis
defaultNode, end, getDependencySet, getLattice, getName, getVariable, getVariableStringForPoint, getVariableStringForPoint, setVariable, start
 
Methods inherited from class tip.cfg.CFGAnalysisAdapter
caseCAssignPtrStmPoint, caseCBinopExpPoint, caseCBlockPoint, caseCDeclStmPoint, caseCDerefExpPoint, caseCFunctionCallExpPoint, caseCFunctionPtrCallExpPoint, caseCInputExpPoint, caseCIntConstExpPoint, caseCMallocExpPoint, caseCNullExpPoint, caseCPointerExpPoint, caseCVarExpPoint, caseEntryPoint
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 
Methods inherited from interface tip.cfg.ICFGAnalysis
caseCAssignPtrStmPoint, caseCBinopExpPoint, caseCBlockPoint, caseCDeclStmPoint, caseCDerefExpPoint, caseCFunctionCallExpPoint, caseCFunctionPtrCallExpPoint, caseCInputExpPoint, caseCIntConstExpPoint, caseCMallocExpPoint, caseCNullExpPoint, caseCPointerExpPoint, caseCVarExpPoint, caseEntryPoint
 

Constructor Detail

VeryBusyExpressionsAnalysis

public VeryBusyExpressionsAnalysis()
Method Detail

caseExitPoint

public boolean caseExitPoint(Node node,
                             ExitPoint point)
Description copied from class: CFGAnalysisAdapter
Default implementation. Calls CFGAnalysisAdapter.defaultNode(Node,IProgramPoint).

Specified by:
caseExitPoint in interface ICFGAnalysis
Overrides:
caseExitPoint in class CFGAnalysisAdapter
Parameters:
node - the Node associated with point
point - the ExitPoint calling the method
Returns:
true if the result of the analysis is changed.

caseCAssignVarStmPoint

public boolean caseCAssignVarStmPoint(AAssignVarStm node,
                                      CAssignVarStmPoint point)
Description copied from class: CFGAnalysisAdapter
Default implementation. Calls CFGAnalysisAdapter.defaultNode(Node,IProgramPoint).

Specified by:
caseCAssignVarStmPoint in interface ICFGAnalysis
Overrides:
caseCAssignVarStmPoint in class CFGAnalysisAdapter
Parameters:
node - the AAssignVarStm associated with point
point - the CAssignVarStmPoint calling the method
Returns:
true if the result of the analysis is changed.

caseCIfThenStmPoint

public boolean caseCIfThenStmPoint(AIfThenStm node,
                                   CIfThenStmPoint point)
Description copied from class: CFGAnalysisAdapter
Default implementation. Calls CFGAnalysisAdapter.defaultNode(Node,IProgramPoint).

Specified by:
caseCIfThenStmPoint in interface ICFGAnalysis
Overrides:
caseCIfThenStmPoint in class CFGAnalysisAdapter
Parameters:
node - the AIfThenStm associated with point
point - the CIfThenStmPoint calling the method
Returns:
true if the result of the analysis is changed.

caseCIfThenElseStmPoint

public boolean caseCIfThenElseStmPoint(AIfThenElseStm node,
                                       CIfThenElseStmPoint point)
Description copied from class: CFGAnalysisAdapter
Default implementation. Calls CFGAnalysisAdapter.defaultNode(Node,IProgramPoint).

Specified by:
caseCIfThenElseStmPoint in interface ICFGAnalysis
Overrides:
caseCIfThenElseStmPoint in class CFGAnalysisAdapter
Parameters:
node - the AIfThenElseStm associated with point
point - the CIfThenElseStmPoint calling the method
Returns:
true if the result of the analysis is changed.

caseCWhileStmPoint

public boolean caseCWhileStmPoint(AWhileStm node,
                                  CWhileStmPoint point)
Description copied from class: CFGAnalysisAdapter
Default implementation. Calls CFGAnalysisAdapter.defaultNode(Node,IProgramPoint).

Specified by:
caseCWhileStmPoint in interface ICFGAnalysis
Overrides:
caseCWhileStmPoint in class CFGAnalysisAdapter
Parameters:
node - the AWhileStm associated with point
point - the CWhileStmPoint calling the method
Returns:
true if the result of the analysis is changed.

caseCOutputStmPoint

public boolean caseCOutputStmPoint(AOutputStm node,
                                   COutputStmPoint point)
Description copied from class: CFGAnalysisAdapter
Default implementation. Calls CFGAnalysisAdapter.defaultNode(Node,IProgramPoint).

Specified by:
caseCOutputStmPoint in interface ICFGAnalysis
Overrides:
caseCOutputStmPoint in class CFGAnalysisAdapter
Parameters:
node - the AOutputStm associated with point
point - the COutputStmPoint calling the method
Returns:
true if the result of the analysis is changed.

caseCReturnStmPoint

public boolean caseCReturnStmPoint(AReturnStm node,
                                   CReturnStmPoint point)
Description copied from class: CFGAnalysisAdapter
Default implementation. Calls CFGAnalysisAdapter.defaultNode(Node,IProgramPoint).

Specified by:
caseCReturnStmPoint in interface ICFGAnalysis
Overrides:
caseCReturnStmPoint in class CFGAnalysisAdapter
Parameters:
node - the AReturnStm associated with point
point - the CReturnStmPoint calling the method
Returns:
true if the result of the analysis is changed.

getVariableString

public String getVariableString(EqualitySet<ABinopExp> variable)
Description copied from interface: FixedPointAnalysis
Returns a textual representation of the variable variable.

Parameters:
variable - the variable for which a text representation is returned
Returns:
a textual representation of the variable variable