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