Class

org.opalj.bugpicker.core.analysis

InvocationBugPickerAnalysisDomain

Related Doc: package analysis

Permalink

class InvocationBugPickerAnalysisDomain extends BasePerformInvocationBugPickerAnalysisDomain with RecordMethodCallResults with RecordLastReturnedValues with RecordAllThrownExceptions with ChildPerformInvocationsWithRecursionDetection

Self Type
InvocationBugPickerAnalysisDomain
Linear Supertypes
ChildPerformInvocationsWithRecursionDetection, RecordAllThrownExceptions, RecordLastReturnedValues, RecordMethodCallResults, RecordThrownExceptions, RecordReturnedValues, CustomInitialization, RecordReturnedValuesInfrastructure, MethodCallResults, BasePerformInvocationBugPickerAnalysisDomain, 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
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. InvocationBugPickerAnalysisDomain
  2. ChildPerformInvocationsWithRecursionDetection
  3. RecordAllThrownExceptions
  4. RecordLastReturnedValues
  5. RecordMethodCallResults
  6. RecordThrownExceptions
  7. RecordReturnedValues
  8. CustomInitialization
  9. RecordReturnedValuesInfrastructure
  10. MethodCallResults
  11. BasePerformInvocationBugPickerAnalysisDomain
  12. DefaultClassValuesBinding
  13. ClassValues
  14. DefaultStringValuesBinding
  15. StringValues
  16. PostEvaluationMemoryManagement
  17. DefaultJavaObjectToDomainValueConversion
  18. AsDomainValue
  19. DefaultReferenceValuesBinding
  20. DefaultExceptionsFactory
  21. ReferenceValues
  22. Origin
  23. DefaultTypeLevelReferenceValues
  24. PerformInvocationsWithBasicVirtualMethodCallResolution
  25. PerformInvocationsWithRecursionDetection
  26. TheMemoryLayout
  27. PerformInvocations
  28. BaseBugPickerAnalysisDomain
  29. IgnoreSynchronization
  30. DefaultHandlingOfMethodResults
  31. DefaultHandlingForReturnInstructions
  32. DefaultHandlingOfVoidReturns
  33. DefaultHandlingForThrownExceptions
  34. ReturnInstructionsDomain
  35. MaxArrayLengthRefinement
  36. TypeLevelReferenceValues
  37. AsJavaObject
  38. GeneralizedArrayHandling
  39. NullPropertyRefinement
  40. ConcretePrimitiveValuesConversions
  41. TypeLevelPrimitiveValuesConversions
  42. DefaultTypeLevelDoubleValues
  43. TypeLevelDoubleValues
  44. DefaultTypeLevelFloatValues
  45. TypeLevelFloatValues
  46. LongSetValuesShiftOperators
  47. DefaultLongSetValues
  48. LongSetValues
  49. ConcreteLongValues
  50. DefaultIntegerRangeValues
  51. IntegerRangeValues
  52. ConcreteIntegerValues
  53. IntegerRangeValuesFactory
  54. SpecialMethodsHandling
  55. RefinedTypeLevelInvokeInstructions
  56. MethodCallsDomainWithMethodLockup
  57. Callees
  58. TypeLevelInvokeInstructions
  59. MethodCallsHandling
  60. RefinedTypeLevelFieldAccessInstructions
  61. TypeLevelFieldAccessInstructions
  62. ThrowAllPotentialExceptionsConfiguration
  63. DefaultDomainValueBinding
  64. TheMethod
  65. TheCode
  66. TheProject
  67. ThePropertyStore
  68. LogContextProvider
  69. TheClassHierarchy
  70. CorrelationalDomain
  71. CorrelationalDomainSupport
  72. IdentityBasedCorrelationChangeDetection
  73. JoinStabilization
  74. Domain
  75. Configuration
  76. TypedValuesFactory
  77. PrimitiveValuesConversionsDomain
  78. ReturnInstructionsDomain
  79. MonitorInstructionsDomain
  80. MethodCallsDomain
  81. FieldAccessesDomain
  82. ReferenceValuesDomain
  83. ReferenceValuesFactory
  84. ExceptionsFactory
  85. DoubleValuesDomain
  86. DoubleValuesFactory
  87. FloatValuesDomain
  88. FloatValuesFactory
  89. LongValuesDomain
  90. LongValuesFactory
  91. IntegerValuesDomain
  92. IntegerValuesFactory
  93. CoreDomainFunctionality
  94. SubroutinesDomain
  95. ValuesDomain
  96. AnyRef
  97. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new InvocationBugPickerAnalysisDomain(project: Project[URL], fieldValueInformation: FieldValueInformation, methodReturnValueInformation: MethodReturnValueInformation, cache: CallGraphCache[MethodSignature, Set[Method]], maxCardinalityOfIntegerRanges: Long, maxCardinalityOfLongSets: Int, maxCallChainLength: Int, callerDomain: BasePerformInvocationBugPickerAnalysisDomain, method: Method, currentCallChainLength: Int, debug: Boolean)

    Permalink

