FindBugs™ 1.3.9

Uses of Class
edu.umd.cs.findbugs.ba.obl.StateSet

Packages that use StateSet
edu.umd.cs.findbugs.ba.obl Implementation of dataflow analysis for checking whether obligations to close streams and other resources (e.g. 
 

Uses of StateSet in edu.umd.cs.findbugs.ba.obl
 

Methods in edu.umd.cs.findbugs.ba.obl that return StateSet
 StateSet ObligationAnalysis.createFact()
           
 StateSet StateSet.duplicate()
          Return an exact deep copy of this StateSet.
 

Methods in edu.umd.cs.findbugs.ba.obl with parameters of type StateSet
 void ObligationPolicyDatabaseAction.apply(StateSet stateSet, int basicBlockId)
           
 void ObligationAnalysis.copy(StateSet src, StateSet dest)
           
 void StateSet.copyFrom(StateSet other)
          Make this StateSet an exact copy of the given StateSet.
 void ObligationAnalysis.edgeTransfer(Edge edge, StateSet fact)
           
 void ObligationAnalysis.initEntryFact(StateSet fact)
           
 boolean ObligationAnalysis.isFactValid(StateSet fact)
           
 boolean ObligationAnalysis.isTop(StateSet fact)
           
 void ObligationAnalysis.makeFactTop(StateSet fact)
           
 void ObligationAnalysis.meetInto(StateSet fact, Edge edge, StateSet result)
           
 boolean ObligationAnalysis.same(StateSet a, StateSet b)
           
 void ObligationAnalysis.transfer(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle end, StateSet start, StateSet result)
           
 void ObligationAnalysis.transferInstruction(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock, StateSet fact)
           
 


FindBugs™ 1.3.9

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