Package edu.umd.cs.findbugs.ba.heap

Class StoreAnalysis

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.StoreAnalysis

All Implemented Interfaces:

DataflowAnalysis<Fact>

public class StoreAnalysis
extends FieldSetAnalysis

Author:

David Hovemeyer

Constructor Summary

Constructors

Constructor	Description
StoreAnalysis(DepthFirstSearch dfs, org.apache.bcel.generic.ConstantPoolGen cpg)

Method Summary

Modifier and Type	Method	Description
protected void	sawLoad(FieldSet fact, XField field)
protected void	sawStore(FieldSet fact, XField field)

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