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.
See Also:

  • Field Details

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