Package | Description |
---|---|
edu.umd.cs.findbugs.ba |
A bytecode analysis framework for BCEL, providing CFG construction,
generic dataflow analysis, and a variety of specific dataflow analyses.
|
Modifier and Type | Method and Description |
---|---|
BlockType |
BlockTypeAnalysis.createFact() |
Modifier and Type | Method and Description |
---|---|
void |
BlockTypeAnalysis.copy(BlockType source,
BlockType dest) |
void |
BlockType.copyFrom(BlockType other)
Make this object an exact duplicate of given object.
|
void |
BlockTypeAnalysis.initEntryFact(BlockType result) |
boolean |
BlockTypeAnalysis.isTop(BlockType fact) |
void |
BlockTypeAnalysis.makeFactTop(BlockType fact) |
void |
BlockTypeAnalysis.meetInto(BlockType fact,
Edge edge,
BlockType result) |
void |
BlockType.mergeWith(BlockType other)
Merge other dataflow value into this value.
|
boolean |
BlockTypeAnalysis.same(BlockType fact1,
BlockType fact2) |
boolean |
BlockType.sameAs(BlockType other)
Return whether or not this object is identical to the one given.
|
void |
BlockTypeAnalysis.transfer(BasicBlock basicBlock,
org.apache.bcel.generic.InstructionHandle end,
BlockType start,
BlockType result) |
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.