edu.umd.cs.findbugs.ba.vna
public class ValueNumberFactory extends Object
See Also: ValueNumber
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. |
Parameters: map array mapping old numbers to new numbers numValuesAllocated the number of values allocated in the new numbering