FindBugs™ 1.3.9

edu.umd.cs.findbugs.ba.heap
Class StoreAnalysis

java.lang.Object
  extended by edu.umd.cs.findbugs.ba.BasicAbstractDataflowAnalysis<Fact>
      extended by edu.umd.cs.findbugs.ba.AbstractDataflowAnalysis<Fact>
          extended by edu.umd.cs.findbugs.ba.ForwardDataflowAnalysis<FieldSet>
              extended by edu.umd.cs.findbugs.ba.heap.FieldSetAnalysis
                  extended by edu.umd.cs.findbugs.ba.heap.StoreAnalysis
All Implemented Interfaces:
DataflowAnalysis<FieldSet>

public class StoreAnalysis
extends FieldSetAnalysis

Author:
David Hovemeyer

Constructor Summary
StoreAnalysis(DepthFirstSearch dfs, org.apache.bcel.generic.ConstantPoolGen cpg)
           
 
Method Summary
protected  void sawLoad(FieldSet fact, XField field)
           
protected  void sawStore(FieldSet fact, XField field)
           
 
Methods inherited from class edu.umd.cs.findbugs.ba.heap.FieldSetAnalysis
copy, createFact, getCPG, initEntryFact, isFactValid, isTop, makeFactTop, meetInto, same, transferInstruction
 
Methods inherited from class edu.umd.cs.findbugs.ba.ForwardDataflowAnalysis
getBlockOrder, getDepthFirstSearch, isForwards
 
Methods inherited from class edu.umd.cs.findbugs.ba.AbstractDataflowAnalysis
getFactAfterLocation, getFactAtLocation, transfer
 
Methods inherited from class edu.umd.cs.findbugs.ba.BasicAbstractDataflowAnalysis
edgeTransfer, factToString, finishIteration, getFactOnEdge, getLastUpdateTimestamp, getResultFact, getStartFact, resultFactIterator, setLastUpdateTimestamp, startIteration
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

StoreAnalysis

public StoreAnalysis(DepthFirstSearch dfs,
                     org.apache.bcel.generic.ConstantPoolGen cpg)
Method Detail

sawLoad

protected void sawLoad(FieldSet fact,
                       XField field)
Specified by:
sawLoad in class FieldSetAnalysis

sawStore

protected void sawStore(FieldSet fact,
                        XField field)
Specified by:
sawStore in class FieldSetAnalysis

FindBugs™ 1.3.9

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