|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use CAssignVarStmPoint | |
---|---|
tip.cfg | Provides the basic framework for performing fixed-point analyses of TIP programs. |
tip.cfg.dfa | Provides a collection of data flow analyses for TIP programs. |
Uses of CAssignVarStmPoint in tip.cfg |
---|
Methods in tip.cfg that return CAssignVarStmPoint | |
---|---|
CAssignVarStmPoint |
CAssignVarStmPoint.clone()
Returns a clone of the program point with no predecessors or successors. |
Methods in tip.cfg with parameters of type CAssignVarStmPoint | |
---|---|
boolean |
ICFGAnalysis.caseCAssignVarStmPoint(AAssignVarStm node,
CAssignVarStmPoint point)
caseCAssignVarStmPoint is called by a CAssignVarStmPoint from
apply(ICFGAnalysis) . |
A |
CFGAnswerAdapter.caseCAssignVarStmPoint(AAssignVarStm node,
CAssignVarStmPoint point)
Default implementation. |
A |
CFGAnswer.caseCAssignVarStmPoint(AAssignVarStm node,
CAssignVarStmPoint point)
caseCAssignVarStmPoint is called by a CAssignVarStmPoint from
apply(CFGAnswer) . |
boolean |
CFGAnalysisAdapter.caseCAssignVarStmPoint(AAssignVarStm node,
CAssignVarStmPoint point)
Default implementation. |
A |
CFGQuestionAnswerAdapter.caseCAssignVarStmPoint(AAssignVarStm node,
CAssignVarStmPoint point,
Q question)
Default implementation. |
A |
CFGQuestionAnswer.caseCAssignVarStmPoint(AAssignVarStm node,
CAssignVarStmPoint point,
Q question)
caseCAssignVarStmPoint is called by a CAssignVarStmPoint from
apply(CFGQuestionAnswer,Object) . |
Uses of CAssignVarStmPoint in tip.cfg.dfa |
---|
Methods in tip.cfg.dfa with parameters of type CAssignVarStmPoint | |
---|---|
boolean |
VeryBusyExpressionsAnalysis.caseCAssignVarStmPoint(AAssignVarStm node,
CAssignVarStmPoint point)
|
boolean |
SignAnalysis.caseCAssignVarStmPoint(AAssignVarStm node,
CAssignVarStmPoint point)
|
boolean |
ShapeAnalysis.caseCAssignVarStmPoint(AAssignVarStm node,
CAssignVarStmPoint point)
|
boolean |
ReachingDefinitionsAnalysis.caseCAssignVarStmPoint(AAssignVarStm node,
CAssignVarStmPoint point)
|
boolean |
NullPointerAnalysis.caseCAssignVarStmPoint(AAssignVarStm node,
CAssignVarStmPoint point)
|
boolean |
LivenessAnalysis.caseCAssignVarStmPoint(AAssignVarStm node,
CAssignVarStmPoint point)
Handle assignment statements. |
boolean |
IntervalAnalysis.caseCAssignVarStmPoint(AAssignVarStm node,
CAssignVarStmPoint point)
|
boolean |
ConstantPropagationAnalysis.caseCAssignVarStmPoint(AAssignVarStm node,
CAssignVarStmPoint point)
|
boolean |
AvailableExpressionsAnalysis.caseCAssignVarStmPoint(AAssignVarStm node,
CAssignVarStmPoint point)
Computes the variable the program associated with the assignment statement node . |
String |
ReachingDefinitionsAnalysis.AssignVarStmPointStringifier.toString(CAssignVarStmPoint point)
|
Method parameters in tip.cfg.dfa with type arguments of type CAssignVarStmPoint | |
---|---|
String |
ReachingDefinitionsAnalysis.getVariableString(EqualitySet<CAssignVarStmPoint> variable)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |