FindBugs™ 1.3.9

edu.umd.cs.findbugs.ba
Class CompactLocationNumbering

java.lang.Object
  extended by edu.umd.cs.findbugs.ba.CompactLocationNumbering

public class CompactLocationNumbering
extends java.lang.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
 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

CompactLocationNumbering

public CompactLocationNumbering(CFG cfg)
Constructor.

Parameters:
cfg - the CFG containing the Locations to number
Method Detail

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

FindBugs™ 1.3.9

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