edu.umd.cs.findbugs.ba.heap

Class FieldSetAnalysis

public abstract class FieldSetAnalysis extends ForwardDataflowAnalysis<FieldSet>

Author: David Hovemeyer

Constructor Summary
FieldSetAnalysis(DepthFirstSearch dfs, ConstantPoolGen cpg)
Method Summary
voidcopy(FieldSet source, FieldSet dest)
FieldSetcreateFact()
ConstantPoolGengetCPG()
voidinitEntryFact(FieldSet result)
voidinitResultFact(FieldSet result)
booleanisTop(FieldSet fact)
voidmakeFactTop(FieldSet fact)
voidmeetInto(FieldSet fact, Edge edge, FieldSet result)
booleansame(FieldSet fact1, FieldSet fact2)
protected abstract voidsawLoad(FieldSet fact, XField field)
protected abstract voidsawStore(FieldSet fact, XField field)

Constructor Detail

FieldSetAnalysis

public FieldSetAnalysis(DepthFirstSearch dfs, ConstantPoolGen cpg)

Method Detail

copy

public void copy(FieldSet source, FieldSet dest)

createFact

public FieldSet createFact()

getCPG

public ConstantPoolGen getCPG()

initEntryFact

public void initEntryFact(FieldSet result)

initResultFact

public void initResultFact(FieldSet result)

isTop

public boolean isTop(FieldSet fact)

makeFactTop

public void makeFactTop(FieldSet fact)

meetInto

public void meetInto(FieldSet fact, Edge edge, FieldSet result)

same

public boolean same(FieldSet fact1, FieldSet fact2)

sawLoad

protected abstract void sawLoad(FieldSet fact, XField field)

sawStore

protected abstract void sawStore(FieldSet fact, XField field)
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.