edu.umd.cs.findbugs.ba.heap
public abstract class FieldSetAnalysis extends ForwardDataflowAnalysis<FieldSet>
Constructor Summary | |
---|---|
FieldSetAnalysis(DepthFirstSearch dfs, ConstantPoolGen cpg) |
Method Summary | |
---|---|
void | copy(FieldSet source, FieldSet dest) |
FieldSet | createFact() |
ConstantPoolGen | getCPG() |
void | initEntryFact(FieldSet result) |
void | initResultFact(FieldSet result) |
boolean | isTop(FieldSet fact) |
void | makeFactTop(FieldSet fact) |
void | meetInto(FieldSet fact, Edge edge, FieldSet result) |
boolean | same(FieldSet fact1, FieldSet fact2) |
protected abstract void | sawLoad(FieldSet fact, XField field) |
protected abstract void | sawStore(FieldSet fact, XField field) |