edu.umd.cs.findbugs.ba.vna

Class 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

Method Summary
voidcompact(int[] map, int numValuesAllocated)
Compact the value numbers produced by this factory.
ValueNumbercreateFreshValue()
Create a fresh (unique) value number.
ValueNumberforNumber(int number)
Return a previously allocated value.
intgetNumValuesAllocated()
Get the number of values which have been created.

Method Detail

compact

public void compact(int[] map, int numValuesAllocated)
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

createFreshValue

public ValueNumber createFreshValue()
Create a fresh (unique) value number.

forNumber

public ValueNumber forNumber(int number)
Return a previously allocated value.

getNumValuesAllocated

public int getNumValuesAllocated()
Get the number of values which have been created.
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.