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:
  • Constructor Details

    • ValueNumberFactory

      public ValueNumberFactory()
  • Method Details

    • 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)