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

Constructors

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

Method Summary

Methods

Modifier and Type	Method and Description
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