Packages

t

org.opalj.bugpicker.core.analyses

BaseBugPickerAnalysisDomain

trait BaseBugPickerAnalysisDomain extends CorrelationalDomain with TheProject with TheMethod with DefaultDomainValueBinding with ThrowAllPotentialExceptionsConfiguration with RefinedTypeLevelFieldAccessInstructions with TypeLevelInvokeInstructions with RefinedTypeLevelInvokeInstructions with SpecialMethodsHandling with DefaultIntegerRangeValues with DefaultLongSetValues with LongSetValuesShiftOperators with DefaultTypeLevelFloatValues with DefaultTypeLevelDoubleValues with ConcretePrimitiveValuesConversions with NullPropertyRefinement with MaxArrayLengthRefinement with DefaultHandlingOfMethodResults with IgnoreSynchronization

The base domain that is shared by all domains that are used to perform abstract interpretations of methods.

Self Type
BaseBugPickerAnalysisDomain with DefaultClassValuesBinding
Linear Supertypes
IgnoreSynchronization, DefaultHandlingOfMethodResults, DefaultHandlingForReturnInstructions, DefaultHandlingOfVoidReturns, DefaultHandlingForThrownExceptions, ReturnInstructionsDomain, MaxArrayLengthRefinement, TypeLevelReferenceValues, AsJavaObject, GeneralizedArrayHandling, NullPropertyRefinement, ConcretePrimitiveValuesConversions, TypeLevelPrimitiveValuesConversions, DefaultTypeLevelDoubleValues, TypeLevelDoubleValues, DefaultTypeLevelFloatValues, TypeLevelFloatValues, LongSetValuesShiftOperators, DefaultLongSetValues, LongSetValues, ConcreteLongValues, DefaultIntegerRangeValues, IntegerRangeValues, ConcreteIntegerValues, IntegerRangeValuesFactory, SpecialMethodsHandling, RefinedTypeLevelInvokeInstructions, MethodCallsDomainWithMethodLockup, Callees, TypeLevelInvokeInstructions, MethodCallsHandling, RefinedTypeLevelFieldAccessInstructions, TypeLevelFieldAccessInstructions, ThrowAllPotentialExceptionsConfiguration, DefaultDomainValueBinding, TheMethod, TheCode, TheProject, ThePropertyStore, LogContextProvider, TheClassHierarchy, CorrelationalDomain, CorrelationalDomainSupport, IdentityBasedCorrelationChangeDetection, JoinStabilization, Domain, Configuration, TypedValuesFactory, PrimitiveValuesConversionsDomain, ReturnInstructionsDomain, MonitorInstructionsDomain, MethodCallsDomain, FieldAccessesDomain, ReferenceValuesDomain, ReferenceValuesFactory, ExceptionsFactory, DoubleValuesDomain, DoubleValuesFactory, FloatValuesDomain, FloatValuesFactory, LongValuesDomain, LongValuesFactory, IntegerValuesDomain, IntegerValuesFactory, CoreDomainFunctionality, SubroutinesDomain, ValuesDomain, AnyRef, Any
Known Subclasses
BasePerformInvocationBugPickerAnalysisDomain, FallbackBugPickerAnalysisDomain, InvocationBugPickerAnalysisDomain, RootBugPickerAnalysisDomain
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. BaseBugPickerAnalysisDomain
  2. IgnoreSynchronization
  3. DefaultHandlingOfMethodResults
  4. DefaultHandlingForReturnInstructions
  5. DefaultHandlingOfVoidReturns
  6. DefaultHandlingForThrownExceptions
  7. ReturnInstructionsDomain
  8. MaxArrayLengthRefinement
  9. TypeLevelReferenceValues
  10. AsJavaObject
  11. GeneralizedArrayHandling
  12. NullPropertyRefinement
  13. ConcretePrimitiveValuesConversions
  14. TypeLevelPrimitiveValuesConversions
  15. DefaultTypeLevelDoubleValues
  16. TypeLevelDoubleValues
  17. DefaultTypeLevelFloatValues
  18. TypeLevelFloatValues
  19. LongSetValuesShiftOperators
  20. DefaultLongSetValues
  21. LongSetValues
  22. ConcreteLongValues
  23. DefaultIntegerRangeValues
  24. IntegerRangeValues
  25. ConcreteIntegerValues
  26. IntegerRangeValuesFactory
  27. SpecialMethodsHandling
  28. RefinedTypeLevelInvokeInstructions
  29. MethodCallsDomainWithMethodLockup
  30. Callees
  31. TypeLevelInvokeInstructions
  32. MethodCallsHandling
  33. RefinedTypeLevelFieldAccessInstructions
  34. TypeLevelFieldAccessInstructions
  35. ThrowAllPotentialExceptionsConfiguration
  36. DefaultDomainValueBinding
  37. TheMethod
  38. TheCode
  39. TheProject
  40. ThePropertyStore
  41. LogContextProvider
  42. TheClassHierarchy
  43. CorrelationalDomain
  44. CorrelationalDomainSupport
  45. IdentityBasedCorrelationChangeDetection
  46. JoinStabilization
  47. Domain
  48. Configuration
  49. TypedValuesFactory
  50. PrimitiveValuesConversionsDomain
  51. ReturnInstructionsDomain
  52. MonitorInstructionsDomain
  53. MethodCallsDomain
  54. FieldAccessesDomain
  55. ReferenceValuesDomain
  56. ReferenceValuesFactory
  57. ExceptionsFactory
  58. DoubleValuesDomain
  59. DoubleValuesFactory
  60. FloatValuesDomain
  61. FloatValuesFactory
  62. LongValuesDomain
  63. LongValuesFactory
  64. IntegerValuesDomain
  65. IntegerValuesFactory
  66. CoreDomainFunctionality
  67. SubroutinesDomain
  68. ValuesDomain
  69. AnyRef
  70. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. class ALongValue extends (DefaultLongSetValues.this)#ALongValue
    Definition Classes
    DefaultLongSetValues
  2. abstract type AReferenceValue <: (BaseBugPickerAnalysisDomain.this)#DomainReferenceValue with (BaseBugPickerAnalysisDomain.this)#ReferenceValue
    Definition Classes
    TypeLevelReferenceValues
  3. class AnIntegerValue extends (DefaultIntegerRangeValues.this)#AnIntegerValue
    Definition Classes
    DefaultIntegerRangeValues
  4. trait ArrayAbstraction extends AnyRef
    Definition Classes
    TypeLevelReferenceValues
  5. type ArrayLoadResult = Computation[(BaseBugPickerAnalysisDomain.this)#DomainValue, (BaseBugPickerAnalysisDomain.this)#ExceptionValues]
    Definition Classes
    ReferenceValuesDomain
  6. type ArrayStoreResult = Computation[Nothing, (BaseBugPickerAnalysisDomain.this)#ExceptionValues]
    Definition Classes
    ReferenceValuesDomain
  7. trait ArrayValue extends (TypeLevelReferenceValues.this)#ReferenceValue
    Attributes
    protected[this]
    Definition Classes
    TypeLevelReferenceValues
  8. abstract type DomainArrayValue <: (BaseBugPickerAnalysisDomain.this)#ArrayValue with (BaseBugPickerAnalysisDomain.this)#AReferenceValue
    Definition Classes
    TypeLevelReferenceValues
  9. final type DomainIllegalValue = (BaseBugPickerAnalysisDomain.this)#IllegalValue
    Definition Classes
    DefaultDomainValueBinding → ValuesDomain
  10. abstract type DomainNullValue <: (BaseBugPickerAnalysisDomain.this)#NullValue with (BaseBugPickerAnalysisDomain.this)#AReferenceValue
    Definition Classes
    TypeLevelReferenceValues
  11. abstract type DomainObjectValue <: (BaseBugPickerAnalysisDomain.this)#ObjectValue with (BaseBugPickerAnalysisDomain.this)#AReferenceValue
    Definition Classes
    TypeLevelReferenceValues
  12. abstract type DomainReferenceValue >: Null <: (BaseBugPickerAnalysisDomain.this)#ReferenceValue with (BaseBugPickerAnalysisDomain.this)#DomainTypedValue[ReferenceType]
    Definition Classes
    ValuesDomain
  13. final type DomainReturnAddressValue = (BaseBugPickerAnalysisDomain.this)#ReturnAddressValue
    Definition Classes
    DefaultDomainValueBinding → ValuesDomain
  14. final type DomainReturnAddressValues = (BaseBugPickerAnalysisDomain.this)#ReturnAddressValues
    Definition Classes
    DefaultDomainValueBinding → ValuesDomain
  15. final type DomainTypedValue[+T <: Type] = (BaseBugPickerAnalysisDomain.this)#TypedValue[T]
    Definition Classes
    DefaultDomainValueBinding → ValuesDomain
  16. final type DomainValue = (BaseBugPickerAnalysisDomain.this)#Value
    Definition Classes
    DefaultDomainValueBinding → ValuesDomain
  17. trait DoubleValue extends (TypeLevelDoubleValues.this)#TypedValue[DoubleType] with IsDoubleValue[(TypeLevelDoubleValues.this)#DoubleValue]
    Definition Classes
    TypeLevelDoubleValues
  18. type ExceptionValue = (BaseBugPickerAnalysisDomain.this)#DomainReferenceValue
    Definition Classes
    ValuesDomain
  19. type ExceptionValues = Iterable[(BaseBugPickerAnalysisDomain.this)#ExceptionValue]
    Definition Classes
    ValuesDomain
  20. trait FloatValue extends (TypeLevelFloatValues.this)#TypedValue[FloatType] with IsFloatValue[(TypeLevelFloatValues.this)#FloatValue]
    Definition Classes
    TypeLevelFloatValues
  21. class IllegalValue extends Value
    Attributes
    protected
    Definition Classes
    ValuesDomain
  22. sealed trait IntegerLikeValue extends (IntegerRangeValues.this)#TypedValue[CTIntType] with IsIntegerValue[(IntegerRangeValues.this)#IntegerLikeValue]
    Definition Classes
    IntegerRangeValues
  23. class IntegerRange extends (DefaultIntegerRangeValues.this)#IntegerRange
    Definition Classes
    DefaultIntegerRangeValues
  24. type IntegerValueOrArithmeticException = Computation[(BaseBugPickerAnalysisDomain.this)#DomainValue, (BaseBugPickerAnalysisDomain.this)#ExceptionValue]
    Definition Classes
    IntegerValuesDomain
  25. type Locals = collection.mutable.Locals[(BaseBugPickerAnalysisDomain.this)#DomainValue]
    Definition Classes
    ValuesDomain
  26. type LocalsArray = Array[(BaseBugPickerAnalysisDomain.this)#Locals]
    Definition Classes
    ValuesDomain
  27. class LongSet extends (DefaultLongSetValues.this)#LongSet
    Definition Classes
    DefaultLongSetValues
  28. sealed trait LongValue extends (LongSetValues.this)#TypedValue[LongType] with IsLongValue[(LongSetValues.this)#LongValue]
    Definition Classes
    LongSetValues
  29. type LongValueOrArithmeticException = Computation[(BaseBugPickerAnalysisDomain.this)#DomainValue, (BaseBugPickerAnalysisDomain.this)#ExceptionValue]
    Definition Classes
    LongValuesDomain
  30. type MethodCallResult = Computation[(BaseBugPickerAnalysisDomain.this)#DomainValue, (BaseBugPickerAnalysisDomain.this)#ExceptionValues]
    Definition Classes
    MethodCallsDomain
  31. trait NullValue extends (TypeLevelReferenceValues.this)#ReferenceValue
    Attributes
    protected
    Definition Classes
    TypeLevelReferenceValues
  32. trait ObjectValue extends (TypeLevelReferenceValues.this)#ReferenceValue
    Attributes
    protected[this]
    Definition Classes
    TypeLevelReferenceValues
  33. type Operands = Chain[(BaseBugPickerAnalysisDomain.this)#DomainValue]
    Definition Classes
    ValuesDomain
  34. type OperandsArray = Array[(BaseBugPickerAnalysisDomain.this)#Operands]
    Definition Classes
    ValuesDomain
  35. trait RETValue extends Value
    Definition Classes
    ValuesDomain
  36. trait ReferenceValue extends (TypeLevelReferenceValues.this)#ReferenceValue with (TypeLevelReferenceValues.this)#ArrayAbstraction
    Definition Classes
    TypeLevelReferenceValues
  37. class ReturnAddressValue extends RETValue
    Definition Classes
    ValuesDomain
  38. class ReturnAddressValues extends RETValue
    Definition Classes
    ValuesDomain
  39. trait SReferenceValue[T <: ReferenceType] extends (TypeLevelReferenceValues.this)#ReferenceValue
    Attributes
    protected[this]
    Definition Classes
    TypeLevelReferenceValues
  40. trait TypedValue[+T <: Type] extends Value with KnownType
    Definition Classes
    ValuesDomain
  41. trait Value extends AnyRef
    Definition Classes
    ValuesDomain

Abstract Value Members

  1. abstract def ArithmeticException(origin: ValueOrigin): (BaseBugPickerAnalysisDomain.this)#ExceptionValue
    Definition Classes
    ExceptionsFactory
  2. abstract def ArrayIndexOutOfBoundsException(origin: ValueOrigin): (BaseBugPickerAnalysisDomain.this)#ExceptionValue
    Definition Classes
    ExceptionsFactory
  3. abstract def ArrayStoreException(origin: ValueOrigin): (BaseBugPickerAnalysisDomain.this)#ExceptionValue
    Definition Classes
    ExceptionsFactory
  4. abstract def ArrayValue(pc: PC, arrayType: ArrayType): (BaseBugPickerAnalysisDomain.this)#DomainArrayValue
    Attributes
    protected
    Definition Classes
    TypeLevelReferenceValues
  5. abstract def ClassCastException(origin: ValueOrigin): (BaseBugPickerAnalysisDomain.this)#ExceptionValue
    Definition Classes
    ExceptionsFactory
  6. abstract def ClassNotFoundException(origin: ValueOrigin): (BaseBugPickerAnalysisDomain.this)#ExceptionValue
    Definition Classes
    ExceptionsFactory
  7. abstract val DomainReferenceValue: ClassTag[(BaseBugPickerAnalysisDomain.this)#DomainReferenceValue]
    Definition Classes
    ValuesDomain
  8. abstract def IllegalMonitorStateException(origin: ValueOrigin): (BaseBugPickerAnalysisDomain.this)#ExceptionValue
    Definition Classes
    ExceptionsFactory
  9. abstract def NegativeArraySizeException(origin: ValueOrigin): (BaseBugPickerAnalysisDomain.this)#ExceptionValue
    Definition Classes
    ExceptionsFactory
  10. abstract def NullPointerException(origin: ValueOrigin): (BaseBugPickerAnalysisDomain.this)#ExceptionValue
    Definition Classes
    ExceptionsFactory
  11. abstract def NullValue(pc: PC): (BaseBugPickerAnalysisDomain.this)#DomainNullValue
    Definition Classes
    TypeLevelReferenceValues → ReferenceValuesFactory
  12. abstract def ObjectValue(pc: PC, upperTypeBound: UIDSet[ObjectType]): (BaseBugPickerAnalysisDomain.this)#DomainObjectValue
    Definition Classes
    TypeLevelReferenceValues
  13. abstract def ObjectValue(pc: PC, objectType: ObjectType): (BaseBugPickerAnalysisDomain.this)#DomainObjectValue
    Definition Classes
    TypeLevelReferenceValues
  14. abstract def Throwable(origin: ValueOrigin): (BaseBugPickerAnalysisDomain.this)#ExceptionValue
    Definition Classes
    ExceptionsFactory
  15. abstract def cache: CallGraphCache[MethodSignature, Set[Method]]
    Definition Classes
    Callees
  16. abstract val fieldValueInformation: FieldValueInformation
    Definition Classes
    RefinedTypeLevelFieldAccessInstructions
  17. abstract def method: Method
    Definition Classes
    TheMethod
  18. abstract val methodReturnValueInformation: MethodReturnValueInformation
    Definition Classes
    RefinedTypeLevelInvokeInstructions
  19. implicit abstract def project: SomeProject
    Definition Classes
    Callees

Concrete Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. def AnIntegerValue(): (BaseBugPickerAnalysisDomain.this)#AnIntegerValue
    Definition Classes
    DefaultIntegerRangeValues
  5. def BooleanValue(origin: ValueOrigin, value: Boolean): (BaseBugPickerAnalysisDomain.this)#DomainTypedValue[CTIntType]
    Definition Classes
    DefaultIntegerRangeValues → IntegerValuesFactory
  6. def BooleanValue(origin: ValueOrigin): (BaseBugPickerAnalysisDomain.this)#DomainTypedValue[CTIntType]
    Definition Classes
    DefaultIntegerRangeValues → IntegerValuesFactory
  7. def ByteValue(origin: ValueOrigin, value: Byte): (BaseBugPickerAnalysisDomain.this)#DomainTypedValue[CTIntType]
    Definition Classes
    DefaultIntegerRangeValues → IntegerValuesFactory
  8. def ByteValue(origin: ValueOrigin): (BaseBugPickerAnalysisDomain.this)#DomainTypedValue[CTIntType]
    Definition Classes
    DefaultIntegerRangeValues → IntegerValuesFactory
  9. def CharValue(origin: ValueOrigin, value: Char): (BaseBugPickerAnalysisDomain.this)#DomainTypedValue[CTIntType]
    Definition Classes
    DefaultIntegerRangeValues → IntegerValuesFactory
  10. def CharValue(origin: ValueOrigin): (BaseBugPickerAnalysisDomain.this)#DomainTypedValue[CTIntType]
    Definition Classes
    DefaultIntegerRangeValues → IntegerValuesFactory
  11. def ClassValue(pc: PC, t: Type): (BaseBugPickerAnalysisDomain.this)#DomainObjectValue
    Definition Classes
    TypeLevelReferenceValues → ReferenceValuesFactory
  12. final def ConstantFieldValue(pc: PC, cv: ConstantFieldValue[_]): (BaseBugPickerAnalysisDomain.this)#DomainValue
    Definition Classes
    Domain
  13. final def DefaultValue(origin: ValueOrigin, theType: FieldType): (BaseBugPickerAnalysisDomain.this)#DomainValue
    Definition Classes
    TypedValuesFactory
  14. final val DomainValue: ClassTag[(BaseBugPickerAnalysisDomain.this)#DomainValue]
    Definition Classes
    DefaultDomainValueBinding → ValuesDomain
  15. final def DoubleValue(valueOrigin: ValueOrigin, value: Double): (BaseBugPickerAnalysisDomain.this)#DoubleValue
    Definition Classes
    DefaultTypeLevelDoubleValues → DoubleValuesFactory
  16. final def DoubleValue(valueOrigin: ValueOrigin): (BaseBugPickerAnalysisDomain.this)#DoubleValue
    Definition Classes
    DefaultTypeLevelDoubleValues → DoubleValuesFactory
  17. def FloatValue(valueOrigin: ValueOrigin, value: Float): (BaseBugPickerAnalysisDomain.this)#FloatValue
    Definition Classes
    DefaultTypeLevelFloatValues → FloatValuesFactory
  18. def FloatValue(valueOrigin: ValueOrigin): (BaseBugPickerAnalysisDomain.this)#FloatValue
    Definition Classes
    DefaultTypeLevelFloatValues → FloatValuesFactory
  19. def InitializedArrayValue(pc: PC, arrayType: ArrayType, counts: Chain[Int]): (BaseBugPickerAnalysisDomain.this)#DomainArrayValue
    Definition Classes
    TypeLevelReferenceValues → ReferenceValuesFactory
  20. def InitializedObjectValue(pc: PC, objectType: ObjectType): (BaseBugPickerAnalysisDomain.this)#DomainObjectValue
    Definition Classes
    TypeLevelReferenceValues → ReferenceValuesFactory
  21. final def IntegerConstant0: (BaseBugPickerAnalysisDomain.this)#DomainTypedValue[CTIntType]
    Definition Classes
    IntegerValuesFactory
  22. final def IntegerRange(lb: Int, ub: Int): (BaseBugPickerAnalysisDomain.this)#IntegerRange
    Definition Classes
    DefaultIntegerRangeValues → IntegerRangeValues
    Annotations
    @inline()
  23. final def IntegerRange(origin: ValueOrigin, lowerBound: Int, upperBound: Int): (BaseBugPickerAnalysisDomain.this)#DomainTypedValue[CTIntType]
    Definition Classes
    IntegerRangeValues → IntegerRangeValuesFactory
  24. def IntegerRange(value: Int): (BaseBugPickerAnalysisDomain.this)#DomainTypedValue[CTIntType]
    Definition Classes
    IntegerRangeValues
  25. def IntegerValue(origin: ValueOrigin, value: Int): (BaseBugPickerAnalysisDomain.this)#DomainTypedValue[CTIntType]
    Definition Classes
    DefaultIntegerRangeValues → IntegerValuesFactory
  26. def IntegerValue(origin: ValueOrigin): (BaseBugPickerAnalysisDomain.this)#DomainTypedValue[CTIntType]
    Definition Classes
    DefaultIntegerRangeValues → IntegerValuesFactory
  27. def LongSet(values: SortedSet[Long]): (BaseBugPickerAnalysisDomain.this)#LongSet
    Definition Classes
    DefaultLongSetValues → LongSetValues
  28. def LongSet(value: Long): (BaseBugPickerAnalysisDomain.this)#DomainTypedValue[LongType]
    Definition Classes
    LongSetValues
  29. def LongValue(origin: ValueOrigin, value: Long): (BaseBugPickerAnalysisDomain.this)#LongSet
    Definition Classes
    DefaultLongSetValues → LongValuesFactory
  30. def LongValue(origin: ValueOrigin): (BaseBugPickerAnalysisDomain.this)#ALongValue
    Definition Classes
    DefaultLongSetValues → LongValuesFactory
  31. final val MetaInformationUpdateIllegalValue: MetaInformationUpdate[(BaseBugPickerAnalysisDomain.this)#DomainIllegalValue]
    Definition Classes
    DefaultDomainValueBinding → ValuesDomain
  32. def MethodCallResult(potentialExceptions: Iterable[(BaseBugPickerAnalysisDomain.this)#ExceptionValue]): (BaseBugPickerAnalysisDomain.this)#MethodCallResult
    Attributes
    protected[this]
    Definition Classes
    MethodCallsHandling
  33. def MethodCallResult(returnValue: (BaseBugPickerAnalysisDomain.this)#DomainValue, exceptions: Iterable[(BaseBugPickerAnalysisDomain.this)#ExceptionValue]): (BaseBugPickerAnalysisDomain.this)#MethodCallResult
    Attributes
    protected[this]
    Definition Classes
    MethodCallsHandling
  34. def MethodHandle(origin: ValueOrigin, handle: MethodHandle): (BaseBugPickerAnalysisDomain.this)#DomainReferenceValue
    Definition Classes
    ReferenceValuesFactory
  35. def MethodType(origin: ValueOrigin, descriptor: MethodDescriptor): (BaseBugPickerAnalysisDomain.this)#DomainReferenceValue
    Definition Classes
    ReferenceValuesFactory
  36. def NewArray(pc: PC, counts: (BaseBugPickerAnalysisDomain.this)#Operands, arrayType: ArrayType): (BaseBugPickerAnalysisDomain.this)#DomainArrayValue
    Definition Classes
    TypeLevelReferenceValues
  37. def NewArray(pc: PC, count: (BaseBugPickerAnalysisDomain.this)#DomainValue, arrayType: ArrayType): (BaseBugPickerAnalysisDomain.this)#DomainArrayValue
    Definition Classes
    TypeLevelReferenceValues
  38. def NewObject(pc: PC, objectType: ObjectType): (BaseBugPickerAnalysisDomain.this)#DomainObjectValue
    Definition Classes
    TypeLevelReferenceValues → ReferenceValuesFactory
  39. def NonNullObjectValue(pc: PC, objectType: ObjectType): (BaseBugPickerAnalysisDomain.this)#DomainObjectValue
    Definition Classes
    TypeLevelReferenceValues → ReferenceValuesFactory
  40. def ReferenceValue(pc: PC, upperTypeBound: ReferenceType): (BaseBugPickerAnalysisDomain.this)#AReferenceValue
    Definition Classes
    TypeLevelReferenceValues → ReferenceValuesFactory
  41. final def ReturnAddressValue(address: Int): (BaseBugPickerAnalysisDomain.this)#ReturnAddressValue
    Definition Classes
    DefaultDomainValueBinding → ValuesDomain
  42. def ShortValue(origin: ValueOrigin, value: Short): (BaseBugPickerAnalysisDomain.this)#DomainTypedValue[CTIntType]
    Definition Classes
    DefaultIntegerRangeValues → IntegerValuesFactory
  43. def ShortValue(origin: ValueOrigin): (BaseBugPickerAnalysisDomain.this)#DomainTypedValue[CTIntType]
    Definition Classes
    DefaultIntegerRangeValues → IntegerValuesFactory
  44. def StringValue(pc: PC, value: String): (BaseBugPickerAnalysisDomain.this)#DomainObjectValue
    Definition Classes
    TypeLevelReferenceValues → ReferenceValuesFactory
  45. final def StructuralUpdateIllegalValue: StructuralUpdate[Nothing]
    Definition Classes
    ValuesDomain
  46. final val TheIllegalValue: (BaseBugPickerAnalysisDomain.this)#DomainIllegalValue
    Definition Classes
    DefaultDomainValueBinding → ValuesDomain
  47. final val TheReturnAddressValues: (BaseBugPickerAnalysisDomain.this)#ReturnAddressValues
    Definition Classes
    DefaultDomainValueBinding → ValuesDomain
  48. def TypedValue(origin: ValueOrigin, valueType: Type): (BaseBugPickerAnalysisDomain.this)#DomainValue
    Definition Classes
    TypedValuesFactory
  49. final def VMArithmeticException(pc: PC): (BaseBugPickerAnalysisDomain.this)#ExceptionValue
    Definition Classes
    ExceptionsFactory
  50. final def VMArrayIndexOutOfBoundsException(pc: PC): (BaseBugPickerAnalysisDomain.this)#ExceptionValue
    Definition Classes
    ExceptionsFactory
  51. final def VMArrayStoreException(pc: PC): (BaseBugPickerAnalysisDomain.this)#ExceptionValue
    Definition Classes
    ExceptionsFactory
  52. final def VMClassCastException(pc: PC): (BaseBugPickerAnalysisDomain.this)#ExceptionValue
    Definition Classes
    ExceptionsFactory
  53. final def VMClassNotFoundException(pc: PC): (BaseBugPickerAnalysisDomain.this)#ExceptionValue
    Definition Classes
    ExceptionsFactory
  54. final def VMIllegalMonitorStateException(pc: PC): (BaseBugPickerAnalysisDomain.this)#ExceptionValue
    Definition Classes
    ExceptionsFactory
  55. final def VMNegativeArraySizeException(pc: PC): (BaseBugPickerAnalysisDomain.this)#ExceptionValue
    Definition Classes
    ExceptionsFactory
  56. final def VMNullPointerException(pc: PC): (BaseBugPickerAnalysisDomain.this)#ExceptionValue
    Definition Classes
    ExceptionsFactory
  57. final def VMThrowable(pc: PC): (BaseBugPickerAnalysisDomain.this)#ExceptionValue
    Definition Classes
    ExceptionsFactory
  58. def aaload(pc: PC, index: (BaseBugPickerAnalysisDomain.this)#DomainValue, arrayref: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#ArrayLoadResult
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain
  59. def aastore(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue, index: (BaseBugPickerAnalysisDomain.this)#DomainValue, arrayref: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#ArrayStoreResult
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain
  60. def abortProcessingExceptionsOfCalledMethodsOnUnknownException: Boolean
    Definition Classes
    ThrowAllPotentialExceptionsConfiguration → Configuration
  61. def abortProcessingThrownExceptionsOnUnknownException: Boolean
    Definition Classes
    ThrowAllPotentialExceptionsConfiguration → Configuration
  62. def abruptMethodExecution(pc: PC, exception: (BaseBugPickerAnalysisDomain.this)#ExceptionValue): Unit
    Definition Classes
    DefaultHandlingForThrownExceptions → ReturnInstructionsDomain
  63. def abstractInterpretationEnded(aiResult: AIResult { val domain: org.opalj.<refinement>.type }): Unit
    Definition Classes
    CoreDomainFunctionality
  64. def afterBaseJoin(pc: PC): Unit
    Attributes
    protected[this]
    Definition Classes
    JoinStabilization → CoreDomainFunctionality
  65. def afterEvaluation(pc: PC, instruction: Instruction, oldOperands: (BaseBugPickerAnalysisDomain.this)#Operands, oldLocals: (BaseBugPickerAnalysisDomain.this)#Locals, targetPC: PC, isExceptionalControlFlow: Boolean, newOperands: (BaseBugPickerAnalysisDomain.this)#Operands, newLocals: (BaseBugPickerAnalysisDomain.this)#Locals): ((BaseBugPickerAnalysisDomain.this)#Operands, (BaseBugPickerAnalysisDomain.this)#Locals)
    Definition Classes
    NullPropertyRefinement → CoreDomainFunctionality
  66. def areturn(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue): Computation[Nothing, (BaseBugPickerAnalysisDomain.this)#ExceptionValue]
    Definition Classes
    DefaultHandlingForReturnInstructions → ReturnInstructionsDomain
  67. def arraylength(pc: PC, arrayref: (BaseBugPickerAnalysisDomain.this)#DomainValue): Computation[(BaseBugPickerAnalysisDomain.this)#DomainValue, (BaseBugPickerAnalysisDomain.this)#ExceptionValue]
    Definition Classes
    MaxArrayLengthRefinement → TypeLevelReferenceValues → ReferenceValuesDomain
  68. def arrayload(pc: PC, index: (BaseBugPickerAnalysisDomain.this)#DomainValue, arrayref: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#ArrayLoadResult
    Definition Classes
    TypeLevelReferenceValues → GeneralizedArrayHandling
  69. def arraystore(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue, index: (BaseBugPickerAnalysisDomain.this)#DomainValue, arrayref: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#ArrayStoreResult
    Definition Classes
    TypeLevelReferenceValues → GeneralizedArrayHandling
  70. def asArrayAbstraction(value: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#ArrayAbstraction
    Definition Classes
    TypeLevelReferenceValues
  71. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  72. def asObjectValue(value: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainObjectValue
    Definition Classes
    TypeLevelReferenceValues
  73. def asReferenceValue(value: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#AReferenceValue
    Definition Classes
    TypeLevelReferenceValues
  74. def baload(pc: PC, index: (BaseBugPickerAnalysisDomain.this)#DomainValue, arrayref: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#ArrayLoadResult
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain
  75. def bastore(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue, index: (BaseBugPickerAnalysisDomain.this)#DomainValue, arrayref: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#ArrayStoreResult
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain
  76. def beforeBaseJoin(pc: PC): Unit
    Attributes
    protected[this]
    Definition Classes
    CoreDomainFunctionality
  77. def callees(caller: Method, declaringClassType: ObjectType, isInterface: Boolean, name: String, descriptor: MethodDescriptor): Set[Method]
    Definition Classes
    Callees
    Annotations
    @inline()
  78. def caload(pc: PC, index: (BaseBugPickerAnalysisDomain.this)#DomainValue, arrayref: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#ArrayLoadResult
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain
  79. def castore(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue, index: (BaseBugPickerAnalysisDomain.this)#DomainValue, arrayref: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#ArrayStoreResult
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain
  80. final def classFile: ClassFile
    Definition Classes
    TheMethod
    Annotations
    @inline()
  81. implicit final def classHierarchy: ClassHierarchy
    Definition Classes
    TheProject → TheClassHierarchy
    Annotations
    @inline()
  82. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  83. final val code: Code
    Definition Classes
    TheMethod → TheCode
  84. def createLongValueOrArithmeticException(pc: PC, exception: Boolean, results: SortedSet[Long]): (BaseBugPickerAnalysisDomain.this)#LongValueOrArithmeticException
    Attributes
    protected[this]
    Definition Classes
    LongSetValues
  85. def d2f(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue
    Definition Classes
    TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain
  86. def d2i(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue
    Definition Classes
    TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain
  87. def d2l(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue
    Definition Classes
    TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain
  88. def dadd(pc: PC, value1: (BaseBugPickerAnalysisDomain.this)#DomainValue, value2: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue
    Definition Classes
    TypeLevelDoubleValues → DoubleValuesDomain
  89. def daload(pc: PC, index: (BaseBugPickerAnalysisDomain.this)#DomainValue, arrayref: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#ArrayLoadResult
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain
  90. def dastore(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue, index: (BaseBugPickerAnalysisDomain.this)#DomainValue, arrayref: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#ArrayStoreResult
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain
  91. def dcmpg(pc: PC, value1: (BaseBugPickerAnalysisDomain.this)#DomainValue, value2: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue
    Definition Classes
    TypeLevelDoubleValues → DoubleValuesDomain
  92. def dcmpl(pc: PC, value1: (BaseBugPickerAnalysisDomain.this)#DomainValue, value2: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue
    Definition Classes
    TypeLevelDoubleValues → DoubleValuesDomain
  93. def ddiv(pc: PC, value1: (BaseBugPickerAnalysisDomain.this)#DomainValue, value2: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue
    Definition Classes
    TypeLevelDoubleValues → DoubleValuesDomain
  94. def dmul(pc: PC, value1: (BaseBugPickerAnalysisDomain.this)#DomainValue, value2: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue
    Definition Classes
    TypeLevelDoubleValues → DoubleValuesDomain
  95. def dneg(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue
    Definition Classes
    TypeLevelDoubleValues → DoubleValuesDomain
  96. def doGetfield(pc: PC, objectref: (BaseBugPickerAnalysisDomain.this)#DomainValue, fieldValue: (BaseBugPickerAnalysisDomain.this)#DomainValue): Computation[(BaseBugPickerAnalysisDomain.this)#DomainValue, (BaseBugPickerAnalysisDomain.this)#ExceptionValue]
    Definition Classes
    TypeLevelFieldAccessInstructions
  97. def doGetstatic(pc: PC, fieldValue: (BaseBugPickerAnalysisDomain.this)#DomainValue): Computation[(BaseBugPickerAnalysisDomain.this)#DomainValue, Nothing]
    Definition Classes
    TypeLevelFieldAccessInstructions
  98. def doInvoke(pc: PC, method: Method, operands: (BaseBugPickerAnalysisDomain.this)#Operands, fallback: () ⇒ (BaseBugPickerAnalysisDomain.this)#MethodCallResult): (BaseBugPickerAnalysisDomain.this)#MethodCallResult
    Attributes
    protected[this]
    Definition Classes
    RefinedTypeLevelInvokeInstructions → MethodCallsDomainWithMethodLockup
  99. def doNonVirtualInvoke(pc: PC, declaringType: ObjectType, isInterface: Boolean, name: String, descriptor: MethodDescriptor, operands: (BaseBugPickerAnalysisDomain.this)#Operands, fallback: () ⇒ (BaseBugPickerAnalysisDomain.this)#MethodCallResult): (BaseBugPickerAnalysisDomain.this)#MethodCallResult
    Attributes
    protected[this]
    Definition Classes
    MethodCallsDomainWithMethodLockup
  100. def doVirtualInvoke(pc: PC, declaringType: ObjectType, isInterface: Boolean, name: String, descriptor: MethodDescriptor, operands: (BaseBugPickerAnalysisDomain.this)#Operands, fallback: () ⇒ (BaseBugPickerAnalysisDomain.this)#MethodCallResult): (BaseBugPickerAnalysisDomain.this)#MethodCallResult
    Attributes
    protected[this]
    Definition Classes
    MethodCallsDomainWithMethodLockup
  101. def drem(pc: PC, value1: (BaseBugPickerAnalysisDomain.this)#DomainValue, value2: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue
    Definition Classes
    TypeLevelDoubleValues → DoubleValuesDomain
  102. def dreturn(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue): Computation[Nothing, (BaseBugPickerAnalysisDomain.this)#ExceptionValue]
    Definition Classes
    DefaultHandlingForReturnInstructions → ReturnInstructionsDomain
  103. def dsub(pc: PC, value1: (BaseBugPickerAnalysisDomain.this)#DomainValue, value2: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue
    Definition Classes
    TypeLevelDoubleValues → DoubleValuesDomain
  104. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  105. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  106. def evaluationCompleted(pc: PC, worklist: Chain[PC], evaluated: Chain[PC], operandsArray: (BaseBugPickerAnalysisDomain.this)#OperandsArray, localsArray: (BaseBugPickerAnalysisDomain.this)#LocalsArray, tracer: Option[AITracer]): Unit
    Definition Classes
    CoreDomainFunctionality
  107. def f2d(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue
    Definition Classes
    TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain
  108. def f2i(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue
    Definition Classes
    TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain
  109. def f2l(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue
    Definition Classes
    TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain
  110. def fadd(pc: PC, value1: (BaseBugPickerAnalysisDomain.this)#DomainValue, value2: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue
    Definition Classes
    TypeLevelFloatValues → FloatValuesDomain
  111. def faload(pc: PC, index: (BaseBugPickerAnalysisDomain.this)#DomainValue, arrayref: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#ArrayLoadResult
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain
  112. def fastore(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue, index: (BaseBugPickerAnalysisDomain.this)#DomainValue, arrayref: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#ArrayStoreResult
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain
  113. def fcmpg(pc: PC, value1: (BaseBugPickerAnalysisDomain.this)#DomainValue, value2: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue
    Definition Classes
    TypeLevelFloatValues → FloatValuesDomain
  114. def fcmpl(pc: PC, value1: (BaseBugPickerAnalysisDomain.this)#DomainValue, value2: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue
    Definition Classes
    TypeLevelFloatValues → FloatValuesDomain
  115. def fdiv(pc: PC, value1: (BaseBugPickerAnalysisDomain.this)#DomainValue, value2: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue
    Definition Classes
    TypeLevelFloatValues → FloatValuesDomain
  116. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  117. def flow(currentPC: PC, currentOperands: (BaseBugPickerAnalysisDomain.this)#Operands, currentLocals: (BaseBugPickerAnalysisDomain.this)#Locals, successorPC: PC, isSuccessorScheduled: Answer, isExceptionalControlFlow: Boolean, abruptSubroutineTerminationCount: Int, wasJoinPerformed: Boolean, worklist: Chain[PC], operandsArray: (BaseBugPickerAnalysisDomain.this)#OperandsArray, localsArray: (BaseBugPickerAnalysisDomain.this)#LocalsArray, tracer: Option[AITracer]): Chain[PC]
    Definition Classes
    CoreDomainFunctionality
  118. def fmul(pc: PC, value1: (BaseBugPickerAnalysisDomain.this)#DomainValue, value2: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue
    Definition Classes
    TypeLevelFloatValues → FloatValuesDomain
  119. def fneg(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue
    Definition Classes
    TypeLevelFloatValues → FloatValuesDomain
  120. def frem(pc: PC, value1: (BaseBugPickerAnalysisDomain.this)#DomainValue, value2: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue
    Definition Classes
    TypeLevelFloatValues → FloatValuesDomain
  121. def freturn(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue): Computation[Nothing, (BaseBugPickerAnalysisDomain.this)#ExceptionValue]
    Definition Classes
    DefaultHandlingForReturnInstructions → ReturnInstructionsDomain
  122. def fsub(pc: PC, value1: (BaseBugPickerAnalysisDomain.this)#DomainValue, value2: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue
    Definition Classes
    TypeLevelFloatValues → FloatValuesDomain
  123. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  124. def getPotentialExceptions(pc: PC): List[(BaseBugPickerAnalysisDomain.this)#ExceptionValue]
    Attributes
    protected[this]
    Definition Classes
    MethodCallsHandling
  125. def getfield(pc: PC, objectref: (BaseBugPickerAnalysisDomain.this)#DomainValue, declaringClass: ObjectType, fieldName: String, fieldType: FieldType): Computation[(BaseBugPickerAnalysisDomain.this)#DomainValue, (BaseBugPickerAnalysisDomain.this)#ExceptionValue]
    Definition Classes
    RefinedTypeLevelFieldAccessInstructions → TypeLevelFieldAccessInstructions → FieldAccessesDomain
  126. def getstatic(pc: PC, declaringClass: ObjectType, fieldName: String, fieldType: FieldType): Computation[(BaseBugPickerAnalysisDomain.this)#DomainValue, Nothing]
    Definition Classes
    RefinedTypeLevelFieldAccessInstructions → TypeLevelFieldAccessInstructions → FieldAccessesDomain
  127. def handleInstanceBasedInvoke(pc: PC, methodDescriptor: MethodDescriptor, targetMethods: Set[Method], receiverIsNull: Answer, operands: (BaseBugPickerAnalysisDomain.this)#Operands): (BaseBugPickerAnalysisDomain.this)#MethodCallResult
    Attributes
    protected[this]
    Definition Classes
    MethodCallsHandling
  128. def handleInstanceBasedInvoke(pc: PC, methodDescriptor: MethodDescriptor, operands: (BaseBugPickerAnalysisDomain.this)#Operands): (BaseBugPickerAnalysisDomain.this)#MethodCallResult
    Attributes
    protected[this]
    Definition Classes
    MethodCallsHandling
  129. def handleInstanceBasedInvoke(pc: PC, methodDescriptor: MethodDescriptor, receiverIsNull: Answer): (BaseBugPickerAnalysisDomain.this)#MethodCallResult
    Attributes
    protected[this]
    Definition Classes
    MethodCallsHandling
  130. def handleInvoke(pc: PC, methodDescriptor: MethodDescriptor): (BaseBugPickerAnalysisDomain.this)#MethodCallResult
    Attributes
    protected[this]
    Definition Classes
    MethodCallsHandling
  131. def handleReturn(pc: PC): Computation[Nothing, (BaseBugPickerAnalysisDomain.this)#ExceptionValue]
    Attributes
    protected[this]
    Definition Classes
    ReturnInstructionsDomain
  132. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  133. def i2b(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain
  134. def i2c(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain
  135. def i2d(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue
    Definition Classes
    ConcretePrimitiveValuesConversions → TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain
  136. def i2f(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue
    Definition Classes
    ConcretePrimitiveValuesConversions → TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain
  137. def i2l(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue
    Definition Classes
    ConcretePrimitiveValuesConversions → TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain
  138. def i2s(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain
  139. def iadd(pc: PC, value1: (BaseBugPickerAnalysisDomain.this)#DomainValue, value2: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain
  140. def iaload(pc: PC, index: (BaseBugPickerAnalysisDomain.this)#DomainValue, arrayref: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#ArrayLoadResult
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain
  141. def iand(pc: PC, value1: (BaseBugPickerAnalysisDomain.this)#DomainValue, value2: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain
  142. def iastore(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue, index: (BaseBugPickerAnalysisDomain.this)#DomainValue, arrayref: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#ArrayStoreResult
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain
  143. def idiv(pc: PC, numerator: (BaseBugPickerAnalysisDomain.this)#DomainValue, denominator: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#IntegerValueOrArithmeticException
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain
  144. def iinc(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue, increment: Int): (BaseBugPickerAnalysisDomain.this)#DomainValue
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain
  145. def imul(pc: PC, value1: (BaseBugPickerAnalysisDomain.this)#DomainValue, value2: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain
  146. def ineg(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain
  147. def intAreEqual(pc: PC, value1: (BaseBugPickerAnalysisDomain.this)#DomainValue, value2: (BaseBugPickerAnalysisDomain.this)#DomainValue): Answer
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain
  148. def intAreNotEqual(pc: PC, value1: (BaseBugPickerAnalysisDomain.this)#DomainValue, value2: (BaseBugPickerAnalysisDomain.this)#DomainValue): Answer
    Definition Classes
    IntegerValuesDomain
  149. def intEstablishAreEqual(pc: PC, value1: (BaseBugPickerAnalysisDomain.this)#DomainValue, value2: (BaseBugPickerAnalysisDomain.this)#DomainValue, operands: (BaseBugPickerAnalysisDomain.this)#Operands, locals: (BaseBugPickerAnalysisDomain.this)#Locals): ((BaseBugPickerAnalysisDomain.this)#Operands, (BaseBugPickerAnalysisDomain.this)#Locals)
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain
  150. def intEstablishAreNotEqual(pc: PC, value1: (BaseBugPickerAnalysisDomain.this)#DomainValue, value2: (BaseBugPickerAnalysisDomain.this)#DomainValue, operands: (BaseBugPickerAnalysisDomain.this)#Operands, locals: (BaseBugPickerAnalysisDomain.this)#Locals): ((BaseBugPickerAnalysisDomain.this)#Operands, (BaseBugPickerAnalysisDomain.this)#Locals)
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain
  151. def intEstablishIsLessThan(pc: PC, left: (BaseBugPickerAnalysisDomain.this)#DomainValue, right: (BaseBugPickerAnalysisDomain.this)#DomainValue, operands: (BaseBugPickerAnalysisDomain.this)#Operands, locals: (BaseBugPickerAnalysisDomain.this)#Locals): ((BaseBugPickerAnalysisDomain.this)#Operands, (BaseBugPickerAnalysisDomain.this)#Locals)
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain
  152. def intEstablishIsLessThanOrEqualTo(pc: PC, left: (BaseBugPickerAnalysisDomain.this)#DomainValue, right: (BaseBugPickerAnalysisDomain.this)#DomainValue, operands: (BaseBugPickerAnalysisDomain.this)#Operands, locals: (BaseBugPickerAnalysisDomain.this)#Locals): ((BaseBugPickerAnalysisDomain.this)#Operands, (BaseBugPickerAnalysisDomain.this)#Locals)
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain
  153. def intEstablishValue(pc: PC, theValue: Int, value: (BaseBugPickerAnalysisDomain.this)#DomainValue, operands: (BaseBugPickerAnalysisDomain.this)#Operands, locals: (BaseBugPickerAnalysisDomain.this)#Locals): ((BaseBugPickerAnalysisDomain.this)#Operands, (BaseBugPickerAnalysisDomain.this)#Locals)
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain
  154. def intIs0(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue): Answer
    Definition Classes
    IntegerValuesDomain
  155. def intIsGreaterThan(pc: PC, largerValue: (BaseBugPickerAnalysisDomain.this)#DomainValue, smallerValue: (BaseBugPickerAnalysisDomain.this)#DomainValue): Answer
    Definition Classes
    IntegerValuesDomain
  156. def intIsGreaterThan0(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue): Answer
    Definition Classes
    IntegerValuesDomain
  157. def intIsGreaterThanOrEqualTo(pc: PC, largerOrEqualValue: (BaseBugPickerAnalysisDomain.this)#DomainValue, smallerOrEqualValue: (BaseBugPickerAnalysisDomain.this)#DomainValue): Answer
    Definition Classes
    IntegerValuesDomain
  158. def intIsGreaterThanOrEqualTo0(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue): Answer
    Definition Classes
    IntegerValuesDomain
  159. def intIsLessThan(pc: PC, left: (BaseBugPickerAnalysisDomain.this)#DomainValue, right: (BaseBugPickerAnalysisDomain.this)#DomainValue): Answer
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain
  160. def intIsLessThan0(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue): Answer
    Definition Classes
    IntegerValuesDomain
  161. def intIsLessThanOrEqualTo(pc: PC, left: (BaseBugPickerAnalysisDomain.this)#DomainValue, right: (BaseBugPickerAnalysisDomain.this)#DomainValue): Answer
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain
  162. def intIsLessThanOrEqualTo0(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue): Answer
    Definition Classes
    IntegerValuesDomain
  163. def intIsNot0(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue): Answer
    Definition Classes
    IntegerValuesDomain
  164. def intIsSomeValueInRange(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue, lowerBound: Int, upperBound: Int): Answer
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain
  165. def intIsSomeValueNotInRange(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue, lowerBound: Int, upperBound: Int): Answer
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain
  166. final def intValue[T](value: (BaseBugPickerAnalysisDomain.this)#DomainValue)(f: (Int) ⇒ T)(orElse: ⇒ T): T
    Definition Classes
    IntegerRangeValues → ConcreteIntegerValues
    Annotations
    @inline()
  167. final def intValueOption(value: (BaseBugPickerAnalysisDomain.this)#DomainValue): Option[Int]
    Definition Classes
    IntegerRangeValues → ConcreteIntegerValues
    Annotations
    @inline()
  168. final def intValues[T](value1: (BaseBugPickerAnalysisDomain.this)#DomainValue, value2: (BaseBugPickerAnalysisDomain.this)#DomainValue)(f: (Int, Int) ⇒ T)(orElse: ⇒ T): T
    Attributes
    protected
    Definition Classes
    IntegerRangeValues
    Annotations
    @inline()
  169. def invokedynamic(pc: PC, bootstrapMethod: BootstrapMethod, name: String, methodDescriptor: MethodDescriptor, operands: (BaseBugPickerAnalysisDomain.this)#Operands): (BaseBugPickerAnalysisDomain.this)#MethodCallResult
    Definition Classes
    TypeLevelInvokeInstructions → MethodCallsDomain
  170. def invokeinterface(pc: PC, declaringType: ObjectType, name: String, descriptor: MethodDescriptor, operands: (BaseBugPickerAnalysisDomain.this)#Operands): (BaseBugPickerAnalysisDomain.this)#MethodCallResult
    Definition Classes
    MethodCallsDomainWithMethodLockup → MethodCallsDomain
  171. def invokespecial(pc: PC, declaringType: ObjectType, isInterface: Boolean, name: String, descriptor: MethodDescriptor, operands: (BaseBugPickerAnalysisDomain.this)#Operands): (BaseBugPickerAnalysisDomain.this)#MethodCallResult
    Definition Classes
    MethodCallsDomainWithMethodLockup → MethodCallsDomain
  172. def invokestatic(pc: PC, declaringType: ObjectType, isInterface: Boolean, name: String, descriptor: MethodDescriptor, operands: (BaseBugPickerAnalysisDomain.this)#Operands): (BaseBugPickerAnalysisDomain.this)#MethodCallResult
    Definition Classes
    SpecialMethodsHandling → MethodCallsDomain
  173. def invokevirtual(pc: PC, declaringType: ReferenceType, name: String, descriptor: MethodDescriptor, operands: (BaseBugPickerAnalysisDomain.this)#Operands): (BaseBugPickerAnalysisDomain.this)#MethodCallResult
    Definition Classes
    MethodCallsDomainWithMethodLockup → MethodCallsDomain
  174. def ior(pc: PC, value1: (BaseBugPickerAnalysisDomain.this)#DomainValue, value2: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain
  175. def irem(pc: PC, left: (BaseBugPickerAnalysisDomain.this)#DomainValue, right: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#IntegerValueOrArithmeticException
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain
  176. def ireturn(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue): Computation[Nothing, (BaseBugPickerAnalysisDomain.this)#ExceptionValue]
    Definition Classes
    DefaultHandlingForReturnInstructions → ReturnInstructionsDomain
  177. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  178. def isSubtypeOf(subtype: ReferenceType, supertype: ReferenceType): Answer
    Definition Classes
    TheClassHierarchy
  179. final def isValueSubtypeOf(value: (BaseBugPickerAnalysisDomain.this)#DomainValue, supertype: ReferenceType): Answer
    Definition Classes
    TypeLevelReferenceValues → ReferenceValuesDomain
  180. def ishl(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue, shift: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain
  181. def ishr(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue, shift: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain
  182. def isub(pc: PC, left: (BaseBugPickerAnalysisDomain.this)#DomainValue, right: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain
  183. def iushr(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue, shift: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain
  184. def ixor(pc: PC, value1: (BaseBugPickerAnalysisDomain.this)#DomainValue, value2: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain
  185. def join(pc: PC, thisOperands: (BaseBugPickerAnalysisDomain.this)#Operands, thisLocals: (BaseBugPickerAnalysisDomain.this)#Locals, otherOperands: (BaseBugPickerAnalysisDomain.this)#Operands, otherLocals: (BaseBugPickerAnalysisDomain.this)#Locals): Update[((BaseBugPickerAnalysisDomain.this)#Operands, (BaseBugPickerAnalysisDomain.this)#Locals)]
    Definition Classes
    CoreDomainFunctionality
  186. def joinPostProcessing(updateType: UpdateType, pc: PC, oldOperands: (BaseBugPickerAnalysisDomain.this)#Operands, oldLocals: (BaseBugPickerAnalysisDomain.this)#Locals, newOperands: (BaseBugPickerAnalysisDomain.this)#Operands, newLocals: (BaseBugPickerAnalysisDomain.this)#Locals): Update[((BaseBugPickerAnalysisDomain.this)#Operands, (BaseBugPickerAnalysisDomain.this)#Locals)]
    Attributes
    protected[this]
    Definition Classes
    IdentityBasedCorrelationChangeDetection → CoreDomainFunctionality
  187. def joinValues(pc: PC, left: (BaseBugPickerAnalysisDomain.this)#DomainValue, right: (BaseBugPickerAnalysisDomain.this)#DomainValue): Update[(BaseBugPickerAnalysisDomain.this)#DomainValue]
    Attributes
    protected[this]
    Definition Classes
    JoinStabilization → CoreDomainFunctionality
  188. val joinedValues: Map[IdentityPair[AnyRef, AnyRef], Update[(BaseBugPickerAnalysisDomain.this)#DomainValue]]
    Attributes
    protected[this]
    Definition Classes
    JoinStabilization
  189. def jumpToSubroutine(pc: PC, branchTarget: PC, returnTarget: PC): Unit
    Definition Classes
    SubroutinesDomain
  190. final def justThrows(value: (BaseBugPickerAnalysisDomain.this)#ExceptionValue): ThrowsException[(BaseBugPickerAnalysisDomain.this)#ExceptionValues]
    Definition Classes
    ReferenceValuesFactory
  191. def l2d(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue
    Definition Classes
    ConcretePrimitiveValuesConversions → TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain
  192. def l2f(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue
    Definition Classes
    ConcretePrimitiveValuesConversions → TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain
  193. def l2i(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue
    Definition Classes
    ConcretePrimitiveValuesConversions → TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain
  194. def ladd(pc: PC, value1: (BaseBugPickerAnalysisDomain.this)#DomainValue, value2: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue
    Definition Classes
    LongSetValues → LongValuesDomain
  195. def laload(pc: PC, index: (BaseBugPickerAnalysisDomain.this)#DomainValue, arrayref: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#ArrayLoadResult
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain
  196. def land(pc: PC, value1: (BaseBugPickerAnalysisDomain.this)#DomainValue, value2: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue
    Definition Classes
    LongSetValues → LongValuesDomain
  197. def lastore(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue, index: (BaseBugPickerAnalysisDomain.this)#DomainValue, arrayref: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#ArrayStoreResult
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain
  198. def lcmp(pc: PC, left: (BaseBugPickerAnalysisDomain.this)#DomainValue, right: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue
    Definition Classes
    LongSetValues → LongValuesDomain
  199. def ldiv(pc: PC, numerator: (BaseBugPickerAnalysisDomain.this)#DomainValue, denominator: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#LongValueOrArithmeticException
    Definition Classes
    LongSetValues → LongValuesDomain
  200. def lmul(pc: PC, value1: (BaseBugPickerAnalysisDomain.this)#DomainValue, value2: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue
    Definition Classes
    LongSetValues → LongValuesDomain
  201. def lneg(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue
    Definition Classes
    LongSetValues → LongValuesDomain
  202. implicit final def logContext: LogContext
    Definition Classes
    TheProject → LogContextProvider
  203. final def longValue[T](value: (BaseBugPickerAnalysisDomain.this)#DomainValue)(f: (Long) ⇒ T)(orElse: ⇒ T): T
    Definition Classes
    LongSetValues → ConcreteLongValues
    Annotations
    @inline()
  204. final def longValueOption(value: (BaseBugPickerAnalysisDomain.this)#DomainValue): Option[Long]
    Definition Classes
    LongSetValues → ConcreteLongValues
    Annotations
    @inline()
  205. def lor(pc: PC, value1: (BaseBugPickerAnalysisDomain.this)#DomainValue, value2: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue
    Definition Classes
    LongSetValues → LongValuesDomain
  206. def lrem(pc: PC, left: (BaseBugPickerAnalysisDomain.this)#DomainValue, right: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#LongValueOrArithmeticException
    Definition Classes
    LongSetValues → LongValuesDomain
  207. def lreturn(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue): Computation[Nothing, (BaseBugPickerAnalysisDomain.this)#ExceptionValue]
    Definition Classes
    DefaultHandlingForReturnInstructions → ReturnInstructionsDomain
  208. def lshl(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue, shift: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue
    Definition Classes
    LongSetValuesShiftOperators → LongValuesDomain
  209. def lshr(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue, shift: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue
    Definition Classes
    LongSetValuesShiftOperators → LongValuesDomain
  210. def lsub(pc: PC, left: (BaseBugPickerAnalysisDomain.this)#DomainValue, right: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue
    Definition Classes
    LongSetValues → LongValuesDomain
  211. def lushr(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue, shift: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue
    Definition Classes
    LongSetValuesShiftOperators → LongValuesDomain
  212. def lxor(pc: PC, value1: (BaseBugPickerAnalysisDomain.this)#DomainValue, value2: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue
    Definition Classes
    LongSetValues → LongValuesDomain
  213. def maxCardinalityOfIntegerRanges: Long
    Definition Classes
    IntegerRangeValues
  214. def maxCardinalityOfLongSets: Int
    Attributes
    protected
    Definition Classes
    LongSetValues
  215. def mergeDEComputations(pc: PC, c1: Computation[(BaseBugPickerAnalysisDomain.this)#DomainValue, (BaseBugPickerAnalysisDomain.this)#ExceptionValue], c2: Computation[(BaseBugPickerAnalysisDomain.this)#DomainValue, (BaseBugPickerAnalysisDomain.this)#ExceptionValue]): Computation[(BaseBugPickerAnalysisDomain.this)#DomainValue, (BaseBugPickerAnalysisDomain.this)#ExceptionValue]
    Attributes
    protected[this]
    Definition Classes
    TypeLevelReferenceValues
  216. def mergeDEsComputations(pc: PC, c1: Computation[(BaseBugPickerAnalysisDomain.this)#DomainValue, (BaseBugPickerAnalysisDomain.this)#ExceptionValues], c2: Computation[(BaseBugPickerAnalysisDomain.this)#DomainValue, (BaseBugPickerAnalysisDomain.this)#ExceptionValues]): Computation[(BaseBugPickerAnalysisDomain.this)#DomainValue, (BaseBugPickerAnalysisDomain.this)#ExceptionValues]
    Attributes
    protected[this]
    Definition Classes
    TypeLevelReferenceValues
  217. def mergeDomainValues(pc: PC, v1: (BaseBugPickerAnalysisDomain.this)#DomainValue, v2: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue
    Definition Classes
    ValuesDomain
  218. def mergeEsComputations(pc: PC, c1: Computation[Nothing, (BaseBugPickerAnalysisDomain.this)#ExceptionValues], c2: Computation[Nothing, (BaseBugPickerAnalysisDomain.this)#ExceptionValues]): Computation[Nothing, (BaseBugPickerAnalysisDomain.this)#ExceptionValues]
    Attributes
    protected[this]
    Definition Classes
    TypeLevelReferenceValues
  219. def mergeMultipleExceptionValues(pc: PC, v1s: (BaseBugPickerAnalysisDomain.this)#ExceptionValues, v2s: (BaseBugPickerAnalysisDomain.this)#ExceptionValues): (BaseBugPickerAnalysisDomain.this)#ExceptionValues
    Definition Classes
    TypeLevelReferenceValues
  220. def monitorenter(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue): Computation[Nothing, (BaseBugPickerAnalysisDomain.this)#ExceptionValue]
    Definition Classes
    IgnoreSynchronization → MonitorInstructionsDomain
  221. def monitorexit(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue): Computation[Nothing, (BaseBugPickerAnalysisDomain.this)#ExceptionValues]
    Definition Classes
    IgnoreSynchronization → MonitorInstructionsDomain
  222. def multianewarray(pc: PC, counts: (BaseBugPickerAnalysisDomain.this)#Operands, arrayType: ArrayType): Computation[(BaseBugPickerAnalysisDomain.this)#DomainArrayValue, (BaseBugPickerAnalysisDomain.this)#ExceptionValue]
    Definition Classes
    TypeLevelReferenceValues → ReferenceValuesDomain
  223. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  224. def newarray(pc: PC, count: (BaseBugPickerAnalysisDomain.this)#DomainValue, componentType: FieldType): Computation[(BaseBugPickerAnalysisDomain.this)#DomainValue, (BaseBugPickerAnalysisDomain.this)#ExceptionValue]
    Definition Classes
    TypeLevelReferenceValues → ReferenceValuesDomain
  225. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  226. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  227. def properties(pc: PC, propertyToString: (AnyRef) ⇒ String): Option[String]
    Definition Classes
    ValuesDomain
  228. final lazy val propertyStore: PropertyStore
    Definition Classes
    TheProject → ThePropertyStore
  229. def putfield(pc: PC, objectref: (BaseBugPickerAnalysisDomain.this)#DomainValue, value: (BaseBugPickerAnalysisDomain.this)#DomainValue, declaringClass: ObjectType, fieldName: String, fieldType: FieldType): Computation[Nothing, (BaseBugPickerAnalysisDomain.this)#ExceptionValue]
    Definition Classes
    TypeLevelFieldAccessInstructions → FieldAccessesDomain
  230. def putstatic(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue, declaringClass: ObjectType, fieldName: String, fieldType: FieldType): Computation[Nothing, Nothing]
    Definition Classes
    TypeLevelFieldAccessInstructions → FieldAccessesDomain
  231. def refAreEqual(pc: PC, value1: (BaseBugPickerAnalysisDomain.this)#DomainValue, value2: (BaseBugPickerAnalysisDomain.this)#DomainValue): Answer
    Definition Classes
    TypeLevelReferenceValues → ReferenceValuesDomain
  232. def refAreNotEqual(pc: PC, value1: (BaseBugPickerAnalysisDomain.this)#DomainValue, value2: (BaseBugPickerAnalysisDomain.this)#DomainValue): Answer
    Definition Classes
    ReferenceValuesDomain
  233. def refEstablishAreEqual(pc: PC, value1: (BaseBugPickerAnalysisDomain.this)#DomainValue, value2: (BaseBugPickerAnalysisDomain.this)#DomainValue, operands: (BaseBugPickerAnalysisDomain.this)#Operands, locals: (BaseBugPickerAnalysisDomain.this)#Locals): ((BaseBugPickerAnalysisDomain.this)#Operands, (BaseBugPickerAnalysisDomain.this)#Locals)
    Definition Classes
    ReferenceValuesDomain
  234. def refEstablishAreNotEqual(pc: PC, value1: (BaseBugPickerAnalysisDomain.this)#DomainValue, value2: (BaseBugPickerAnalysisDomain.this)#DomainValue, operands: (BaseBugPickerAnalysisDomain.this)#Operands, locals: (BaseBugPickerAnalysisDomain.this)#Locals): ((BaseBugPickerAnalysisDomain.this)#Operands, (BaseBugPickerAnalysisDomain.this)#Locals)
    Definition Classes
    ReferenceValuesDomain
  235. def refEstablishIsNonNull(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue, operands: (BaseBugPickerAnalysisDomain.this)#Operands, locals: (BaseBugPickerAnalysisDomain.this)#Locals): ((BaseBugPickerAnalysisDomain.this)#Operands, (BaseBugPickerAnalysisDomain.this)#Locals)
    Definition Classes
    ReferenceValuesDomain
  236. def refEstablishIsNull(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue, operands: (BaseBugPickerAnalysisDomain.this)#Operands, locals: (BaseBugPickerAnalysisDomain.this)#Locals): ((BaseBugPickerAnalysisDomain.this)#Operands, (BaseBugPickerAnalysisDomain.this)#Locals)
    Definition Classes
    ReferenceValuesDomain
  237. def refIsNonNull(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue): Answer
    Definition Classes
    ReferenceValuesDomain
  238. final def refIsNull(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue): Answer
    Definition Classes
    TypeLevelReferenceValues → ReferenceValuesDomain
  239. def refSetUpperTypeBoundOfTopOperand(pc: PC, upperTypeBound: ReferenceType, operands: (BaseBugPickerAnalysisDomain.this)#Operands, locals: (BaseBugPickerAnalysisDomain.this)#Locals): ((BaseBugPickerAnalysisDomain.this)#Operands, (BaseBugPickerAnalysisDomain.this)#Locals)
    Definition Classes
    TypeLevelReferenceValues → ReferenceValuesDomain
  240. def refTopOperandIsNull(pc: PC, operands: (BaseBugPickerAnalysisDomain.this)#Operands, locals: (BaseBugPickerAnalysisDomain.this)#Locals): ((BaseBugPickerAnalysisDomain.this)#Operands, (BaseBugPickerAnalysisDomain.this)#Locals)
    Definition Classes
    TypeLevelReferenceValues → ReferenceValuesDomain
  241. def returnFromSubroutine(pc: PC, lvIndex: Int): Unit
    Definition Classes
    SubroutinesDomain
  242. def returnVoid(pc: PC): Computation[Nothing, (BaseBugPickerAnalysisDomain.this)#ExceptionValue]
    Definition Classes
    DefaultHandlingOfVoidReturns → ReturnInstructionsDomain
  243. def saload(pc: PC, index: (BaseBugPickerAnalysisDomain.this)#DomainValue, arrayref: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#ArrayLoadResult
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain
  244. def sastore(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue, index: (BaseBugPickerAnalysisDomain.this)#DomainValue, arrayref: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#ArrayStoreResult
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain
  245. def schedule(successorPC: PC, abruptSubroutineTerminationCount: Int, worklist: Chain[PC]): Chain[PC]
    Attributes
    protected[this]
    Definition Classes
    CoreDomainFunctionality
  246. def sideEffectOnlyOrExceptions(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue): Computation[Nothing, (BaseBugPickerAnalysisDomain.this)#ExceptionValue]
    Attributes
    protected[this]
    Definition Classes
    IgnoreSynchronization
  247. def summarize(pc: PC, values: Iterable[(BaseBugPickerAnalysisDomain.this)#DomainValue]): (BaseBugPickerAnalysisDomain.this)#DomainValue
    Definition Classes
    ValuesDomain
  248. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  249. def throwArithmeticExceptions: Boolean
    Definition Classes
    ThrowAllPotentialExceptionsConfiguration → Configuration
  250. def throwArrayIndexOutOfBoundsException: Boolean
    Definition Classes
    ThrowAllPotentialExceptionsConfiguration → Configuration
  251. def throwArrayStoreException: Boolean
    Definition Classes
    ThrowAllPotentialExceptionsConfiguration → Configuration
  252. def throwClassCastException: Boolean
    Definition Classes
    ThrowAllPotentialExceptionsConfiguration → Configuration
  253. def throwClassNotFoundException: Boolean
    Definition Classes
    ThrowAllPotentialExceptionsConfiguration → Configuration
  254. def throwExceptionsOnMethodCall: ExceptionsRaisedByCalledMethod
    Definition Classes
    ThrowAllPotentialExceptionsConfiguration → Configuration
  255. def throwIllegalMonitorStateException: Boolean
    Definition Classes
    ThrowAllPotentialExceptionsConfiguration → Configuration
  256. def throwNegativeArraySizeException: Boolean
    Definition Classes
    ThrowAllPotentialExceptionsConfiguration → Configuration
  257. def throwNullPointerExceptionOnArrayAccess: Boolean
    Definition Classes
    ThrowAllPotentialExceptionsConfiguration → Configuration
  258. def throwNullPointerExceptionOnFieldAccess: Boolean
    Definition Classes
    ThrowAllPotentialExceptionsConfiguration → Configuration
  259. def throwNullPointerExceptionOnMethodCall: Boolean
    Definition Classes
    ThrowAllPotentialExceptionsConfiguration → Configuration
  260. def throwNullPointerExceptionOnMonitorAccess: Boolean
    Definition Classes
    ThrowAllPotentialExceptionsConfiguration → Configuration
  261. def throwNullPointerExceptionOnThrow: Boolean
    Definition Classes
    ThrowAllPotentialExceptionsConfiguration → Configuration
  262. final def throws(value: (BaseBugPickerAnalysisDomain.this)#ExceptionValue): ThrowsException[(BaseBugPickerAnalysisDomain.this)#ExceptionValue]
    Definition Classes
    ReferenceValuesFactory
  263. def toJavaObject(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue): Option[AnyRef]
    Definition Classes
    TypeLevelReferenceValues → AsJavaObject
  264. def toString(): String
    Definition Classes
    AnyRef → Any
  265. def typeOfValue(value: (BaseBugPickerAnalysisDomain.this)#DomainValue): TypeInformation
    Definition Classes
    ValuesDomain
  266. def updateMemoryLayout(oldValue: (BaseBugPickerAnalysisDomain.this)#DomainValue, newValue: (BaseBugPickerAnalysisDomain.this)#DomainValue, operands: (BaseBugPickerAnalysisDomain.this)#Operands, locals: (BaseBugPickerAnalysisDomain.this)#Locals): ((BaseBugPickerAnalysisDomain.this)#Operands, (BaseBugPickerAnalysisDomain.this)#Locals)
    Definition Classes
    CoreDomainFunctionality
  267. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  268. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  269. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  270. final def withLongValuesOrElse[T](value1: (BaseBugPickerAnalysisDomain.this)#DomainValue, value2: (BaseBugPickerAnalysisDomain.this)#DomainValue)(f: (Long, Long) ⇒ T)(orElse: ⇒ T): T
    Attributes
    protected
    Definition Classes
    LongSetValues
    Annotations
    @inline()
  271. object ConcreteIntegerValue
    Definition Classes
    ConcreteIntegerValues
  272. object ConcreteLongValue
    Definition Classes
    ConcreteLongValues
  273. object IntegerRange
    Definition Classes
    IntegerRangeValues
  274. object LongSet
    Definition Classes
    LongSetValues

Inherited from IgnoreSynchronization

Inherited from DefaultHandlingOfMethodResults

Inherited from DefaultHandlingForReturnInstructions

Inherited from DefaultHandlingOfVoidReturns

Inherited from DefaultHandlingForThrownExceptions

Inherited from ReturnInstructionsDomain

Inherited from MaxArrayLengthRefinement

Inherited from TypeLevelReferenceValues

Inherited from AsJavaObject

Inherited from GeneralizedArrayHandling

Inherited from NullPropertyRefinement

Inherited from ConcretePrimitiveValuesConversions

Inherited from TypeLevelPrimitiveValuesConversions

Inherited from DefaultTypeLevelDoubleValues

Inherited from TypeLevelDoubleValues

Inherited from DefaultTypeLevelFloatValues

Inherited from TypeLevelFloatValues

Inherited from LongSetValuesShiftOperators

Inherited from DefaultLongSetValues

Inherited from LongSetValues

Inherited from ConcreteLongValues

Inherited from DefaultIntegerRangeValues

Inherited from IntegerRangeValues

Inherited from ConcreteIntegerValues

Inherited from IntegerRangeValuesFactory

Inherited from SpecialMethodsHandling

Inherited from RefinedTypeLevelInvokeInstructions

Inherited from MethodCallsDomainWithMethodLockup

Inherited from Callees

Inherited from TypeLevelInvokeInstructions

Inherited from MethodCallsHandling

Inherited from RefinedTypeLevelFieldAccessInstructions

Inherited from TypeLevelFieldAccessInstructions

Inherited from ThrowAllPotentialExceptionsConfiguration

Inherited from DefaultDomainValueBinding

Inherited from TheMethod

Inherited from TheCode

Inherited from TheProject

Inherited from ThePropertyStore

Inherited from LogContextProvider

Inherited from TheClassHierarchy

Inherited from CorrelationalDomain

Inherited from CorrelationalDomainSupport

Inherited from IdentityBasedCorrelationChangeDetection

Inherited from JoinStabilization

Inherited from Domain

Inherited from Configuration

Inherited from TypedValuesFactory

Inherited from PrimitiveValuesConversionsDomain

Inherited from ReturnInstructionsDomain

Inherited from MonitorInstructionsDomain

Inherited from MethodCallsDomain

Inherited from FieldAccessesDomain

Inherited from ReferenceValuesDomain

Inherited from ReferenceValuesFactory

Inherited from ExceptionsFactory

Inherited from DoubleValuesDomain

Inherited from DoubleValuesFactory

Inherited from FloatValuesDomain

Inherited from FloatValuesFactory

Inherited from LongValuesDomain

Inherited from LongValuesFactory

Inherited from IntegerValuesDomain

Inherited from IntegerValuesFactory

Inherited from CoreDomainFunctionality

Inherited from SubroutinesDomain

Inherited from ValuesDomain

Inherited from AnyRef

Inherited from Any

Ungrouped