edu.umd.cs.findbugs.ba.vna

Class ValueNumberFactory

java.lang.Object

edu.umd.cs.findbugs.ba.vna.ValueNumberFactory

public class ValueNumberFactory
extends Object

Factory for ValueNumbers. A single Factory must be used to create all of the ValueNumbers for a method.

Author:

David Hovemeyer

See Also:

ValueNumber

Constructor Summary

Constructors

Constructor and Description
ValueNumberFactory()

Method Summary

Methods

Modifier and Type	Method and Description
void	compact(int[] map, int numValuesAllocated) Deprecated.
ValueNumber	createFreshValue() Create a fresh (unique) value number.
ValueNumber	createFreshValue(int flags)
ValueNumber	forNumber(int number) Return a previously allocated value.
String	getClassName(ValueNumber v)
ValueNumber	getClassObjectValue(String className) Get the ValueNumber for given class's Class object.
int	getNumValuesAllocated() Get the number of values which have been created.

Methods inherited from class java.lang.Object

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

Constructor Detail

ValueNumberFactory

public ValueNumberFactory()

Method Detail

createFreshValue

public ValueNumber createFreshValue()

Create a fresh (unique) value number.

createFreshValue

public ValueNumber createFreshValue(int flags)

forNumber

public ValueNumber forNumber(int number)

Return a previously allocated value.

getNumValuesAllocated

public int getNumValuesAllocated()

Get the number of values which have been created.

compact

@Deprecated
public void compact(int[] map,
                      int numValuesAllocated)

Deprecated.

Compact the value numbers produced by this factory.

Parameters:

map - array mapping old numbers to new numbers

numValuesAllocated - the number of values allocated in the new numbering

getClassObjectValue

public ValueNumber getClassObjectValue(@DottedClassName
                              String className)

Get the ValueNumber for given class's Class object.

Parameters:

className - the class

getClassName

@CheckForNull
@DottedClassName
public String getClassName(ValueNumber v)