Type Members

  1. class ALongValue extends (DefaultLongSetValues.this)#ALongValue

    Permalink
    Definition Classes
    DefaultLongSetValues

  2. type AReferenceValue = ReferenceValue

    Permalink
    Definition Classes
    DefaultReferenceValuesBinding → ReferenceValues → TypeLevelReferenceValues

  3. class AnIntegerValue extends (DefaultIntegerRangeValues.this)#AnIntegerValue

    Permalink
    Definition Classes
    DefaultIntegerRangeValues

  4. trait ArrayAbstraction extends AnyRef

    Permalink
    Definition Classes
    TypeLevelReferenceValues

  5. type ArrayLoadResult = Computation[DomainValue, ExceptionValues]

    Permalink
    Definition Classes
    ReferenceValuesDomain

  6. type ArrayStoreResult = Computation[Nothing, ExceptionValues]

    Permalink
    Definition Classes
    ReferenceValuesDomain

  7. class ArrayValue extends (ReferenceValues.this)#ArrayValue with (ReferenceValues.this)#NonNullSingleOriginSReferenceValue

    Permalink
    Attributes
    protected
    Definition Classes
    ReferenceValues

  8. type CalledMethodDomain = InvocationBugPickerAnalysisDomain

    Permalink
    Definition Classes
    BasePerformInvocationBugPickerAnalysisDomain → PerformInvocationsWithRecursionDetection → PerformInvocations

  9. class ClassValue extends (ClassValues.this)#SObjectValue

    Permalink
    Attributes
    protected
    Definition Classes
    ClassValues

  10. type DomainArrayValue = ArrayValue

    Permalink
    Definition Classes
    DefaultReferenceValuesBinding → ReferenceValues → DefaultTypeLevelReferenceValues → TypeLevelReferenceValues

  11. type DomainClassValue = ClassValue

    Permalink
    Definition Classes
    DefaultClassValuesBinding → ClassValues

  12. final type DomainIllegalValue = IllegalValue

    Permalink
    Definition Classes
    DefaultDomainValueBinding → ValuesDomain

  13. type DomainMultipleReferenceValues = MultipleReferenceValues

    Permalink
    Definition Classes
    DefaultReferenceValuesBinding → ReferenceValues

  14. type DomainNullValue = NullValue

    Permalink
    Definition Classes
    DefaultReferenceValuesBinding → ReferenceValues → DefaultTypeLevelReferenceValues → TypeLevelReferenceValues

  15. type DomainObjectValue = ObjectValue

    Permalink
    Definition Classes
    DefaultReferenceValuesBinding → ReferenceValues → DefaultTypeLevelReferenceValues → TypeLevelReferenceValues

  16. type DomainReferenceValue = ReferenceValue

    Permalink
    Definition Classes
    DefaultReferenceValuesBinding → ValuesDomain

  17. final type DomainReturnAddressValue = ReturnAddressValue

    Permalink
    Definition Classes
    DefaultDomainValueBinding → ValuesDomain

  18. final type DomainReturnAddressValues = ReturnAddressValues

    Permalink
    Definition Classes
    DefaultDomainValueBinding → ValuesDomain

  19. type DomainSingleOriginReferenceValue = SingleOriginReferenceValue

    Permalink
    Definition Classes
    DefaultReferenceValuesBinding → ReferenceValues

  20. type DomainStringValue = StringValue

    Permalink
    Definition Classes
    DefaultStringValuesBinding → StringValues

  21. final type DomainValue = Value

    Permalink
    Definition Classes
    DefaultDomainValueBinding → ValuesDomain

  22. trait DoubleValue extends (TypeLevelDoubleValues.this)#Value with IsDoubleValue

    Permalink
    Definition Classes
    TypeLevelDoubleValues

  23. type ExceptionValue = DomainReferenceValue

    Permalink
    Definition Classes
    ValuesDomain

  24. type ExceptionValues = Iterable[ExceptionValue]

    Permalink
    Definition Classes
    ValuesDomain

  25. trait FloatValue extends (TypeLevelFloatValues.this)#Value with IsFloatValue

    Permalink
    Definition Classes
    TypeLevelFloatValues

  26. class IllegalValue extends Value

    Permalink
    Attributes
    protected
    Definition Classes
    ValuesDomain

  27. sealed trait IntegerLikeValue extends (IntegerRangeValues.this)#Value with IsIntegerValue

    Permalink
    Definition Classes
    IntegerRangeValues

  28. class IntegerRange extends (DefaultIntegerRangeValues.this)#IntegerRange

    Permalink
    Definition Classes
    DefaultIntegerRangeValues

  29. type IntegerValueOrArithmeticException = Computation[DomainValue, ExceptionValue]

    Permalink
    Definition Classes
    IntegerValuesDomain

  30. type Locals = collection.mutable.Locals[DomainValue]

    Permalink
    Definition Classes
    ValuesDomain

  31. type LocalsArray = Array[Locals]

    Permalink
    Definition Classes
    ValuesDomain

  32. class LongSet extends (DefaultLongSetValues.this)#LongSet

    Permalink
    Definition Classes
    DefaultLongSetValues

  33. sealed trait LongValue extends (LongSetValues.this)#Value with IsLongValue

    Permalink
    Definition Classes
    LongSetValues

  34. type LongValueOrArithmeticException = Computation[DomainValue, ExceptionValue]

    Permalink
    Definition Classes
    LongValuesDomain

  35. class MObjectValue extends (ReferenceValues.this)#MObjectValue with (ReferenceValues.this)#ObjectValue

    Permalink
    Attributes
    protected
    Definition Classes
    ReferenceValues

  36. type MethodCallResult = Computation[DomainValue, ExceptionValues]

    Permalink
    Definition Classes
    MethodCallsDomain

  37. trait MultipleOriginsValue extends (Origin.this)#ValueWithOriginInformation

    Permalink
    Definition Classes
    Origin

  38. class MultipleReferenceValues extends (ReferenceValues.this)#ReferenceValue with (ReferenceValues.this)#MultipleOriginsValue

    Permalink
    Attributes
    protected
    Definition Classes
    ReferenceValues

  39. trait NonNullSingleOriginReferenceValue extends (ReferenceValues.this)#SingleOriginReferenceValue

    Permalink
    Definition Classes
    ReferenceValues

  40. trait NonNullSingleOriginSReferenceValue extends (ReferenceValues.this)#NonNullSingleOriginReferenceValue

    Permalink
    Definition Classes
    ReferenceValues

  41. class NullValue extends (ReferenceValues.this)#NullValue with (ReferenceValues.this)#SingleOriginReferenceValue

    Permalink
    Attributes
    protected
    Definition Classes
    ReferenceValues

  42. trait ObjectValue extends (ReferenceValues.this)#ObjectValue with (ReferenceValues.this)#NonNullSingleOriginReferenceValue

    Permalink
    Definition Classes
    ReferenceValues

  43. type Operands = Chain[DomainValue]

    Permalink
    Definition Classes
    ValuesDomain

  44. type OperandsArray = Array[Operands]

    Permalink
    Definition Classes
    ValuesDomain

  45. trait RETValue extends Value

    Permalink
    Definition Classes
    ValuesDomain

  46. trait ReferenceValue extends (ReferenceValues.this)#ReferenceValue

    Permalink
    Definition Classes
    ReferenceValues

  47. type Refinements = IdentityHashMap[AReferenceValue, AReferenceValue]

    Permalink
    Definition Classes
    ReferenceValues

  48. class ReturnAddressValue extends RETValue

    Permalink
    Definition Classes
    ValuesDomain

  49. class ReturnAddressValues extends RETValue

    Permalink
    Definition Classes
    ValuesDomain

  50. type ReturnedValue = DomainValue

    Permalink
    Definition Classes
    RecordLastReturnedValues → RecordReturnedValuesInfrastructure

  51. class SObjectValue extends (ReferenceValues.this)#SObjectValue with (ReferenceValues.this)#ObjectValue with (ReferenceValues.this)#NonNullSingleOriginSReferenceValue

    Permalink
    Attributes
    protected
    Definition Classes
    ReferenceValues

  52. trait SReferenceValue[T <: ReferenceType] extends AnyRef

    Permalink
    Attributes
    protected[this]
    Definition Classes
    TypeLevelReferenceValues

  53. trait SingleOriginReferenceValue extends (ReferenceValues.this)#ReferenceValue with (ReferenceValues.this)#SingleOriginValue

    Permalink
    Definition Classes
    ReferenceValues

  54. trait SingleOriginValue extends (Origin.this)#ValueWithOriginInformation

    Permalink
    Definition Classes
    Origin

  55. class StringValue extends (StringValues.this)#SObjectValue

    Permalink
    Attributes
    protected
    Definition Classes
    StringValues

  56. type ThrownException = Set[ExceptionValue]

    Permalink
    Definition Classes
    RecordAllThrownExceptions → RecordThrownExceptions

  57. type Timestamp = Int

    Permalink
    Definition Classes
    ReferenceValues

  58. trait Value extends AnyRef

    Permalink
    Definition Classes
    ValuesDomain

  59. trait ValueWithOriginInformation extends AnyRef

    Permalink
    Definition Classes
    Origin

Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  4. final val AReferenceValue: ClassTag[AReferenceValue]

    Permalink
    Definition Classes
    DefaultReferenceValuesBinding → ReferenceValues

  5. def AnIntegerValue(): AnIntegerValue

    Permalink
    Definition Classes
    DefaultIntegerRangeValues

  6. final def ArithmeticException(origin: ValueOrigin): ExceptionValue

    Permalink
    Definition Classes
    DefaultExceptionsFactory → ExceptionsFactory

  7. final def ArrayIndexOutOfBoundsException(origin: ValueOrigin): ExceptionValue

    Permalink
    Definition Classes
    DefaultExceptionsFactory → ExceptionsFactory

  8. final def ArrayStoreException(origin: ValueOrigin): ExceptionValue

    Permalink
    Definition Classes
    DefaultExceptionsFactory → ExceptionsFactory

  9. def ArrayValue(origin: ValueOrigin, isNull: Answer, isPrecise: Boolean, theUpperTypeBound: ArrayType, t: Timestamp): DomainArrayValue

    Permalink
    Attributes
    protected[org.opalj.ai.domain]
    Definition Classes
    DefaultReferenceValuesBinding → ReferenceValues

  10. def ArrayValue(pc: PC, arrayType: ArrayType): DomainArrayValue

    Permalink
    Attributes
    protected[org.opalj.ai.domain]
    Definition Classes
    ReferenceValues → TypeLevelReferenceValues

  11. object ArrayValue

    Permalink
    Definition Classes
    DefaultTypeLevelReferenceValues

  12. def BooleanValue(origin: ValueOrigin, value: Boolean): DomainValue

    Permalink
    Definition Classes
    DefaultIntegerRangeValues → IntegerValuesFactory

  13. def BooleanValue(origin: ValueOrigin): DomainValue

    Permalink
    Definition Classes
    DefaultIntegerRangeValues → IntegerValuesFactory

  14. def ByteValue(origin: ValueOrigin, value: Byte): IntegerRange

    Permalink
    Definition Classes
    DefaultIntegerRangeValues → IntegerValuesFactory

  15. def ByteValue(origin: ValueOrigin): DomainValue

    Permalink
    Definition Classes
    DefaultIntegerRangeValues → IntegerValuesFactory

  16. def CharValue(origin: ValueOrigin, value: Char): IntegerRange

    Permalink
    Definition Classes
    DefaultIntegerRangeValues → IntegerValuesFactory

  17. def CharValue(origin: ValueOrigin): DomainValue

    Permalink
    Definition Classes
    DefaultIntegerRangeValues → IntegerValuesFactory

  18. final def ClassCastException(origin: ValueOrigin): ExceptionValue

    Permalink
    Definition Classes
    DefaultExceptionsFactory → ExceptionsFactory

  19. final def ClassNotFoundException(origin: ValueOrigin): ExceptionValue

    Permalink
    Definition Classes
    DefaultExceptionsFactory → ExceptionsFactory

  20. def ClassValue(origin: ValueOrigin, value: Type, t: Timestamp): DomainClassValue

    Permalink
    Definition Classes
    DefaultClassValuesBinding

  21. def ClassValue(origin: ValueOrigin, value: Type): DomainClassValue

    Permalink
    Definition Classes
    DefaultClassValuesBinding → ClassValues → ReferenceValues → TypeLevelReferenceValues → ReferenceValuesFactory

  22. object ClassValue

    Permalink
    Definition Classes
    ClassValues

  23. object ConcreteIntegerValue

    Permalink
    Definition Classes
    ConcreteIntegerValues

  24. object ConcreteLongValue

    Permalink
    Definition Classes
    ConcreteLongValues

  25. final def ConstantFieldValue(pc: PC, cv: ConstantFieldValue[_]): DomainValue

    Permalink
    Definition Classes
    Domain

  26. final def DefaultValue(origin: ValueOrigin, theType: FieldType): DomainValue

    Permalink
    Definition Classes
    TypedValuesFactory

  27. final val DomainArrayValue: ClassTag[DomainArrayValue]

    Permalink
    Definition Classes
    DefaultReferenceValuesBinding → ReferenceValues

  28. val DomainClassValue: ClassTag[DomainClassValue]

    Permalink
    Definition Classes
    DefaultClassValuesBinding → ClassValues

  29. final val DomainMultipleReferenceValues: ClassTag[DomainMultipleReferenceValues]

    Permalink
    Definition Classes
    DefaultReferenceValuesBinding → ReferenceValues

  30. final val DomainNullValue: ClassTag[DomainNullValue]

    Permalink
    Definition Classes
    DefaultReferenceValuesBinding → ReferenceValues

  31. final val DomainObjectValue: ClassTag[DomainObjectValue]

    Permalink
    Definition Classes
    DefaultReferenceValuesBinding → ReferenceValues

  32. final val DomainReferenceValue: ClassTag[DomainReferenceValue]

    Permalink
    Definition Classes
    DefaultReferenceValuesBinding → ValuesDomain

  33. final val DomainSingleOriginReferenceValue: ClassTag[DomainSingleOriginReferenceValue]

    Permalink
    Definition Classes
    DefaultReferenceValuesBinding → ReferenceValues

  34. implicit object DomainSingleOriginReferenceValueOrdering extends Ordering[(ReferenceValues.this)#DomainSingleOriginReferenceValue]

    Permalink
    Definition Classes
    ReferenceValues

  35. final val DomainStringValue: ClassTag[DomainStringValue]

    Permalink
    Definition Classes
    DefaultStringValuesBinding → StringValues

  36. final val DomainValue: ClassTag[DomainValue]

    Permalink
    Definition Classes
    DefaultDomainValueBinding → ValuesDomain

  37. final def DoubleValue(valueOrigin: ValueOrigin, value: Double): DoubleValue

    Permalink
    Definition Classes
    DefaultTypeLevelDoubleValues → DoubleValuesFactory

  38. final def DoubleValue(valueOrigin: ValueOrigin): DoubleValue

    Permalink
    Definition Classes
    DefaultTypeLevelDoubleValues → DoubleValuesFactory

  39. def FloatValue(valueOrigin: ValueOrigin, value: Float): FloatValue

    Permalink
    Definition Classes
    DefaultTypeLevelFloatValues → FloatValuesFactory

  40. def FloatValue(valueOrigin: ValueOrigin): FloatValue

    Permalink
    Definition Classes
    DefaultTypeLevelFloatValues → FloatValuesFactory

  41. final def IllegalMonitorStateException(origin: ValueOrigin): ExceptionValue

    Permalink
    Definition Classes
    DefaultExceptionsFactory → ExceptionsFactory

  42. def InitializedArrayValue(pc: PC, arrayType: ArrayType, counts: Chain[Int]): DomainArrayValue

    Permalink
    Definition Classes
    ReferenceValues → TypeLevelReferenceValues → ReferenceValuesFactory

  43. def InitializedObjectValue(pc: PC, objectType: ObjectType): DomainObjectValue

    Permalink
    Definition Classes
    ReferenceValues → TypeLevelReferenceValues → ReferenceValuesFactory

  44. final def IntegerConstant0: DomainValue

    Permalink
    Definition Classes
    IntegerValuesFactory

  45. final def IntegerRange(lb: Int, ub: Int): IntegerRange

    Permalink
    Definition Classes
    DefaultIntegerRangeValues → IntegerRangeValues
    Annotations
    @inline()

  46. final def IntegerRange(origin: ValueOrigin, lowerBound: Int, upperBound: Int): DomainValue

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerRangeValuesFactory

  47. def IntegerRange(value: Int): DomainValue

    Permalink
    Definition Classes
    IntegerRangeValues

  48. object IntegerRange

    Permalink
    Definition Classes
    IntegerRangeValues

  49. def IntegerValue(origin: ValueOrigin, value: Int): IntegerRange

    Permalink
    Definition Classes
    DefaultIntegerRangeValues → IntegerValuesFactory

  50. def IntegerValue(origin: ValueOrigin): DomainValue

    Permalink
    Definition Classes
    DefaultIntegerRangeValues → IntegerValuesFactory

  51. def LongSet(values: SortedSet[Long]): LongSet

    Permalink
    Definition Classes
    DefaultLongSetValues → LongSetValues

  52. def LongSet(value: Long): DomainValue

    Permalink
    Definition Classes
    LongSetValues

  53. object LongSet

    Permalink
    Definition Classes
    LongSetValues

  54. def LongValue(origin: ValueOrigin, value: Long): LongSet

    Permalink
    Definition Classes
    DefaultLongSetValues → LongValuesFactory

  55. def LongValue(origin: ValueOrigin): DomainValue

    Permalink
    Definition Classes
    DefaultLongSetValues → LongValuesFactory

  56. final val MetaInformationUpdateIllegalValue: MetaInformationUpdate[DomainIllegalValue]

    Permalink
    Definition Classes
    DefaultDomainValueBinding → ValuesDomain

  57. def MethodCallResult(potentialExceptions: Iterable[ExceptionValue]): MethodCallResult

    Permalink
    Attributes
    protected[this]
    Definition Classes
    MethodCallsHandling

  58. def MethodCallResult(returnValue: DomainValue, exceptions: Iterable[ExceptionValue]): MethodCallResult

    Permalink
    Attributes
    protected[this]
    Definition Classes
    MethodCallsHandling

  59. def MethodHandle(origin: ValueOrigin, handle: MethodHandle): DomainReferenceValue

    Permalink
    Definition Classes
    ReferenceValuesFactory

  60. def MethodType(origin: ValueOrigin, descriptor: MethodDescriptor): DomainReferenceValue

    Permalink
    Definition Classes
    ReferenceValuesFactory

  61. def MultipleReferenceValues(values: SortedSet[DomainSingleOriginReferenceValue], isNull: Answer, isPrecise: Boolean, theUpperTypeBound: UpperTypeBound, t: Timestamp): DomainMultipleReferenceValues

    Permalink
    Attributes
    protected[org.opalj.ai.domain]
    Definition Classes
    DefaultReferenceValuesBinding → ReferenceValues

  62. def MultipleReferenceValues(values: SortedSet[DomainSingleOriginReferenceValue]): DomainMultipleReferenceValues

    Permalink
    Attributes
    protected[org.opalj.ai.domain]
    Definition Classes
    DefaultReferenceValuesBinding → ReferenceValues

  63. object MultipleReferenceValues

    Permalink
    Definition Classes
    ReferenceValues

  64. final def NegativeArraySizeException(origin: ValueOrigin): ExceptionValue

    Permalink
    Definition Classes
    DefaultExceptionsFactory → ExceptionsFactory

  65. def NewArray(pc: PC, counts: Operands, arrayType: ArrayType): DomainArrayValue

    Permalink
    Definition Classes
    ReferenceValues → TypeLevelReferenceValues

  66. def NewArray(pc: PC, count: DomainValue, arrayType: ArrayType): DomainArrayValue

    Permalink
    Definition Classes
    ReferenceValues → TypeLevelReferenceValues

  67. def NewObject(origin: ValueOrigin, objectType: ObjectType): DomainObjectValue

    Permalink
    Definition Classes
    StringValues → ReferenceValues → TypeLevelReferenceValues → ReferenceValuesFactory

  68. def NonNullObjectValue(pc: PC, objectType: ObjectType): DomainObjectValue

    Permalink
    Definition Classes
    ReferenceValues → TypeLevelReferenceValues → ReferenceValuesFactory

  69. final def NullPointerException(origin: ValueOrigin): ExceptionValue

    Permalink
    Definition Classes
    DefaultExceptionsFactory → ExceptionsFactory

  70. def NullValue(origin: ValueOrigin): DomainNullValue

    Permalink
    Definition Classes
    DefaultReferenceValuesBinding → TypeLevelReferenceValues → ReferenceValuesFactory

  71. def ObjectValue(origin: ValueOrigin, isNull: Answer, upperTypeBound: UIDSet[ObjectType], t: Timestamp): DomainObjectValue

    Permalink
    Attributes
    protected[org.opalj.ai.domain]
    Definition Classes
    DefaultReferenceValuesBinding → ReferenceValues

  72. def ObjectValue(origin: ValueOrigin, isNull: Answer, isPrecise: Boolean, theUpperTypeBound: ObjectType, t: Timestamp): SObjectValue

    Permalink
    Attributes
    protected[org.opalj.ai.domain]
    Definition Classes
    DefaultReferenceValuesBinding → ReferenceValues

  73. def ObjectValue(origin: ValueOrigin, isNull: Answer, isPrecise: Boolean, theUpperTypeBound: ObjectType): DomainObjectValue

    Permalink
    Attributes
    protected[org.opalj.ai.domain]
    Definition Classes
    ReferenceValues

  74. def ObjectValue(origin: ValueOrigin, isNull: Answer, upperTypeBound: UIDSet[ObjectType]): DomainObjectValue

    Permalink
    Attributes
    protected[org.opalj.ai.domain]
    Definition Classes
    ReferenceValues

  75. def ObjectValue(pc: PC, upperTypeBound: UIDSet[ObjectType]): DomainObjectValue

    Permalink
    Definition Classes
    ReferenceValues → TypeLevelReferenceValues

  76. def ObjectValue(pc: PC, objectType: ObjectType): DomainObjectValue

    Permalink
    Definition Classes
    ReferenceValues → TypeLevelReferenceValues

  77. final def ReferenceValue(origin: ValueOrigin, isNull: Answer, isPrecise: Boolean, upperTypeBound: UIDSet[ReferenceType], t: Timestamp): DomainSingleOriginReferenceValue

    Permalink
    Attributes
    protected[org.opalj.ai.domain]
    Definition Classes
    ReferenceValues

  78. final def ReferenceValue(origin: ValueOrigin, isNull: Answer, isPrecise: Boolean, theUpperTypeBound: ReferenceType): DomainSingleOriginReferenceValue

    Permalink
    Attributes
    protected[org.opalj.ai.domain]
    Definition Classes
    ReferenceValues

  79. def ReferenceValue(origin: ValueOrigin, isNull: Answer, isPrecise: Boolean, theUpperTypeBound: ReferenceType, t: Timestamp): DomainSingleOriginReferenceValue

    Permalink
    Attributes
    protected[org.opalj.ai.domain]
    Definition Classes
    ReferenceValues

  80. def ReferenceValue(pc: PC, upperTypeBound: ReferenceType): AReferenceValue

    Permalink
    Definition Classes
    TypeLevelReferenceValues → ReferenceValuesFactory

  81. final def ReturnAddressValue(address: Int): ReturnAddressValue

    Permalink
    Definition Classes
    DefaultDomainValueBinding → ValuesDomain

  82. def ShortValue(origin: ValueOrigin, value: Short): IntegerRange

    Permalink
    Definition Classes
    DefaultIntegerRangeValues → IntegerValuesFactory

  83. def ShortValue(origin: ValueOrigin): DomainValue

    Permalink
    Definition Classes
    DefaultIntegerRangeValues → IntegerValuesFactory

  84. implicit object SingleOriginValueOrdering extends Ordering[(Origin.this)#SingleOriginValue]

    Permalink
    Definition Classes
    Origin

  85. def StringValue(origin: ValueOrigin, value: String, t: Timestamp): DomainStringValue

    Permalink
    Definition Classes
    DefaultStringValuesBinding → StringValues

  86. final def StringValue(origin: ValueOrigin, value: String): DomainObjectValue

    Permalink
    Definition Classes
    StringValues → ReferenceValues → TypeLevelReferenceValues → ReferenceValuesFactory

  87. object StringValue

    Permalink
    Definition Classes
    StringValues

  88. final def StructuralUpdateIllegalValue: StructuralUpdate[Nothing]

    Permalink
    Definition Classes
    ValuesDomain

  89. final val TheIllegalValue: DomainIllegalValue

    Permalink
    Definition Classes
    DefaultDomainValueBinding → ValuesDomain

  90. final val TheReturnAddressValues: ReturnAddressValues

    Permalink
    Definition Classes
    DefaultDomainValueBinding → ValuesDomain

  91. final def Throwable(origin: ValueOrigin): ExceptionValue

    Permalink
    Definition Classes
    DefaultExceptionsFactory → ExceptionsFactory

  92. final def TimestampUpdate[T](value: T): MetaInformationUpdate[T]

    Permalink
    Definition Classes
    ReferenceValues
    Annotations
    @inline()

  93. def TypedValue(origin: ValueOrigin, valueType: Type): DomainValue

    Permalink
    Definition Classes
    TypedValuesFactory

  94. final def VMArithmeticException(pc: PC): ExceptionValue

    Permalink
    Definition Classes
    ExceptionsFactory

  95. final def VMArrayIndexOutOfBoundsException(pc: PC): ExceptionValue

    Permalink
    Definition Classes
    ExceptionsFactory

  96. final def VMArrayStoreException(pc: PC): ExceptionValue

    Permalink
    Definition Classes
    ExceptionsFactory

  97. final def VMClassCastException(pc: PC): ExceptionValue

    Permalink
    Definition Classes
    ExceptionsFactory

  98. final def VMClassNotFoundException(pc: PC): ExceptionValue

    Permalink
    Definition Classes
    ExceptionsFactory

  99. final def VMIllegalMonitorStateException(pc: PC): ExceptionValue

    Permalink
    Definition Classes
    ExceptionsFactory

  100. final def VMNegativeArraySizeException(pc: PC): ExceptionValue

    Permalink
    Definition Classes
    ExceptionsFactory

  101. final def VMNullPointerException(pc: PC): ExceptionValue

    Permalink
    Definition Classes
    ExceptionsFactory

  102. final def VMThrowable(pc: PC): ExceptionValue

    Permalink
    Definition Classes
    ExceptionsFactory

  103. def aaload(pc: PC, index: DomainValue, arrayref: DomainValue): ArrayLoadResult

    Permalink
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain

  104. def aastore(pc: PC, value: DomainValue, index: DomainValue, arrayref: DomainValue): ArrayStoreResult

    Permalink
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain

  105. def abruptMethodExecution(pc: PC, exception: ExceptionValue): Unit

    Permalink
    Definition Classes
    RecordThrownExceptions → ReturnInstructionsDomain

  106. def abstractInterpretationEnded(aiResult: AIResult { val domain: InvocationBugPickerAnalysisDomain.this.type }): Unit

    Permalink
    Definition Classes
    CoreDomainFunctionality

  107. def afterBaseJoin(pc: PC): Unit

    Permalink
    Attributes
    protected[this]
    Definition Classes
    JoinStabilization → CoreDomainFunctionality

  108. def afterEvaluation(pc: PC, instruction: Instruction, oldOperands: Operands, oldLocals: Locals, targetPC: PC, isExceptionalControlFlow: Boolean, newOperands: Operands, newLocals: Locals): (Operands, Locals)

    Permalink
    Definition Classes
    PostEvaluationMemoryManagement → CoreDomainFunctionality

  109. def allReturnedValues: Map[PC, ReturnedValue]

    Permalink
    Definition Classes
    RecordReturnedValues

  110. def allThrownExceptions: Map[PC, ThrownException]

    Permalink
    Definition Classes
    RecordThrownExceptions

  111. def areturn(pc: PC, value: DomainValue): Computation[Nothing, ExceptionValue]

    Permalink
    Definition Classes
    RecordReturnedValuesInfrastructure → ReturnInstructionsDomain

  112. def arraylength(pc: PC, arrayref: DomainValue): Computation[DomainValue, ExceptionValue]

    Permalink
    Definition Classes
    MaxArrayLengthRefinement → TypeLevelReferenceValues → ReferenceValuesDomain

  113. def arrayload(pc: PC, index: DomainValue, arrayref: DomainValue): ArrayLoadResult

    Permalink
    Definition Classes
    TypeLevelReferenceValues → GeneralizedArrayHandling

  114. def arraystore(pc: PC, value: DomainValue, index: DomainValue, arrayref: DomainValue): ArrayStoreResult

    Permalink
    Definition Classes
    TypeLevelReferenceValues → GeneralizedArrayHandling

  115. def asArrayAbstraction(value: DomainValue): ArrayAbstraction

    Permalink
    Definition Classes
    TypeLevelReferenceValues

  116. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  117. def asObjectValue(value: DomainValue): DomainObjectValue

    Permalink
    Definition Classes
    TypeLevelReferenceValues

  118. def asReferenceValue(value: DomainValue): AReferenceValue

    Permalink
    Definition Classes
    TypeLevelReferenceValues

  119. def baload(pc: PC, index: DomainValue, arrayref: DomainValue): ArrayLoadResult

    Permalink
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain

  120. def bastore(pc: PC, value: DomainValue, index: DomainValue, arrayref: DomainValue): ArrayStoreResult

    Permalink
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain

  121. def beforeBaseJoin(pc: PC): Unit

    Permalink
    Attributes
    protected[this]
    Definition Classes
    CoreDomainFunctionality

  122. val cache: CallGraphCache[MethodSignature, Set[Method]]

    Permalink
    Definition Classes
    InvocationBugPickerAnalysisDomain → Callees

  123. def calledMethodAI: AI[_ >: CalledMethodDomain]

    Permalink
    Definition Classes
    InvocationBugPickerAnalysisDomain → PerformInvocations

  124. def calledMethodDomain(classFile: ClassFile, method: Method): InvocationBugPickerAnalysisDomain

    Permalink
    Definition Classes
    InvocationBugPickerAnalysisDomain → PerformInvocations

  125. final def calledMethodsStore: CalledMethodsStore { val domain: org.opalj.ai.domain.l2.CalledMethodsStore.<refinement>.type }

    Permalink
    Definition Classes
    ChildPerformInvocationsWithRecursionDetection → PerformInvocationsWithRecursionDetection

  126. def callees(declaringClassType: ObjectType, name: String, descriptor: MethodDescriptor): Set[Method]

    Permalink
    Definition Classes
    Callees
    Annotations
    @inline()

  127. val callerDomain: BasePerformInvocationBugPickerAnalysisDomain

    Permalink
    Definition Classes
    InvocationBugPickerAnalysisDomain → ChildPerformInvocationsWithRecursionDetection

  128. def caload(pc: PC, index: DomainValue, arrayref: DomainValue): ArrayLoadResult

    Permalink
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain

  129. def castore(pc: PC, value: DomainValue, index: DomainValue, arrayref: DomainValue): ArrayStoreResult

    Permalink
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain

  130. implicit final def classHierarchy: ClassHierarchy

    Permalink
    Definition Classes
    TheProject → TheClassHierarchy
    Annotations
    @inline()

  131. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  132. final val code: Code

    Permalink
    Definition Classes
    TheMethod → TheCode

  133. final val coordinatingDomain: BasePerformInvocationBugPickerAnalysisDomain.coordinatingDomain

    Permalink
    Definition Classes
    ChildPerformInvocationsWithRecursionDetection → PerformInvocationsWithRecursionDetection

  134. def createLongValueOrArithmeticException(pc: PC, exception: Boolean, results: SortedSet[Long]): LongValueOrArithmeticException

    Permalink
    Attributes
    protected[this]
    Definition Classes
    LongSetValues

  135. val currentCallChainLength: Int

    Permalink
    Definition Classes
    InvocationBugPickerAnalysisDomain → BasePerformInvocationBugPickerAnalysisDomain

  136. def d2f(pc: PC, value: DomainValue): DomainValue

    Permalink
    Definition Classes
    TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain

  137. def d2i(pc: PC, value: DomainValue): DomainValue

    Permalink
    Definition Classes
    TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain

  138. def d2l(pc: PC, value: DomainValue): DomainValue

    Permalink
    Definition Classes
    TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain

  139. def dadd(pc: PC, value1: DomainValue, value2: DomainValue): DomainValue

    Permalink
    Definition Classes
    TypeLevelDoubleValues → DoubleValuesDomain

  140. def daload(pc: PC, index: DomainValue, arrayref: DomainValue): ArrayLoadResult

    Permalink
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain

  141. def dastore(pc: PC, value: DomainValue, index: DomainValue, arrayref: DomainValue): ArrayStoreResult

    Permalink
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain

  142. def dcmpg(pc: PC, value1: DomainValue, value2: DomainValue): DomainValue

    Permalink
    Definition Classes
    TypeLevelDoubleValues → DoubleValuesDomain

  143. def dcmpl(pc: PC, value1: DomainValue, value2: DomainValue): DomainValue

    Permalink
    Definition Classes
    TypeLevelDoubleValues → DoubleValuesDomain

  144. def ddiv(pc: PC, value1: DomainValue, value2: DomainValue): DomainValue

    Permalink
    Definition Classes
    TypeLevelDoubleValues → DoubleValuesDomain

  145. val debug: Boolean

    Permalink
    Definition Classes
    InvocationBugPickerAnalysisDomain → BasePerformInvocationBugPickerAnalysisDomain

  146. def dmul(pc: PC, value1: DomainValue, value2: DomainValue): DomainValue

    Permalink
    Definition Classes
    TypeLevelDoubleValues → DoubleValuesDomain

  147. def dneg(pc: PC, value: DomainValue): DomainValue

    Permalink
    Definition Classes
    TypeLevelDoubleValues → DoubleValuesDomain

  148. def doGetfield(pc: PC, objectref: DomainValue, fieldValue: DomainValue): Computation[DomainValue, ExceptionValue]

    Permalink
    Definition Classes
    TypeLevelFieldAccessInstructions

  149. def doGetstatic(pc: PC, fieldValue: DomainValue): Computation[DomainValue, Nothing]

    Permalink
    Definition Classes
    TypeLevelFieldAccessInstructions

  150. def doInvoke(pc: PC, definingClass: ClassFile, method: Method, operands: Operands, fallback: () ⇒ MethodCallResult): MethodCallResult

    Permalink
    Definition Classes
    BasePerformInvocationBugPickerAnalysisDomain → PerformInvocationsWithRecursionDetection → PerformInvocations

  151. def doInvoke(method: Method, calledMethodDomain: CalledMethodDomain)(parameters: Locals): AIResult { val domain: calledMethodDomain.type }

    Permalink
    Attributes
    protected[this]
    Definition Classes
    BasePerformInvocationBugPickerAnalysisDomain → PerformInvocations

  152. def doInvoke(pc: PC, method: Method, operands: Operands, fallback: () ⇒ MethodCallResult): MethodCallResult

    Permalink
    Attributes
    protected[this]
    Definition Classes
    RefinedTypeLevelInvokeInstructions → MethodCallsDomainWithMethodLockup

  153. def doInvokeNonVirtual(pc: PC, declaringClassType: ObjectType, methodName: String, methodDescriptor: MethodDescriptor, operands: Operands, fallback: () ⇒ MethodCallResult): MethodCallResult

    Permalink
    Attributes
    protected[this]
    Definition Classes
    PerformInvocations

  154. def doInvokeVirtual(pc: PC, declaringClass: ReferenceType, name: String, descriptor: MethodDescriptor, operands: Operands, fallback: () ⇒ MethodCallResult): MethodCallResult

    Permalink
    Definition Classes
    PerformInvocationsWithBasicVirtualMethodCallResolution → PerformInvocations

  155. def doNonVirtualInvoke(pc: PC, declaringClassType: ObjectType, methodName: String, methodDescriptor: MethodDescriptor, operands: Operands, fallback: () ⇒ MethodCallResult): MethodCallResult

    Permalink
    Attributes
    protected[this]
    Definition Classes
    MethodCallsDomainWithMethodLockup

  156. def doRecordReturnedValue(pc: PC, value: DomainValue): Unit

    Permalink
    Attributes
    protected[this]
    Definition Classes
    RecordReturnedValues → RecordReturnedValuesInfrastructure

  157. def doVirtualInvoke(pc: PC, declaringClassType: ObjectType, methodName: String, methodDescriptor: MethodDescriptor, operands: Operands, fallback: () ⇒ MethodCallResult): MethodCallResult

    Permalink
    Attributes
    protected[this]
    Definition Classes
    MethodCallsDomainWithMethodLockup

  158. def drem(pc: PC, value1: DomainValue, value2: DomainValue): DomainValue

    Permalink
    Definition Classes
    TypeLevelDoubleValues → DoubleValuesDomain

  159. def dreturn(pc: PC, value: DomainValue): Computation[Nothing, ExceptionValue]

    Permalink
    Definition Classes
    RecordReturnedValuesInfrastructure → ReturnInstructionsDomain

  160. def dsub(pc: PC, value1: DomainValue, value2: DomainValue): DomainValue

    Permalink
    Definition Classes
    TypeLevelDoubleValues → DoubleValuesDomain

  161. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  162. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  163. def evaluationCompleted(pc: PC, worklist: Chain[PC], evaluated: Chain[PC], operandsArray: OperandsArray, localsArray: LocalsArray, tracer: Option[AITracer]): Unit

    Permalink
    Definition Classes
    CoreDomainFunctionality

  164. def f2d(pc: PC, value: DomainValue): DomainValue

    Permalink
    Definition Classes
    TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain

  165. def f2i(pc: PC, value: DomainValue): DomainValue

    Permalink
    Definition Classes
    TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain

  166. def f2l(pc: PC, value: DomainValue): DomainValue

    Permalink
    Definition Classes
    TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain

  167. def fadd(pc: PC, value1: DomainValue, value2: DomainValue): DomainValue

    Permalink
    Definition Classes
    TypeLevelFloatValues → FloatValuesDomain

  168. def faload(pc: PC, index: DomainValue, arrayref: DomainValue): ArrayLoadResult

    Permalink
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain

  169. def fastore(pc: PC, value: DomainValue, index: DomainValue, arrayref: DomainValue): ArrayStoreResult

    Permalink
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain

  170. def fcmpg(pc: PC, value1: DomainValue, value2: DomainValue): DomainValue

    Permalink
    Definition Classes
    TypeLevelFloatValues → FloatValuesDomain

  171. def fcmpl(pc: PC, value1: DomainValue, value2: DomainValue): DomainValue

    Permalink
    Definition Classes
    TypeLevelFloatValues → FloatValuesDomain

  172. def fdiv(pc: PC, value1: DomainValue, value2: DomainValue): DomainValue

    Permalink
    Definition Classes
    TypeLevelFloatValues → FloatValuesDomain

  173. val fieldValueInformation: FieldValueInformation

    Permalink
    Definition Classes
    InvocationBugPickerAnalysisDomain → RefinedTypeLevelFieldAccessInstructions

  174. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )

  175. 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]

    Permalink
    Definition Classes
    CoreDomainFunctionality

  176. def fmul(pc: PC, value1: DomainValue, value2: DomainValue): DomainValue

    Permalink
    Definition Classes
    TypeLevelFloatValues → FloatValuesDomain

  177. def fneg(pc: PC, value: DomainValue): DomainValue

    Permalink
    Definition Classes
    TypeLevelFloatValues → FloatValuesDomain

  178. def foreachOrigin(value: DomainValue, f: (ValueOrigin) ⇒ Unit): Unit

    Permalink
    Definition Classes
    Origin

  179. def frem(pc: PC, value1: DomainValue, value2: DomainValue): DomainValue

    Permalink
    Definition Classes
    TypeLevelFloatValues → FloatValuesDomain

  180. def frequentEvaluationWarningLevel: Int

    Permalink
    Definition Classes
    ChildPerformInvocationsWithRecursionDetection → PerformInvocationsWithRecursionDetection

  181. def freturn(pc: PC, value: DomainValue): Computation[Nothing, ExceptionValue]

    Permalink
    Definition Classes
    RecordReturnedValuesInfrastructure → ReturnInstructionsDomain

  182. def fsub(pc: PC, value1: DomainValue, value2: DomainValue): DomainValue

    Permalink
    Definition Classes
    TypeLevelFloatValues → FloatValuesDomain

  183. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any

  184. def getPotentialExceptions(pc: PC): List[ExceptionValue]

    Permalink
    Attributes
    protected[this]
    Definition Classes
    MethodCallsHandling

  185. def getfield(pc: PC, objectref: DomainValue, declaringClass: ObjectType, fieldName: String, fieldType: FieldType): Computation[DomainValue, ExceptionValue]

    Permalink
    Definition Classes
    RefinedTypeLevelFieldAccessInstructions → TypeLevelFieldAccessInstructions → FieldAccessesDomain

  186. def getstatic(pc: PC, declaringClass: ObjectType, name: String, fieldType: FieldType): Computation[DomainValue, Nothing]

    Permalink
    Definition Classes
    ClassValues → FieldAccessesDomain

  187. def handleInstanceBasedInvoke(pc: PC, methodDescriptor: MethodDescriptor, targetMethods: Set[Method], receiverIsNull: Answer, operands: Operands): MethodCallResult

    Permalink
    Attributes
    protected[this]
    Definition Classes
    MethodCallsHandling

  188. def handleInstanceBasedInvoke(pc: PC, methodDescriptor: MethodDescriptor, operands: Operands): MethodCallResult

    Permalink
    Attributes
    protected[this]
    Definition Classes
    MethodCallsHandling

  189. def handleInstanceBasedInvoke(pc: PC, methodDescriptor: MethodDescriptor, receiverIsNull: Answer): MethodCallResult

    Permalink
    Attributes
    protected[this]
    Definition Classes
    MethodCallsHandling

  190. def handleInvoke(pc: PC, targetMethod: Method, operands: Operands): MethodCallResult

    Permalink
    Attributes
    protected[this]
    Definition Classes
    MethodCallsHandling

  191. def handleInvoke(pc: PC, methodDescriptor: MethodDescriptor): MethodCallResult

    Permalink
    Attributes
    protected[this]
    Definition Classes
    MethodCallsHandling

  192. def handleReturn(pc: PC): Computation[Nothing, ExceptionValue]

    Permalink
    Attributes
    protected[this]
    Definition Classes
    ReturnInstructionsDomain

  193. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  194. def i2b(pc: PC, value: DomainValue): DomainValue

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

  195. def i2c(pc: PC, value: DomainValue): DomainValue

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

  196. def i2d(pc: PC, value: DomainValue): DomainValue

    Permalink
    Definition Classes
    ConcretePrimitiveValuesConversions → TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain

  197. def i2f(pc: PC, value: DomainValue): DomainValue

    Permalink
    Definition Classes
    ConcretePrimitiveValuesConversions → TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain

  198. def i2l(pc: PC, value: DomainValue): DomainValue

    Permalink
    Definition Classes
    ConcretePrimitiveValuesConversions → TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain

  199. def i2s(pc: PC, value: DomainValue): DomainValue

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

  200. def iadd(pc: PC, value1: DomainValue, value2: DomainValue): DomainValue

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

  201. def iaload(pc: PC, index: DomainValue, arrayref: DomainValue): ArrayLoadResult

    Permalink
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain

  202. def iand(pc: PC, value1: DomainValue, value2: DomainValue): DomainValue

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

  203. def iastore(pc: PC, value: DomainValue, index: DomainValue, arrayref: DomainValue): ArrayStoreResult

    Permalink
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain

  204. def idiv(pc: PC, numerator: DomainValue, denominator: DomainValue): IntegerValueOrArithmeticException

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

  205. def iinc(pc: PC, value: DomainValue, increment: Int): DomainValue

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

  206. def imul(pc: PC, value1: DomainValue, value2: DomainValue): DomainValue

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

  207. def ineg(pc: PC, value: DomainValue): DomainValue

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

  208. def initProperties(code: Code, cfJoins: BitSet, initialLocals: Locals): Unit

    Permalink
    Definition Classes
    RecordReturnedValues → CustomInitialization

  209. def intAreEqual(pc: PC, value1: DomainValue, value2: DomainValue): Answer

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

  210. def intAreNotEqual(pc: PC, value1: DomainValue, value2: DomainValue): Answer

    Permalink
    Definition Classes
    IntegerValuesDomain

  211. def intEstablishAreEqual(pc: PC, value1: DomainValue, value2: DomainValue, operands: Operands, locals: Locals): (Operands, Locals)

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

  212. def intEstablishAreNotEqual(pc: PC, value1: DomainValue, value2: DomainValue, operands: Operands, locals: Locals): (Operands, Locals)

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

  213. def intEstablishIsLessThan(pc: PC, left: DomainValue, right: DomainValue, operands: Operands, locals: Locals): (Operands, Locals)

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

  214. def intEstablishIsLessThanOrEqualTo(pc: PC, left: DomainValue, right: DomainValue, operands: Operands, locals: Locals): (Operands, Locals)

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

  215. def intEstablishValue(pc: PC, theValue: Int, value: DomainValue, operands: Operands, locals: Locals): (Operands, Locals)

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

  216. def intIs0(pc: PC, value: DomainValue): Answer

    Permalink
    Definition Classes
    IntegerValuesDomain

  217. def intIsGreaterThan(pc: PC, largerValue: DomainValue, smallerValue: DomainValue): Answer

    Permalink
    Definition Classes
    IntegerValuesDomain

  218. def intIsGreaterThan0(pc: PC, value: DomainValue): Answer

    Permalink
    Definition Classes
    IntegerValuesDomain

  219. def intIsGreaterThanOrEqualTo(pc: PC, largerOrEqualValue: DomainValue, smallerOrEqualValue: DomainValue): Answer

    Permalink
    Definition Classes
    IntegerValuesDomain

  220. def intIsGreaterThanOrEqualTo0(pc: PC, value: DomainValue): Answer

    Permalink
    Definition Classes
    IntegerValuesDomain

  221. def intIsLessThan(pc: PC, left: DomainValue, right: DomainValue): Answer

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

  222. def intIsLessThan0(pc: PC, value: DomainValue): Answer

    Permalink
    Definition Classes
    IntegerValuesDomain

  223. def intIsLessThanOrEqualTo(pc: PC, left: DomainValue, right: DomainValue): Answer

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

  224. def intIsLessThanOrEqualTo0(pc: PC, value: DomainValue): Answer

    Permalink
    Definition Classes
    IntegerValuesDomain

  225. def intIsNot0(pc: PC, value: DomainValue): Answer

    Permalink
    Definition Classes
    IntegerValuesDomain

  226. def intIsSomeValueInRange(pc: PC, value: DomainValue, lowerBound: Int, upperBound: Int): Answer

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

  227. def intIsSomeValueNotInRange(pc: PC, value: DomainValue, lowerBound: Int, upperBound: Int): Answer

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

  228. final def intValue[T](value: DomainValue)(f: (Int) ⇒ T)(orElse: ⇒ T): T

    Permalink
    Definition Classes
    IntegerRangeValues → ConcreteIntegerValues
    Annotations
    @inline()

  229. final def intValueOption(value: DomainValue): Option[Int]

    Permalink
    Definition Classes
    IntegerRangeValues → ConcreteIntegerValues
    Annotations
    @inline()

  230. final def intValues[T](value1: DomainValue, value2: DomainValue)(f: (Int, Int) ⇒ T)(orElse: ⇒ T): T

    Permalink
    Attributes
    protected
    Definition Classes
    IntegerRangeValues
    Annotations
    @inline()

  231. def invokedynamic(pc: PC, bootstrapMethod: BootstrapMethod, name: String, methodDescriptor: MethodDescriptor, operands: Operands): MethodCallResult

    Permalink
    Definition Classes
    TypeLevelInvokeInstructions → MethodCallsDomain

  232. def invokeinterface(pc: PC, declaringClass: ObjectType, name: String, descriptor: MethodDescriptor, operands: Operands): MethodCallResult

    Permalink
    Definition Classes
    PerformInvocations → MethodCallsDomain

  233. def invokespecial(pc: PC, declaringClass: ObjectType, name: String, methodDescriptor: MethodDescriptor, operands: Operands): MethodCallResult

    Permalink
    Definition Classes
    StringValues → MethodCallsDomain

  234. def invokestatic(pc: PC, declaringClass: ObjectType, name: String, methodDescriptor: MethodDescriptor, operands: Operands): MethodCallResult

    Permalink
    Definition Classes
    ClassValues → MethodCallsDomain

  235. def invokevirtual(pc: PC, declaringClass: ReferenceType, name: String, descriptor: MethodDescriptor, operands: Operands): MethodCallResult

    Permalink
    Definition Classes
    BasePerformInvocationBugPickerAnalysisDomain → PerformInvocations → MethodCallsDomainWithMethodLockup → TypeLevelInvokeInstructions → MethodCallsDomain

  236. def ior(pc: PC, value1: DomainValue, value2: DomainValue): DomainValue

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

  237. def irem(pc: PC, left: DomainValue, right: DomainValue): IntegerValueOrArithmeticException

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

  238. def ireturn(pc: PC, value: DomainValue): Computation[Nothing, ExceptionValue]

    Permalink
    Definition Classes
    RecordReturnedValuesInfrastructure → ReturnInstructionsDomain

  239. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

  240. def isNull(values: Iterable[AReferenceValue]): Answer

    Permalink
    Attributes
    protected
    Definition Classes
    ReferenceValues

  241. def isPrecise(values: Iterable[AReferenceValue]): Boolean

    Permalink
    Attributes
    protected
    Definition Classes
    ReferenceValues

  242. def isSubtypeOf(subtype: ReferenceType, supertype: ReferenceType): Answer

    Permalink
    Definition Classes
    TheClassHierarchy

  243. final def isValueSubtypeOf(value: DomainValue, supertype: ReferenceType): Answer

    Permalink
    Definition Classes
    TypeLevelReferenceValues → ReferenceValuesDomain

  244. def ishl(pc: PC, value: DomainValue, shift: DomainValue): DomainValue

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

  245. def ishr(pc: PC, value: DomainValue, shift: DomainValue): DomainValue

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

  246. def isub(pc: PC, left: DomainValue, right: DomainValue): DomainValue

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

  247. def iushr(pc: PC, value: DomainValue, shift: DomainValue): DomainValue

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

  248. def ixor(pc: PC, value1: DomainValue, value2: DomainValue): DomainValue

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

  249. def join(pc: PC, thisOperands: Operands, thisLocals: Locals, otherOperands: Operands, otherLocals: Locals): Update[(Operands, Locals)]

    Permalink
    Definition Classes
    CoreDomainFunctionality

  250. def joinPostProcessing(updateType: UpdateType, pc: PC, oldOperands: Operands, oldLocals: Locals, newOperands: Operands, newLocals: Locals): Update[(Operands, Locals)]

    Permalink
    Attributes
    protected[this]
    Definition Classes
    IdentityBasedCorrelationChangeDetection → CoreDomainFunctionality

  251. def joinReturnedValues(pc: PC, previouslyReturnedValue: ReturnedValue, value: DomainValue): ReturnedValue

    Permalink
    Attributes
    protected[this]
    Definition Classes
    RecordLastReturnedValues → RecordReturnedValues

  252. def joinThrownExceptions(pc: PC, previouslyThrownException: ThrownException, value: ExceptionValue): ThrownException

    Permalink
    Attributes
    protected[this]
    Definition Classes
    RecordAllThrownExceptions → RecordThrownExceptions

  253. def joinValues(pc: PC, left: DomainValue, right: DomainValue): Update[DomainValue]

    Permalink
    Attributes
    protected[this]
    Definition Classes
    JoinStabilization → CoreDomainFunctionality

  254. val joinedValues: Map[IdentityPair[AnyRef, AnyRef], Update[DomainValue]]

    Permalink
    Attributes
    protected[this]
    Definition Classes
    JoinStabilization

  255. def jumpToSubroutine(pc: PC, branchTarget: PC, returnTarget: PC): Unit

    Permalink
    Definition Classes
    SubroutinesDomain

  256. final def justThrows(value: ExceptionValue): ThrowsException[ExceptionValues]

    Permalink
    Definition Classes
    ReferenceValuesFactory

  257. def l2d(pc: PC, value: DomainValue): DomainValue

    Permalink
    Definition Classes
    ConcretePrimitiveValuesConversions → TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain

  258. def l2f(pc: PC, value: DomainValue): DomainValue

    Permalink
    Definition Classes
    ConcretePrimitiveValuesConversions → TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain

  259. def l2i(pc: PC, value: DomainValue): DomainValue

    Permalink
    Definition Classes
    ConcretePrimitiveValuesConversions → TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain

  260. def ladd(pc: PC, value1: DomainValue, value2: DomainValue): DomainValue

    Permalink
    Definition Classes
    LongSetValues → LongValuesDomain

  261. def laload(pc: PC, index: DomainValue, arrayref: DomainValue): ArrayLoadResult

    Permalink
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain

  262. def land(pc: PC, value1: DomainValue, value2: DomainValue): DomainValue

    Permalink
    Definition Classes
    LongSetValues → LongValuesDomain

  263. def lastore(pc: PC, value: DomainValue, index: DomainValue, arrayref: DomainValue): ArrayStoreResult

    Permalink
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain

  264. def lcmp(pc: PC, left: DomainValue, right: DomainValue): DomainValue

    Permalink
    Definition Classes
    LongSetValues → LongValuesDomain

  265. def ldiv(pc: PC, numerator: DomainValue, denominator: DomainValue): LongValueOrArithmeticException

    Permalink
    Definition Classes
    LongSetValues → LongValuesDomain

  266. def lmul(pc: PC, value1: DomainValue, value2: DomainValue): DomainValue

    Permalink
    Definition Classes
    LongSetValues → LongValuesDomain

  267. def lneg(pc: PC, value: DomainValue): DomainValue

    Permalink
    Definition Classes
    LongSetValues → LongValuesDomain

  268. def localsArray: LocalsArray

    Permalink
    Definition Classes
    TheMemoryLayout

  269. implicit final def logContext: LogContext

    Permalink
    Definition Classes
    TheProject → LogContextProvider

  270. final def longValue[T](value: DomainValue)(f: (Long) ⇒ T)(orElse: ⇒ T): T

    Permalink
    Definition Classes
    LongSetValues → ConcreteLongValues
    Annotations
    @inline()

  271. final def longValueOption(value: DomainValue): Option[Long]

    Permalink
    Definition Classes
    LongSetValues → ConcreteLongValues
    Annotations
    @inline()

  272. def lor(pc: PC, value1: DomainValue, value2: DomainValue): DomainValue

    Permalink
    Definition Classes
    LongSetValues → LongValuesDomain

  273. def lrem(pc: PC, left: DomainValue, right: DomainValue): LongValueOrArithmeticException

    Permalink
    Definition Classes
    LongSetValues → LongValuesDomain

  274. def lreturn(pc: PC, value: DomainValue): Computation[Nothing, ExceptionValue]

    Permalink
    Definition Classes
    RecordReturnedValuesInfrastructure → ReturnInstructionsDomain

  275. def lshl(pc: PC, value: DomainValue, shift: DomainValue): DomainValue

    Permalink
    Definition Classes
    LongSetValuesShiftOperators → LongValuesDomain

  276. def lshr(pc: PC, value: DomainValue, shift: DomainValue): DomainValue

    Permalink
    Definition Classes
    LongSetValuesShiftOperators → LongValuesDomain

  277. def lsub(pc: PC, left: DomainValue, right: DomainValue): DomainValue

    Permalink
    Definition Classes
    LongSetValues → LongValuesDomain

  278. def lushr(pc: PC, value: DomainValue, shift: DomainValue): DomainValue

    Permalink
    Definition Classes
    LongSetValuesShiftOperators → LongValuesDomain

  279. def lxor(pc: PC, value1: DomainValue, value2: DomainValue): DomainValue

    Permalink
    Definition Classes
    LongSetValues → LongValuesDomain

  280. val maxCallChainLength: Int

    Permalink
    Definition Classes
    InvocationBugPickerAnalysisDomain → BasePerformInvocationBugPickerAnalysisDomain

  281. val maxCardinalityOfIntegerRanges: Long

    Permalink
    Definition Classes
    InvocationBugPickerAnalysisDomain → IntegerRangeValues

  282. val maxCardinalityOfLongSets: Int

    Permalink
    Definition Classes
    InvocationBugPickerAnalysisDomain → LongSetValues

  283. def memoryLayoutBeforeSubroutineCall: Chain[(OperandsArray, LocalsArray)]

    Permalink
    Definition Classes
    TheMemoryLayout

  284. def mergeDEComputations(pc: PC, c1: Computation[DomainValue, ExceptionValue], c2: Computation[DomainValue, ExceptionValue]): Computation[DomainValue, ExceptionValue]

    Permalink
    Attributes
    protected[this]
    Definition Classes
    TypeLevelReferenceValues

  285. def mergeDEsComputations(pc: PC, c1: Computation[DomainValue, ExceptionValues], c2: Computation[DomainValue, ExceptionValues]): Computation[DomainValue, ExceptionValues]

    Permalink
    Attributes
    protected[this]
    Definition Classes
    TypeLevelReferenceValues

  286. def mergeDomainValues(pc: PC, v1: DomainValue, v2: DomainValue): DomainValue

    Permalink
    Definition Classes
    ValuesDomain

  287. def mergeEsComputations(pc: PC, c1: Computation[Nothing, ExceptionValues], c2: Computation[Nothing, ExceptionValues]): Computation[Nothing, ExceptionValues]

    Permalink
    Attributes
    protected[this]
    Definition Classes
    TypeLevelReferenceValues

  288. def mergeMultipleExceptionValues(pc: PC, v1s: ExceptionValues, v2s: ExceptionValues): ExceptionValues

    Permalink
    Definition Classes
    TypeLevelReferenceValues

  289. val method: Method

    Permalink
    Definition Classes
    InvocationBugPickerAnalysisDomain → TheMethod

  290. val methodReturnValueInformation: MethodReturnValueInformation

    Permalink
    Definition Classes
    InvocationBugPickerAnalysisDomain → RefinedTypeLevelInvokeInstructions

  291. def monitorenter(pc: PC, value: DomainValue): Computation[Nothing, ExceptionValue]

    Permalink
    Definition Classes
    IgnoreSynchronization → MonitorInstructionsDomain

  292. def monitorexit(pc: PC, value: DomainValue): Computation[Nothing, ExceptionValues]

    Permalink
    Definition Classes
    IgnoreSynchronization → MonitorInstructionsDomain

  293. def multianewarray(pc: PC, counts: Operands, arrayType: ArrayType): Computation[DomainArrayValue, ExceptionValue]

    Permalink
    Definition Classes
    TypeLevelReferenceValues → ReferenceValuesDomain

  294. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  295. def newarray(pc: PC, count: DomainValue, componentType: FieldType): Computation[DomainValue, ExceptionValue]

    Permalink
    Definition Classes
    TypeLevelReferenceValues → ReferenceValuesDomain

  296. def nextT(): Timestamp

    Permalink
    Definition Classes
    ReferenceValues

  297. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef

  298. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef

  299. final def nullT: Timestamp

    Permalink
    Definition Classes
    ReferenceValues

  300. def operandsArray: OperandsArray

    Permalink
    Definition Classes
    TheMemoryLayout

  301. def origin(value: DomainValue): Iterable[ValueOrigin]

    Permalink
    Definition Classes
    Origin

  302. val project: Project[URL]

    Permalink
    Definition Classes
    InvocationBugPickerAnalysisDomain → Callees → TheProject

  303. def properties(pc: PC, propertyToString: (AnyRef) ⇒ String): Option[String]

    Permalink
    Definition Classes
    ValuesDomain

  304. final lazy val propertyStore: PropertyStore

    Permalink
    Definition Classes
    TheProject → ThePropertyStore

  305. def putfield(pc: PC, objectref: DomainValue, value: DomainValue, declaringClass: ObjectType, fieldName: String, fieldType: FieldType): Computation[Nothing, ExceptionValue]

    Permalink
    Definition Classes
    TypeLevelFieldAccessInstructions → FieldAccessesDomain

  306. def putstatic(pc: PC, value: DomainValue, declaringClass: ObjectType, fieldName: String, fieldType: FieldType): Computation[Nothing, Nothing]

    Permalink
    Definition Classes
    TypeLevelFieldAccessInstructions → FieldAccessesDomain

  307. def recordReturnedValue(pc: PC, value: DomainValue): ReturnedValue

    Permalink
    Attributes
    protected[this]
    Definition Classes
    RecordLastReturnedValues → RecordReturnedValues

  308. def recordThrownException(pc: PC, value: ExceptionValue): ThrownException

    Permalink
    Attributes
    protected[this]
    Definition Classes
    RecordAllThrownExceptions → RecordThrownExceptions

  309. def refAreEqual(pc: PC, v1: DomainValue, v2: DomainValue): Answer

    Permalink
    Definition Classes
    ReferenceValues → TypeLevelReferenceValues → ReferenceValuesDomain

  310. def refAreNotEqual(pc: PC, value1: DomainValue, value2: DomainValue): Answer

    Permalink
    Definition Classes
    ReferenceValuesDomain

  311. def refEstablishAreEqual(pc: PC, value1: DomainValue, value2: DomainValue, operands: Operands, locals: Locals): (Operands, Locals)

    Permalink
    Definition Classes
    ReferenceValuesDomain

  312. def refEstablishAreNotEqual(pc: PC, value1: DomainValue, value2: DomainValue, operands: Operands, locals: Locals): (Operands, Locals)

    Permalink
    Definition Classes
    ReferenceValuesDomain

  313. def refEstablishIsNonNull(pc: PC, value: DomainValue, operands: Operands, locals: Locals): (Operands, Locals)

    Permalink
    Definition Classes
    ReferenceValues → ReferenceValuesDomain

  314. def refEstablishIsNull(pc: PC, value: DomainValue, operands: Operands, locals: Locals): (Operands, Locals)

    Permalink
    Definition Classes
    ReferenceValues → ReferenceValuesDomain

  315. def refIsNonNull(pc: PC, value: DomainValue): Answer

    Permalink
    Definition Classes
    ReferenceValuesDomain

  316. final def refIsNull(pc: PC, value: DomainValue): Answer

    Permalink
    Definition Classes
    TypeLevelReferenceValues → ReferenceValuesDomain

  317. def refSetUpperTypeBoundOfTopOperand(pc: PC, bound: ReferenceType, operands: Operands, locals: Locals): (Operands, Locals)

    Permalink
    Definition Classes
    ReferenceValues → TypeLevelReferenceValues → ReferenceValuesDomain

  318. def refTopOperandIsNull(pc: PC, operands: Operands, locals: Locals): (Operands, Locals)

    Permalink
    Definition Classes
    ReferenceValues → TypeLevelReferenceValues → ReferenceValuesDomain

  319. def refineIsNull(pc: PC, value: DomainValue, isNull: Answer, operands: Operands, locals: Locals): (Operands, Locals)

    Permalink
    Attributes
    protected[this]
    Definition Classes
    ReferenceValues

  320. def returnFromSubroutine(pc: PC, lvIndex: Int): Unit

    Permalink
    Definition Classes
    SubroutinesDomain

  321. def returnVoid(pc: PC): Computation[Nothing, ExceptionValue]

    Permalink
    Definition Classes
    RecordMethodCallResults → ReturnInstructionsDomain

  322. def returnedNormally: Boolean

    Permalink
    Definition Classes
    RecordMethodCallResults → MethodCallResults

  323. def returnedValue(target: TargetDomain, callerPC: PC): Option[(target)#DomainValue]

    Permalink
    Definition Classes
    RecordMethodCallResults → MethodCallResults

  324. def returnedValueRemapped(callerDomain: TargetDomain, callerPC: PC)(originalOperands: (ai.domain.RecordMethodCallResults.returnedValueRemapped.callerDomain)#Operands, passedParameters: Locals): Option[(ai.domain.RecordMethodCallResults.returnedValueRemapped.callerDomain)#DomainValue]

    Permalink
    Definition Classes
    RecordMethodCallResults → MethodCallResults

  325. def saload(pc: PC, index: DomainValue, arrayref: DomainValue): ArrayLoadResult

    Permalink
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain

  326. def sastore(pc: PC, value: DomainValue, index: DomainValue, arrayref: DomainValue): ArrayStoreResult

    Permalink
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain

  327. def schedule(successorPC: PC, abruptSubroutineTerminationCount: Int, worklist: Chain[PC]): Chain[PC]

    Permalink
    Attributes
    protected[this]
    Definition Classes
    CoreDomainFunctionality

  328. def shouldInvocationBePerformed(definingClass: ClassFile, calledMethod: Method): Boolean

    Permalink
    Definition Classes
    BasePerformInvocationBugPickerAnalysisDomain → PerformInvocations

  329. def sideEffectOnlyOrExceptions(pc: PC, value: DomainValue): Computation[Nothing, ExceptionValue]

    Permalink
    Attributes
    protected[this]
    Definition Classes
    IgnoreSynchronization

  330. def simpleClassForNameCall(pc: PC, className: String): MethodCallResult

    Permalink
    Attributes
    protected[org.opalj.ai.domain.l1]
    Definition Classes
    ClassValues

  331. def subroutinesLocalsArray: LocalsArray

    Permalink
    Definition Classes
    TheMemoryLayout

  332. def subroutinesOperandsArray: OperandsArray

    Permalink
    Definition Classes
    TheMemoryLayout

  333. def summarize(pc: PC, values: Iterable[DomainValue]): DomainValue

    Permalink
    Definition Classes
    ValuesDomain

  334. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef

  335. def testAndDoInvoke(pc: PC, definingClass: ClassFile, method: Method, operands: Operands, fallback: () ⇒ MethodCallResult): MethodCallResult

    Permalink
    Attributes
    protected[this]
    Definition Classes
    PerformInvocations

  336. def throwArithmeticExceptions: Boolean

    Permalink
    Definition Classes
    ThrowAllPotentialExceptionsConfiguration → Configuration

  337. def throwArrayIndexOutOfBoundsException: Boolean

    Permalink
    Definition Classes
    ThrowAllPotentialExceptionsConfiguration → Configuration

  338. def throwArrayStoreException: Boolean

    Permalink
    Definition Classes
    ThrowAllPotentialExceptionsConfiguration → Configuration

  339. def throwClassCastException: Boolean

    Permalink
    Definition Classes
    ThrowAllPotentialExceptionsConfiguration → Configuration

  340. def throwClassNotFoundException: Boolean

    Permalink
    Definition Classes
    ThrowAllPotentialExceptionsConfiguration → Configuration

  341. def throwExceptionsOnMethodCall: ExceptionsRaisedByCalledMethod

    Permalink
    Definition Classes
    ThrowAllPotentialExceptionsConfiguration → Configuration

  342. def throwIllegalMonitorStateException: Boolean

    Permalink
    Definition Classes
    ThrowAllPotentialExceptionsConfiguration → Configuration

  343. def throwNegativeArraySizeException: Boolean

    Permalink
    Definition Classes
    ThrowAllPotentialExceptionsConfiguration → Configuration

  344. def throwNullPointerExceptionOnArrayAccess: Boolean

    Permalink
    Definition Classes
    ThrowAllPotentialExceptionsConfiguration → Configuration

  345. def throwNullPointerExceptionOnFieldAccess: Boolean

    Permalink
    Definition Classes
    ThrowAllPotentialExceptionsConfiguration → Configuration

  346. def throwNullPointerExceptionOnMethodCall: Boolean

    Permalink
    Definition Classes
    ThrowAllPotentialExceptionsConfiguration → Configuration

  347. def throwNullPointerExceptionOnMonitorAccess: Boolean

    Permalink
    Definition Classes
    ThrowAllPotentialExceptionsConfiguration → Configuration

  348. def throwNullPointerExceptionOnThrow: Boolean

    Permalink
    Definition Classes
    ThrowAllPotentialExceptionsConfiguration → Configuration

  349. def thrownExceptions(target: TargetDomain, callerPC: PC): (target)#ExceptionValues

    Permalink
    Definition Classes
    RecordMethodCallResults → MethodCallResults

  350. final def throws(value: ExceptionValue): ThrowsException[ExceptionValue]

    Permalink
    Definition Classes
    ReferenceValuesFactory

  351. def toDomainValue(pc: PC, value: AnyRef): DomainReferenceValue

    Permalink
    Definition Classes
    StringValues → DefaultJavaObjectToDomainValueConversion → AsDomainValue

  352. def toJavaObject(pc: PC, value: DomainValue): Option[AnyRef]

    Permalink
    Definition Classes
    StringValues → ReferenceValues → TypeLevelReferenceValues → AsJavaObject

  353. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any

  354. def transformResult(callerPC: PC, calledMethod: Method, originalOperands: Operands, calledMethodDomain: CalledMethodDomain)(passedParameters: ai.domain.l2.PerformInvocations.CalledMethodDomain.Locals, result: AIResult { val domain: calledMethodDomain.type }): MethodCallResult

    Permalink
    Attributes
    protected[this]
    Definition Classes
    PerformInvocations

  355. def typeOfValue(value: DomainValue): TypeInformation

    Permalink
    Definition Classes
    ValuesDomain

  356. def updateAfterEvaluation(oldValue: DomainValue, newValue: DomainValue): Unit

    Permalink
    Attributes
    protected
    Definition Classes
    PostEvaluationMemoryManagement

  357. def updateAfterException(oldValue: DomainValue, newValue: DomainValue): Unit

    Permalink
    Attributes
    protected
    Definition Classes
    PostEvaluationMemoryManagement

  358. def updateAfterExecution(oldValue: DomainValue, newValueAfterEvaluation: DomainValue, newValueAfterException: DomainValue): Unit

    Permalink
    Attributes
    protected
    Definition Classes
    PostEvaluationMemoryManagement

  359. def updateMemoryLayout(oldValue: DomainValue, newValue: DomainValue, operands: Operands, locals: Locals): (Operands, Locals)

    Permalink
    Definition Classes
    CoreDomainFunctionality

  360. def upperTypeBound(theValues: SortedSet[DomainSingleOriginReferenceValue]): UpperTypeBound

    Permalink
    Definition Classes
    ReferenceValues

  361. def useExceptionsThrownByCalledMethod: Boolean

    Permalink
    Definition Classes
    PerformInvocations

  362. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  363. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  364. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  365. final def withLongValuesOrElse[T](value1: DomainValue, value2: DomainValue)(f: (Long, Long) ⇒ T)(orElse: ⇒ T): T

    Permalink
    Attributes
    protected
    Definition Classes
    LongSetValues
    Annotations
    @inline()

Inherited from ChildPerformInvocationsWithRecursionDetection

Inherited from RecordAllThrownExceptions

Inherited from RecordLastReturnedValues

Inherited from RecordMethodCallResults

Inherited from RecordThrownExceptions

Inherited from RecordReturnedValues

Inherited from CustomInitialization

Inherited from RecordReturnedValuesInfrastructure

Inherited from MethodCallResults

Inherited from BasePerformInvocationBugPickerAnalysisDomain

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