Uses of Class
tip.cfg.AProgramPoint

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

Uses of AProgramPoint in tip.cfg
 

Subclasses of AProgramPoint in tip.cfg
 class CAssignPtrStmPoint
          CAssignPtrStmPoint is a program point in a control flow graph associated with a AAssignPtrStm.
 class CAssignVarStmPoint
          CAssignVarStmPoint is a program point in a control flow graph associated with a AAssignVarStm.
 class CBinopExpPoint
          CBinopExpPoint is a program point in a control flow graph associated with a ABinopExp.
 class CBlockPoint
          CBlockPoint is a program point in a control flow graph associated with a ABlock.
 class CDeclStmPoint
          CDeclStmPoint is a program point in a control flow graph associated with a ADeclStm.
 class CDerefExpPoint
          CDerefExpPoint is a program point in a control flow graph associated with a ADerefExp.
 class CFunctionCallExpPoint
          CFunctionCallExpPoint is a program point in a control flow graph associated with a AFunctionCallExp.
 class CFunctionPtrCallExpPoint
          CFunctionPtrCallExpPoint is a program point in a control flow graph associated with a AFunctionPtrCallExp.
 class CIfThenElseStmPoint
          CIfThenElseStmPoint is a program point in a control flow graph associated with a AIfThenElseStm.
 class CIfThenStmPoint
          CIfThenStmPoint is a program point in a control flow graph associated with a AIfThenStm.
 class CInputExpPoint
          CInputExpPoint is a program point in a control flow graph associated with a AInputExp.
 class CIntConstExpPoint
          CIntConstExpPoint is a program point in a control flow graph associated with a AIntConstExp.
 class CMallocExpPoint
          CMallocExpPoint is a program point in a control flow graph associated with a AMallocExp.
 class CNullExpPoint
          CNullExpPoint is a program point in a control flow graph associated with a ANullExp.
 class COutputStmPoint
          COutputStmPoint is a program point in a control flow graph associated with a AOutputStm.
 class CPointerExpPoint
          CPointerExpPoint is a program point in a control flow graph associated with a APointerExp.
 class CReturnStmPoint
          CReturnStmPoint is a program point in a control flow graph associated with a AReturnStm.
 class CVarExpPoint
          CVarExpPoint is a program point in a control flow graph associated with a AVarExp.
 class CWhileStmPoint
          CWhileStmPoint is a program point in a control flow graph associated with a AWhileStm.
 class EntryPoint
          EntryPoint represents the entry point of a control flow graph.
 class ExitPoint
          ExitPoint represents the exit point of a control flow graph.
 

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