Class

org.opalj.bugpicker.core.analysis

FallbackBugPickerAnalysisDomain

Related Doc: package analysis

Permalink

class FallbackBugPickerAnalysisDomain extends BaseBugPickerAnalysisDomain with DefaultClassValuesBinding with RecordAllThrownExceptions with RecordCFG with RecordDefUse

This is the fall back domain that is used to perform an abstract interpretation of a method without invoking called methods.

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

Instance Constructors

  1. new FallbackBugPickerAnalysisDomain(project: Project[URL], fieldValueInformation: FieldValueInformation, methodReturnValueInformation: MethodReturnValueInformation, cache: CallGraphCache[MethodSignature, Set[Method]], maxCardinalityOfIntegerRanges: Long, maxCardinalityOfLongSets: Int, method: Method)

    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. class ClassValue extends (ClassValues.this)#SObjectValue

    Permalink
    Attributes
    protected
    Definition Classes
    ClassValues

  9. type DomainArrayValue = ArrayValue

    Permalink
    Definition Classes
    DefaultReferenceValuesBinding → ReferenceValues → DefaultTypeLevelReferenceValues → TypeLevelReferenceValues

  10. type DomainClassValue = ClassValue

    Permalink
    Definition Classes
    DefaultClassValuesBinding → ClassValues

  11. final type DomainIllegalValue = IllegalValue

    Permalink
    Definition Classes
    DefaultDomainValueBinding → ValuesDomain

  12. type DomainMultipleReferenceValues = MultipleReferenceValues

    Permalink
    Definition Classes
    DefaultReferenceValuesBinding → ReferenceValues

  13. type DomainNullValue = NullValue

    Permalink
    Definition Classes
    DefaultReferenceValuesBinding → ReferenceValues → DefaultTypeLevelReferenceValues → TypeLevelReferenceValues

  14. type DomainObjectValue = ObjectValue

    Permalink
    Definition Classes
    DefaultReferenceValuesBinding → ReferenceValues → DefaultTypeLevelReferenceValues → TypeLevelReferenceValues

  15. type DomainReferenceValue = ReferenceValue

    Permalink
    Definition Classes
    DefaultReferenceValuesBinding → ValuesDomain

  16. final type DomainReturnAddressValue = ReturnAddressValue

    Permalink
    Definition Classes
    DefaultDomainValueBinding → ValuesDomain

  17. final type DomainReturnAddressValues = ReturnAddressValues

    Permalink
    Definition Classes
    DefaultDomainValueBinding → ValuesDomain

  18. type DomainSingleOriginReferenceValue = SingleOriginReferenceValue

    Permalink
    Definition Classes
    DefaultReferenceValuesBinding → ReferenceValues

  19. type DomainStringValue = StringValue

    Permalink
    Definition Classes
    DefaultStringValuesBinding → StringValues

  20. final type DomainTypedValue[+T <: Type] = TypedValue[T]

    Permalink
    Definition Classes
    DefaultDomainValueBinding → ValuesDomain

  21. final type DomainValue = Value

    Permalink
    Definition Classes
    DefaultDomainValueBinding → ValuesDomain

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

    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)#TypedValue[FloatType] with IsFloatValue[(TypeLevelFloatValues.this)#FloatValue]

    Permalink
    Definition Classes
    TypeLevelFloatValues

  26. class IllegalValue extends Value

    Permalink
    Attributes
    protected
    Definition Classes
    ValuesDomain

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

    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)#TypedValue[LongType] with IsLongValue[(LongSetValues.this)#LongValue]

    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. class SObjectValue extends (ReferenceValues.this)#SObjectValue with (ReferenceValues.this)#ObjectValue with (ReferenceValues.this)#NonNullSingleOriginSReferenceValue

    Permalink
    Attributes
    protected
    Definition Classes
    ReferenceValues

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

    Permalink
    Attributes
    protected[this]
    Definition Classes
    TypeLevelReferenceValues

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

    Permalink
    Definition Classes
    ReferenceValues

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

    Permalink
    Definition Classes
    Origin

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

    Permalink
    Attributes
    protected
    Definition Classes
    StringValues

  55. type ThrownException = Set[DomainSingleOriginReferenceValue]

    Permalink
    Definition Classes
    RecordAllThrownExceptions → RecordThrownExceptions

  56. type Timestamp = Int

    Permalink
    Definition Classes
    ReferenceValues

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

    Permalink
    Definition Classes
    ValuesDomain

  58. trait Value extends AnyRef

    Permalink
    Definition Classes
    ValuesDomain

  59. type ValueOrigins = IntSet

    Permalink
    Definition Classes
    RecordDefUse

  60. 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): DomainTypedValue[CTIntType]

    Permalink
    Definition Classes
    DefaultIntegerRangeValues → IntegerValuesFactory

  13. def BooleanValue(origin: ValueOrigin): DomainTypedValue[CTIntType]

    Permalink
    Definition Classes
    DefaultIntegerRangeValues → IntegerValuesFactory

  14. def ByteValue(origin: ValueOrigin, value: Byte): DomainTypedValue[CTIntType]

    Permalink
    Definition Classes
    DefaultIntegerRangeValues → IntegerValuesFactory

  15. def ByteValue(origin: ValueOrigin): DomainTypedValue[CTIntType]

    Permalink
    Definition Classes
    DefaultIntegerRangeValues → IntegerValuesFactory

  16. def CharValue(origin: ValueOrigin, value: Char): DomainTypedValue[CTIntType]

    Permalink
    Definition Classes
    DefaultIntegerRangeValues → IntegerValuesFactory

  17. def CharValue(origin: ValueOrigin): DomainTypedValue[CTIntType]

    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: DomainTypedValue[CTIntType]

    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): DomainTypedValue[CTIntType]

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerRangeValuesFactory

  47. def IntegerRange(value: Int): DomainTypedValue[CTIntType]

    Permalink
    Definition Classes
    IntegerRangeValues

  48. object IntegerRange

    Permalink
    Definition Classes
    IntegerRangeValues

  49. def IntegerValue(origin: ValueOrigin, value: Int): DomainTypedValue[CTIntType]

    Permalink
    Definition Classes
    DefaultIntegerRangeValues → IntegerValuesFactory

  50. def IntegerValue(origin: ValueOrigin): DomainTypedValue[CTIntType]

    Permalink
    Definition Classes
    DefaultIntegerRangeValues → IntegerValuesFactory

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

    Permalink
    Definition Classes
    DefaultLongSetValues → LongSetValues

  52. def LongSet(value: Long): DomainTypedValue[LongType]

    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): ALongValue

    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: UIDSet[DomainSingleOriginReferenceValue], isNull: Answer, isPrecise: Boolean, theUpperTypeBound: UIDSet[_ <: ReferenceType], t: Timestamp): DomainMultipleReferenceValues

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

  62. def MultipleReferenceValues(values: UIDSet[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): DomainTypedValue[CTIntType]

    Permalink
    Definition Classes
    DefaultIntegerRangeValues → IntegerValuesFactory

  83. def ShortValue(origin: ValueOrigin): DomainTypedValue[CTIntType]

    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 ValueOrigins(vo: Int): IntSet

    Permalink
    Definition Classes
    RecordDefUse

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

    Permalink
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain

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

    Permalink
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain

  106. def abruptMethodExecution(pc: PC, exceptionValue: ExceptionValue): Unit

    Permalink
    Definition Classes
    RecordCFG → ReturnInstructionsDomain

  107. def abstractInterpretationEnded(aiResult: AIResult { val domain: FallbackBugPickerAnalysisDomain.this.type }): Unit

    Permalink
    Definition Classes
    RecordDefUse → CoreDomainFunctionality

  108. def afterBaseJoin(pc: PC): Unit

    Permalink
    Attributes
    protected[this]
    Definition Classes
    JoinStabilization → CoreDomainFunctionality

  109. 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

  110. def allExitPCs: BitSet

    Permalink
    Definition Classes
    RecordCFG

  111. def allSubroutineStartPCs: IntSet

    Permalink
    Definition Classes
    RecordCFG

  112. def allSuccessorsOf(pc: PC): PCs

    Permalink
    Definition Classes
    RecordCFG

  113. def allThrownExceptions: Map[PC, ThrownException]

    Permalink
    Definition Classes
    RecordThrownExceptions

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

    Permalink
    Definition Classes
    RecordCFG → ReturnInstructionsDomain

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

    Permalink
    Definition Classes
    MaxArrayLengthRefinement → TypeLevelReferenceValues → ReferenceValuesDomain

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

    Permalink
    Definition Classes
    TypeLevelReferenceValues → GeneralizedArrayHandling

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

    Permalink
    Definition Classes
    TypeLevelReferenceValues → GeneralizedArrayHandling

  118. def asArrayAbstraction(value: DomainValue): ArrayAbstraction

    Permalink
    Definition Classes
    TypeLevelReferenceValues

  119. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  120. def asObjectValue(value: DomainValue): DomainObjectValue

    Permalink
    Definition Classes
    TypeLevelReferenceValues

  121. def asReferenceValue(value: DomainValue): AReferenceValue

    Permalink
    Definition Classes
    TypeLevelReferenceValues

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

    Permalink
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain

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

    Permalink
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain

  124. def bbCFG: CFG

    Permalink
    Definition Classes
    RecordCFG

  125. def beforeBaseJoin(pc: PC): Unit

    Permalink
    Attributes
    protected[this]
    Definition Classes
    CoreDomainFunctionality

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

    Permalink
    Definition Classes
    FallbackBugPickerAnalysisDomain → Callees

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

    Permalink
    Definition Classes
    Callees
    Annotations
    @inline()

  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. def cfgAsGraph(): DefaultMutableNode[Chain[PC]]

    Permalink
    Definition Classes
    RecordCFG

  131. implicit final def classHierarchy: ClassHierarchy

    Permalink
    Definition Classes
    TheProject → TheClassHierarchy
    Annotations
    @inline()

  132. def clone(): AnyRef

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

  133. final val code: Code

    Permalink
    Definition Classes
    TheMethod → TheCode

  134. def controlDependencies: ControlDependencies

    Permalink
    Definition Classes
    RecordCFG

  135. def createDefUseGraph(code: Code): Set[DefaultMutableNode[ValueOrigin]]

    Permalink
    Definition Classes
    RecordDefUse

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

    Permalink
    Attributes
    protected[this]
    Definition Classes
    LongSetValues

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

    Permalink
    Definition Classes
    TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain

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

    Permalink
    Definition Classes
    TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain

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

    Permalink
    Definition Classes
    TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain

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

    Permalink
    Definition Classes
    TypeLevelDoubleValues → DoubleValuesDomain

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

    Permalink
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain

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

    Permalink
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain

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

    Permalink
    Definition Classes
    TypeLevelDoubleValues → DoubleValuesDomain

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

    Permalink
    Definition Classes
    TypeLevelDoubleValues → DoubleValuesDomain

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

    Permalink
    Definition Classes
    TypeLevelDoubleValues → DoubleValuesDomain

  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, method: Method, operands: Operands, fallback: () ⇒ MethodCallResult): MethodCallResult

    Permalink
    Attributes
    protected[this]
    Definition Classes
    RefinedTypeLevelInvokeInstructions → MethodCallsDomainWithMethodLockup

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

    Permalink
    Attributes
    protected[this]
    Definition Classes
    MethodCallsDomainWithMethodLockup

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

    Permalink
    Attributes
    protected[this]
    Definition Classes
    MethodCallsDomainWithMethodLockup

  153. def dominatorTree: DominatorTree

    Permalink
    Definition Classes
    RecordCFG

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

    Permalink
    Definition Classes
    TypeLevelDoubleValues → DoubleValuesDomain

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

    Permalink
    Definition Classes
    RecordCFG → ReturnInstructionsDomain

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

    Permalink
    Definition Classes
    TypeLevelDoubleValues → DoubleValuesDomain

  157. def dumpDefUseInfo(): Node

    Permalink
    Definition Classes
    RecordDefUse

  158. def dumpDefUseTable(): Node

    Permalink
    Definition Classes
    RecordDefUse

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

    Permalink
    Definition Classes
    AnyRef

  160. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

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

    Permalink
    Definition Classes
    CoreDomainFunctionality

  162. def exceptionHandlerSuccessorsOf(pc: PC): PCs

    Permalink
    Definition Classes
    RecordCFG

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

    Permalink
    Definition Classes
    TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain

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

    Permalink
    Definition Classes
    TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain

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

    Permalink
    Definition Classes
    TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain

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

    Permalink
    Definition Classes
    TypeLevelFloatValues → FloatValuesDomain

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

    Permalink
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain

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

    Permalink
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain

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

    Permalink
    Definition Classes
    TypeLevelFloatValues → FloatValuesDomain

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

    Permalink
    Definition Classes
    TypeLevelFloatValues → FloatValuesDomain

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

    Permalink
    Definition Classes
    TypeLevelFloatValues → FloatValuesDomain

  172. val fieldValueInformation: FieldValueInformation

    Permalink
    Definition Classes
    FallbackBugPickerAnalysisDomain → RefinedTypeLevelFieldAccessInstructions

  173. def finalize(): Unit

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

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

    Permalink
    Definition Classes
    RecordCFG → CoreDomainFunctionality

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

    Permalink
    Definition Classes
    TypeLevelFloatValues → FloatValuesDomain

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

    Permalink
    Definition Classes
    TypeLevelFloatValues → FloatValuesDomain

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

    Permalink
    Definition Classes
    Origin

  178. final def foreachPredecessorOf(pc: PC)(f: (PC) ⇒ Unit): Unit

    Permalink
    Definition Classes
    RecordCFG

  179. final def foreachSuccessorOf(pc: PC)(f: (PC) ⇒ Unit): Unit

    Permalink
    Definition Classes
    RecordCFG

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

    Permalink
    Definition Classes
    TypeLevelFloatValues → FloatValuesDomain

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

    Permalink
    Definition Classes
    RecordCFG → 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. final def handlesException(exceptionHandler: ExceptionHandler): Boolean

    Permalink
    Definition Classes
    RecordCFG

  194. final def hasMultiplePredecessors(pc: PC): Boolean

    Permalink
    Definition Classes
    RecordCFG

  195. final def hasMultipleSuccessors(pc: PC): Boolean

    Permalink
    Definition Classes
    RecordCFG

  196. def hasSuccessor(pc: PC, regularSuccessorsOnly: Boolean, p: (PC) ⇒ Boolean): Boolean

    Permalink
    Definition Classes
    RecordCFG

  197. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any

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

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

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

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

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

    Permalink
    Definition Classes
    ConcretePrimitiveValuesConversions → TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain

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

    Permalink
    Definition Classes
    ConcretePrimitiveValuesConversions → TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain

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

    Permalink
    Definition Classes
    ConcretePrimitiveValuesConversions → TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain

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

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

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

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

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

    Permalink
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain

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

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

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

    Permalink
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain

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

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

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

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

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

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

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

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

  212. def initProperties(code: Code, cfJoins: BitSet, locals: Locals): Unit

    Permalink
    Definition Classes
    RecordDefUse → RecordCFG → CustomInitialization

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

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

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

    Permalink
    Definition Classes
    IntegerValuesDomain

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

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

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

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

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

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

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

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

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

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

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

    Permalink
    Definition Classes
    IntegerValuesDomain

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

    Permalink
    Definition Classes
    IntegerValuesDomain

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

    Permalink
    Definition Classes
    IntegerValuesDomain

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

    Permalink
    Definition Classes
    IntegerValuesDomain

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

    Permalink
    Definition Classes
    IntegerValuesDomain

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

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

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

    Permalink
    Definition Classes
    IntegerValuesDomain

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

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

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

    Permalink
    Definition Classes
    IntegerValuesDomain

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

    Permalink
    Definition Classes
    IntegerValuesDomain

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

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

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

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

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

    Permalink
    Definition Classes
    IntegerRangeValues → ConcreteIntegerValues
    Annotations
    @inline()

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

    Permalink
    Definition Classes
    IntegerRangeValues → ConcreteIntegerValues
    Annotations
    @inline()

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

    Permalink
    Attributes
    protected
    Definition Classes
    IntegerRangeValues
    Annotations
    @inline()

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

    Permalink
    Definition Classes
    TypeLevelInvokeInstructions → MethodCallsDomain

  236. def invokeinterface(pc: PC, declaringClass: ObjectType, methodName: String, methodDescriptor: MethodDescriptor, operands: Operands): MethodCallResult

    Permalink
    Definition Classes
    MethodCallsDomainWithMethodLockup → MethodCallsDomain

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

    Permalink
    Definition Classes
    StringValues → MethodCallsDomain

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

    Permalink
    Definition Classes
    ClassValues → MethodCallsDomain

  239. def invokevirtual(pc: PC, declaringClass: ReferenceType, methodName: String, methodDescriptor: MethodDescriptor, operands: Operands): MethodCallResult

    Permalink
    Definition Classes
    MethodCallsDomainWithMethodLockup → MethodCallsDomain

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

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

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

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

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

    Permalink
    Definition Classes
    RecordCFG → ReturnInstructionsDomain

  243. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

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

    Permalink
    Attributes
    protected
    Definition Classes
    ReferenceValues

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

    Permalink
    Attributes
    protected
    Definition Classes
    ReferenceValues

  246. def isRegularPredecessorOf(pc: PC, successorPC: PC): Boolean

    Permalink
    Definition Classes
    RecordCFG

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

    Permalink
    Definition Classes
    TheClassHierarchy

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

    Permalink
    Definition Classes
    TypeLevelReferenceValues → ReferenceValuesDomain

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

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

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

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

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

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

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

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

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

    Permalink
    Definition Classes
    IntegerRangeValues → IntegerValuesDomain

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

    Permalink
    Definition Classes
    CoreDomainFunctionality

  255. 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

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

    Permalink
    Attributes
    protected[this]
    Definition Classes
    RecordAllThrownExceptions → RecordThrownExceptions

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

    Permalink
    Attributes
    protected[this]
    Definition Classes
    JoinStabilization → CoreDomainFunctionality

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

    Permalink
    Attributes
    protected[this]
    Definition Classes
    JoinStabilization

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

    Permalink
    Definition Classes
    RecordCFG → SubroutinesDomain

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

    Permalink
    Definition Classes
    ReferenceValuesFactory

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

    Permalink
    Definition Classes
    ConcretePrimitiveValuesConversions → TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain

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

    Permalink
    Definition Classes
    ConcretePrimitiveValuesConversions → TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain

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

    Permalink
    Definition Classes
    ConcretePrimitiveValuesConversions → TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain

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

    Permalink
    Definition Classes
    LongSetValues → LongValuesDomain

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

    Permalink
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain

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

    Permalink
    Definition Classes
    LongSetValues → LongValuesDomain

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

    Permalink
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain

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

    Permalink
    Definition Classes
    LongSetValues → LongValuesDomain

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

    Permalink
    Definition Classes
    LongSetValues → LongValuesDomain

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

    Permalink
    Definition Classes
    LongSetValues → LongValuesDomain

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

    Permalink
    Definition Classes
    LongSetValues → LongValuesDomain

  272. def localOrigin(pc: PC, registerIndex: Int): ValueOrigins

    Permalink
    Definition Classes
    RecordDefUse

  273. implicit final def logContext: LogContext

    Permalink
    Definition Classes
    TheProject → LogContextProvider

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

    Permalink
    Definition Classes
    LongSetValues → ConcreteLongValues
    Annotations
    @inline()

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

    Permalink
    Definition Classes
    LongSetValues → ConcreteLongValues
    Annotations
    @inline()

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

    Permalink
    Definition Classes
    LongSetValues → LongValuesDomain

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

    Permalink
    Definition Classes
    LongSetValues → LongValuesDomain

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

    Permalink
    Definition Classes
    RecordCFG → ReturnInstructionsDomain

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

    Permalink
    Definition Classes
    LongSetValuesShiftOperators → LongValuesDomain

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

    Permalink
    Definition Classes
    LongSetValuesShiftOperators → LongValuesDomain

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

    Permalink
    Definition Classes
    LongSetValues → LongValuesDomain

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

    Permalink
    Definition Classes
    LongSetValuesShiftOperators → LongValuesDomain

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

    Permalink
    Definition Classes
    LongSetValues → LongValuesDomain

  284. val maxCardinalityOfIntegerRanges: Long

    Permalink
    Definition Classes
    FallbackBugPickerAnalysisDomain → IntegerRangeValues

  285. val maxCardinalityOfLongSets: Int

    Permalink
    Definition Classes
    FallbackBugPickerAnalysisDomain → LongSetValues

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

    Permalink
    Attributes
    protected[this]
    Definition Classes
    TypeLevelReferenceValues

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

    Permalink
    Attributes
    protected[this]
    Definition Classes
    TypeLevelReferenceValues

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

    Permalink
    Definition Classes
    ValuesDomain

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

    Permalink
    Attributes
    protected[this]
    Definition Classes
    TypeLevelReferenceValues

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

    Permalink
    Definition Classes
    TypeLevelReferenceValues

  291. val method: Method

    Permalink
    Definition Classes
    FallbackBugPickerAnalysisDomain → TheMethod

  292. val methodReturnValueInformation: MethodReturnValueInformation

    Permalink
    Definition Classes
    FallbackBugPickerAnalysisDomain → RefinedTypeLevelInvokeInstructions

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

    Permalink
    Definition Classes
    IgnoreSynchronization → MonitorInstructionsDomain

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

    Permalink
    Definition Classes
    IgnoreSynchronization → MonitorInstructionsDomain

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

    Permalink
    Definition Classes
    TypeLevelReferenceValues → ReferenceValuesDomain

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

    Permalink
    Definition Classes
    AnyRef

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

    Permalink
    Definition Classes
    TypeLevelReferenceValues → ReferenceValuesDomain

  298. def nextT(): Timestamp

    Permalink
    Definition Classes
    ReferenceValues

  299. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef

  300. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef

  301. final def nullT: Timestamp

    Permalink
    Definition Classes
    ReferenceValues

  302. def operandOrigin(pc: PC, stackIndex: Int): ValueOrigins

    Permalink
    Definition Classes
    RecordDefUse

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

    Permalink
    Definition Classes
    Origin

  304. def postDominatorTree: DominatorTree

    Permalink
    Definition Classes
    RecordCFG

  305. def postDominatorTreeFactory: DominatorTreeFactory

    Permalink
    Definition Classes
    RecordCFG

  306. def predecessorsOf(pc: PC): PCs

    Permalink
    Definition Classes
    RecordCFG

  307. val project: Project[URL]

    Permalink
    Definition Classes
    FallbackBugPickerAnalysisDomain → Callees → TheProject

  308. def properties(pc: Int, propertyToString: (AnyRef) ⇒ String): Option[String]

    Permalink
    Definition Classes
    RecordDefUse → ValuesDomain

  309. final lazy val propertyStore: PropertyStore

    Permalink
    Definition Classes
    TheProject → ThePropertyStore

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

    Permalink
    Definition Classes
    TypeLevelFieldAccessInstructions → FieldAccessesDomain

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

    Permalink
    Definition Classes
    TypeLevelFieldAccessInstructions → FieldAccessesDomain

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

    Permalink
    Attributes
    protected[this]
    Definition Classes
    RecordAllThrownExceptions → RecordThrownExceptions

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

    Permalink
    Definition Classes
    ReferenceValues → TypeLevelReferenceValues → ReferenceValuesDomain

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

    Permalink
    Definition Classes
    ReferenceValuesDomain

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

    Permalink
    Definition Classes
    ReferenceValuesDomain

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

    Permalink
    Definition Classes
    ReferenceValuesDomain

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

    Permalink
    Definition Classes
    ReferenceValues → ReferenceValuesDomain

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

    Permalink
    Definition Classes
    ReferenceValues → ReferenceValuesDomain

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

    Permalink
    Definition Classes
    ReferenceValuesDomain

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

    Permalink
    Definition Classes
    TypeLevelReferenceValues → ReferenceValuesDomain

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

    Permalink
    Definition Classes
    ReferenceValues → TypeLevelReferenceValues → ReferenceValuesDomain

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

    Permalink
    Definition Classes
    ReferenceValues → TypeLevelReferenceValues → ReferenceValuesDomain

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

    Permalink
    Attributes
    protected[this]
    Definition Classes
    ReferenceValues

  324. def regularSuccessorsOf(pc: PC): PCs

    Permalink
    Definition Classes
    RecordCFG

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

    Permalink
    Definition Classes
    SubroutinesDomain

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

    Permalink
    Definition Classes
    RecordCFG → ReturnInstructionsDomain

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

    Permalink
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain

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

    Permalink
    Definition Classes
    GeneralizedArrayHandling → ReferenceValuesDomain

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

    Permalink
    Attributes
    protected[this]
    Definition Classes
    CoreDomainFunctionality

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

    Permalink
    Attributes
    protected[this]
    Definition Classes
    IgnoreSynchronization

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

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

  332. final def successorsOf(pc: PC, regularSuccessorOnly: Boolean): PCs

    Permalink
    Definition Classes
    RecordCFG

  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 throwArithmeticExceptions: Boolean

    Permalink
    Definition Classes
    ThrowAllPotentialExceptionsConfiguration → Configuration

  336. def throwArrayIndexOutOfBoundsException: Boolean

    Permalink
    Definition Classes
    ThrowAllPotentialExceptionsConfiguration → Configuration

  337. def throwArrayStoreException: Boolean

    Permalink
    Definition Classes
    ThrowAllPotentialExceptionsConfiguration → Configuration

  338. def throwClassCastException: Boolean

    Permalink
    Definition Classes
    ThrowAllPotentialExceptionsConfiguration → Configuration

  339. def throwClassNotFoundException: Boolean

    Permalink
    Definition Classes
    ThrowAllPotentialExceptionsConfiguration → Configuration

  340. def throwExceptionsOnMethodCall: ExceptionsRaisedByCalledMethod

    Permalink
    Definition Classes
    ThrowAllPotentialExceptionsConfiguration → Configuration

  341. def throwIllegalMonitorStateException: Boolean

    Permalink
    Definition Classes
    ThrowAllPotentialExceptionsConfiguration → Configuration

  342. def throwNegativeArraySizeException: Boolean

    Permalink
    Definition Classes
    ThrowAllPotentialExceptionsConfiguration → Configuration

  343. def throwNullPointerExceptionOnArrayAccess: Boolean

    Permalink
    Definition Classes
    ThrowAllPotentialExceptionsConfiguration → Configuration

  344. def throwNullPointerExceptionOnFieldAccess: Boolean

    Permalink
    Definition Classes
    ThrowAllPotentialExceptionsConfiguration → Configuration

  345. def throwNullPointerExceptionOnMethodCall: Boolean

    Permalink
    Definition Classes
    ThrowAllPotentialExceptionsConfiguration → Configuration

  346. def throwNullPointerExceptionOnMonitorAccess: Boolean

    Permalink
    Definition Classes
    ThrowAllPotentialExceptionsConfiguration → Configuration

  347. def throwNullPointerExceptionOnThrow: Boolean

    Permalink
    Definition Classes
    ThrowAllPotentialExceptionsConfiguration → Configuration

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

    Permalink
    Definition Classes
    ReferenceValuesFactory

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

    Permalink
    Definition Classes
    StringValues → DefaultJavaObjectToDomainValueConversion → AsDomainValue

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

    Permalink
    Definition Classes
    StringValues → ReferenceValues → TypeLevelReferenceValues → AsJavaObject

  351. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any

  352. def typeOfValue(value: DomainValue): TypeInformation

    Permalink
    Definition Classes
    ValuesDomain

  353. def unused(): ValueOrigins

    Permalink
    Definition Classes
    RecordDefUse

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

    Permalink
    Attributes
    protected
    Definition Classes
    PostEvaluationMemoryManagement

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

    Permalink
    Attributes
    protected
    Definition Classes
    PostEvaluationMemoryManagement

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

    Permalink
    Attributes
    protected
    Definition Classes
    PostEvaluationMemoryManagement

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

    Permalink
    Definition Classes
    CoreDomainFunctionality

  358. def upperTypeBound(theValues: UIDSet[DomainSingleOriginReferenceValue]): UIDSet[_ <: ReferenceType]

    Permalink
    Definition Classes
    ReferenceValues

  359. def usedBy(valueOrigin: ValueOrigin): ValueOrigins

    Permalink
    Definition Classes
    RecordDefUse

  360. final def wait(): Unit

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

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

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

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

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

  363. final def wasExecuted(pc: PC): Boolean

    Permalink
    Definition Classes
    RecordCFG

  364. 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 RecordDefUse

Inherited from RecordCFG

Inherited from CustomInitialization

Inherited from RecordAllThrownExceptions

Inherited from RecordThrownExceptions

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 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