Packages

t

org.opalj.bugpicker.core.analyses

BasePerformInvocationBugPickerAnalysisDomain

trait BasePerformInvocationBugPickerAnalysisDomain extends BaseBugPickerAnalysisDomain with PerformInvocationsWithRecursionDetection with PerformInvocationsWithBasicVirtualMethodCallResolution with DefaultClassValuesBinding

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

Self Type
BasePerformInvocationBugPickerAnalysisDomain
Linear Supertypes
DefaultClassValuesBinding, ClassValues, DefaultStringValuesBinding, StringValues, PostEvaluationMemoryManagement, DefaultJavaObjectToDomainValueConversion, AsDomainValue, DefaultReferenceValuesBinding, DefaultExceptionsFactory, ReferenceValues, Origin, DefaultTypeLevelReferenceValues, PerformInvocationsWithBasicVirtualMethodCallResolution, PerformInvocationsWithRecursionDetection, TheMemoryLayout, PerformInvocations, BaseBugPickerAnalysisDomain, 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
InvocationBugPickerAnalysisDomain, RootBugPickerAnalysisDomain
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. BasePerformInvocationBugPickerAnalysisDomain
  2. DefaultClassValuesBinding
  3. ClassValues
  4. DefaultStringValuesBinding
  5. StringValues
  6. PostEvaluationMemoryManagement
  7. DefaultJavaObjectToDomainValueConversion
  8. AsDomainValue
  9. DefaultReferenceValuesBinding
  10. DefaultExceptionsFactory
  11. ReferenceValues
  12. Origin
  13. DefaultTypeLevelReferenceValues
  14. PerformInvocationsWithBasicVirtualMethodCallResolution
  15. PerformInvocationsWithRecursionDetection
  16. TheMemoryLayout
  17. PerformInvocations
  18. BaseBugPickerAnalysisDomain
  19. IgnoreSynchronization
  20. DefaultHandlingOfMethodResults
  21. DefaultHandlingForReturnInstructions
  22. DefaultHandlingOfVoidReturns
  23. DefaultHandlingForThrownExceptions
  24. ReturnInstructionsDomain
  25. MaxArrayLengthRefinement
  26. TypeLevelReferenceValues
  27. AsJavaObject
  28. GeneralizedArrayHandling
  29. NullPropertyRefinement
  30. ConcretePrimitiveValuesConversions
  31. TypeLevelPrimitiveValuesConversions
  32. DefaultTypeLevelDoubleValues
  33. TypeLevelDoubleValues
  34. DefaultTypeLevelFloatValues
  35. TypeLevelFloatValues
  36. LongSetValuesShiftOperators
  37. DefaultLongSetValues
  38. LongSetValues
  39. ConcreteLongValues
  40. DefaultIntegerRangeValues
  41. IntegerRangeValues
  42. ConcreteIntegerValues
  43. IntegerRangeValuesFactory
  44. SpecialMethodsHandling
  45. RefinedTypeLevelInvokeInstructions
  46. MethodCallsDomainWithMethodLockup
  47. Callees
  48. TypeLevelInvokeInstructions
  49. MethodCallsHandling
  50. RefinedTypeLevelFieldAccessInstructions
  51. TypeLevelFieldAccessInstructions
  52. ThrowAllPotentialExceptionsConfiguration
  53. DefaultDomainValueBinding
  54. TheMethod
  55. TheCode
  56. TheProject
  57. ThePropertyStore
  58. LogContextProvider
  59. TheClassHierarchy
  60. CorrelationalDomain
  61. CorrelationalDomainSupport
  62. IdentityBasedCorrelationChangeDetection
  63. JoinStabilization
  64. Domain
  65. Configuration
  66. TypedValuesFactory
  67. PrimitiveValuesConversionsDomain
  68. ReturnInstructionsDomain
  69. MonitorInstructionsDomain
  70. MethodCallsDomain
  71. FieldAccessesDomain
  72. ReferenceValuesDomain
  73. ReferenceValuesFactory
  74. ExceptionsFactory
  75. DoubleValuesDomain
  76. DoubleValuesFactory
  77. FloatValuesDomain
  78. FloatValuesFactory
  79. LongValuesDomain
  80. LongValuesFactory
  81. IntegerValuesDomain
  82. IntegerValuesFactory
  83. CoreDomainFunctionality
  84. SubroutinesDomain
  85. ValuesDomain
  86. AnyRef
  87. 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. type AReferenceValue = ReferenceValue
    Definition Classes
    DefaultReferenceValuesBinding → ReferenceValues → TypeLevelReferenceValues
  3. class AnIntegerValue extends (DefaultIntegerRangeValues.this)#AnIntegerValue
    Definition Classes
    DefaultIntegerRangeValues
  4. trait ArrayAbstraction extends AnyRef
    Definition Classes
    TypeLevelReferenceValues
  5. type ArrayLoadResult = Computation[DomainValue, ExceptionValues]
    Definition Classes
    ReferenceValuesDomain
  6. type ArrayStoreResult = Computation[Nothing, ExceptionValues]
    Definition Classes
    ReferenceValuesDomain
  7. class ArrayValue extends (ReferenceValues.this)#ArrayValue with (ReferenceValues.this)#NonNullSingleOriginSReferenceValue
    Attributes
    protected
    Definition Classes
    ReferenceValues
  8. type CalledMethodDomain = InvocationBugPickerAnalysisDomain
    Definition Classes
    BasePerformInvocationBugPickerAnalysisDomain → PerformInvocationsWithRecursionDetection → PerformInvocations
  9. class ClassValue extends (ClassValues.this)#SObjectValue
    Attributes
    protected
    Definition Classes
    ClassValues
  10. type DomainArrayValue = ArrayValue
    Definition Classes
    DefaultReferenceValuesBinding → ReferenceValues → DefaultTypeLevelReferenceValues → TypeLevelReferenceValues
  11. type DomainClassValue = ClassValue
    Definition Classes
    DefaultClassValuesBinding → ClassValues
  12. final type DomainIllegalValue = IllegalValue
    Definition Classes
    DefaultDomainValueBinding → ValuesDomain
  13. type DomainMultipleReferenceValues = MultipleReferenceValues
    Definition Classes
    DefaultReferenceValuesBinding → ReferenceValues
  14. type DomainNullValue = NullValue
    Definition Classes
    DefaultReferenceValuesBinding → ReferenceValues → DefaultTypeLevelReferenceValues → TypeLevelReferenceValues
  15. type DomainObjectValue = ObjectValue
    Definition Classes
    DefaultReferenceValuesBinding → ReferenceValues → DefaultTypeLevelReferenceValues → TypeLevelReferenceValues
  16. type DomainReferenceValue = ReferenceValue
    Definition Classes
    DefaultReferenceValuesBinding → ValuesDomain
  17. final type DomainReturnAddressValue = ReturnAddressValue
    Definition Classes
    DefaultDomainValueBinding → ValuesDomain
  18. final type DomainReturnAddressValues = ReturnAddressValues
    Definition Classes
    DefaultDomainValueBinding → ValuesDomain
  19. type DomainSingleOriginReferenceValue = SingleOriginReferenceValue
    Definition Classes
    DefaultReferenceValuesBinding → ReferenceValues
  20. type DomainStringValue = StringValue
    Definition Classes
    DefaultStringValuesBinding → StringValues
  21. final type DomainTypedValue[+T <: Type] = TypedValue[T]
    Definition Classes
    DefaultDomainValueBinding → ValuesDomain
  22. final type DomainValue = Value
    Definition Classes
    DefaultDomainValueBinding → ValuesDomain
  23. trait DoubleValue extends (TypeLevelDoubleValues.this)#TypedValue[DoubleType] with IsDoubleValue[(TypeLevelDoubleValues.this)#DoubleValue]
    Definition Classes
    TypeLevelDoubleValues
  24. type ExceptionValue = DomainReferenceValue
    Definition Classes
    ValuesDomain
  25. type ExceptionValues = Iterable[ExceptionValue]
    Definition Classes
    ValuesDomain
  26. trait FloatValue extends (TypeLevelFloatValues.this)#TypedValue[FloatType] with IsFloatValue[(TypeLevelFloatValues.this)#FloatValue]
    Definition Classes
    TypeLevelFloatValues
  27. class IllegalValue extends Value
    Attributes
    protected
    Definition Classes
    ValuesDomain
  28. sealed trait IntegerLikeValue extends (IntegerRangeValues.this)#TypedValue[CTIntType] with IsIntegerValue[(IntegerRangeValues.this)#IntegerLikeValue]
    Definition Classes
    IntegerRangeValues
  29. class IntegerRange extends (DefaultIntegerRangeValues.this)#IntegerRange
    Definition Classes
    DefaultIntegerRangeValues
  30. type IntegerValueOrArithmeticException = Computation[DomainValue, ExceptionValue]
    Definition Classes
    IntegerValuesDomain
  31. type Locals = collection.mutable.Locals[DomainValue]
    Definition Classes
    ValuesDomain
  32. type LocalsArray = Array[Locals]
    Definition Classes
    ValuesDomain
  33. class LongSet extends (DefaultLongSetValues.this)#LongSet
    Definition Classes
    DefaultLongSetValues
  34. sealed trait LongValue extends (LongSetValues.this)#TypedValue[LongType] with IsLongValue[(LongSetValues.this)#LongValue]
    Definition Classes
    LongSetValues
  35. type LongValueOrArithmeticException = Computation[DomainValue, ExceptionValue]
    Definition Classes
    LongValuesDomain
  36. class MObjectValue extends (ReferenceValues.this)#MObjectValue with (ReferenceValues.this)#ObjectValue
    Attributes
    protected
    Definition Classes
    ReferenceValues
  37. type MethodCallResult = Computation[DomainValue, ExceptionValues]
    Definition Classes
    MethodCallsDomain
  38. trait MultipleOriginsValue extends (Origin.this)#ValueWithOriginInformation
    Definition Classes
    Origin
  39. class MultipleReferenceValues extends (ReferenceValues.this)#ReferenceValue with (ReferenceValues.this)#MultipleOriginsValue
    Attributes
    protected
    Definition Classes
    ReferenceValues
  40. trait NonNullSingleOriginReferenceValue extends (ReferenceValues.this)#SingleOriginReferenceValue
    Definition Classes
    ReferenceValues
  41. trait NonNullSingleOriginSReferenceValue extends (ReferenceValues.this)#NonNullSingleOriginReferenceValue
    Definition Classes
    ReferenceValues
  42. class NullValue extends (ReferenceValues.this)#NullValue with (ReferenceValues.this)#SingleOriginReferenceValue
    Attributes
    protected
    Definition Classes
    ReferenceValues
  43. trait ObjectValue extends (ReferenceValues.this)#ObjectValue with (ReferenceValues.this)#NonNullSingleOriginReferenceValue
    Definition Classes
    ReferenceValues
  44. type Operands = Chain[DomainValue]
    Definition Classes
    ValuesDomain
  45. type OperandsArray = Array[Operands]
    Definition Classes
    ValuesDomain
  46. trait RETValue extends Value
    Definition Classes
    ValuesDomain
  47. type RefId = Int
    Definition Classes
    ReferenceValues
  48. trait ReferenceValue extends (ReferenceValues.this)#ReferenceValue
    Definition Classes
    ReferenceValues
  49. type Refinements = IdentityHashMap[AReferenceValue, AReferenceValue]
    Definition Classes
    ReferenceValues
  50. class ReturnAddressValue extends RETValue
    Definition Classes
    ValuesDomain
  51. class ReturnAddressValues extends RETValue
    Definition Classes
    ValuesDomain
  52. class SObjectValue extends (ReferenceValues.this)#SObjectValue with (ReferenceValues.this)#ObjectValue with (ReferenceValues.this)#NonNullSingleOriginSReferenceValue
    Attributes
    protected
    Definition Classes
    ReferenceValues
  53. trait SReferenceValue[T <: ReferenceType] extends (TypeLevelReferenceValues.this)#ReferenceValue
    Attributes
    protected[this]
    Definition Classes
    TypeLevelReferenceValues
  54. trait SingleOriginReferenceValue extends (ReferenceValues.this)#ReferenceValue with (ReferenceValues.this)#SingleOriginValue with UID
    Definition Classes
    ReferenceValues
  55. trait SingleOriginValue extends (Origin.this)#ValueWithOriginInformation
    Definition Classes
    Origin
  56. class StringValue extends (StringValues.this)#SObjectValue
    Attributes
    protected
    Definition Classes
    StringValues
  57. trait TypedValue[+T <: Type] extends Value with KnownType
    Definition Classes
    ValuesDomain
  58. trait Value extends AnyRef
    Definition Classes
    ValuesDomain
  59. trait ValueWithOriginInformation extends AnyRef
    Definition Classes
    Origin

Abstract Value Members

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

Inherited from DefaultClassValuesBinding

Inherited from ClassValues

Inherited from DefaultStringValuesBinding

Inherited from StringValues

Inherited from PostEvaluationMemoryManagement

Inherited from DefaultJavaObjectToDomainValueConversion

Inherited from AsDomainValue

Inherited from DefaultReferenceValuesBinding

Inherited from DefaultExceptionsFactory

Inherited from ReferenceValues

Inherited from Origin

Inherited from DefaultTypeLevelReferenceValues

Inherited from PerformInvocationsWithBasicVirtualMethodCallResolution

Inherited from PerformInvocationsWithRecursionDetection

Inherited from TheMemoryLayout

Inherited from PerformInvocations

Inherited from BaseBugPickerAnalysisDomain

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