FindBugs™ 1.3.9

Uses of Class
edu.umd.cs.findbugs.ba.npe2.DefinitelyNullSet

Packages that use DefinitelyNullSet
edu.umd.cs.findbugs.ba.npe2 This package is a rewrite of the null-pointer analysis to use sets of value numbers rather than frames. 
 

Uses of DefinitelyNullSet in edu.umd.cs.findbugs.ba.npe2
 

Methods in edu.umd.cs.findbugs.ba.npe2 that return DefinitelyNullSet
 DefinitelyNullSet DefinitelyNullSetAnalysis.createFact()
           
 

Methods in edu.umd.cs.findbugs.ba.npe2 with parameters of type DefinitelyNullSet
 void DefinitelyNullSetAnalysis.copy(DefinitelyNullSet source, DefinitelyNullSet dest)
           
 void DefinitelyNullSetAnalysis.edgeTransfer(Edge edge, DefinitelyNullSet fact)
           
 void DefinitelyNullSetAnalysis.initEntryFact(DefinitelyNullSet result)
           
 boolean DefinitelyNullSetAnalysis.isFactValid(DefinitelyNullSet fact)
           
 boolean DefinitelyNullSetAnalysis.isTop(DefinitelyNullSet fact)
           
 void DefinitelyNullSetAnalysis.makeFactTop(DefinitelyNullSet fact)
           
 void DefinitelyNullSet.makeSameAs(DefinitelyNullSet other)
           
 void DefinitelyNullSetAnalysis.meetInto(DefinitelyNullSet fact, Edge edge, DefinitelyNullSet result)
           
 void DefinitelyNullSet.mergeWith(DefinitelyNullSet other)
           
abstract  void Condition.refresh(ValueNumberFrame vnaFrame, DefinitelyNullSet definitelyNullSet)
           
 void IfNullCondition.refresh(ValueNumberFrame vnaFrame, DefinitelyNullSet definitelyNullSet)
           
 void AcmpCondition.refresh(ValueNumberFrame vnaFrame, DefinitelyNullSet definitelyNullSet)
          Deprecated.  
 boolean DefinitelyNullSetAnalysis.same(DefinitelyNullSet fact1, DefinitelyNullSet fact2)
           
 void DefinitelyNullSetAnalysis.transferInstruction(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock, DefinitelyNullSet fact)
           
 


FindBugs™ 1.3.9

FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.