Uses of Class
tip.cfg.CIntConstExpPoint

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

Uses of CIntConstExpPoint in tip.cfg
 

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

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