Trait

org.opalj.bugpicker.core.analysis

BaseBugPickerAnalysisDomain

Related Doc: package analysis

Permalink

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

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

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

Type Members

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

    Permalink
    Definition Classes
    DefaultLongSetValues

  2. abstract type AReferenceValue <: (BaseBugPickerAnalysisDomain.this)#DomainReferenceValue with (BaseBugPickerAnalysisDomain.this)#ReferenceValue

    Permalink
    Definition Classes
    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[(BaseBugPickerAnalysisDomain.this)#DomainValue, (BaseBugPickerAnalysisDomain.this)#ExceptionValues]

    Permalink
    Definition Classes
    ReferenceValuesDomain

  6. type ArrayStoreResult = Computation[Nothing, (BaseBugPickerAnalysisDomain.this)#ExceptionValues]

    Permalink
    Definition Classes
    ReferenceValuesDomain

  7. trait ArrayValue extends (TypeLevelReferenceValues.this)#ReferenceValue

    Permalink
    Attributes
    protected[this]
    Definition Classes
    TypeLevelReferenceValues

  8. abstract type DomainArrayValue <: (BaseBugPickerAnalysisDomain.this)#ArrayValue with (BaseBugPickerAnalysisDomain.this)#AReferenceValue

    Permalink
    Definition Classes
    TypeLevelReferenceValues

  9. final type DomainIllegalValue = (BaseBugPickerAnalysisDomain.this)#IllegalValue

    Permalink
    Definition Classes
    DefaultDomainValueBinding → ValuesDomain

  10. abstract type DomainNullValue <: (BaseBugPickerAnalysisDomain.this)#NullValue with (BaseBugPickerAnalysisDomain.this)#AReferenceValue

    Permalink
    Definition Classes
    TypeLevelReferenceValues

  11. abstract type DomainObjectValue <: (BaseBugPickerAnalysisDomain.this)#ObjectValue with (BaseBugPickerAnalysisDomain.this)#AReferenceValue

    Permalink
    Definition Classes
    TypeLevelReferenceValues

  12. abstract type DomainReferenceValue >: Null <: (BaseBugPickerAnalysisDomain.this)#ReferenceValue with (BaseBugPickerAnalysisDomain.this)#DomainTypedValue[ReferenceType]

    Permalink
    Definition Classes
    ValuesDomain

  13. final type DomainReturnAddressValue = (BaseBugPickerAnalysisDomain.this)#ReturnAddressValue

    Permalink
    Definition Classes
    DefaultDomainValueBinding → ValuesDomain

  14. final type DomainReturnAddressValues = (BaseBugPickerAnalysisDomain.this)#ReturnAddressValues

    Permalink
    Definition Classes
    DefaultDomainValueBinding → ValuesDomain

  15. final type DomainTypedValue[+T <: Type] = (BaseBugPickerAnalysisDomain.this)#TypedValue[T]

    Permalink
    Definition Classes
    DefaultDomainValueBinding → ValuesDomain

  16. final type DomainValue = (BaseBugPickerAnalysisDomain.this)#Value

    Permalink
    Definition Classes
    DefaultDomainValueBinding → ValuesDomain

  17. trait DoubleValue extends (TypeLevelDoubleValues.this)#TypedValue[DoubleType] with IsDoubleValue[(TypeLevelDoubleValues.this)#DoubleValue]

    Permalink
    Definition Classes
    TypeLevelDoubleValues

  18. type ExceptionValue = (BaseBugPickerAnalysisDomain.this)#DomainReferenceValue

    Permalink
    Definition Classes
    ValuesDomain

  19. type ExceptionValues = Iterable[(BaseBugPickerAnalysisDomain.this)#ExceptionValue]

    Permalink
    Definition Classes
    ValuesDomain

  20. trait FloatValue extends (TypeLevelFloatValues.this)#TypedValue[FloatType] with IsFloatValue[(TypeLevelFloatValues.this)#FloatValue]

    Permalink
    Definition Classes
    TypeLevelFloatValues

  21. class IllegalValue extends Value

    Permalink
    Attributes
    protected
    Definition Classes
    ValuesDomain

  22. sealed trait IntegerLikeValue extends (IntegerRangeValues.this)#TypedValue[CTIntType] with IsIntegerValue[(IntegerRangeValues.this)#IntegerLikeValue]

    Permalink
    Definition Classes
    IntegerRangeValues

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

    Permalink
    Definition Classes
    DefaultIntegerRangeValues

  24. type IntegerValueOrArithmeticException = Computation[(BaseBugPickerAnalysisDomain.this)#DomainValue, (BaseBugPickerAnalysisDomain.this)#ExceptionValue]

    Permalink
    Definition Classes
    IntegerValuesDomain

  25. type Locals = collection.mutable.Locals[(BaseBugPickerAnalysisDomain.this)#DomainValue]

    Permalink
    Definition Classes
    ValuesDomain

  26. type LocalsArray = Array[(BaseBugPickerAnalysisDomain.this)#Locals]

    Permalink
    Definition Classes
    ValuesDomain

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

    Permalink
    Definition Classes
    DefaultLongSetValues

  28. sealed trait LongValue extends (LongSetValues.this)#TypedValue[LongType] with IsLongValue[(LongSetValues.this)#LongValue]

    Permalink
    Definition Classes
    LongSetValues

  29. type LongValueOrArithmeticException = Computation[(BaseBugPickerAnalysisDomain.this)#DomainValue, (BaseBugPickerAnalysisDomain.this)#ExceptionValue]

    Permalink
    Definition Classes
    LongValuesDomain

  30. type MethodCallResult = Computation[(BaseBugPickerAnalysisDomain.this)#DomainValue, (BaseBugPickerAnalysisDomain.this)#ExceptionValues]

    Permalink
    Definition Classes
    MethodCallsDomain

  31. trait NullValue extends (TypeLevelReferenceValues.this)#ReferenceValue

    Permalink
    Attributes
    protected
    Definition Classes
    TypeLevelReferenceValues

  32. trait ObjectValue extends (TypeLevelReferenceValues.this)#ReferenceValue

    Permalink
    Attributes
    protected[this]
    Definition Classes
    TypeLevelReferenceValues

  33. type Operands = Chain[(BaseBugPickerAnalysisDomain.this)#DomainValue]

    Permalink
    Definition Classes
    ValuesDomain

  34. type OperandsArray = Array[(BaseBugPickerAnalysisDomain.this)#Operands]

    Permalink
    Definition Classes
    ValuesDomain

  35. trait RETValue extends Value

    Permalink
    Definition Classes
    ValuesDomain

  36. trait ReferenceValue extends (TypeLevelReferenceValues.this)#ReferenceValue with (TypeLevelReferenceValues.this)#ArrayAbstraction

    Permalink
    Definition Classes
    TypeLevelReferenceValues

  37. class ReturnAddressValue extends RETValue

    Permalink
    Definition Classes
    ValuesDomain

  38. class ReturnAddressValues extends RETValue

    Permalink
    Definition Classes
    ValuesDomain

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

    Permalink
    Attributes
    protected[this]
    Definition Classes
    TypeLevelReferenceValues

  40. trait TypedValue[+T <: Type] extends Value with KnownType

    Permalink
    Definition Classes
    ValuesDomain

  41. trait Value extends AnyRef

    Permalink
    Definition Classes
    ValuesDomain

Abstract Value Members

  1. abstract def ArithmeticException(origin: ValueOrigin): (BaseBugPickerAnalysisDomain.this)#ExceptionValue

    Permalink
    Definition Classes
    ExceptionsFactory

  2. abstract def ArrayIndexOutOfBoundsException(origin: ValueOrigin): (BaseBugPickerAnalysisDomain.this)#ExceptionValue

    Permalink
    Definition Classes
    ExceptionsFactory

  3. abstract def ArrayStoreException(origin: ValueOrigin): (BaseBugPickerAnalysisDomain.this)#ExceptionValue

    Permalink
    Definition Classes
    ExceptionsFactory

  4. abstract def ArrayValue(pc: PC, arrayType: ArrayType): (BaseBugPickerAnalysisDomain.this)#DomainArrayValue

    Permalink
    Attributes
    protected
    Definition Classes
    TypeLevelReferenceValues

  5. abstract def ClassCastException(origin: ValueOrigin): (BaseBugPickerAnalysisDomain.this)#ExceptionValue

    Permalink
    Definition Classes
    ExceptionsFactory

  6. abstract def ClassNotFoundException(origin: ValueOrigin): (BaseBugPickerAnalysisDomain.this)#ExceptionValue

    Permalink
    Definition Classes
    ExceptionsFactory

  7. abstract val DomainReferenceValue: ClassTag[(BaseBugPickerAnalysisDomain.this)#DomainReferenceValue]

    Permalink
    Definition Classes
    ValuesDomain

  8. abstract def IllegalMonitorStateException(origin: ValueOrigin): (BaseBugPickerAnalysisDomain.this)#ExceptionValue

    Permalink
    Definition Classes
    ExceptionsFactory

  9. abstract def NegativeArraySizeException(origin: ValueOrigin): (BaseBugPickerAnalysisDomain.this)#ExceptionValue

    Permalink
    Definition Classes
    ExceptionsFactory

  10. abstract def NullPointerException(origin: ValueOrigin): (BaseBugPickerAnalysisDomain.this)#ExceptionValue

    Permalink
    Definition Classes
    ExceptionsFactory

  11. abstract def NullValue(pc: PC): (BaseBugPickerAnalysisDomain.this)#DomainNullValue

    Permalink
    Definition Classes
    TypeLevelReferenceValues → ReferenceValuesFactory

  12. abstract def ObjectValue(pc: PC, upperTypeBound: UIDSet[ObjectType]): (BaseBugPickerAnalysisDomain.this)#DomainObjectValue

    Permalink
    Definition Classes
    TypeLevelReferenceValues

  13. abstract def ObjectValue(pc: PC, objectType: ObjectType): (BaseBugPickerAnalysisDomain.this)#DomainObjectValue

    Permalink
    Definition Classes
    TypeLevelReferenceValues

  14. abstract def Throwable(origin: ValueOrigin): (BaseBugPickerAnalysisDomain.this)#ExceptionValue

    Permalink
    Definition Classes
    ExceptionsFactory

  15. abstract def cache: CallGraphCache[MethodSignature, Set[Method]]

    Permalink
    Definition Classes
    Callees

  16. abstract val fieldValueInformation: FieldValueInformation

    Permalink
    Definition Classes
    RefinedTypeLevelFieldAccessInstructions

  17. abstract def method: Method

    Permalink
    Definition Classes
    TheMethod

  18. abstract val methodReturnValueInformation: MethodReturnValueInformation

    Permalink
    Definition Classes
    RefinedTypeLevelInvokeInstructions

  19. implicit abstract def project: SomeProject

    Permalink
    Definition Classes
    Callees

Concrete 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. def AnIntegerValue(): (BaseBugPickerAnalysisDomain.this)#AnIntegerValue

    Permalink
    Definition Classes
    DefaultIntegerRangeValues

  5. def BooleanValue(origin: ValueOrigin, value: Boolean): (BaseBugPickerAnalysisDomain.this)#DomainTypedValue[CTIntType]

    Permalink
    Definition Classes
    DefaultIntegerRangeValues → IntegerValuesFactory

  6. def BooleanValue(origin: ValueOrigin): (BaseBugPickerAnalysisDomain.this)#DomainTypedValue[CTIntType]

    Permalink
    Definition Classes
    DefaultIntegerRangeValues → IntegerValuesFactory

  7. def ByteValue(origin: ValueOrigin, value: Byte): (BaseBugPickerAnalysisDomain.this)#DomainTypedValue[CTIntType]

    Permalink
    Definition Classes
    DefaultIntegerRangeValues → IntegerValuesFactory

  8. def ByteValue(origin: ValueOrigin): (BaseBugPickerAnalysisDomain.this)#DomainTypedValue[CTIntType]

    Permalink
    Definition Classes
    DefaultIntegerRangeValues → IntegerValuesFactory

  9. def CharValue(origin: ValueOrigin, value: Char): (BaseBugPickerAnalysisDomain.this)#DomainTypedValue[CTIntType]

    Permalink
    Definition Classes
    DefaultIntegerRangeValues → IntegerValuesFactory

  10. def CharValue(origin: ValueOrigin): (BaseBugPickerAnalysisDomain.this)#DomainTypedValue[CTIntType]

    Permalink
    Definition Classes
    DefaultIntegerRangeValues → IntegerValuesFactory

  11. def ClassValue(pc: PC, t: Type): (BaseBugPickerAnalysisDomain.this)#DomainObjectValue

    Permalink
    Definition Classes
    TypeLevelReferenceValues → ReferenceValuesFactory

  12. object ConcreteIntegerValue

    Permalink
    Definition Classes
    ConcreteIntegerValues

  13. object ConcreteLongValue

    Permalink
    Definition Classes
    ConcreteLongValues

  14. final def ConstantFieldValue(pc: PC, cv: ConstantFieldValue[_]): (BaseBugPickerAnalysisDomain.this)#DomainValue

    Permalink
    Definition Classes
    Domain

  15. final def DefaultValue(origin: ValueOrigin, theType: FieldType): (BaseBugPickerAnalysisDomain.this)#DomainValue

    Permalink
    Definition Classes
    TypedValuesFactory

  16. final val DomainValue: ClassTag[(BaseBugPickerAnalysisDomain.this)#DomainValue]

    Permalink
    Definition Classes
    DefaultDomainValueBinding → ValuesDomain

  17. final def DoubleValue(valueOrigin: ValueOrigin, value: Double): (BaseBugPickerAnalysisDomain.this)#DoubleValue

    Permalink
    Definition Classes
    DefaultTypeLevelDoubleValues → DoubleValuesFactory

  18. final def DoubleValue(valueOrigin: ValueOrigin): (BaseBugPickerAnalysisDomain.this)#DoubleValue

    Permalink
    Definition Classes
    DefaultTypeLevelDoubleValues → DoubleValuesFactory

  19. def FloatValue(valueOrigin: ValueOrigin, value: Float): (BaseBugPickerAnalysisDomain.this)#FloatValue

    Permalink
    Definition Classes
    DefaultTypeLevelFloatValues → FloatValuesFactory

  20. def FloatValue(valueOrigin: ValueOrigin): (BaseBugPickerAnalysisDomain.this)#FloatValue

    Permalink
    Definition Classes
    DefaultTypeLevelFloatValues → FloatValuesFactory

  21. def InitializedArrayValue(pc: PC, arrayType: ArrayType, counts: Chain[Int]): (BaseBugPickerAnalysisDomain.this)#DomainArrayValue

    Permalink
    Definition Classes
    TypeLevelReferenceValues → ReferenceValuesFactory

  22. def InitializedObjectValue(pc: PC, objectType: ObjectType): (BaseBugPickerAnalysisDomain.this)#DomainObjectValue

    Permalink
    Definition Classes
    TypeLevelReferenceValues → ReferenceValuesFactory

  23. final def IntegerConstant0: (BaseBugPickerAnalysisDomain.this)#DomainTypedValue[CTIntType]

    Permalink
    Definition Classes
    IntegerValuesFactory

  24. final def IntegerRange(lb: Int, ub: Int): (BaseBugPickerAnalysisDomain.this)#IntegerRange

    Permalink
    Definition Classes
    DefaultIntegerRangeValues → IntegerRangeValues
    Annotations
    @inline()

  25. final def IntegerRange(origin: ValueOrigin, lowerBound: Int, upperBound: Int): (BaseBugPickerAnalysisDomain.this)#DomainTypedValue[CTIntType]

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerRangeValuesFactory

  26. def IntegerRange(value: Int): (BaseBugPickerAnalysisDomain.this)#DomainTypedValue[CTIntType]

    Permalink
    Definition Classes
    IntegerRangeValues

  27. object IntegerRange

    Permalink
    Definition Classes
    IntegerRangeValues

  28. def IntegerValue(origin: ValueOrigin, value: Int): (BaseBugPickerAnalysisDomain.this)#DomainTypedValue[CTIntType]

    Permalink
    Definition Classes
    DefaultIntegerRangeValues → IntegerValuesFactory

  29. def IntegerValue(origin: ValueOrigin): (BaseBugPickerAnalysisDomain.this)#DomainTypedValue[CTIntType]

    Permalink
    Definition Classes
    DefaultIntegerRangeValues → IntegerValuesFactory

  30. def LongSet(values: SortedSet[Long]): (BaseBugPickerAnalysisDomain.this)#LongSet

    Permalink
    Definition Classes
    DefaultLongSetValues → LongSetValues

  31. def LongSet(value: Long): (BaseBugPickerAnalysisDomain.this)#DomainTypedValue[LongType]

    Permalink
    Definition Classes
    LongSetValues

  32. object LongSet

    Permalink
    Definition Classes
    LongSetValues

  33. def LongValue(origin: ValueOrigin, value: Long): (BaseBugPickerAnalysisDomain.this)#LongSet

    Permalink
    Definition Classes
    DefaultLongSetValues → LongValuesFactory

  34. def LongValue(origin: ValueOrigin): (BaseBugPickerAnalysisDomain.this)#ALongValue

    Permalink
    Definition Classes
    DefaultLongSetValues → LongValuesFactory

  35. final val MetaInformationUpdateIllegalValue: MetaInformationUpdate[(BaseBugPickerAnalysisDomain.this)#DomainIllegalValue]

    Permalink
    Definition Classes
    DefaultDomainValueBinding → ValuesDomain

  36. def MethodCallResult(potentialExceptions: Iterable[(BaseBugPickerAnalysisDomain.this)#ExceptionValue]): (BaseBugPickerAnalysisDomain.this)#MethodCallResult

    Permalink
    Attributes
    protected[this]
    Definition Classes
    MethodCallsHandling

  37. def MethodCallResult(returnValue: (BaseBugPickerAnalysisDomain.this)#DomainValue, exceptions: Iterable[(BaseBugPickerAnalysisDomain.this)#ExceptionValue]): (BaseBugPickerAnalysisDomain.this)#MethodCallResult

    Permalink
    Attributes
    protected[this]
    Definition Classes
    MethodCallsHandling

  38. def MethodHandle(origin: ValueOrigin, handle: MethodHandle): (BaseBugPickerAnalysisDomain.this)#DomainReferenceValue

    Permalink
    Definition Classes
    ReferenceValuesFactory

  39. def MethodType(origin: ValueOrigin, descriptor: MethodDescriptor): (BaseBugPickerAnalysisDomain.this)#DomainReferenceValue

    Permalink
    Definition Classes
    ReferenceValuesFactory

  40. def NewArray(pc: PC, counts: (BaseBugPickerAnalysisDomain.this)#Operands, arrayType: ArrayType): (BaseBugPickerAnalysisDomain.this)#DomainArrayValue

    Permalink
    Definition Classes
    TypeLevelReferenceValues

  41. def NewArray(pc: PC, count: (BaseBugPickerAnalysisDomain.this)#DomainValue, arrayType: ArrayType): (BaseBugPickerAnalysisDomain.this)#DomainArrayValue

    Permalink
    Definition Classes
    TypeLevelReferenceValues

  42. def NewObject(pc: PC, objectType: ObjectType): (BaseBugPickerAnalysisDomain.this)#DomainObjectValue

    Permalink
    Definition Classes
    TypeLevelReferenceValues → ReferenceValuesFactory

  43. def NonNullObjectValue(pc: PC, objectType: ObjectType): (BaseBugPickerAnalysisDomain.this)#DomainObjectValue

    Permalink
    Definition Classes
    TypeLevelReferenceValues → ReferenceValuesFactory

  44. def ReferenceValue(pc: PC, upperTypeBound: ReferenceType): (BaseBugPickerAnalysisDomain.this)#AReferenceValue

    Permalink
    Definition Classes
    TypeLevelReferenceValues → ReferenceValuesFactory

  45. final def ReturnAddressValue(address: Int): (BaseBugPickerAnalysisDomain.this)#ReturnAddressValue

    Permalink
    Definition Classes
    DefaultDomainValueBinding → ValuesDomain

  46. def ShortValue(origin: ValueOrigin, value: Short): (BaseBugPickerAnalysisDomain.this)#DomainTypedValue[CTIntType]

    Permalink
    Definition Classes
    DefaultIntegerRangeValues → IntegerValuesFactory

  47. def ShortValue(origin: ValueOrigin): (BaseBugPickerAnalysisDomain.this)#DomainTypedValue[CTIntType]

    Permalink
    Definition Classes
    DefaultIntegerRangeValues → IntegerValuesFactory

  48. def StringValue(pc: PC, value: String): (BaseBugPickerAnalysisDomain.this)#DomainObjectValue

    Permalink
    Definition Classes
    TypeLevelReferenceValues → ReferenceValuesFactory

  49. final def StructuralUpdateIllegalValue: StructuralUpdate[Nothing]

    Permalink
    Definition Classes
    ValuesDomain

  50. final val TheIllegalValue: (BaseBugPickerAnalysisDomain.this)#DomainIllegalValue

    Permalink
    Definition Classes
    DefaultDomainValueBinding → ValuesDomain

  51. final val TheReturnAddressValues: (BaseBugPickerAnalysisDomain.this)#ReturnAddressValues

    Permalink
    Definition Classes
    DefaultDomainValueBinding → ValuesDomain

  52. def TypedValue(origin: ValueOrigin, valueType: Type): (BaseBugPickerAnalysisDomain.this)#DomainValue

    Permalink
    Definition Classes
    TypedValuesFactory

  53. final def VMArithmeticException(pc: PC): (BaseBugPickerAnalysisDomain.this)#ExceptionValue

    Permalink
    Definition Classes
    ExceptionsFactory

  54. final def VMArrayIndexOutOfBoundsException(pc: PC): (BaseBugPickerAnalysisDomain.this)#ExceptionValue

    Permalink
    Definition Classes
    ExceptionsFactory

  55. final def VMArrayStoreException(pc: PC): (BaseBugPickerAnalysisDomain.this)#ExceptionValue

    Permalink
    Definition Classes
    ExceptionsFactory

  56. final def VMClassCastException(pc: PC): (BaseBugPickerAnalysisDomain.this)#ExceptionValue

    Permalink
    Definition Classes
    ExceptionsFactory

  57. final def VMClassNotFoundException(pc: PC): (BaseBugPickerAnalysisDomain.this)#ExceptionValue

    Permalink
    Definition Classes
    ExceptionsFactory

  58. final def VMIllegalMonitorStateException(pc: PC): (BaseBugPickerAnalysisDomain.this)#ExceptionValue

    Permalink
    Definition Classes
    ExceptionsFactory

  59. final def VMNegativeArraySizeException(pc: PC): (BaseBugPickerAnalysisDomain.this)#ExceptionValue

    Permalink
    Definition Classes
    ExceptionsFactory

  60. final def VMNullPointerException(pc: PC): (BaseBugPickerAnalysisDomain.this)#ExceptionValue

    Permalink
    Definition Classes
    ExceptionsFactory

  61. final def VMThrowable(pc: PC): (BaseBugPickerAnalysisDomain.this)#ExceptionValue

    Permalink
    Definition Classes
    ExceptionsFactory

  62. def aaload(pc: PC, index: (BaseBugPickerAnalysisDomain.this)#DomainValue, arrayref: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#ArrayLoadResult

    Permalink
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain

  63. def aastore(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue, index: (BaseBugPickerAnalysisDomain.this)#DomainValue, arrayref: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#ArrayStoreResult

    Permalink
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain

  64. def abruptMethodExecution(pc: PC, exception: (BaseBugPickerAnalysisDomain.this)#ExceptionValue): Unit

    Permalink
    Definition Classes
    DefaultHandlingForThrownExceptions → ReturnInstructionsDomain

  65. def abstractInterpretationEnded(aiResult: AIResult { val domain: org.opalj.<refinement>.type }): Unit

    Permalink
    Definition Classes
    CoreDomainFunctionality

  66. def afterBaseJoin(pc: PC): Unit

    Permalink
    Attributes
    protected[this]
    Definition Classes
    JoinStabilization → CoreDomainFunctionality

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

    Permalink
    Definition Classes
    NullPropertyRefinement → CoreDomainFunctionality

  68. def areturn(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue): Computation[Nothing, (BaseBugPickerAnalysisDomain.this)#ExceptionValue]

    Permalink
    Definition Classes
    DefaultHandlingForReturnInstructions → ReturnInstructionsDomain

  69. def arraylength(pc: PC, arrayref: (BaseBugPickerAnalysisDomain.this)#DomainValue): Computation[(BaseBugPickerAnalysisDomain.this)#DomainValue, (BaseBugPickerAnalysisDomain.this)#ExceptionValue]

    Permalink
    Definition Classes
    MaxArrayLengthRefinement → TypeLevelReferenceValues → ReferenceValuesDomain

  70. def arrayload(pc: PC, index: (BaseBugPickerAnalysisDomain.this)#DomainValue, arrayref: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#ArrayLoadResult

    Permalink
    Definition Classes
    TypeLevelReferenceValues → GeneralizedArrayHandling

  71. def arraystore(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue, index: (BaseBugPickerAnalysisDomain.this)#DomainValue, arrayref: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#ArrayStoreResult

    Permalink
    Definition Classes
    TypeLevelReferenceValues → GeneralizedArrayHandling

  72. def asArrayAbstraction(value: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#ArrayAbstraction

    Permalink
    Definition Classes
    TypeLevelReferenceValues

  73. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  74. def asObjectValue(value: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainObjectValue

    Permalink
    Definition Classes
    TypeLevelReferenceValues

  75. def asReferenceValue(value: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#AReferenceValue

    Permalink
    Definition Classes
    TypeLevelReferenceValues

  76. def baload(pc: PC, index: (BaseBugPickerAnalysisDomain.this)#DomainValue, arrayref: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#ArrayLoadResult

    Permalink
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain

  77. def bastore(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue, index: (BaseBugPickerAnalysisDomain.this)#DomainValue, arrayref: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#ArrayStoreResult

    Permalink
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain

  78. def beforeBaseJoin(pc: PC): Unit

    Permalink
    Attributes
    protected[this]
    Definition Classes
    CoreDomainFunctionality

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

    Permalink
    Definition Classes
    Callees
    Annotations
    @inline()

  80. def caload(pc: PC, index: (BaseBugPickerAnalysisDomain.this)#DomainValue, arrayref: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#ArrayLoadResult

    Permalink
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain

  81. def castore(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue, index: (BaseBugPickerAnalysisDomain.this)#DomainValue, arrayref: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#ArrayStoreResult

    Permalink
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain

  82. implicit final def classHierarchy: ClassHierarchy

    Permalink
    Definition Classes
    TheProject → TheClassHierarchy
    Annotations
    @inline()

  83. def clone(): AnyRef

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

  84. final val code: Code

    Permalink
    Definition Classes
    TheMethod → TheCode

  85. def createLongValueOrArithmeticException(pc: PC, exception: Boolean, results: SortedSet[Long]): (BaseBugPickerAnalysisDomain.this)#LongValueOrArithmeticException

    Permalink
    Attributes
    protected[this]
    Definition Classes
    LongSetValues

  86. def d2f(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue

    Permalink
    Definition Classes
    TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain

  87. def d2i(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue

    Permalink
    Definition Classes
    TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain

  88. def d2l(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue

    Permalink
    Definition Classes
    TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain

  89. def dadd(pc: PC, value1: (BaseBugPickerAnalysisDomain.this)#DomainValue, value2: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue

    Permalink
    Definition Classes
    TypeLevelDoubleValues → DoubleValuesDomain

  90. def daload(pc: PC, index: (BaseBugPickerAnalysisDomain.this)#DomainValue, arrayref: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#ArrayLoadResult

    Permalink
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain

  91. def dastore(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue, index: (BaseBugPickerAnalysisDomain.this)#DomainValue, arrayref: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#ArrayStoreResult

    Permalink
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain

  92. def dcmpg(pc: PC, value1: (BaseBugPickerAnalysisDomain.this)#DomainValue, value2: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue

    Permalink
    Definition Classes
    TypeLevelDoubleValues → DoubleValuesDomain

  93. def dcmpl(pc: PC, value1: (BaseBugPickerAnalysisDomain.this)#DomainValue, value2: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue

    Permalink
    Definition Classes
    TypeLevelDoubleValues → DoubleValuesDomain

  94. def ddiv(pc: PC, value1: (BaseBugPickerAnalysisDomain.this)#DomainValue, value2: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue

    Permalink
    Definition Classes
    TypeLevelDoubleValues → DoubleValuesDomain

  95. def dmul(pc: PC, value1: (BaseBugPickerAnalysisDomain.this)#DomainValue, value2: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue

    Permalink
    Definition Classes
    TypeLevelDoubleValues → DoubleValuesDomain

  96. def dneg(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue

    Permalink
    Definition Classes
    TypeLevelDoubleValues → DoubleValuesDomain

  97. def doGetfield(pc: PC, objectref: (BaseBugPickerAnalysisDomain.this)#DomainValue, fieldValue: (BaseBugPickerAnalysisDomain.this)#DomainValue): Computation[(BaseBugPickerAnalysisDomain.this)#DomainValue, (BaseBugPickerAnalysisDomain.this)#ExceptionValue]

    Permalink
    Definition Classes
    TypeLevelFieldAccessInstructions

  98. def doGetstatic(pc: PC, fieldValue: (BaseBugPickerAnalysisDomain.this)#DomainValue): Computation[(BaseBugPickerAnalysisDomain.this)#DomainValue, Nothing]

    Permalink
    Definition Classes
    TypeLevelFieldAccessInstructions

  99. def doInvoke(pc: PC, method: Method, operands: (BaseBugPickerAnalysisDomain.this)#Operands, fallback: () ⇒ (BaseBugPickerAnalysisDomain.this)#MethodCallResult): (BaseBugPickerAnalysisDomain.this)#MethodCallResult

    Permalink
    Attributes
    protected[this]
    Definition Classes
    RefinedTypeLevelInvokeInstructions → MethodCallsDomainWithMethodLockup

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

    Permalink
    Attributes
    protected[this]
    Definition Classes
    MethodCallsDomainWithMethodLockup

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

    Permalink
    Attributes
    protected[this]
    Definition Classes
    MethodCallsDomainWithMethodLockup

  102. def drem(pc: PC, value1: (BaseBugPickerAnalysisDomain.this)#DomainValue, value2: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue

    Permalink
    Definition Classes
    TypeLevelDoubleValues → DoubleValuesDomain

  103. def dreturn(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue): Computation[Nothing, (BaseBugPickerAnalysisDomain.this)#ExceptionValue]

    Permalink
    Definition Classes
    DefaultHandlingForReturnInstructions → ReturnInstructionsDomain

  104. def dsub(pc: PC, value1: (BaseBugPickerAnalysisDomain.this)#DomainValue, value2: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue

    Permalink
    Definition Classes
    TypeLevelDoubleValues → DoubleValuesDomain

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

    Permalink
    Definition Classes
    AnyRef

  106. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

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

    Permalink
    Definition Classes
    CoreDomainFunctionality

  108. def f2d(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue

    Permalink
    Definition Classes
    TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain

  109. def f2i(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue

    Permalink
    Definition Classes
    TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain

  110. def f2l(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue

    Permalink
    Definition Classes
    TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain

  111. def fadd(pc: PC, value1: (BaseBugPickerAnalysisDomain.this)#DomainValue, value2: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue

    Permalink
    Definition Classes
    TypeLevelFloatValues → FloatValuesDomain

  112. def faload(pc: PC, index: (BaseBugPickerAnalysisDomain.this)#DomainValue, arrayref: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#ArrayLoadResult

    Permalink
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain

  113. def fastore(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue, index: (BaseBugPickerAnalysisDomain.this)#DomainValue, arrayref: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#ArrayStoreResult

    Permalink
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain

  114. def fcmpg(pc: PC, value1: (BaseBugPickerAnalysisDomain.this)#DomainValue, value2: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue

    Permalink
    Definition Classes
    TypeLevelFloatValues → FloatValuesDomain

  115. def fcmpl(pc: PC, value1: (BaseBugPickerAnalysisDomain.this)#DomainValue, value2: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue

    Permalink
    Definition Classes
    TypeLevelFloatValues → FloatValuesDomain

  116. def fdiv(pc: PC, value1: (BaseBugPickerAnalysisDomain.this)#DomainValue, value2: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue

    Permalink
    Definition Classes
    TypeLevelFloatValues → FloatValuesDomain

  117. def finalize(): Unit

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

  118. def flow(currentPC: PC, currentOperands: (BaseBugPickerAnalysisDomain.this)#Operands, currentLocals: (BaseBugPickerAnalysisDomain.this)#Locals, successorPC: PC, isSuccessorScheduled: Answer, isExceptionalControlFlow: Boolean, abruptSubroutineTerminationCount: Int, wasJoinPerformed: Boolean, worklist: Chain[PC], operandsArray: (BaseBugPickerAnalysisDomain.this)#OperandsArray, localsArray: (BaseBugPickerAnalysisDomain.this)#LocalsArray, tracer: Option[AITracer]): Chain[PC]

    Permalink
    Definition Classes
    CoreDomainFunctionality

  119. def fmul(pc: PC, value1: (BaseBugPickerAnalysisDomain.this)#DomainValue, value2: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue

    Permalink
    Definition Classes
    TypeLevelFloatValues → FloatValuesDomain

  120. def fneg(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue

    Permalink
    Definition Classes
    TypeLevelFloatValues → FloatValuesDomain

  121. def frem(pc: PC, value1: (BaseBugPickerAnalysisDomain.this)#DomainValue, value2: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue

    Permalink
    Definition Classes
    TypeLevelFloatValues → FloatValuesDomain

  122. def freturn(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue): Computation[Nothing, (BaseBugPickerAnalysisDomain.this)#ExceptionValue]

    Permalink
    Definition Classes
    DefaultHandlingForReturnInstructions → ReturnInstructionsDomain

  123. def fsub(pc: PC, value1: (BaseBugPickerAnalysisDomain.this)#DomainValue, value2: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue

    Permalink
    Definition Classes
    TypeLevelFloatValues → FloatValuesDomain

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

    Permalink
    Definition Classes
    AnyRef → Any

  125. def getPotentialExceptions(pc: PC): List[(BaseBugPickerAnalysisDomain.this)#ExceptionValue]

    Permalink
    Attributes
    protected[this]
    Definition Classes
    MethodCallsHandling

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

    Permalink
    Definition Classes
    RefinedTypeLevelFieldAccessInstructions → TypeLevelFieldAccessInstructions → FieldAccessesDomain

  127. def getstatic(pc: PC, declaringClass: ObjectType, fieldName: String, fieldType: FieldType): Computation[(BaseBugPickerAnalysisDomain.this)#DomainValue, Nothing]

    Permalink
    Definition Classes
    RefinedTypeLevelFieldAccessInstructions → TypeLevelFieldAccessInstructions → FieldAccessesDomain

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

    Permalink
    Attributes
    protected[this]
    Definition Classes
    MethodCallsHandling

  129. def handleInstanceBasedInvoke(pc: PC, methodDescriptor: MethodDescriptor, operands: (BaseBugPickerAnalysisDomain.this)#Operands): (BaseBugPickerAnalysisDomain.this)#MethodCallResult

    Permalink
    Attributes
    protected[this]
    Definition Classes
    MethodCallsHandling

  130. def handleInstanceBasedInvoke(pc: PC, methodDescriptor: MethodDescriptor, receiverIsNull: Answer): (BaseBugPickerAnalysisDomain.this)#MethodCallResult

    Permalink
    Attributes
    protected[this]
    Definition Classes
    MethodCallsHandling

  131. def handleInvoke(pc: PC, targetMethod: Method, operands: (BaseBugPickerAnalysisDomain.this)#Operands): (BaseBugPickerAnalysisDomain.this)#MethodCallResult

    Permalink
    Attributes
    protected[this]
    Definition Classes
    MethodCallsHandling

  132. def handleInvoke(pc: PC, methodDescriptor: MethodDescriptor): (BaseBugPickerAnalysisDomain.this)#MethodCallResult

    Permalink
    Attributes
    protected[this]
    Definition Classes
    MethodCallsHandling

  133. def handleReturn(pc: PC): Computation[Nothing, (BaseBugPickerAnalysisDomain.this)#ExceptionValue]

    Permalink
    Attributes
    protected[this]
    Definition Classes
    ReturnInstructionsDomain

  134. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  135. def i2b(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

  136. def i2c(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

  137. def i2d(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue

    Permalink
    Definition Classes
    ConcretePrimitiveValuesConversions → TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain

  138. def i2f(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue

    Permalink
    Definition Classes
    ConcretePrimitiveValuesConversions → TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain

  139. def i2l(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue

    Permalink
    Definition Classes
    ConcretePrimitiveValuesConversions → TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain

  140. def i2s(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

  141. def iadd(pc: PC, value1: (BaseBugPickerAnalysisDomain.this)#DomainValue, value2: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

  142. def iaload(pc: PC, index: (BaseBugPickerAnalysisDomain.this)#DomainValue, arrayref: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#ArrayLoadResult

    Permalink
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain

  143. def iand(pc: PC, value1: (BaseBugPickerAnalysisDomain.this)#DomainValue, value2: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

  144. def iastore(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue, index: (BaseBugPickerAnalysisDomain.this)#DomainValue, arrayref: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#ArrayStoreResult

    Permalink
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain

  145. def idiv(pc: PC, numerator: (BaseBugPickerAnalysisDomain.this)#DomainValue, denominator: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#IntegerValueOrArithmeticException

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

  146. def iinc(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue, increment: Int): (BaseBugPickerAnalysisDomain.this)#DomainValue

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

  147. def imul(pc: PC, value1: (BaseBugPickerAnalysisDomain.this)#DomainValue, value2: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

  148. def ineg(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

  149. def intAreEqual(pc: PC, value1: (BaseBugPickerAnalysisDomain.this)#DomainValue, value2: (BaseBugPickerAnalysisDomain.this)#DomainValue): Answer

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

  150. def intAreNotEqual(pc: PC, value1: (BaseBugPickerAnalysisDomain.this)#DomainValue, value2: (BaseBugPickerAnalysisDomain.this)#DomainValue): Answer

    Permalink
    Definition Classes
    IntegerValuesDomain

  151. def intEstablishAreEqual(pc: PC, value1: (BaseBugPickerAnalysisDomain.this)#DomainValue, value2: (BaseBugPickerAnalysisDomain.this)#DomainValue, operands: (BaseBugPickerAnalysisDomain.this)#Operands, locals: (BaseBugPickerAnalysisDomain.this)#Locals): ((BaseBugPickerAnalysisDomain.this)#Operands, (BaseBugPickerAnalysisDomain.this)#Locals)

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

  152. def intEstablishAreNotEqual(pc: PC, value1: (BaseBugPickerAnalysisDomain.this)#DomainValue, value2: (BaseBugPickerAnalysisDomain.this)#DomainValue, operands: (BaseBugPickerAnalysisDomain.this)#Operands, locals: (BaseBugPickerAnalysisDomain.this)#Locals): ((BaseBugPickerAnalysisDomain.this)#Operands, (BaseBugPickerAnalysisDomain.this)#Locals)

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

  153. def intEstablishIsLessThan(pc: PC, left: (BaseBugPickerAnalysisDomain.this)#DomainValue, right: (BaseBugPickerAnalysisDomain.this)#DomainValue, operands: (BaseBugPickerAnalysisDomain.this)#Operands, locals: (BaseBugPickerAnalysisDomain.this)#Locals): ((BaseBugPickerAnalysisDomain.this)#Operands, (BaseBugPickerAnalysisDomain.this)#Locals)

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

  154. def intEstablishIsLessThanOrEqualTo(pc: PC, left: (BaseBugPickerAnalysisDomain.this)#DomainValue, right: (BaseBugPickerAnalysisDomain.this)#DomainValue, operands: (BaseBugPickerAnalysisDomain.this)#Operands, locals: (BaseBugPickerAnalysisDomain.this)#Locals): ((BaseBugPickerAnalysisDomain.this)#Operands, (BaseBugPickerAnalysisDomain.this)#Locals)

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

  155. def intEstablishValue(pc: PC, theValue: Int, value: (BaseBugPickerAnalysisDomain.this)#DomainValue, operands: (BaseBugPickerAnalysisDomain.this)#Operands, locals: (BaseBugPickerAnalysisDomain.this)#Locals): ((BaseBugPickerAnalysisDomain.this)#Operands, (BaseBugPickerAnalysisDomain.this)#Locals)

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

  156. def intIs0(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue): Answer

    Permalink
    Definition Classes
    IntegerValuesDomain

  157. def intIsGreaterThan(pc: PC, largerValue: (BaseBugPickerAnalysisDomain.this)#DomainValue, smallerValue: (BaseBugPickerAnalysisDomain.this)#DomainValue): Answer

    Permalink
    Definition Classes
    IntegerValuesDomain

  158. def intIsGreaterThan0(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue): Answer

    Permalink
    Definition Classes
    IntegerValuesDomain

  159. def intIsGreaterThanOrEqualTo(pc: PC, largerOrEqualValue: (BaseBugPickerAnalysisDomain.this)#DomainValue, smallerOrEqualValue: (BaseBugPickerAnalysisDomain.this)#DomainValue): Answer

    Permalink
    Definition Classes
    IntegerValuesDomain

  160. def intIsGreaterThanOrEqualTo0(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue): Answer

    Permalink
    Definition Classes
    IntegerValuesDomain

  161. def intIsLessThan(pc: PC, left: (BaseBugPickerAnalysisDomain.this)#DomainValue, right: (BaseBugPickerAnalysisDomain.this)#DomainValue): Answer

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

  162. def intIsLessThan0(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue): Answer

    Permalink
    Definition Classes
    IntegerValuesDomain

  163. def intIsLessThanOrEqualTo(pc: PC, left: (BaseBugPickerAnalysisDomain.this)#DomainValue, right: (BaseBugPickerAnalysisDomain.this)#DomainValue): Answer

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

  164. def intIsLessThanOrEqualTo0(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue): Answer

    Permalink
    Definition Classes
    IntegerValuesDomain

  165. def intIsNot0(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue): Answer

    Permalink
    Definition Classes
    IntegerValuesDomain

  166. def intIsSomeValueInRange(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue, lowerBound: Int, upperBound: Int): Answer

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

  167. def intIsSomeValueNotInRange(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue, lowerBound: Int, upperBound: Int): Answer

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

  168. final def intValue[T](value: (BaseBugPickerAnalysisDomain.this)#DomainValue)(f: (Int) ⇒ T)(orElse: ⇒ T): T

    Permalink
    Definition Classes
    IntegerRangeValues → ConcreteIntegerValues
    Annotations
    @inline()

  169. final def intValueOption(value: (BaseBugPickerAnalysisDomain.this)#DomainValue): Option[Int]

    Permalink
    Definition Classes
    IntegerRangeValues → ConcreteIntegerValues
    Annotations
    @inline()

  170. final def intValues[T](value1: (BaseBugPickerAnalysisDomain.this)#DomainValue, value2: (BaseBugPickerAnalysisDomain.this)#DomainValue)(f: (Int, Int) ⇒ T)(orElse: ⇒ T): T

    Permalink
    Attributes
    protected
    Definition Classes
    IntegerRangeValues
    Annotations
    @inline()

  171. def invokedynamic(pc: PC, bootstrapMethod: BootstrapMethod, name: String, methodDescriptor: MethodDescriptor, operands: (BaseBugPickerAnalysisDomain.this)#Operands): (BaseBugPickerAnalysisDomain.this)#MethodCallResult

    Permalink
    Definition Classes
    TypeLevelInvokeInstructions → MethodCallsDomain

  172. def invokeinterface(pc: PC, declaringClass: ObjectType, methodName: String, methodDescriptor: MethodDescriptor, operands: (BaseBugPickerAnalysisDomain.this)#Operands): (BaseBugPickerAnalysisDomain.this)#MethodCallResult

    Permalink
    Definition Classes
    MethodCallsDomainWithMethodLockup → MethodCallsDomain

  173. def invokespecial(pc: PC, declaringClass: ObjectType, methodName: String, methodDescriptor: MethodDescriptor, operands: (BaseBugPickerAnalysisDomain.this)#Operands): (BaseBugPickerAnalysisDomain.this)#MethodCallResult

    Permalink
    Definition Classes
    MethodCallsDomainWithMethodLockup → MethodCallsDomain

  174. def invokestatic(pc: PC, declaringClassType: ObjectType, name: String, methodDescriptor: MethodDescriptor, operands: (BaseBugPickerAnalysisDomain.this)#Operands): (BaseBugPickerAnalysisDomain.this)#MethodCallResult

    Permalink
    Definition Classes
    SpecialMethodsHandling → MethodCallsDomain

  175. def invokevirtual(pc: PC, declaringClass: ReferenceType, methodName: String, methodDescriptor: MethodDescriptor, operands: (BaseBugPickerAnalysisDomain.this)#Operands): (BaseBugPickerAnalysisDomain.this)#MethodCallResult

    Permalink
    Definition Classes
    MethodCallsDomainWithMethodLockup → MethodCallsDomain

  176. def ior(pc: PC, value1: (BaseBugPickerAnalysisDomain.this)#DomainValue, value2: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

  177. def irem(pc: PC, left: (BaseBugPickerAnalysisDomain.this)#DomainValue, right: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#IntegerValueOrArithmeticException

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

  178. def ireturn(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue): Computation[Nothing, (BaseBugPickerAnalysisDomain.this)#ExceptionValue]

    Permalink
    Definition Classes
    DefaultHandlingForReturnInstructions → ReturnInstructionsDomain

  179. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

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

    Permalink
    Definition Classes
    TheClassHierarchy

  181. final def isValueSubtypeOf(value: (BaseBugPickerAnalysisDomain.this)#DomainValue, supertype: ReferenceType): Answer

    Permalink
    Definition Classes
    TypeLevelReferenceValues → ReferenceValuesDomain

  182. def ishl(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue, shift: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

  183. def ishr(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue, shift: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

  184. def isub(pc: PC, left: (BaseBugPickerAnalysisDomain.this)#DomainValue, right: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

  185. def iushr(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue, shift: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

  186. def ixor(pc: PC, value1: (BaseBugPickerAnalysisDomain.this)#DomainValue, value2: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

  187. def join(pc: PC, thisOperands: (BaseBugPickerAnalysisDomain.this)#Operands, thisLocals: (BaseBugPickerAnalysisDomain.this)#Locals, otherOperands: (BaseBugPickerAnalysisDomain.this)#Operands, otherLocals: (BaseBugPickerAnalysisDomain.this)#Locals): Update[((BaseBugPickerAnalysisDomain.this)#Operands, (BaseBugPickerAnalysisDomain.this)#Locals)]

    Permalink
    Definition Classes
    CoreDomainFunctionality

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

    Permalink
    Attributes
    protected[this]
    Definition Classes
    IdentityBasedCorrelationChangeDetection → CoreDomainFunctionality

  189. def joinValues(pc: PC, left: (BaseBugPickerAnalysisDomain.this)#DomainValue, right: (BaseBugPickerAnalysisDomain.this)#DomainValue): Update[(BaseBugPickerAnalysisDomain.this)#DomainValue]

    Permalink
    Attributes
    protected[this]
    Definition Classes
    JoinStabilization → CoreDomainFunctionality

  190. val joinedValues: Map[IdentityPair[AnyRef, AnyRef], Update[(BaseBugPickerAnalysisDomain.this)#DomainValue]]

    Permalink
    Attributes
    protected[this]
    Definition Classes
    JoinStabilization

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

    Permalink
    Definition Classes
    SubroutinesDomain

  192. final def justThrows(value: (BaseBugPickerAnalysisDomain.this)#ExceptionValue): ThrowsException[(BaseBugPickerAnalysisDomain.this)#ExceptionValues]

    Permalink
    Definition Classes
    ReferenceValuesFactory

  193. def l2d(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue

    Permalink
    Definition Classes
    ConcretePrimitiveValuesConversions → TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain

  194. def l2f(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue

    Permalink
    Definition Classes
    ConcretePrimitiveValuesConversions → TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain

  195. def l2i(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue

    Permalink
    Definition Classes
    ConcretePrimitiveValuesConversions → TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain

  196. def ladd(pc: PC, value1: (BaseBugPickerAnalysisDomain.this)#DomainValue, value2: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue

    Permalink
    Definition Classes
    LongSetValues → LongValuesDomain

  197. def laload(pc: PC, index: (BaseBugPickerAnalysisDomain.this)#DomainValue, arrayref: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#ArrayLoadResult

    Permalink
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain

  198. def land(pc: PC, value1: (BaseBugPickerAnalysisDomain.this)#DomainValue, value2: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue

    Permalink
    Definition Classes
    LongSetValues → LongValuesDomain

  199. def lastore(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue, index: (BaseBugPickerAnalysisDomain.this)#DomainValue, arrayref: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#ArrayStoreResult

    Permalink
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain

  200. def lcmp(pc: PC, left: (BaseBugPickerAnalysisDomain.this)#DomainValue, right: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue

    Permalink
    Definition Classes
    LongSetValues → LongValuesDomain

  201. def ldiv(pc: PC, numerator: (BaseBugPickerAnalysisDomain.this)#DomainValue, denominator: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#LongValueOrArithmeticException

    Permalink
    Definition Classes
    LongSetValues → LongValuesDomain

  202. def lmul(pc: PC, value1: (BaseBugPickerAnalysisDomain.this)#DomainValue, value2: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue

    Permalink
    Definition Classes
    LongSetValues → LongValuesDomain

  203. def lneg(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue

    Permalink
    Definition Classes
    LongSetValues → LongValuesDomain

  204. implicit final def logContext: LogContext

    Permalink
    Definition Classes
    TheProject → LogContextProvider

  205. final def longValue[T](value: (BaseBugPickerAnalysisDomain.this)#DomainValue)(f: (Long) ⇒ T)(orElse: ⇒ T): T

    Permalink
    Definition Classes
    LongSetValues → ConcreteLongValues
    Annotations
    @inline()

  206. final def longValueOption(value: (BaseBugPickerAnalysisDomain.this)#DomainValue): Option[Long]

    Permalink
    Definition Classes
    LongSetValues → ConcreteLongValues
    Annotations
    @inline()

  207. def lor(pc: PC, value1: (BaseBugPickerAnalysisDomain.this)#DomainValue, value2: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue

    Permalink
    Definition Classes
    LongSetValues → LongValuesDomain

  208. def lrem(pc: PC, left: (BaseBugPickerAnalysisDomain.this)#DomainValue, right: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#LongValueOrArithmeticException

    Permalink
    Definition Classes
    LongSetValues → LongValuesDomain

  209. def lreturn(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue): Computation[Nothing, (BaseBugPickerAnalysisDomain.this)#ExceptionValue]

    Permalink
    Definition Classes
    DefaultHandlingForReturnInstructions → ReturnInstructionsDomain

  210. def lshl(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue, shift: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue

    Permalink
    Definition Classes
    LongSetValuesShiftOperators → LongValuesDomain

  211. def lshr(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue, shift: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue

    Permalink
    Definition Classes
    LongSetValuesShiftOperators → LongValuesDomain

  212. def lsub(pc: PC, left: (BaseBugPickerAnalysisDomain.this)#DomainValue, right: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue

    Permalink
    Definition Classes
    LongSetValues → LongValuesDomain

  213. def lushr(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue, shift: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue

    Permalink
    Definition Classes
    LongSetValuesShiftOperators → LongValuesDomain

  214. def lxor(pc: PC, value1: (BaseBugPickerAnalysisDomain.this)#DomainValue, value2: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue

    Permalink
    Definition Classes
    LongSetValues → LongValuesDomain

  215. def maxCardinalityOfIntegerRanges: Long

    Permalink
    Definition Classes
    IntegerRangeValues

  216. def maxCardinalityOfLongSets: Int

    Permalink
    Attributes
    protected
    Definition Classes
    LongSetValues

  217. def mergeDEComputations(pc: PC, c1: Computation[(BaseBugPickerAnalysisDomain.this)#DomainValue, (BaseBugPickerAnalysisDomain.this)#ExceptionValue], c2: Computation[(BaseBugPickerAnalysisDomain.this)#DomainValue, (BaseBugPickerAnalysisDomain.this)#ExceptionValue]): Computation[(BaseBugPickerAnalysisDomain.this)#DomainValue, (BaseBugPickerAnalysisDomain.this)#ExceptionValue]

    Permalink
    Attributes
    protected[this]
    Definition Classes
    TypeLevelReferenceValues

  218. def mergeDEsComputations(pc: PC, c1: Computation[(BaseBugPickerAnalysisDomain.this)#DomainValue, (BaseBugPickerAnalysisDomain.this)#ExceptionValues], c2: Computation[(BaseBugPickerAnalysisDomain.this)#DomainValue, (BaseBugPickerAnalysisDomain.this)#ExceptionValues]): Computation[(BaseBugPickerAnalysisDomain.this)#DomainValue, (BaseBugPickerAnalysisDomain.this)#ExceptionValues]

    Permalink
    Attributes
    protected[this]
    Definition Classes
    TypeLevelReferenceValues

  219. def mergeDomainValues(pc: PC, v1: (BaseBugPickerAnalysisDomain.this)#DomainValue, v2: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#DomainValue

    Permalink
    Definition Classes
    ValuesDomain

  220. def mergeEsComputations(pc: PC, c1: Computation[Nothing, (BaseBugPickerAnalysisDomain.this)#ExceptionValues], c2: Computation[Nothing, (BaseBugPickerAnalysisDomain.this)#ExceptionValues]): Computation[Nothing, (BaseBugPickerAnalysisDomain.this)#ExceptionValues]

    Permalink
    Attributes
    protected[this]
    Definition Classes
    TypeLevelReferenceValues

  221. def mergeMultipleExceptionValues(pc: PC, v1s: (BaseBugPickerAnalysisDomain.this)#ExceptionValues, v2s: (BaseBugPickerAnalysisDomain.this)#ExceptionValues): (BaseBugPickerAnalysisDomain.this)#ExceptionValues

    Permalink
    Definition Classes
    TypeLevelReferenceValues

  222. def monitorenter(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue): Computation[Nothing, (BaseBugPickerAnalysisDomain.this)#ExceptionValue]

    Permalink
    Definition Classes
    IgnoreSynchronization → MonitorInstructionsDomain

  223. def monitorexit(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue): Computation[Nothing, (BaseBugPickerAnalysisDomain.this)#ExceptionValues]

    Permalink
    Definition Classes
    IgnoreSynchronization → MonitorInstructionsDomain

  224. def multianewarray(pc: PC, counts: (BaseBugPickerAnalysisDomain.this)#Operands, arrayType: ArrayType): Computation[(BaseBugPickerAnalysisDomain.this)#DomainArrayValue, (BaseBugPickerAnalysisDomain.this)#ExceptionValue]

    Permalink
    Definition Classes
    TypeLevelReferenceValues → ReferenceValuesDomain

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

    Permalink
    Definition Classes
    AnyRef

  226. def newarray(pc: PC, count: (BaseBugPickerAnalysisDomain.this)#DomainValue, componentType: FieldType): Computation[(BaseBugPickerAnalysisDomain.this)#DomainValue, (BaseBugPickerAnalysisDomain.this)#ExceptionValue]

    Permalink
    Definition Classes
    TypeLevelReferenceValues → ReferenceValuesDomain

  227. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef

  228. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef

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

    Permalink
    Definition Classes
    ValuesDomain

  230. final lazy val propertyStore: PropertyStore

    Permalink
    Definition Classes
    TheProject → ThePropertyStore

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

    Permalink
    Definition Classes
    TypeLevelFieldAccessInstructions → FieldAccessesDomain

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

    Permalink
    Definition Classes
    TypeLevelFieldAccessInstructions → FieldAccessesDomain

  233. def refAreEqual(pc: PC, value1: (BaseBugPickerAnalysisDomain.this)#DomainValue, value2: (BaseBugPickerAnalysisDomain.this)#DomainValue): Answer

    Permalink
    Definition Classes
    TypeLevelReferenceValues → ReferenceValuesDomain

  234. def refAreNotEqual(pc: PC, value1: (BaseBugPickerAnalysisDomain.this)#DomainValue, value2: (BaseBugPickerAnalysisDomain.this)#DomainValue): Answer

    Permalink
    Definition Classes
    ReferenceValuesDomain

  235. def refEstablishAreEqual(pc: PC, value1: (BaseBugPickerAnalysisDomain.this)#DomainValue, value2: (BaseBugPickerAnalysisDomain.this)#DomainValue, operands: (BaseBugPickerAnalysisDomain.this)#Operands, locals: (BaseBugPickerAnalysisDomain.this)#Locals): ((BaseBugPickerAnalysisDomain.this)#Operands, (BaseBugPickerAnalysisDomain.this)#Locals)

    Permalink
    Definition Classes
    ReferenceValuesDomain

  236. def refEstablishAreNotEqual(pc: PC, value1: (BaseBugPickerAnalysisDomain.this)#DomainValue, value2: (BaseBugPickerAnalysisDomain.this)#DomainValue, operands: (BaseBugPickerAnalysisDomain.this)#Operands, locals: (BaseBugPickerAnalysisDomain.this)#Locals): ((BaseBugPickerAnalysisDomain.this)#Operands, (BaseBugPickerAnalysisDomain.this)#Locals)

    Permalink
    Definition Classes
    ReferenceValuesDomain

  237. def refEstablishIsNonNull(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue, operands: (BaseBugPickerAnalysisDomain.this)#Operands, locals: (BaseBugPickerAnalysisDomain.this)#Locals): ((BaseBugPickerAnalysisDomain.this)#Operands, (BaseBugPickerAnalysisDomain.this)#Locals)

    Permalink
    Definition Classes
    ReferenceValuesDomain

  238. def refEstablishIsNull(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue, operands: (BaseBugPickerAnalysisDomain.this)#Operands, locals: (BaseBugPickerAnalysisDomain.this)#Locals): ((BaseBugPickerAnalysisDomain.this)#Operands, (BaseBugPickerAnalysisDomain.this)#Locals)

    Permalink
    Definition Classes
    ReferenceValuesDomain

  239. def refIsNonNull(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue): Answer

    Permalink
    Definition Classes
    ReferenceValuesDomain

  240. final def refIsNull(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue): Answer

    Permalink
    Definition Classes
    TypeLevelReferenceValues → ReferenceValuesDomain

  241. def refSetUpperTypeBoundOfTopOperand(pc: PC, upperTypeBound: ReferenceType, operands: (BaseBugPickerAnalysisDomain.this)#Operands, locals: (BaseBugPickerAnalysisDomain.this)#Locals): ((BaseBugPickerAnalysisDomain.this)#Operands, (BaseBugPickerAnalysisDomain.this)#Locals)

    Permalink
    Definition Classes
    TypeLevelReferenceValues → ReferenceValuesDomain

  242. def refTopOperandIsNull(pc: PC, operands: (BaseBugPickerAnalysisDomain.this)#Operands, locals: (BaseBugPickerAnalysisDomain.this)#Locals): ((BaseBugPickerAnalysisDomain.this)#Operands, (BaseBugPickerAnalysisDomain.this)#Locals)

    Permalink
    Definition Classes
    TypeLevelReferenceValues → ReferenceValuesDomain

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

    Permalink
    Definition Classes
    SubroutinesDomain

  244. def returnVoid(pc: PC): Computation[Nothing, (BaseBugPickerAnalysisDomain.this)#ExceptionValue]

    Permalink
    Definition Classes
    DefaultHandlingOfVoidReturns → ReturnInstructionsDomain

  245. def saload(pc: PC, index: (BaseBugPickerAnalysisDomain.this)#DomainValue, arrayref: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#ArrayLoadResult

    Permalink
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain

  246. def sastore(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue, index: (BaseBugPickerAnalysisDomain.this)#DomainValue, arrayref: (BaseBugPickerAnalysisDomain.this)#DomainValue): (BaseBugPickerAnalysisDomain.this)#ArrayStoreResult

    Permalink
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain

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

    Permalink
    Attributes
    protected[this]
    Definition Classes
    CoreDomainFunctionality

  248. def sideEffectOnlyOrExceptions(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue): Computation[Nothing, (BaseBugPickerAnalysisDomain.this)#ExceptionValue]

    Permalink
    Attributes
    protected[this]
    Definition Classes
    IgnoreSynchronization

  249. def summarize(pc: PC, values: Iterable[(BaseBugPickerAnalysisDomain.this)#DomainValue]): (BaseBugPickerAnalysisDomain.this)#DomainValue

    Permalink
    Definition Classes
    ValuesDomain

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

    Permalink
    Definition Classes
    AnyRef

  251. def throwArithmeticExceptions: Boolean

    Permalink
    Definition Classes
    ThrowAllPotentialExceptionsConfiguration → Configuration

  252. def throwArrayIndexOutOfBoundsException: Boolean

    Permalink
    Definition Classes
    ThrowAllPotentialExceptionsConfiguration → Configuration

  253. def throwArrayStoreException: Boolean

    Permalink
    Definition Classes
    ThrowAllPotentialExceptionsConfiguration → Configuration

  254. def throwClassCastException: Boolean

    Permalink
    Definition Classes
    ThrowAllPotentialExceptionsConfiguration → Configuration

  255. def throwClassNotFoundException: Boolean

    Permalink
    Definition Classes
    ThrowAllPotentialExceptionsConfiguration → Configuration

  256. def throwExceptionsOnMethodCall: ExceptionsRaisedByCalledMethod

    Permalink
    Definition Classes
    ThrowAllPotentialExceptionsConfiguration → Configuration

  257. def throwIllegalMonitorStateException: Boolean

    Permalink
    Definition Classes
    ThrowAllPotentialExceptionsConfiguration → Configuration

  258. def throwNegativeArraySizeException: Boolean

    Permalink
    Definition Classes
    ThrowAllPotentialExceptionsConfiguration → Configuration

  259. def throwNullPointerExceptionOnArrayAccess: Boolean

    Permalink
    Definition Classes
    ThrowAllPotentialExceptionsConfiguration → Configuration

  260. def throwNullPointerExceptionOnFieldAccess: Boolean

    Permalink
    Definition Classes
    ThrowAllPotentialExceptionsConfiguration → Configuration

  261. def throwNullPointerExceptionOnMethodCall: Boolean

    Permalink
    Definition Classes
    ThrowAllPotentialExceptionsConfiguration → Configuration

  262. def throwNullPointerExceptionOnMonitorAccess: Boolean

    Permalink
    Definition Classes
    ThrowAllPotentialExceptionsConfiguration → Configuration

  263. def throwNullPointerExceptionOnThrow: Boolean

    Permalink
    Definition Classes
    ThrowAllPotentialExceptionsConfiguration → Configuration

  264. final def throws(value: (BaseBugPickerAnalysisDomain.this)#ExceptionValue): ThrowsException[(BaseBugPickerAnalysisDomain.this)#ExceptionValue]

    Permalink
    Definition Classes
    ReferenceValuesFactory

  265. def toJavaObject(pc: PC, value: (BaseBugPickerAnalysisDomain.this)#DomainValue): Option[AnyRef]

    Permalink
    Definition Classes
    TypeLevelReferenceValues → AsJavaObject

  266. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any

  267. def typeOfValue(value: (BaseBugPickerAnalysisDomain.this)#DomainValue): TypeInformation

    Permalink
    Definition Classes
    ValuesDomain

  268. def updateMemoryLayout(oldValue: (BaseBugPickerAnalysisDomain.this)#DomainValue, newValue: (BaseBugPickerAnalysisDomain.this)#DomainValue, operands: (BaseBugPickerAnalysisDomain.this)#Operands, locals: (BaseBugPickerAnalysisDomain.this)#Locals): ((BaseBugPickerAnalysisDomain.this)#Operands, (BaseBugPickerAnalysisDomain.this)#Locals)

    Permalink
    Definition Classes
    CoreDomainFunctionality

  269. final def wait(): Unit

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

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

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

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

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

  272. final def withLongValuesOrElse[T](value1: (BaseBugPickerAnalysisDomain.this)#DomainValue, value2: (BaseBugPickerAnalysisDomain.this)#DomainValue)(f: (Long, Long) ⇒ T)(orElse: ⇒ T): T

    Permalink
    Attributes
    protected
    Definition Classes
    LongSetValues
    Annotations
    @inline()

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