void |
FieldSetAnalysis.copy(FieldSet source,
FieldSet dest) |
void |
FieldSet.copyFrom(FieldSet other) |
void |
FieldSetAnalysis.initEntryFact(FieldSet result) |
boolean |
FieldSetAnalysis.isFactValid(FieldSet fact) |
boolean |
FieldSet.isIntersectionNonEmpty(FieldSet other) |
boolean |
FieldSetAnalysis.isTop(FieldSet fact) |
void |
FieldSetAnalysis.makeFactTop(FieldSet fact) |
void |
FieldSetAnalysis.meetInto(FieldSet fact,
Edge edge,
FieldSet result) |
void |
FieldSet.mergeWith(FieldSet other) |
boolean |
FieldSetAnalysis.same(FieldSet fact1,
FieldSet fact2) |
boolean |
FieldSet.sameAs(FieldSet other) |
protected void |
StoreAnalysis.sawLoad(FieldSet fact,
XField field) |
protected void |
LoadAnalysis.sawLoad(FieldSet fact,
XField field) |
protected abstract void |
FieldSetAnalysis.sawLoad(FieldSet fact,
XField field) |
protected void |
StoreAnalysis.sawStore(FieldSet fact,
XField field) |
protected void |
LoadAnalysis.sawStore(FieldSet fact,
XField field) |
protected abstract void |
FieldSetAnalysis.sawStore(FieldSet fact,
XField field) |
void |
FieldSetAnalysis.transferInstruction(org.apache.bcel.generic.InstructionHandle handle,
BasicBlock basicBlock,
FieldSet fact) |