|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |