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

java.lang.Object
  edu.umd.cs.findbugs.ba.BasicAbstractDataflowAnalysis<Fact>
      edu.umd.cs.findbugs.ba.AbstractDataflowAnalysis<Fact>
          edu.umd.cs.findbugs.ba.ForwardDataflowAnalysis<FieldSet>
              edu.umd.cs.findbugs.ba.heap.FieldSetAnalysis
                  edu.umd.cs.findbugs.ba.heap.LoadAnalysis

All Implemented Interfaces:

DataflowAnalysis<FieldSet>

public class LoadAnalysis
extends FieldSetAnalysis

Constructor Summary

LoadAnalysis(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

LoadAnalysis

public LoadAnalysis(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