Uses of Class
tip.cfg.CDerefExpPoint

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

Uses of CDerefExpPoint in tip.cfg
 

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

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