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

Method Summary
void	compact(int[] map, int numValuesAllocated) Compact the value numbers produced by this factory.
ValueNumber	createFreshValue() Create a fresh (unique) value number.
ValueNumber	forNumber(int number) Return a previously allocated value.
int	getNumValuesAllocated() Get the number of values which have been created.

Method Detail

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

public ValueNumber createFreshValue()

Create a fresh (unique) value number.

public ValueNumber forNumber(int number)

Return a previously allocated value.

public int getNumValuesAllocated()

Get the number of values which have been created.