void |
TypeQualifierDataflowAnalysis.copy(TypeQualifierValueSet source,
TypeQualifierValueSet dest) |
void |
TypeQualifierDataflowAnalysis.edgeTransfer(Edge edge,
TypeQualifierValueSet fact) |
void |
BackwardTypeQualifierDataflowAnalysis.edgeTransfer(Edge edge,
TypeQualifierValueSet fact) |
void |
TypeQualifierDataflowAnalysis.initEntryFact(TypeQualifierValueSet result) |
boolean |
TypeQualifierDataflowAnalysis.isFactValid(TypeQualifierValueSet fact) |
boolean |
TypeQualifierDataflowAnalysis.isTop(TypeQualifierValueSet fact) |
void |
TypeQualifierDataflowAnalysis.makeFactTop(TypeQualifierValueSet fact) |
void |
TypeQualifierValueSet.makeSameAs(TypeQualifierValueSet source) |
void |
TypeQualifierDataflowAnalysis.meetInto(TypeQualifierValueSet fact,
Edge edge,
TypeQualifierValueSet result) |
void |
TypeQualifierValueSet.mergeWith(TypeQualifierValueSet fact) |
protected abstract void |
TypeQualifierDataflowAnalysis.propagateAcrossPhiNode(TypeQualifierValueSet fact,
ValueNumber sourceVN,
ValueNumber targetVN) |
protected void |
ForwardTypeQualifierDataflowAnalysis.propagateAcrossPhiNode(TypeQualifierValueSet fact,
ValueNumber sourceVN,
ValueNumber targetVN) |
protected void |
BackwardTypeQualifierDataflowAnalysis.propagateAcrossPhiNode(TypeQualifierValueSet fact,
ValueNumber sourceVN,
ValueNumber targetVN) |
boolean |
TypeQualifierDataflowAnalysis.same(TypeQualifierValueSet fact1,
TypeQualifierValueSet fact2) |
void |
TypeQualifierDataflowAnalysis.transferInstruction(org.apache.bcel.generic.InstructionHandle handle,
BasicBlock basicBlock,
TypeQualifierValueSet fact) |
void |
BackwardTypeQualifierDataflowAnalysis.transferInstruction(org.apache.bcel.generic.InstructionHandle handle,
BasicBlock basicBlock,
TypeQualifierValueSet fact) |