|
FindBugs™ 1.3.9 | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectedu.umd.cs.findbugs.ba.CompactLocationNumbering
public class CompactLocationNumbering
Compute a compact numbering of Locations in a CFG. This is useful for analyses that want to use a BitSet to keep track of Locations.
Constructor Summary | |
---|---|
CompactLocationNumbering(CFG cfg)
Constructor. |
Method Summary | |
---|---|
Location |
getLocation(int number)
Get the Location given its number. |
int |
getNumber(Location location)
Get the number of given Location, which will be a non-negative integer in the range 0..getSize() - 1. |
int |
getSize()
Get the size of the numbering, which is the maximum number assigned plus one. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public CompactLocationNumbering(CFG cfg)
cfg
- the CFG containing the Locations to numberMethod Detail |
---|
public int getSize()
public int getNumber(Location location)
location
-
public Location getLocation(int number)
number
- the number
|
FindBugs™ 1.3.9 | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |