edu.umd.cs.findbugs.ba
public class CompactLocationNumbering extends Object
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.
|
Parameters: cfg the CFG containing the Locations to number
Parameters: number the number
Returns: Location corresponding to that number
Parameters: location
Returns: the number of the location
Returns: the maximum number assigned plus one