Uses of Class
edu.umd.cs.findbugs.ba.vna.ValueNumber

Packages that use ValueNumber
edu.umd.cs.findbugs.ba.bcp   
edu.umd.cs.findbugs.ba.npe   
edu.umd.cs.findbugs.ba.type   
edu.umd.cs.findbugs.ba.vna   
edu.umd.cs.findbugs.detect   
 

Uses of ValueNumber in edu.umd.cs.findbugs.ba.bcp
 

Constructors in edu.umd.cs.findbugs.ba.bcp with parameters of type ValueNumber
FieldVariable(ValueNumber ref, java.lang.String className, java.lang.String fieldName, java.lang.String fieldSig)
          Constructor for instance fields.
LocalVariable(ValueNumber valueNumber)
           
LongOrDoubleLocalVariable(ValueNumber topValue, ValueNumber nextValue)
           
 

Uses of ValueNumber in edu.umd.cs.findbugs.ba.npe
 

Methods in edu.umd.cs.findbugs.ba.npe that return ValueNumber
 ValueNumber IsNullConditionDecision.getValue()
          Get the value about which the branch yields information.
 

Methods in edu.umd.cs.findbugs.ba.npe with parameters of type ValueNumber
 void NullDerefAndRedundantComparisonCollector.foundNullDeref(Location location, ValueNumber valueNumber, IsNullValue refValue)
          Subclasses should override this method to capture locations where a null pointer is dereferenced.
 

Constructors in edu.umd.cs.findbugs.ba.npe with parameters of type ValueNumber
IsNullConditionDecision(ValueNumber value, IsNullValue ifcmpDecision, IsNullValue fallThroughDecision)
          Constructor.
 

Uses of ValueNumber in edu.umd.cs.findbugs.ba.type
 

Methods in edu.umd.cs.findbugs.ba.type that return ValueNumber
 ValueNumber TypeFrame.getInstanceOfValueNumber()
          Get the value number of the value checked by the instanceof branch.
 ValueNumber TypeFrameModelingVisitor.getInstanceOfValueNumber()
          Get the value number of the most recent instanceof instruction modeled.
 

Methods in edu.umd.cs.findbugs.ba.type with parameters of type ValueNumber
 void TypeFrame.setInstanceOfValueNumberAndType(ValueNumber instanceOfValueNumber, org.apache.bcel.generic.Type instanceOfType)
          Set information for modeling of instanceof branches.
 

Uses of ValueNumber in edu.umd.cs.findbugs.ba.vna
 

Fields in edu.umd.cs.findbugs.ba.vna declared as ValueNumber
 ValueNumber[] ValueNumberCache.Entry.inputValueList
           
 

Methods in edu.umd.cs.findbugs.ba.vna that return ValueNumber
 ValueNumber ValueNumberFactory.createFreshValue()
          Create a fresh (unique) value number.
 ValueNumber ValueNumberFactory.forNumber(int number)
          Return a previously allocated value.
 ValueNumber[] ValueNumberFrame.getAvailableLoad(AvailableLoad availableLoad)
          Look for an available load.
 ValueNumber ValueNumberFrameModelingVisitor.getDefaultValue()
           
 ValueNumber ValueNumberAnalysis.getEntryValue(int local)
           
 ValueNumber AvailableLoad.getReference()
          Get the ValueNumber of the object reference.
 ValueNumber ValueNumberAnalysis.getThisValue()
           
 ValueNumber[] ValueNumberCache.lookupOutputValues(ValueNumberCache.Entry entry)
          Look up cached output values for given entry.
 

Methods in edu.umd.cs.findbugs.ba.vna that return types with arguments of type ValueNumber
 java.util.Map<ValueNumber,java.lang.Integer> ValueNumberDataflow.getValueNumberToParamMap(org.apache.bcel.classfile.Method method)
          Build map of value numbers to param indices.
 java.util.Map<ValueNumber,java.lang.Integer> ValueNumberDataflow.getValueNumberToParamMap(java.lang.String methodSignature, boolean isStatic)
          Build map of value numbers to param indices.
 

Methods in edu.umd.cs.findbugs.ba.vna with parameters of type ValueNumber
 void ValueNumberFrame.addAvailableLoad(AvailableLoad availableLoad, ValueNumber[] value)
          Add an available load.
 void ValueNumberCache.addOutputValues(ValueNumberCache.Entry entry, ValueNumber[] outputValueList)
          Add output values for given entry.
 int ValueNumber.compareTo(ValueNumber other)
           
 java.util.BitSet MergeTree.getInputSet(ValueNumber output)
          Get the set of input ValueNumbers which directly contributed to the given output ValueNumber.
 java.util.BitSet MergeTree.getTransitiveInputSet(ValueNumber output)
          Get the transitive set of input ValueNumbers which contributed (directly or indirectly) to the given output ValueNumber.
 boolean ValueNumberAnalysis.isThisValue(ValueNumber value)
           
 void MergeTree.mapInputToOutput(ValueNumber input, ValueNumber output)
          Map an input ValueNumber to an output ValueNumber.
 

Method parameters in edu.umd.cs.findbugs.ba.vna with type arguments of type ValueNumber
 void ValueNumberFrame.copyFrom(Frame<ValueNumber> other)
           
 

Constructors in edu.umd.cs.findbugs.ba.vna with parameters of type ValueNumber
AvailableLoad(ValueNumber reference, InstanceField field)
          Constructor from object reference and instance field.
ValueNumberCache.Entry(org.apache.bcel.generic.InstructionHandle handle, ValueNumber[] inputValueList)
           
 

Uses of ValueNumber in edu.umd.cs.findbugs.detect
 

Methods in edu.umd.cs.findbugs.detect with parameters of type ValueNumber
 void FindNullDeref.foundNullDeref(Location location, ValueNumber valueNumber, IsNullValue refValue)