public class CompactLocationNumbering
extends java.lang.Object
Constructor | Description |
---|---|
CompactLocationNumbering(CFG cfg) |
Constructor.
|
Modifier and Type | Method | Description |
---|---|---|
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.
|
public CompactLocationNumbering(CFG cfg)
cfg
- the CFG containing the Locations to numberpublic int getSize()
public int getNumber(Location location)
location
- public Location getLocation(int number)
number
- the numberFindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.