Uses of Class
tip.cfg.CVarExpPoint

Packages that use CVarExpPoint
tip.cfg Provides the basic framework for performing fixed-point analyses of TIP programs. 
 

Uses of CVarExpPoint in tip.cfg
 

Methods in tip.cfg that return CVarExpPoint
 CVarExpPoint CVarExpPoint.clone()
          Returns a clone of the program point with no predecessors or successors.
 

Methods in tip.cfg with parameters of type CVarExpPoint
 boolean ICFGAnalysis.caseCVarExpPoint(AVarExp node, CVarExpPoint point)
          caseCVarExpPoint is called by a CVarExpPoint from apply(ICFGAnalysis).
 A CFGAnswerAdapter.caseCVarExpPoint(AVarExp node, CVarExpPoint point)
          Default implementation.
 A CFGAnswer.caseCVarExpPoint(AVarExp node, CVarExpPoint point)
          caseCVarExpPoint is called by a CVarExpPoint from apply(CFGAnswer).
 boolean CFGAnalysisAdapter.caseCVarExpPoint(AVarExp node, CVarExpPoint point)
          Default implementation.
 A CFGQuestionAnswerAdapter.caseCVarExpPoint(AVarExp node, CVarExpPoint point, Q question)
          Default implementation.
 A CFGQuestionAnswer.caseCVarExpPoint(AVarExp node, CVarExpPoint point, Q question)
          caseCVarExpPoint is called by a CVarExpPoint from apply(CFGQuestionAnswer,Object).