Class StoreAnalysis

java.lang.Object

edu.umd.cs.findbugs.ba.BasicAbstractDataflowAnalysis<FieldSet>

edu.umd.cs.findbugs.ba.AbstractDataflowAnalysis<FieldSet>

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

public class StoreAnalysis
extends FieldSetAnalysis

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 FieldSetAnalysis

copy, createFact, getCPG, initEntryFact, isFactValid, isTop, makeFactTop, meetInto, same, transferInstruction

Methods inherited from class ForwardDataflowAnalysis

getBlockOrder, getDepthFirstSearch, isForwards

Methods inherited from class AbstractDataflowAnalysis

getFactAfterLocation, getFactAtLocation, transfer

Methods inherited from class BasicAbstractDataflowAnalysis

edgeTransfer, factToString, finishIteration, getFactOnEdge, getLastUpdateTimestamp, getResultFact, getStartFact, resultFactIterator, setLastUpdateTimestamp, startIteration

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

StoreAnalysis

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

Method Details

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