Uses of Class
tip.cfg.dfa.NullPointerAnalysis.Null

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)