edu.umd.cs.findbugs.ba

Class 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
CompactLocationNumbering(CFG cfg)
Constructor.
Method Summary
LocationgetLocation(int number)
Get the Location given its number.
intgetNumber(Location location)
Get the number of given Location, which will be a non-negative integer in the range 0..getSize() - 1.
intgetSize()
Get the size of the numbering, which is the maximum number assigned plus one.

Constructor Detail

CompactLocationNumbering

public CompactLocationNumbering(CFG cfg)
Constructor.

Parameters: cfg the CFG containing the Locations to number

Method Detail

getLocation

public Location getLocation(int number)
Get the Location given its number.

Parameters: number the number

Returns: Location corresponding to that number

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

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

FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.