|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objecttip.cfg.CFGAnalysisAdapter
tip.cfg.FlowAnalysis<EqualityMap<ALocalDecl,NullPointerAnalysis.Null>>
tip.cfg.dfa.NullPointerAnalysis
public class NullPointerAnalysis
Nested Class Summary | |
---|---|
static class |
NullPointerAnalysis.Null
|
static class |
NullPointerAnalysis.NullLattice
|
Constructor Summary | |
---|---|
NullPointerAnalysis()
|
Method Summary | |
---|---|
boolean |
caseCAssignPtrStmPoint(AAssignPtrStm node,
CAssignPtrStmPoint point)
Default implementation. |
boolean |
caseCAssignVarStmPoint(AAssignVarStm node,
CAssignVarStmPoint point)
Default implementation. |
boolean |
caseCDeclStmPoint(ADeclStm node,
CDeclStmPoint point)
Default implementation. |
boolean |
caseEntryPoint(Node node,
EntryPoint point)
Default implementation. |
MapLattice<ALocalDecl,NullPointerAnalysis.Null> |
createLattice(ICFG cfg)
The method must be implemented to provided a Lattice for the
analysis of the control flow graph cfg . |
String |
getVariableString(EqualityMap<ALocalDecl,NullPointerAnalysis.Null> variable)
Returns a textual representation of the variable variable . |
Methods inherited from class tip.cfg.FlowAnalysis |
---|
defaultNode, end, getDependencySet, getLattice, getName, getVariable, getVariableStringForPoint, getVariableStringForPoint, setVariable, start |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public NullPointerAnalysis()
Method Detail |
---|
public MapLattice<ALocalDecl,NullPointerAnalysis.Null> createLattice(ICFG cfg)
FlowAnalysis
Lattice
for the
analysis of the control flow graph cfg
.
cfg
- the control flow graph on which the lattice is used
public boolean caseCAssignVarStmPoint(AAssignVarStm node, CAssignVarStmPoint point)
CFGAnalysisAdapter
CFGAnalysisAdapter.defaultNode(Node,IProgramPoint)
.
caseCAssignVarStmPoint
in interface ICFGAnalysis
caseCAssignVarStmPoint
in class CFGAnalysisAdapter
node
- the AAssignVarStm
associated with point
point
- the CAssignVarStmPoint
calling the method
true
if the result of the analysis is changed.public boolean caseCAssignPtrStmPoint(AAssignPtrStm node, CAssignPtrStmPoint point)
CFGAnalysisAdapter
CFGAnalysisAdapter.defaultNode(Node,IProgramPoint)
.
caseCAssignPtrStmPoint
in interface ICFGAnalysis
caseCAssignPtrStmPoint
in class CFGAnalysisAdapter
node
- the AAssignPtrStm
associated with point
point
- the CAssignPtrStmPoint
calling the method
true
if the result of the analysis is changed.public boolean caseCDeclStmPoint(ADeclStm node, CDeclStmPoint point)
CFGAnalysisAdapter
CFGAnalysisAdapter.defaultNode(Node,IProgramPoint)
.
caseCDeclStmPoint
in interface ICFGAnalysis
caseCDeclStmPoint
in class CFGAnalysisAdapter
node
- the ADeclStm
associated with point
point
- the CDeclStmPoint
calling the method
true
if the result of the analysis is changed.public boolean caseEntryPoint(Node node, EntryPoint point)
CFGAnalysisAdapter
CFGAnalysisAdapter.defaultNode(Node,IProgramPoint)
.
caseEntryPoint
in interface ICFGAnalysis
caseEntryPoint
in class CFGAnalysisAdapter
node
- the Node
associated with point
point
- the EntryPoint
calling the method
true
if the result of the analysis is changed.public String getVariableString(EqualityMap<ALocalDecl,NullPointerAnalysis.Null> variable)
FixedPointAnalysis
variable
.
variable
- the variable for which a text representation is returned
variable
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |