Package edu.umd.cs.findbugs.ba

Class CompactLocationNumbering

java.lang.Object

edu.umd.cs.findbugs.ba.CompactLocationNumbering

public class CompactLocationNumbering
extends Object

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.

Author:

David Hovemeyer

Constructor Summary

Constructors

Constructor	Description
CompactLocationNumbering(CFG cfg)	Constructor.

Method Summary

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.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

CompactLocationNumbering

public CompactLocationNumbering(CFG cfg)

Constructor.

Parameters:

cfg - the CFG containing the Locations to number

Method Details

getSize

public int getSize()

Get the size of the numbering, which is the maximum number assigned plus one.

Returns:

the maximum number assigned plus one

getNumber

public int getNumber(Location location)

Get the number of given Location, which will be a non-negative integer in the range 0..getSize() - 1.

Parameters:

location -

Returns:

the number of the location

getLocation

public Location getLocation(int number)

Get the Location given its number.

Parameters:

number - the number

Returns:

Location corresponding to that number