|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use NullPointerAnalysis.Null | |
---|---|
tip.cfg.dfa | Provides a collection of data flow analyses for TIP programs. |
Uses of NullPointerAnalysis.Null in tip.cfg.dfa |
---|
Methods in tip.cfg.dfa that return NullPointerAnalysis.Null | |
---|---|
NullPointerAnalysis.Null |
NullPointerAnalysis.NullLattice.getLeastUpperBound(NullPointerAnalysis.Null a,
NullPointerAnalysis.Null b)
|
NullPointerAnalysis.Null |
NullPointerAnalysis.NullLattice.getSmallestElement()
|
static NullPointerAnalysis.Null |
NullPointerAnalysis.Null.valueOf(String name)
Returns the enum constant of this type with the specified name. |
static NullPointerAnalysis.Null[] |
NullPointerAnalysis.Null.values()
Returns an array containing the constants of this enum type, in the order they are declared. |
Methods in tip.cfg.dfa that return types with arguments of type NullPointerAnalysis.Null | |
---|---|
MapLattice<ALocalDecl,NullPointerAnalysis.Null> |
NullPointerAnalysis.createLattice(ICFG cfg)
|
Methods in tip.cfg.dfa with parameters of type NullPointerAnalysis.Null | |
---|---|
boolean |
NullPointerAnalysis.NullLattice.equals(NullPointerAnalysis.Null a,
NullPointerAnalysis.Null b)
|
NullPointerAnalysis.Null |
NullPointerAnalysis.NullLattice.getLeastUpperBound(NullPointerAnalysis.Null a,
NullPointerAnalysis.Null b)
|
int |
NullPointerAnalysis.NullLattice.hashCode(NullPointerAnalysis.Null a)
|
Method parameters in tip.cfg.dfa with type arguments of type NullPointerAnalysis.Null | |
---|---|
String |
NullPointerAnalysis.getVariableString(EqualityMap<ALocalDecl,NullPointerAnalysis.Null> variable)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |