class InvocationBugPickerAnalysisDomain extends BasePerformInvocationBugPickerAnalysisDomain with RecordMethodCallResults with RecordLastReturnedValues with RecordAllThrownExceptions with ChildPerformInvocationsWithRecursionDetection
- Self Type
- InvocationBugPickerAnalysisDomain
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- InvocationBugPickerAnalysisDomain
- ChildPerformInvocationsWithRecursionDetection
- RecordAllThrownExceptions
- RecordLastReturnedValues
- RecordMethodCallResults
- RecordThrownExceptions
- RecordReturnedValues
- CustomInitialization
- RecordReturnedValuesInfrastructure
- MethodCallResults
- BasePerformInvocationBugPickerAnalysisDomain
- DefaultClassValuesBinding
- ClassValues
- DefaultStringValuesBinding
- StringValues
- PostEvaluationMemoryManagement
- DefaultJavaObjectToDomainValueConversion
- AsDomainValue
- DefaultReferenceValuesBinding
- DefaultExceptionsFactory
- ReferenceValues
- Origin
- DefaultTypeLevelReferenceValues
- PerformInvocationsWithBasicVirtualMethodCallResolution
- PerformInvocationsWithRecursionDetection
- TheMemoryLayout
- PerformInvocations
- BaseBugPickerAnalysisDomain
- IgnoreSynchronization
- DefaultHandlingOfMethodResults
- DefaultHandlingForReturnInstructions
- DefaultHandlingOfVoidReturns
- DefaultHandlingForThrownExceptions
- ReturnInstructionsDomain
- MaxArrayLengthRefinement
- TypeLevelReferenceValues
- AsJavaObject
- GeneralizedArrayHandling
- NullPropertyRefinement
- ConcretePrimitiveValuesConversions
- TypeLevelPrimitiveValuesConversions
- DefaultTypeLevelDoubleValues
- TypeLevelDoubleValues
- DefaultTypeLevelFloatValues
- TypeLevelFloatValues
- LongSetValuesShiftOperators
- DefaultLongSetValues
- LongSetValues
- ConcreteLongValues
- DefaultIntegerRangeValues
- IntegerRangeValues
- ConcreteIntegerValues
- IntegerRangeValuesFactory
- SpecialMethodsHandling
- RefinedTypeLevelInvokeInstructions
- MethodCallsDomainWithMethodLockup
- Callees
- TypeLevelInvokeInstructions
- MethodCallsHandling
- RefinedTypeLevelFieldAccessInstructions
- TypeLevelFieldAccessInstructions
- ThrowAllPotentialExceptionsConfiguration
- DefaultDomainValueBinding
- TheMethod
- TheCode
- TheProject
- ThePropertyStore
- LogContextProvider
- TheClassHierarchy
- CorrelationalDomain
- CorrelationalDomainSupport
- IdentityBasedCorrelationChangeDetection
- JoinStabilization
- Domain
- Configuration
- TypedValuesFactory
- PrimitiveValuesConversionsDomain
- ReturnInstructionsDomain
- MonitorInstructionsDomain
- MethodCallsDomain
- FieldAccessesDomain
- ReferenceValuesDomain
- ReferenceValuesFactory
- ExceptionsFactory
- DoubleValuesDomain
- DoubleValuesFactory
- FloatValuesDomain
- FloatValuesFactory
- LongValuesDomain
- LongValuesFactory
- IntegerValuesDomain
- IntegerValuesFactory
- CoreDomainFunctionality
- SubroutinesDomain
- ValuesDomain
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Instance Constructors
- new InvocationBugPickerAnalysisDomain(project: Project[URL], fieldValueInformation: FieldValueInformation, methodReturnValueInformation: MethodReturnValueInformation, cache: CallGraphCache[MethodSignature, Set[Method]], maxCardinalityOfIntegerRanges: Long, maxCardinalityOfLongSets: Int, maxCallChainLength: Int, callerDomain: BasePerformInvocationBugPickerAnalysisDomain, method: Method, currentCallChainLength: Int, debug: Boolean)
Type Members
-
class
ALongValue extends (DefaultLongSetValues.this)#ALongValue
- Definition Classes
- DefaultLongSetValues
-
type
AReferenceValue = ReferenceValue
- Definition Classes
- DefaultReferenceValuesBinding → ReferenceValues → TypeLevelReferenceValues
-
class
AnIntegerValue extends (DefaultIntegerRangeValues.this)#AnIntegerValue
- Definition Classes
- DefaultIntegerRangeValues
-
trait
ArrayAbstraction extends AnyRef
- Definition Classes
- TypeLevelReferenceValues
-
type
ArrayLoadResult = Computation[DomainValue, ExceptionValues]
- Definition Classes
- ReferenceValuesDomain
-
type
ArrayStoreResult = Computation[Nothing, ExceptionValues]
- Definition Classes
- ReferenceValuesDomain
-
class
ArrayValue extends (ReferenceValues.this)#ArrayValue with (ReferenceValues.this)#NonNullSingleOriginSReferenceValue
- Attributes
- protected
- Definition Classes
- ReferenceValues
-
type
CalledMethodDomain = InvocationBugPickerAnalysisDomain
- Definition Classes
- BasePerformInvocationBugPickerAnalysisDomain → PerformInvocationsWithRecursionDetection → PerformInvocations
-
class
ClassValue extends (ClassValues.this)#SObjectValue
- Attributes
- protected
- Definition Classes
- ClassValues
-
type
DomainArrayValue = ArrayValue
- Definition Classes
- DefaultReferenceValuesBinding → ReferenceValues → DefaultTypeLevelReferenceValues → TypeLevelReferenceValues
-
type
DomainClassValue = ClassValue
- Definition Classes
- DefaultClassValuesBinding → ClassValues
-
final
type
DomainIllegalValue = IllegalValue
- Definition Classes
- DefaultDomainValueBinding → ValuesDomain
-
type
DomainMultipleReferenceValues = MultipleReferenceValues
- Definition Classes
- DefaultReferenceValuesBinding → ReferenceValues
-
type
DomainNullValue = NullValue
- Definition Classes
- DefaultReferenceValuesBinding → ReferenceValues → DefaultTypeLevelReferenceValues → TypeLevelReferenceValues
-
type
DomainObjectValue = ObjectValue
- Definition Classes
- DefaultReferenceValuesBinding → ReferenceValues → DefaultTypeLevelReferenceValues → TypeLevelReferenceValues
-
type
DomainReferenceValue = ReferenceValue
- Definition Classes
- DefaultReferenceValuesBinding → ValuesDomain
-
final
type
DomainReturnAddressValue = ReturnAddressValue
- Definition Classes
- DefaultDomainValueBinding → ValuesDomain
-
final
type
DomainReturnAddressValues = ReturnAddressValues
- Definition Classes
- DefaultDomainValueBinding → ValuesDomain
-
type
DomainSingleOriginReferenceValue = SingleOriginReferenceValue
- Definition Classes
- DefaultReferenceValuesBinding → ReferenceValues
-
type
DomainStringValue = StringValue
- Definition Classes
- DefaultStringValuesBinding → StringValues
-
final
type
DomainTypedValue[+T <: Type] = TypedValue[T]
- Definition Classes
- DefaultDomainValueBinding → ValuesDomain
-
final
type
DomainValue = Value
- Definition Classes
- DefaultDomainValueBinding → ValuesDomain
-
trait
DoubleValue extends (TypeLevelDoubleValues.this)#TypedValue[DoubleType] with IsDoubleValue[(TypeLevelDoubleValues.this)#DoubleValue]
- Definition Classes
- TypeLevelDoubleValues
-
type
ExceptionValue = DomainReferenceValue
- Definition Classes
- ValuesDomain
-
type
ExceptionValues = Iterable[ExceptionValue]
- Definition Classes
- ValuesDomain
-
trait
FloatValue extends (TypeLevelFloatValues.this)#TypedValue[FloatType] with IsFloatValue[(TypeLevelFloatValues.this)#FloatValue]
- Definition Classes
- TypeLevelFloatValues
-
class
IllegalValue extends Value
- Attributes
- protected
- Definition Classes
- ValuesDomain
-
sealed
trait
IntegerLikeValue extends (IntegerRangeValues.this)#TypedValue[CTIntType] with IsIntegerValue[(IntegerRangeValues.this)#IntegerLikeValue]
- Definition Classes
- IntegerRangeValues
-
class
IntegerRange extends (DefaultIntegerRangeValues.this)#IntegerRange
- Definition Classes
- DefaultIntegerRangeValues
-
type
IntegerValueOrArithmeticException = Computation[DomainValue, ExceptionValue]
- Definition Classes
- IntegerValuesDomain
-
type
Locals = collection.mutable.Locals[DomainValue]
- Definition Classes
- ValuesDomain
-
type
LocalsArray = Array[Locals]
- Definition Classes
- ValuesDomain
-
class
LongSet extends (DefaultLongSetValues.this)#LongSet
- Definition Classes
- DefaultLongSetValues
-
sealed
trait
LongValue extends (LongSetValues.this)#TypedValue[LongType] with IsLongValue[(LongSetValues.this)#LongValue]
- Definition Classes
- LongSetValues
-
type
LongValueOrArithmeticException = Computation[DomainValue, ExceptionValue]
- Definition Classes
- LongValuesDomain
-
class
MObjectValue extends (ReferenceValues.this)#MObjectValue with (ReferenceValues.this)#ObjectValue
- Attributes
- protected
- Definition Classes
- ReferenceValues
-
type
MethodCallResult = Computation[DomainValue, ExceptionValues]
- Definition Classes
- MethodCallsDomain
-
trait
MultipleOriginsValue extends (Origin.this)#ValueWithOriginInformation
- Definition Classes
- Origin
-
class
MultipleReferenceValues extends (ReferenceValues.this)#ReferenceValue with (ReferenceValues.this)#MultipleOriginsValue
- Attributes
- protected
- Definition Classes
- ReferenceValues
-
trait
NonNullSingleOriginReferenceValue extends (ReferenceValues.this)#SingleOriginReferenceValue
- Definition Classes
- ReferenceValues
-
trait
NonNullSingleOriginSReferenceValue extends (ReferenceValues.this)#NonNullSingleOriginReferenceValue
- Definition Classes
- ReferenceValues
-
class
NullValue extends (ReferenceValues.this)#NullValue with (ReferenceValues.this)#SingleOriginReferenceValue
- Attributes
- protected
- Definition Classes
- ReferenceValues
-
trait
ObjectValue extends (ReferenceValues.this)#ObjectValue with (ReferenceValues.this)#NonNullSingleOriginReferenceValue
- Definition Classes
- ReferenceValues
-
type
Operands = Chain[DomainValue]
- Definition Classes
- ValuesDomain
-
type
OperandsArray = Array[Operands]
- Definition Classes
- ValuesDomain
-
trait
RETValue extends Value
- Definition Classes
- ValuesDomain
-
type
RefId = Int
- Definition Classes
- ReferenceValues
-
trait
ReferenceValue extends (ReferenceValues.this)#ReferenceValue
- Definition Classes
- ReferenceValues
-
type
Refinements = IdentityHashMap[AReferenceValue, AReferenceValue]
- Definition Classes
- ReferenceValues
-
class
ReturnAddressValue extends RETValue
- Definition Classes
- ValuesDomain
-
class
ReturnAddressValues extends RETValue
- Definition Classes
- ValuesDomain
-
type
ReturnedValue = DomainValue
- Definition Classes
- RecordLastReturnedValues → RecordReturnedValuesInfrastructure
-
class
SObjectValue extends (ReferenceValues.this)#SObjectValue with (ReferenceValues.this)#ObjectValue with (ReferenceValues.this)#NonNullSingleOriginSReferenceValue
- Attributes
- protected
- Definition Classes
- ReferenceValues
-
trait
SReferenceValue[T <: ReferenceType] extends (TypeLevelReferenceValues.this)#ReferenceValue
- Attributes
- protected[this]
- Definition Classes
- TypeLevelReferenceValues
-
trait
SingleOriginReferenceValue extends (ReferenceValues.this)#ReferenceValue with (ReferenceValues.this)#SingleOriginValue with UID
- Definition Classes
- ReferenceValues
-
trait
SingleOriginValue extends (Origin.this)#ValueWithOriginInformation
- Definition Classes
- Origin
-
class
StringValue extends (StringValues.this)#SObjectValue
- Attributes
- protected
- Definition Classes
- StringValues
-
type
ThrownException = Set[ExceptionValue]
- Definition Classes
- RecordAllThrownExceptions → RecordThrownExceptions
-
trait
TypedValue[+T <: Type] extends Value with KnownType
- Definition Classes
- ValuesDomain
-
trait
Value extends AnyRef
- Definition Classes
- ValuesDomain
-
trait
ValueWithOriginInformation extends AnyRef
- Definition Classes
- Origin
Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
val
AReferenceValue: ClassTag[AReferenceValue]
- Definition Classes
- DefaultReferenceValuesBinding → ReferenceValues
-
def
AnIntegerValue(): AnIntegerValue
- Definition Classes
- DefaultIntegerRangeValues
-
final
def
ArithmeticException(origin: ValueOrigin): ExceptionValue
- Definition Classes
- DefaultExceptionsFactory → ExceptionsFactory
-
final
def
ArrayIndexOutOfBoundsException(origin: ValueOrigin): ExceptionValue
- Definition Classes
- DefaultExceptionsFactory → ExceptionsFactory
-
final
def
ArrayStoreException(origin: ValueOrigin): ExceptionValue
- Definition Classes
- DefaultExceptionsFactory → ExceptionsFactory
-
def
ArrayValue(origin: ValueOrigin, isNull: Answer, isPrecise: Boolean, theUpperTypeBound: ArrayType, t: RefId): DomainArrayValue
- Attributes
- protected[org.opalj.ai.domain]
- Definition Classes
- DefaultReferenceValuesBinding → ReferenceValues
-
def
ArrayValue(pc: PC, arrayType: ArrayType): DomainArrayValue
- Attributes
- protected[org.opalj.ai.domain]
- Definition Classes
- ReferenceValues → TypeLevelReferenceValues
-
def
BooleanValue(origin: ValueOrigin, value: Boolean): DomainTypedValue[CTIntType]
- Definition Classes
- DefaultIntegerRangeValues → IntegerValuesFactory
-
def
BooleanValue(origin: ValueOrigin): DomainTypedValue[CTIntType]
- Definition Classes
- DefaultIntegerRangeValues → IntegerValuesFactory
-
def
ByteValue(origin: ValueOrigin, value: Byte): DomainTypedValue[CTIntType]
- Definition Classes
- DefaultIntegerRangeValues → IntegerValuesFactory
-
def
ByteValue(origin: ValueOrigin): DomainTypedValue[CTIntType]
- Definition Classes
- DefaultIntegerRangeValues → IntegerValuesFactory
-
def
CharValue(origin: ValueOrigin, value: Char): DomainTypedValue[CTIntType]
- Definition Classes
- DefaultIntegerRangeValues → IntegerValuesFactory
-
def
CharValue(origin: ValueOrigin): DomainTypedValue[CTIntType]
- Definition Classes
- DefaultIntegerRangeValues → IntegerValuesFactory
-
final
def
ClassCastException(origin: ValueOrigin): ExceptionValue
- Definition Classes
- DefaultExceptionsFactory → ExceptionsFactory
-
final
def
ClassNotFoundException(origin: ValueOrigin): ExceptionValue
- Definition Classes
- DefaultExceptionsFactory → ExceptionsFactory
-
def
ClassValue(origin: ValueOrigin, value: Type, refId: RefId): DomainClassValue
- Definition Classes
- DefaultClassValuesBinding
-
def
ClassValue(origin: ValueOrigin, value: Type): DomainClassValue
- Definition Classes
- DefaultClassValuesBinding → ClassValues → ReferenceValues → TypeLevelReferenceValues → ReferenceValuesFactory
-
final
def
ConstantFieldValue(pc: PC, cv: ConstantFieldValue[_]): DomainValue
- Definition Classes
- Domain
-
final
def
DefaultValue(origin: ValueOrigin, theType: FieldType): DomainValue
- Definition Classes
- TypedValuesFactory
-
final
val
DomainArrayValue: ClassTag[DomainArrayValue]
- Definition Classes
- DefaultReferenceValuesBinding → ReferenceValues
-
val
DomainClassValue: ClassTag[DomainClassValue]
- Definition Classes
- DefaultClassValuesBinding → ClassValues
-
final
val
DomainMultipleReferenceValues: ClassTag[DomainMultipleReferenceValues]
- Definition Classes
- DefaultReferenceValuesBinding → ReferenceValues
-
final
val
DomainNullValue: ClassTag[DomainNullValue]
- Definition Classes
- DefaultReferenceValuesBinding → ReferenceValues
-
final
val
DomainObjectValue: ClassTag[DomainObjectValue]
- Definition Classes
- DefaultReferenceValuesBinding → ReferenceValues
-
final
val
DomainReferenceValue: ClassTag[DomainReferenceValue]
- Definition Classes
- DefaultReferenceValuesBinding → ValuesDomain
-
final
val
DomainSingleOriginReferenceValue: ClassTag[DomainSingleOriginReferenceValue]
- Definition Classes
- DefaultReferenceValuesBinding → ReferenceValues
-
final
val
DomainStringValue: ClassTag[DomainStringValue]
- Definition Classes
- DefaultStringValuesBinding → StringValues
-
final
val
DomainValue: ClassTag[DomainValue]
- Definition Classes
- DefaultDomainValueBinding → ValuesDomain
-
final
def
DoubleValue(valueOrigin: ValueOrigin, value: Double): DoubleValue
- Definition Classes
- DefaultTypeLevelDoubleValues → DoubleValuesFactory
-
final
def
DoubleValue(valueOrigin: ValueOrigin): DoubleValue
- Definition Classes
- DefaultTypeLevelDoubleValues → DoubleValuesFactory
-
def
FloatValue(valueOrigin: ValueOrigin, value: Float): FloatValue
- Definition Classes
- DefaultTypeLevelFloatValues → FloatValuesFactory
-
def
FloatValue(valueOrigin: ValueOrigin): FloatValue
- Definition Classes
- DefaultTypeLevelFloatValues → FloatValuesFactory
-
final
def
IllegalMonitorStateException(origin: ValueOrigin): ExceptionValue
- Definition Classes
- DefaultExceptionsFactory → ExceptionsFactory
-
def
InitializedArrayValue(pc: PC, arrayType: ArrayType, counts: Chain[Int]): DomainArrayValue
- Definition Classes
- ReferenceValues → TypeLevelReferenceValues → ReferenceValuesFactory
-
def
InitializedObjectValue(pc: PC, objectType: ObjectType): DomainObjectValue
- Definition Classes
- ReferenceValues → TypeLevelReferenceValues → ReferenceValuesFactory
-
final
def
IntegerConstant0: DomainTypedValue[CTIntType]
- Definition Classes
- IntegerValuesFactory
-
final
def
IntegerRange(lb: Int, ub: Int): IntegerRange
- Definition Classes
- DefaultIntegerRangeValues → IntegerRangeValues
- Annotations
- @inline()
-
final
def
IntegerRange(origin: ValueOrigin, lowerBound: Int, upperBound: Int): DomainTypedValue[CTIntType]
- Definition Classes
- IntegerRangeValues → IntegerRangeValuesFactory
-
def
IntegerRange(value: Int): DomainTypedValue[CTIntType]
- Definition Classes
- IntegerRangeValues
-
def
IntegerValue(origin: ValueOrigin, value: Int): DomainTypedValue[CTIntType]
- Definition Classes
- DefaultIntegerRangeValues → IntegerValuesFactory
-
def
IntegerValue(origin: ValueOrigin): DomainTypedValue[CTIntType]
- Definition Classes
- DefaultIntegerRangeValues → IntegerValuesFactory
-
def
LongSet(values: SortedSet[Long]): LongSet
- Definition Classes
- DefaultLongSetValues → LongSetValues
-
def
LongSet(value: Long): DomainTypedValue[LongType]
- Definition Classes
- LongSetValues
-
def
LongValue(origin: ValueOrigin, value: Long): LongSet
- Definition Classes
- DefaultLongSetValues → LongValuesFactory
-
def
LongValue(origin: ValueOrigin): ALongValue
- Definition Classes
- DefaultLongSetValues → LongValuesFactory
-
final
val
MetaInformationUpdateIllegalValue: MetaInformationUpdate[DomainIllegalValue]
- Definition Classes
- DefaultDomainValueBinding → ValuesDomain
-
def
MethodCallResult(potentialExceptions: Iterable[ExceptionValue]): MethodCallResult
- Attributes
- protected[this]
- Definition Classes
- MethodCallsHandling
-
def
MethodCallResult(returnValue: DomainValue, exceptions: Iterable[ExceptionValue]): MethodCallResult
- Attributes
- protected[this]
- Definition Classes
- MethodCallsHandling
-
def
MethodHandle(origin: ValueOrigin, handle: MethodHandle): DomainReferenceValue
- Definition Classes
- ReferenceValuesFactory
-
def
MethodType(origin: ValueOrigin, descriptor: MethodDescriptor): DomainReferenceValue
- Definition Classes
- ReferenceValuesFactory
-
def
MultipleReferenceValues(values: UIDSet[DomainSingleOriginReferenceValue], isNull: Answer, isPrecise: Boolean, theUpperTypeBound: UIDSet[_ <: ReferenceType], refId: RefId): DomainMultipleReferenceValues
- Attributes
- protected[org.opalj.ai.domain]
- Definition Classes
- DefaultReferenceValuesBinding → ReferenceValues
-
def
MultipleReferenceValues(values: UIDSet[DomainSingleOriginReferenceValue]): DomainMultipleReferenceValues
- Attributes
- protected[org.opalj.ai.domain]
- Definition Classes
- DefaultReferenceValuesBinding → ReferenceValues
-
final
def
NegativeArraySizeException(origin: ValueOrigin): ExceptionValue
- Definition Classes
- DefaultExceptionsFactory → ExceptionsFactory
-
def
NewArray(pc: PC, counts: Operands, arrayType: ArrayType): DomainArrayValue
- Definition Classes
- ReferenceValues → TypeLevelReferenceValues
-
def
NewArray(pc: PC, count: DomainValue, arrayType: ArrayType): DomainArrayValue
- Definition Classes
- ReferenceValues → TypeLevelReferenceValues
-
def
NewObject(origin: ValueOrigin, objectType: ObjectType): DomainObjectValue
- Definition Classes
- StringValues → ReferenceValues → TypeLevelReferenceValues → ReferenceValuesFactory
-
def
NonNullObjectValue(pc: PC, objectType: ObjectType): DomainObjectValue
- Definition Classes
- ReferenceValues → TypeLevelReferenceValues → ReferenceValuesFactory
-
final
def
NullPointerException(origin: ValueOrigin): ExceptionValue
- Definition Classes
- DefaultExceptionsFactory → ExceptionsFactory
-
def
NullValue(origin: ValueOrigin): DomainNullValue
- Definition Classes
- DefaultReferenceValuesBinding → TypeLevelReferenceValues → ReferenceValuesFactory
-
def
ObjectValue(origin: ValueOrigin, isNull: Answer, upperTypeBound: UIDSet[ObjectType], refId: RefId): DomainObjectValue
- Attributes
- protected[org.opalj.ai.domain]
- Definition Classes
- DefaultReferenceValuesBinding → ReferenceValues
-
def
ObjectValue(origin: ValueOrigin, isNull: Answer, isPrecise: Boolean, theUpperTypeBound: ObjectType, refId: RefId): SObjectValue
- Attributes
- protected[org.opalj.ai.domain]
- Definition Classes
- DefaultReferenceValuesBinding → ReferenceValues
-
def
ObjectValue(origin: ValueOrigin, isNull: Answer, isPrecise: Boolean, theUpperTypeBound: ObjectType): DomainObjectValue
- Attributes
- protected[org.opalj.ai.domain]
- Definition Classes
- ReferenceValues
-
def
ObjectValue(origin: ValueOrigin, isNull: Answer, upperTypeBound: UIDSet[ObjectType]): DomainObjectValue
- Attributes
- protected[org.opalj.ai.domain]
- Definition Classes
- ReferenceValues
-
def
ObjectValue(pc: PC, upperTypeBound: UIDSet[ObjectType]): DomainObjectValue
- Definition Classes
- ReferenceValues → TypeLevelReferenceValues
-
def
ObjectValue(pc: PC, objectType: ObjectType): DomainObjectValue
- Definition Classes
- ReferenceValues → TypeLevelReferenceValues
-
final
def
RefIdUpdate[T](value: T): MetaInformationUpdate[T]
- Definition Classes
- ReferenceValues
- Annotations
- @inline()
-
final
def
ReferenceValue(origin: ValueOrigin, isNull: Answer, isPrecise: Boolean, upperTypeBound: UIDSet[_ <: ReferenceType], refId: RefId): DomainSingleOriginReferenceValue
- Attributes
- protected[org.opalj.ai.domain]
- Definition Classes
- ReferenceValues
-
final
def
ReferenceValue(origin: ValueOrigin, isNull: Answer, isPrecise: Boolean, theUpperTypeBound: ReferenceType): DomainSingleOriginReferenceValue
- Attributes
- protected[org.opalj.ai.domain]
- Definition Classes
- ReferenceValues
-
def
ReferenceValue(origin: ValueOrigin, isNull: Answer, isPrecise: Boolean, theUpperTypeBound: ReferenceType, refId: RefId): DomainSingleOriginReferenceValue
- Attributes
- protected[org.opalj.ai.domain]
- Definition Classes
- ReferenceValues
-
def
ReferenceValue(pc: PC, upperTypeBound: ReferenceType): AReferenceValue
- Definition Classes
- TypeLevelReferenceValues → ReferenceValuesFactory
-
final
def
ReturnAddressValue(address: Int): ReturnAddressValue
- Definition Classes
- DefaultDomainValueBinding → ValuesDomain
-
def
ShortValue(origin: ValueOrigin, value: Short): DomainTypedValue[CTIntType]
- Definition Classes
- DefaultIntegerRangeValues → IntegerValuesFactory
-
def
ShortValue(origin: ValueOrigin): DomainTypedValue[CTIntType]
- Definition Classes
- DefaultIntegerRangeValues → IntegerValuesFactory
-
def
StringValue(origin: ValueOrigin, value: String, refId: RefId): DomainStringValue
- Definition Classes
- DefaultStringValuesBinding → StringValues
-
final
def
StringValue(origin: ValueOrigin, value: String): DomainObjectValue
- Definition Classes
- StringValues → ReferenceValues → TypeLevelReferenceValues → ReferenceValuesFactory
-
final
def
StructuralUpdateIllegalValue: StructuralUpdate[Nothing]
- Definition Classes
- ValuesDomain
-
final
val
TheIllegalValue: DomainIllegalValue
- Definition Classes
- DefaultDomainValueBinding → ValuesDomain
-
final
val
TheReturnAddressValues: ReturnAddressValues
- Definition Classes
- DefaultDomainValueBinding → ValuesDomain
-
final
def
Throwable(origin: ValueOrigin): ExceptionValue
- Definition Classes
- DefaultExceptionsFactory → ExceptionsFactory
-
def
TypedValue(origin: ValueOrigin, valueType: Type): DomainValue
- Definition Classes
- TypedValuesFactory
-
final
def
VMArithmeticException(pc: PC): ExceptionValue
- Definition Classes
- ExceptionsFactory
-
final
def
VMArrayIndexOutOfBoundsException(pc: PC): ExceptionValue
- Definition Classes
- ExceptionsFactory
-
final
def
VMArrayStoreException(pc: PC): ExceptionValue
- Definition Classes
- ExceptionsFactory
-
final
def
VMClassCastException(pc: PC): ExceptionValue
- Definition Classes
- ExceptionsFactory
-
final
def
VMClassNotFoundException(pc: PC): ExceptionValue
- Definition Classes
- ExceptionsFactory
-
final
def
VMIllegalMonitorStateException(pc: PC): ExceptionValue
- Definition Classes
- ExceptionsFactory
-
final
def
VMNegativeArraySizeException(pc: PC): ExceptionValue
- Definition Classes
- ExceptionsFactory
-
final
def
VMNullPointerException(pc: PC): ExceptionValue
- Definition Classes
- ExceptionsFactory
-
final
def
VMThrowable(pc: PC): ExceptionValue
- Definition Classes
- ExceptionsFactory
-
def
aaload(pc: PC, index: DomainValue, arrayref: DomainValue): ArrayLoadResult
- Definition Classes
- GeneralizedArrayHandling → ReferenceValuesDomain
-
def
aastore(pc: PC, value: DomainValue, index: DomainValue, arrayref: DomainValue): ArrayStoreResult
- Definition Classes
- GeneralizedArrayHandling → ReferenceValuesDomain
-
def
abortProcessingExceptionsOfCalledMethodsOnUnknownException: Boolean
- Definition Classes
- ThrowAllPotentialExceptionsConfiguration → Configuration
-
def
abortProcessingThrownExceptionsOnUnknownException: Boolean
- Definition Classes
- ThrowAllPotentialExceptionsConfiguration → Configuration
-
def
abruptMethodExecution(pc: PC, exception: ExceptionValue): Unit
- Definition Classes
- RecordThrownExceptions → ReturnInstructionsDomain
-
def
abstractInterpretationEnded(aiResult: AIResult { val domain: InvocationBugPickerAnalysisDomain.this.type }): Unit
- Definition Classes
- CoreDomainFunctionality
-
def
afterBaseJoin(pc: PC): Unit
- Attributes
- protected[this]
- Definition Classes
- JoinStabilization → CoreDomainFunctionality
-
def
afterEvaluation(pc: PC, instruction: Instruction, oldOperands: Operands, oldLocals: Locals, targetPC: PC, isExceptionalControlFlow: Boolean, newOperands: Operands, newLocals: Locals): (Operands, Locals)
- Definition Classes
- PostEvaluationMemoryManagement → CoreDomainFunctionality
-
def
allReturnedValues: Map[PC, ReturnedValue]
- Definition Classes
- RecordReturnedValues
-
def
allThrownExceptions: Map[PC, ThrownException]
- Definition Classes
- RecordThrownExceptions
-
def
areturn(pc: PC, value: DomainValue): Computation[Nothing, ExceptionValue]
- Definition Classes
- RecordReturnedValuesInfrastructure → ReturnInstructionsDomain
-
def
arraylength(pc: PC, arrayref: DomainValue): Computation[DomainValue, ExceptionValue]
- Definition Classes
- MaxArrayLengthRefinement → TypeLevelReferenceValues → ReferenceValuesDomain
-
def
arrayload(pc: PC, index: DomainValue, arrayref: DomainValue): ArrayLoadResult
- Definition Classes
- TypeLevelReferenceValues → GeneralizedArrayHandling
-
def
arraystore(pc: PC, value: DomainValue, index: DomainValue, arrayref: DomainValue): ArrayStoreResult
- Definition Classes
- TypeLevelReferenceValues → GeneralizedArrayHandling
-
def
asArrayAbstraction(value: DomainValue): ArrayAbstraction
- Definition Classes
- TypeLevelReferenceValues
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
asObjectValue(value: DomainValue): DomainObjectValue
- Definition Classes
- TypeLevelReferenceValues
-
def
asReferenceValue(value: DomainValue): AReferenceValue
- Definition Classes
- TypeLevelReferenceValues
-
def
baload(pc: PC, index: DomainValue, arrayref: DomainValue): ArrayLoadResult
- Definition Classes
- GeneralizedArrayHandling → ReferenceValuesDomain
-
def
bastore(pc: PC, value: DomainValue, index: DomainValue, arrayref: DomainValue): ArrayStoreResult
- Definition Classes
- GeneralizedArrayHandling → ReferenceValuesDomain
-
def
beforeBaseJoin(pc: PC): Unit
- Attributes
- protected[this]
- Definition Classes
- CoreDomainFunctionality
-
val
cache: CallGraphCache[MethodSignature, Set[Method]]
- Definition Classes
- InvocationBugPickerAnalysisDomain → Callees
-
def
calledMethodAI: AI[_ >: CalledMethodDomain]
- Definition Classes
- InvocationBugPickerAnalysisDomain → PerformInvocations
-
def
calledMethodDomain(method: Method): InvocationBugPickerAnalysisDomain
- Definition Classes
- InvocationBugPickerAnalysisDomain → PerformInvocations
-
final
def
calledMethodsStore: CalledMethodsStore { val domain: org.opalj.ai.domain.l2.CalledMethodsStore.<refinement>.type }
- Definition Classes
- ChildPerformInvocationsWithRecursionDetection → PerformInvocationsWithRecursionDetection
-
def
callees(caller: Method, declaringClassType: ObjectType, isInterface: Boolean, name: String, descriptor: MethodDescriptor): Set[Method]
- Definition Classes
- Callees
- Annotations
- @inline()
-
val
callerDomain: BasePerformInvocationBugPickerAnalysisDomain
- Definition Classes
- InvocationBugPickerAnalysisDomain → ChildPerformInvocationsWithRecursionDetection
-
def
caload(pc: PC, index: DomainValue, arrayref: DomainValue): ArrayLoadResult
- Definition Classes
- GeneralizedArrayHandling → ReferenceValuesDomain
-
def
castore(pc: PC, value: DomainValue, index: DomainValue, arrayref: DomainValue): ArrayStoreResult
- Definition Classes
- GeneralizedArrayHandling → ReferenceValuesDomain
-
final
def
classFile: ClassFile
- Definition Classes
- TheMethod
- Annotations
- @inline()
-
implicit final
def
classHierarchy: ClassHierarchy
- Definition Classes
- TheProject → TheClassHierarchy
- Annotations
- @inline()
-
def
clone(): AnyRef
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @native() @throws( ... )
-
final
val
code: Code
- Definition Classes
- TheMethod → TheCode
-
final
val
coordinatingDomain: BasePerformInvocationBugPickerAnalysisDomain.coordinatingDomain
- Definition Classes
- ChildPerformInvocationsWithRecursionDetection → PerformInvocationsWithRecursionDetection
-
def
createLongValueOrArithmeticException(pc: PC, exception: Boolean, results: SortedSet[Long]): LongValueOrArithmeticException
- Attributes
- protected[this]
- Definition Classes
- LongSetValues
-
val
currentCallChainLength: Int
- Definition Classes
- InvocationBugPickerAnalysisDomain → BasePerformInvocationBugPickerAnalysisDomain
-
def
d2f(pc: PC, value: DomainValue): DomainValue
- Definition Classes
- TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain
-
def
d2i(pc: PC, value: DomainValue): DomainValue
- Definition Classes
- TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain
-
def
d2l(pc: PC, value: DomainValue): DomainValue
- Definition Classes
- TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain
-
def
dadd(pc: PC, value1: DomainValue, value2: DomainValue): DomainValue
- Definition Classes
- TypeLevelDoubleValues → DoubleValuesDomain
-
def
daload(pc: PC, index: DomainValue, arrayref: DomainValue): ArrayLoadResult
- Definition Classes
- GeneralizedArrayHandling → ReferenceValuesDomain
-
def
dastore(pc: PC, value: DomainValue, index: DomainValue, arrayref: DomainValue): ArrayStoreResult
- Definition Classes
- GeneralizedArrayHandling → ReferenceValuesDomain
-
def
dcmpg(pc: PC, value1: DomainValue, value2: DomainValue): DomainValue
- Definition Classes
- TypeLevelDoubleValues → DoubleValuesDomain
-
def
dcmpl(pc: PC, value1: DomainValue, value2: DomainValue): DomainValue
- Definition Classes
- TypeLevelDoubleValues → DoubleValuesDomain
-
def
ddiv(pc: PC, value1: DomainValue, value2: DomainValue): DomainValue
- Definition Classes
- TypeLevelDoubleValues → DoubleValuesDomain
-
val
debug: Boolean
- Definition Classes
- InvocationBugPickerAnalysisDomain → BasePerformInvocationBugPickerAnalysisDomain
-
def
dmul(pc: PC, value1: DomainValue, value2: DomainValue): DomainValue
- Definition Classes
- TypeLevelDoubleValues → DoubleValuesDomain
-
def
dneg(pc: PC, value: DomainValue): DomainValue
- Definition Classes
- TypeLevelDoubleValues → DoubleValuesDomain
-
def
doGetfield(pc: PC, objectref: DomainValue, fieldValue: DomainValue): Computation[DomainValue, ExceptionValue]
- Definition Classes
- TypeLevelFieldAccessInstructions
-
def
doGetstatic(pc: PC, fieldValue: DomainValue): Computation[DomainValue, Nothing]
- Definition Classes
- TypeLevelFieldAccessInstructions
-
def
doInvoke(pc: PC, method: Method, operands: Operands, fallback: () ⇒ MethodCallResult): MethodCallResult
- Definition Classes
- BasePerformInvocationBugPickerAnalysisDomain → PerformInvocationsWithRecursionDetection → PerformInvocations → RefinedTypeLevelInvokeInstructions → MethodCallsDomainWithMethodLockup
-
def
doInvoke(method: Method, calledMethodDomain: CalledMethodDomain)(parameters: Locals): AIResult { val domain: calledMethodDomain.type }
- Attributes
- protected[this]
- Definition Classes
- BasePerformInvocationBugPickerAnalysisDomain → PerformInvocations
-
def
doInvokeNonVirtual(pc: PC, declaringClass: ObjectType, isInterface: Boolean, name: String, descriptor: MethodDescriptor, operands: Operands, fallback: () ⇒ MethodCallResult): MethodCallResult
- Attributes
- protected[this]
- Definition Classes
- PerformInvocations
-
def
doInvokeVirtual(pc: PC, declaringClass: ReferenceType, isInterface: Boolean, name: String, descriptor: MethodDescriptor, operands: Operands, fallback: () ⇒ MethodCallResult): MethodCallResult
- Definition Classes
- PerformInvocationsWithBasicVirtualMethodCallResolution → PerformInvocations
-
def
doNonVirtualInvoke(pc: PC, declaringType: ObjectType, isInterface: Boolean, name: String, descriptor: MethodDescriptor, operands: Operands, fallback: () ⇒ MethodCallResult): MethodCallResult
- Attributes
- protected[this]
- Definition Classes
- MethodCallsDomainWithMethodLockup
-
def
doRecordReturnedValue(pc: PC, value: DomainValue): Unit
- Attributes
- protected[this]
- Definition Classes
- RecordReturnedValues → RecordReturnedValuesInfrastructure
-
def
doVirtualInvoke(pc: PC, declaringType: ObjectType, isInterface: Boolean, name: String, descriptor: MethodDescriptor, operands: Operands, fallback: () ⇒ MethodCallResult): MethodCallResult
- Attributes
- protected[this]
- Definition Classes
- MethodCallsDomainWithMethodLockup
-
def
drem(pc: PC, value1: DomainValue, value2: DomainValue): DomainValue
- Definition Classes
- TypeLevelDoubleValues → DoubleValuesDomain
-
def
dreturn(pc: PC, value: DomainValue): Computation[Nothing, ExceptionValue]
- Definition Classes
- RecordReturnedValuesInfrastructure → ReturnInstructionsDomain
-
def
dsub(pc: PC, value1: DomainValue, value2: DomainValue): DomainValue
- Definition Classes
- TypeLevelDoubleValues → DoubleValuesDomain
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
evaluationCompleted(pc: PC, worklist: Chain[PC], evaluated: Chain[PC], operandsArray: OperandsArray, localsArray: LocalsArray, tracer: Option[AITracer]): Unit
- Definition Classes
- CoreDomainFunctionality
-
def
f2d(pc: PC, value: DomainValue): DomainValue
- Definition Classes
- TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain
-
def
f2i(pc: PC, value: DomainValue): DomainValue
- Definition Classes
- TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain
-
def
f2l(pc: PC, value: DomainValue): DomainValue
- Definition Classes
- TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain
-
def
fadd(pc: PC, value1: DomainValue, value2: DomainValue): DomainValue
- Definition Classes
- TypeLevelFloatValues → FloatValuesDomain
-
def
faload(pc: PC, index: DomainValue, arrayref: DomainValue): ArrayLoadResult
- Definition Classes
- GeneralizedArrayHandling → ReferenceValuesDomain
-
def
fastore(pc: PC, value: DomainValue, index: DomainValue, arrayref: DomainValue): ArrayStoreResult
- Definition Classes
- GeneralizedArrayHandling → ReferenceValuesDomain
-
def
fcmpg(pc: PC, value1: DomainValue, value2: DomainValue): DomainValue
- Definition Classes
- TypeLevelFloatValues → FloatValuesDomain
-
def
fcmpl(pc: PC, value1: DomainValue, value2: DomainValue): DomainValue
- Definition Classes
- TypeLevelFloatValues → FloatValuesDomain
-
def
fdiv(pc: PC, value1: DomainValue, value2: DomainValue): DomainValue
- Definition Classes
- TypeLevelFloatValues → FloatValuesDomain
-
val
fieldValueInformation: FieldValueInformation
- Definition Classes
- InvocationBugPickerAnalysisDomain → RefinedTypeLevelFieldAccessInstructions
-
def
finalize(): Unit
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
def
flow(currentPC: PC, currentOperands: Operands, currentLocals: Locals, successorPC: PC, isSuccessorScheduled: Answer, isExceptionalControlFlow: Boolean, abruptSubroutineTerminationCount: Int, wasJoinPerformed: Boolean, worklist: Chain[PC], operandsArray: OperandsArray, localsArray: LocalsArray, tracer: Option[AITracer]): Chain[PC]
- Definition Classes
- CoreDomainFunctionality
-
def
fmul(pc: PC, value1: DomainValue, value2: DomainValue): DomainValue
- Definition Classes
- TypeLevelFloatValues → FloatValuesDomain
-
def
fneg(pc: PC, value: DomainValue): DomainValue
- Definition Classes
- TypeLevelFloatValues → FloatValuesDomain
-
def
foreachOrigin(value: DomainValue, f: (ValueOrigin) ⇒ Unit): Unit
- Definition Classes
- Origin
-
def
frem(pc: PC, value1: DomainValue, value2: DomainValue): DomainValue
- Definition Classes
- TypeLevelFloatValues → FloatValuesDomain
-
def
frequentEvaluationWarningLevel: Int
- Definition Classes
- ChildPerformInvocationsWithRecursionDetection → PerformInvocationsWithRecursionDetection
-
def
freturn(pc: PC, value: DomainValue): Computation[Nothing, ExceptionValue]
- Definition Classes
- RecordReturnedValuesInfrastructure → ReturnInstructionsDomain
-
def
fsub(pc: PC, value1: DomainValue, value2: DomainValue): DomainValue
- Definition Classes
- TypeLevelFloatValues → FloatValuesDomain
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
def
getPotentialExceptions(pc: PC): List[ExceptionValue]
- Attributes
- protected[this]
- Definition Classes
- MethodCallsHandling
-
def
getfield(pc: PC, objectref: DomainValue, declaringClass: ObjectType, fieldName: String, fieldType: FieldType): Computation[DomainValue, ExceptionValue]
- Definition Classes
- RefinedTypeLevelFieldAccessInstructions → TypeLevelFieldAccessInstructions → FieldAccessesDomain
-
def
getstatic(pc: PC, declaringClass: ObjectType, name: String, fieldType: FieldType): Computation[DomainValue, Nothing]
- Definition Classes
- ClassValues → FieldAccessesDomain
-
def
handleInstanceBasedInvoke(pc: PC, methodDescriptor: MethodDescriptor, targetMethods: Set[Method], receiverIsNull: Answer, operands: Operands): MethodCallResult
- Attributes
- protected[this]
- Definition Classes
- MethodCallsHandling
-
def
handleInstanceBasedInvoke(pc: PC, methodDescriptor: MethodDescriptor, operands: Operands): MethodCallResult
- Attributes
- protected[this]
- Definition Classes
- MethodCallsHandling
-
def
handleInstanceBasedInvoke(pc: PC, methodDescriptor: MethodDescriptor, receiverIsNull: Answer): MethodCallResult
- Attributes
- protected[this]
- Definition Classes
- MethodCallsHandling
-
def
handleInvoke(pc: PC, methodDescriptor: MethodDescriptor): MethodCallResult
- Attributes
- protected[this]
- Definition Classes
- MethodCallsHandling
-
def
handleReturn(pc: PC): Computation[Nothing, ExceptionValue]
- Attributes
- protected[this]
- Definition Classes
- ReturnInstructionsDomain
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
def
i2b(pc: PC, value: DomainValue): DomainValue
- Definition Classes
- IntegerRangeValues → IntegerValuesDomain
-
def
i2c(pc: PC, value: DomainValue): DomainValue
- Definition Classes
- IntegerRangeValues → IntegerValuesDomain
-
def
i2d(pc: PC, value: DomainValue): DomainValue
- Definition Classes
- ConcretePrimitiveValuesConversions → TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain
-
def
i2f(pc: PC, value: DomainValue): DomainValue
- Definition Classes
- ConcretePrimitiveValuesConversions → TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain
-
def
i2l(pc: PC, value: DomainValue): DomainValue
- Definition Classes
- ConcretePrimitiveValuesConversions → TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain
-
def
i2s(pc: PC, value: DomainValue): DomainValue
- Definition Classes
- IntegerRangeValues → IntegerValuesDomain
-
def
iadd(pc: PC, value1: DomainValue, value2: DomainValue): DomainValue
- Definition Classes
- IntegerRangeValues → IntegerValuesDomain
-
def
iaload(pc: PC, index: DomainValue, arrayref: DomainValue): ArrayLoadResult
- Definition Classes
- GeneralizedArrayHandling → ReferenceValuesDomain
-
def
iand(pc: PC, value1: DomainValue, value2: DomainValue): DomainValue
- Definition Classes
- IntegerRangeValues → IntegerValuesDomain
-
def
iastore(pc: PC, value: DomainValue, index: DomainValue, arrayref: DomainValue): ArrayStoreResult
- Definition Classes
- GeneralizedArrayHandling → ReferenceValuesDomain
-
def
idiv(pc: PC, numerator: DomainValue, denominator: DomainValue): IntegerValueOrArithmeticException
- Definition Classes
- IntegerRangeValues → IntegerValuesDomain
-
def
iinc(pc: PC, value: DomainValue, increment: Int): DomainValue
- Definition Classes
- IntegerRangeValues → IntegerValuesDomain
-
def
imul(pc: PC, value1: DomainValue, value2: DomainValue): DomainValue
- Definition Classes
- IntegerRangeValues → IntegerValuesDomain
-
def
ineg(pc: PC, value: DomainValue): DomainValue
- Definition Classes
- IntegerRangeValues → IntegerValuesDomain
-
def
initProperties(code: Code, cfJoins: BitSet, initialLocals: Locals): Unit
- Definition Classes
- RecordReturnedValues → CustomInitialization
-
def
intAreEqual(pc: PC, value1: DomainValue, value2: DomainValue): Answer
- Definition Classes
- IntegerRangeValues → IntegerValuesDomain
-
def
intAreNotEqual(pc: PC, value1: DomainValue, value2: DomainValue): Answer
- Definition Classes
- IntegerValuesDomain
-
def
intEstablishAreEqual(pc: PC, value1: DomainValue, value2: DomainValue, operands: Operands, locals: Locals): (Operands, Locals)
- Definition Classes
- IntegerRangeValues → IntegerValuesDomain
-
def
intEstablishAreNotEqual(pc: PC, value1: DomainValue, value2: DomainValue, operands: Operands, locals: Locals): (Operands, Locals)
- Definition Classes
- IntegerRangeValues → IntegerValuesDomain
-
def
intEstablishIsLessThan(pc: PC, left: DomainValue, right: DomainValue, operands: Operands, locals: Locals): (Operands, Locals)
- Definition Classes
- IntegerRangeValues → IntegerValuesDomain
-
def
intEstablishIsLessThanOrEqualTo(pc: PC, left: DomainValue, right: DomainValue, operands: Operands, locals: Locals): (Operands, Locals)
- Definition Classes
- IntegerRangeValues → IntegerValuesDomain
-
def
intEstablishValue(pc: PC, theValue: Int, value: DomainValue, operands: Operands, locals: Locals): (Operands, Locals)
- Definition Classes
- IntegerRangeValues → IntegerValuesDomain
-
def
intIs0(pc: PC, value: DomainValue): Answer
- Definition Classes
- IntegerValuesDomain
-
def
intIsGreaterThan(pc: PC, largerValue: DomainValue, smallerValue: DomainValue): Answer
- Definition Classes
- IntegerValuesDomain
-
def
intIsGreaterThan0(pc: PC, value: DomainValue): Answer
- Definition Classes
- IntegerValuesDomain
-
def
intIsGreaterThanOrEqualTo(pc: PC, largerOrEqualValue: DomainValue, smallerOrEqualValue: DomainValue): Answer
- Definition Classes
- IntegerValuesDomain
-
def
intIsGreaterThanOrEqualTo0(pc: PC, value: DomainValue): Answer
- Definition Classes
- IntegerValuesDomain
-
def
intIsLessThan(pc: PC, left: DomainValue, right: DomainValue): Answer
- Definition Classes
- IntegerRangeValues → IntegerValuesDomain
-
def
intIsLessThan0(pc: PC, value: DomainValue): Answer
- Definition Classes
- IntegerValuesDomain
-
def
intIsLessThanOrEqualTo(pc: PC, left: DomainValue, right: DomainValue): Answer
- Definition Classes
- IntegerRangeValues → IntegerValuesDomain
-
def
intIsLessThanOrEqualTo0(pc: PC, value: DomainValue): Answer
- Definition Classes
- IntegerValuesDomain
-
def
intIsNot0(pc: PC, value: DomainValue): Answer
- Definition Classes
- IntegerValuesDomain
-
def
intIsSomeValueInRange(pc: PC, value: DomainValue, lowerBound: Int, upperBound: Int): Answer
- Definition Classes
- IntegerRangeValues → IntegerValuesDomain
-
def
intIsSomeValueNotInRange(pc: PC, value: DomainValue, lowerBound: Int, upperBound: Int): Answer
- Definition Classes
- IntegerRangeValues → IntegerValuesDomain
-
final
def
intValue[T](value: DomainValue)(f: (Int) ⇒ T)(orElse: ⇒ T): T
- Definition Classes
- IntegerRangeValues → ConcreteIntegerValues
- Annotations
- @inline()
-
final
def
intValueOption(value: DomainValue): Option[Int]
- Definition Classes
- IntegerRangeValues → ConcreteIntegerValues
- Annotations
- @inline()
-
final
def
intValues[T](value1: DomainValue, value2: DomainValue)(f: (Int, Int) ⇒ T)(orElse: ⇒ T): T
- Attributes
- protected
- Definition Classes
- IntegerRangeValues
- Annotations
- @inline()
-
def
invokedynamic(pc: PC, bootstrapMethod: BootstrapMethod, name: String, methodDescriptor: MethodDescriptor, operands: Operands): MethodCallResult
- Definition Classes
- TypeLevelInvokeInstructions → MethodCallsDomain
-
def
invokeinterface(pc: PC, declaringClass: ObjectType, name: String, descriptor: MethodDescriptor, operands: Operands): MethodCallResult
- Definition Classes
- PerformInvocations → MethodCallsDomain
-
def
invokespecial(pc: PC, declaringClass: ObjectType, isInterface: Boolean, name: String, methodDescriptor: MethodDescriptor, operands: Operands): MethodCallResult
- Definition Classes
- StringValues → MethodCallsDomain
-
def
invokestatic(pc: PC, declaringClass: ObjectType, isInterface: Boolean, name: String, methodDescriptor: MethodDescriptor, operands: Operands): MethodCallResult
- Definition Classes
- ClassValues → MethodCallsDomain
-
def
invokevirtual(pc: PC, declaringClass: ReferenceType, name: String, descriptor: MethodDescriptor, operands: Operands): MethodCallResult
- Definition Classes
- BasePerformInvocationBugPickerAnalysisDomain → PerformInvocations → MethodCallsDomainWithMethodLockup → TypeLevelInvokeInstructions → MethodCallsDomain
-
def
ior(pc: PC, value1: DomainValue, value2: DomainValue): DomainValue
- Definition Classes
- IntegerRangeValues → IntegerValuesDomain
-
def
irem(pc: PC, left: DomainValue, right: DomainValue): IntegerValueOrArithmeticException
- Definition Classes
- IntegerRangeValues → IntegerValuesDomain
-
def
ireturn(pc: PC, value: DomainValue): Computation[Nothing, ExceptionValue]
- Definition Classes
- RecordReturnedValuesInfrastructure → ReturnInstructionsDomain
-
lazy val
isExtensible: (ObjectType) ⇒ Answer
- Definition Classes
- PerformInvocationsWithBasicVirtualMethodCallResolution
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
def
isNull(values: Iterable[AReferenceValue]): Answer
- Attributes
- protected
- Definition Classes
- ReferenceValues
-
def
isPrecise(values: Iterable[AReferenceValue]): Boolean
- Attributes
- protected
- Definition Classes
- ReferenceValues
-
def
isSubtypeOf(subtype: ReferenceType, supertype: ReferenceType): Answer
- Definition Classes
- TheClassHierarchy
-
final
def
isValueSubtypeOf(value: DomainValue, supertype: ReferenceType): Answer
- Definition Classes
- TypeLevelReferenceValues → ReferenceValuesDomain
-
def
ishl(pc: PC, value: DomainValue, shift: DomainValue): DomainValue
- Definition Classes
- IntegerRangeValues → IntegerValuesDomain
-
def
ishr(pc: PC, value: DomainValue, shift: DomainValue): DomainValue
- Definition Classes
- IntegerRangeValues → IntegerValuesDomain
-
def
isub(pc: PC, left: DomainValue, right: DomainValue): DomainValue
- Definition Classes
- IntegerRangeValues → IntegerValuesDomain
-
def
iushr(pc: PC, value: DomainValue, shift: DomainValue): DomainValue
- Definition Classes
- IntegerRangeValues → IntegerValuesDomain
-
def
ixor(pc: PC, value1: DomainValue, value2: DomainValue): DomainValue
- Definition Classes
- IntegerRangeValues → IntegerValuesDomain
-
def
join(pc: PC, thisOperands: Operands, thisLocals: Locals, otherOperands: Operands, otherLocals: Locals): Update[(Operands, Locals)]
- Definition Classes
- CoreDomainFunctionality
-
def
joinPostProcessing(updateType: UpdateType, pc: PC, oldOperands: Operands, oldLocals: Locals, newOperands: Operands, newLocals: Locals): Update[(Operands, Locals)]
- Attributes
- protected[this]
- Definition Classes
- IdentityBasedCorrelationChangeDetection → CoreDomainFunctionality
-
def
joinReturnedValues(pc: PC, previouslyReturnedValue: ReturnedValue, value: DomainValue): ReturnedValue
- Attributes
- protected[this]
- Definition Classes
- RecordLastReturnedValues → RecordReturnedValues
-
def
joinThrownExceptions(pc: PC, previouslyThrownException: ThrownException, value: ExceptionValue): ThrownException
- Attributes
- protected[this]
- Definition Classes
- RecordAllThrownExceptions → RecordThrownExceptions
-
def
joinValues(pc: PC, left: DomainValue, right: DomainValue): Update[DomainValue]
- Attributes
- protected[this]
- Definition Classes
- JoinStabilization → CoreDomainFunctionality
-
val
joinedValues: Map[IdentityPair[AnyRef, AnyRef], Update[DomainValue]]
- Attributes
- protected[this]
- Definition Classes
- JoinStabilization
-
def
jumpToSubroutine(pc: PC, branchTarget: PC, returnTarget: PC): Unit
- Definition Classes
- SubroutinesDomain
-
final
def
justThrows(value: ExceptionValue): ThrowsException[ExceptionValues]
- Definition Classes
- ReferenceValuesFactory
-
def
l2d(pc: PC, value: DomainValue): DomainValue
- Definition Classes
- ConcretePrimitiveValuesConversions → TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain
-
def
l2f(pc: PC, value: DomainValue): DomainValue
- Definition Classes
- ConcretePrimitiveValuesConversions → TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain
-
def
l2i(pc: PC, value: DomainValue): DomainValue
- Definition Classes
- ConcretePrimitiveValuesConversions → TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain
-
def
ladd(pc: PC, value1: DomainValue, value2: DomainValue): DomainValue
- Definition Classes
- LongSetValues → LongValuesDomain
-
def
laload(pc: PC, index: DomainValue, arrayref: DomainValue): ArrayLoadResult
- Definition Classes
- GeneralizedArrayHandling → ReferenceValuesDomain
-
def
land(pc: PC, value1: DomainValue, value2: DomainValue): DomainValue
- Definition Classes
- LongSetValues → LongValuesDomain
-
def
lastore(pc: PC, value: DomainValue, index: DomainValue, arrayref: DomainValue): ArrayStoreResult
- Definition Classes
- GeneralizedArrayHandling → ReferenceValuesDomain
-
def
lcmp(pc: PC, left: DomainValue, right: DomainValue): DomainValue
- Definition Classes
- LongSetValues → LongValuesDomain
-
def
ldiv(pc: PC, numerator: DomainValue, denominator: DomainValue): LongValueOrArithmeticException
- Definition Classes
- LongSetValues → LongValuesDomain
-
def
lmul(pc: PC, value1: DomainValue, value2: DomainValue): DomainValue
- Definition Classes
- LongSetValues → LongValuesDomain
-
def
lneg(pc: PC, value: DomainValue): DomainValue
- Definition Classes
- LongSetValues → LongValuesDomain
-
def
localsArray: LocalsArray
- Definition Classes
- TheMemoryLayout
-
implicit final
def
logContext: LogContext
- Definition Classes
- TheProject → LogContextProvider
-
final
def
longValue[T](value: DomainValue)(f: (Long) ⇒ T)(orElse: ⇒ T): T
- Definition Classes
- LongSetValues → ConcreteLongValues
- Annotations
- @inline()
-
final
def
longValueOption(value: DomainValue): Option[Long]
- Definition Classes
- LongSetValues → ConcreteLongValues
- Annotations
- @inline()
-
def
lor(pc: PC, value1: DomainValue, value2: DomainValue): DomainValue
- Definition Classes
- LongSetValues → LongValuesDomain
-
def
lrem(pc: PC, left: DomainValue, right: DomainValue): LongValueOrArithmeticException
- Definition Classes
- LongSetValues → LongValuesDomain
-
def
lreturn(pc: PC, value: DomainValue): Computation[Nothing, ExceptionValue]
- Definition Classes
- RecordReturnedValuesInfrastructure → ReturnInstructionsDomain
-
def
lshl(pc: PC, value: DomainValue, shift: DomainValue): DomainValue
- Definition Classes
- LongSetValuesShiftOperators → LongValuesDomain
-
def
lshr(pc: PC, value: DomainValue, shift: DomainValue): DomainValue
- Definition Classes
- LongSetValuesShiftOperators → LongValuesDomain
-
def
lsub(pc: PC, left: DomainValue, right: DomainValue): DomainValue
- Definition Classes
- LongSetValues → LongValuesDomain
-
def
lushr(pc: PC, value: DomainValue, shift: DomainValue): DomainValue
- Definition Classes
- LongSetValuesShiftOperators → LongValuesDomain
-
def
lxor(pc: PC, value1: DomainValue, value2: DomainValue): DomainValue
- Definition Classes
- LongSetValues → LongValuesDomain
-
val
maxCallChainLength: Int
- Definition Classes
- InvocationBugPickerAnalysisDomain → BasePerformInvocationBugPickerAnalysisDomain
-
val
maxCardinalityOfIntegerRanges: Long
- Definition Classes
- InvocationBugPickerAnalysisDomain → IntegerRangeValues
-
val
maxCardinalityOfLongSets: Int
- Definition Classes
- InvocationBugPickerAnalysisDomain → LongSetValues
-
def
memoryLayoutBeforeSubroutineCall: Chain[(OperandsArray, LocalsArray)]
- Definition Classes
- TheMemoryLayout
-
def
mergeDEComputations(pc: PC, c1: Computation[DomainValue, ExceptionValue], c2: Computation[DomainValue, ExceptionValue]): Computation[DomainValue, ExceptionValue]
- Attributes
- protected[this]
- Definition Classes
- TypeLevelReferenceValues
-
def
mergeDEsComputations(pc: PC, c1: Computation[DomainValue, ExceptionValues], c2: Computation[DomainValue, ExceptionValues]): Computation[DomainValue, ExceptionValues]
- Attributes
- protected[this]
- Definition Classes
- TypeLevelReferenceValues
-
def
mergeDomainValues(pc: PC, v1: DomainValue, v2: DomainValue): DomainValue
- Definition Classes
- ValuesDomain
-
def
mergeEsComputations(pc: PC, c1: Computation[Nothing, ExceptionValues], c2: Computation[Nothing, ExceptionValues]): Computation[Nothing, ExceptionValues]
- Attributes
- protected[this]
- Definition Classes
- TypeLevelReferenceValues
-
def
mergeMultipleExceptionValues(pc: PC, v1s: ExceptionValues, v2s: ExceptionValues): ExceptionValues
- Definition Classes
- TypeLevelReferenceValues
-
val
method: Method
- Definition Classes
- InvocationBugPickerAnalysisDomain → TheMethod
-
val
methodReturnValueInformation: MethodReturnValueInformation
- Definition Classes
- InvocationBugPickerAnalysisDomain → RefinedTypeLevelInvokeInstructions
-
def
monitorenter(pc: PC, value: DomainValue): Computation[Nothing, ExceptionValue]
- Definition Classes
- IgnoreSynchronization → MonitorInstructionsDomain
-
def
monitorexit(pc: PC, value: DomainValue): Computation[Nothing, ExceptionValues]
- Definition Classes
- IgnoreSynchronization → MonitorInstructionsDomain
-
def
multianewarray(pc: PC, counts: Operands, arrayType: ArrayType): Computation[DomainArrayValue, ExceptionValue]
- Definition Classes
- TypeLevelReferenceValues → ReferenceValuesDomain
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
newarray(pc: PC, count: DomainValue, componentType: FieldType): Computation[DomainValue, ExceptionValue]
- Definition Classes
- TypeLevelReferenceValues → ReferenceValuesDomain
-
def
nextRefId(): RefId
- Definition Classes
- ReferenceValues
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
final
def
nullRefId: RefId
- Definition Classes
- ReferenceValues
-
def
operandsArray: OperandsArray
- Definition Classes
- TheMemoryLayout
-
def
origin(value: DomainValue): Iterable[ValueOrigin]
- Definition Classes
- Origin
-
val
project: Project[URL]
- Definition Classes
- InvocationBugPickerAnalysisDomain → Callees → TheProject
-
def
properties(pc: PC, propertyToString: (AnyRef) ⇒ String): Option[String]
- Definition Classes
- ValuesDomain
-
final
lazy val
propertyStore: PropertyStore
- Definition Classes
- TheProject → ThePropertyStore
-
def
providesOriginInformationFor(ct: ComputationalType): Boolean
- Definition Classes
- ReferenceValues → Origin
-
def
putfield(pc: PC, objectref: DomainValue, value: DomainValue, declaringClass: ObjectType, fieldName: String, fieldType: FieldType): Computation[Nothing, ExceptionValue]
- Definition Classes
- TypeLevelFieldAccessInstructions → FieldAccessesDomain
-
def
putstatic(pc: PC, value: DomainValue, declaringClass: ObjectType, fieldName: String, fieldType: FieldType): Computation[Nothing, Nothing]
- Definition Classes
- TypeLevelFieldAccessInstructions → FieldAccessesDomain
-
def
recordReturnedValue(pc: PC, value: DomainValue): ReturnedValue
- Attributes
- protected[this]
- Definition Classes
- RecordLastReturnedValues → RecordReturnedValues
-
def
recordThrownException(pc: PC, value: ExceptionValue): ThrownException
- Attributes
- protected[this]
- Definition Classes
- RecordAllThrownExceptions → RecordThrownExceptions
-
def
refAreEqual(pc: PC, v1: DomainValue, v2: DomainValue): Answer
- Definition Classes
- ReferenceValues → TypeLevelReferenceValues → ReferenceValuesDomain
-
def
refAreNotEqual(pc: PC, value1: DomainValue, value2: DomainValue): Answer
- Definition Classes
- ReferenceValuesDomain
-
def
refEstablishAreEqual(pc: PC, value1: DomainValue, value2: DomainValue, operands: Operands, locals: Locals): (Operands, Locals)
- Definition Classes
- ReferenceValuesDomain
-
def
refEstablishAreNotEqual(pc: PC, value1: DomainValue, value2: DomainValue, operands: Operands, locals: Locals): (Operands, Locals)
- Definition Classes
- ReferenceValuesDomain
-
def
refEstablishIsNonNull(pc: PC, value: DomainValue, operands: Operands, locals: Locals): (Operands, Locals)
- Definition Classes
- ReferenceValues → ReferenceValuesDomain
-
def
refEstablishIsNull(pc: PC, value: DomainValue, operands: Operands, locals: Locals): (Operands, Locals)
- Definition Classes
- ReferenceValues → ReferenceValuesDomain
-
def
refIsNonNull(pc: PC, value: DomainValue): Answer
- Definition Classes
- ReferenceValuesDomain
-
final
def
refIsNull(pc: PC, value: DomainValue): Answer
- Definition Classes
- TypeLevelReferenceValues → ReferenceValuesDomain
-
def
refSetUpperTypeBoundOfTopOperand(pc: PC, bound: ReferenceType, operands: Operands, locals: Locals): (Operands, Locals)
- Definition Classes
- ReferenceValues → TypeLevelReferenceValues → ReferenceValuesDomain
-
def
refTopOperandIsNull(pc: PC, operands: Operands, locals: Locals): (Operands, Locals)
- Definition Classes
- ReferenceValues → TypeLevelReferenceValues → ReferenceValuesDomain
-
def
refineIsNull(pc: PC, value: DomainValue, isNull: Answer, operands: Operands, locals: Locals): (Operands, Locals)
- Attributes
- protected[this]
- Definition Classes
- ReferenceValues
-
def
returnFromSubroutine(pc: PC, lvIndex: Int): Unit
- Definition Classes
- SubroutinesDomain
-
def
returnVoid(pc: PC): Computation[Nothing, ExceptionValue]
- Definition Classes
- RecordMethodCallResults → ReturnInstructionsDomain
-
def
returnedNormally: Boolean
- Definition Classes
- RecordMethodCallResults → MethodCallResults
-
def
returnedValue(target: TargetDomain, callerPC: PC): Option[(target)#DomainValue]
- Definition Classes
- RecordMethodCallResults → MethodCallResults
-
def
returnedValueRemapped(callerDomain: TargetDomain, callerPC: PC)(originalOperands: (ai.domain.RecordMethodCallResults.returnedValueRemapped.callerDomain)#Operands, passedParameters: Locals): Option[(ai.domain.RecordMethodCallResults.returnedValueRemapped.callerDomain)#DomainValue]
- Definition Classes
- RecordMethodCallResults → MethodCallResults
-
def
saload(pc: PC, index: DomainValue, arrayref: DomainValue): ArrayLoadResult
- Definition Classes
- GeneralizedArrayHandling → ReferenceValuesDomain
-
def
sastore(pc: PC, value: DomainValue, index: DomainValue, arrayref: DomainValue): ArrayStoreResult
- Definition Classes
- GeneralizedArrayHandling → ReferenceValuesDomain
-
def
schedule(successorPC: PC, abruptSubroutineTerminationCount: Int, worklist: Chain[PC]): Chain[PC]
- Attributes
- protected[this]
- Definition Classes
- CoreDomainFunctionality
-
def
shouldInvocationBePerformed(calledMethod: Method): Boolean
- Definition Classes
- BasePerformInvocationBugPickerAnalysisDomain → PerformInvocations
-
def
sideEffectOnlyOrExceptions(pc: PC, value: DomainValue): Computation[Nothing, ExceptionValue]
- Attributes
- protected[this]
- Definition Classes
- IgnoreSynchronization
-
def
simpleClassForNameCall(pc: PC, className: String): MethodCallResult
- Attributes
- protected[org.opalj.ai.domain.l1]
- Definition Classes
- ClassValues
-
def
subroutinesLocalsArray: LocalsArray
- Definition Classes
- TheMemoryLayout
-
def
subroutinesOperandsArray: OperandsArray
- Definition Classes
- TheMemoryLayout
-
def
summarize(pc: PC, values: Iterable[DomainValue]): DomainValue
- Definition Classes
- ValuesDomain
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
testAndDoInvoke(pc: PC, method: Method, operands: Operands, fallback: () ⇒ MethodCallResult): MethodCallResult
- Attributes
- protected[this]
- Definition Classes
- PerformInvocations
-
def
throwArithmeticExceptions: Boolean
- Definition Classes
- ThrowAllPotentialExceptionsConfiguration → Configuration
-
def
throwArrayIndexOutOfBoundsException: Boolean
- Definition Classes
- ThrowAllPotentialExceptionsConfiguration → Configuration
-
def
throwArrayStoreException: Boolean
- Definition Classes
- ThrowAllPotentialExceptionsConfiguration → Configuration
-
def
throwClassCastException: Boolean
- Definition Classes
- ThrowAllPotentialExceptionsConfiguration → Configuration
-
def
throwClassNotFoundException: Boolean
- Definition Classes
- ThrowAllPotentialExceptionsConfiguration → Configuration
-
def
throwExceptionsOnMethodCall: ExceptionsRaisedByCalledMethod
- Definition Classes
- ThrowAllPotentialExceptionsConfiguration → Configuration
-
def
throwIllegalMonitorStateException: Boolean
- Definition Classes
- ThrowAllPotentialExceptionsConfiguration → Configuration
-
def
throwNegativeArraySizeException: Boolean
- Definition Classes
- ThrowAllPotentialExceptionsConfiguration → Configuration
-
def
throwNullPointerExceptionOnArrayAccess: Boolean
- Definition Classes
- ThrowAllPotentialExceptionsConfiguration → Configuration
-
def
throwNullPointerExceptionOnFieldAccess: Boolean
- Definition Classes
- ThrowAllPotentialExceptionsConfiguration → Configuration
-
def
throwNullPointerExceptionOnMethodCall: Boolean
- Definition Classes
- ThrowAllPotentialExceptionsConfiguration → Configuration
-
def
throwNullPointerExceptionOnMonitorAccess: Boolean
- Definition Classes
- ThrowAllPotentialExceptionsConfiguration → Configuration
-
def
throwNullPointerExceptionOnThrow: Boolean
- Definition Classes
- ThrowAllPotentialExceptionsConfiguration → Configuration
-
def
thrownExceptions(target: TargetDomain, callerPC: PC): (target)#ExceptionValues
- Definition Classes
- RecordMethodCallResults → MethodCallResults
-
final
def
throws(value: ExceptionValue): ThrowsException[ExceptionValue]
- Definition Classes
- ReferenceValuesFactory
-
def
toDomainValue(pc: PC, value: AnyRef): DomainReferenceValue
- Definition Classes
- StringValues → DefaultJavaObjectToDomainValueConversion → AsDomainValue
-
def
toJavaObject(pc: PC, value: DomainValue): Option[AnyRef]
- Definition Classes
- StringValues → ReferenceValues → TypeLevelReferenceValues → AsJavaObject
-
def
toString(): String
- Definition Classes
- AnyRef → Any
-
def
transformResult(callerPC: PC, calledMethod: Method, originalOperands: Operands, calledMethodDomain: CalledMethodDomain)(passedParameters: ai.domain.l2.PerformInvocations.CalledMethodDomain.Locals, result: AIResult { val domain: calledMethodDomain.type }): MethodCallResult
- Attributes
- protected[this]
- Definition Classes
- PerformInvocations
-
def
typeOfValue(value: DomainValue): TypeInformation
- Definition Classes
- ValuesDomain
-
def
updateAfterEvaluation(oldValue: DomainValue, newValue: DomainValue): Unit
- Attributes
- protected
- Definition Classes
- PostEvaluationMemoryManagement
-
def
updateAfterException(oldValue: DomainValue, newValue: DomainValue): Unit
- Attributes
- protected
- Definition Classes
- PostEvaluationMemoryManagement
-
def
updateAfterExecution(oldValue: DomainValue, newValueAfterEvaluation: DomainValue, newValueAfterException: DomainValue): Unit
- Attributes
- protected
- Definition Classes
- PostEvaluationMemoryManagement
-
def
updateMemoryLayout(oldValue: DomainValue, newValue: DomainValue, operands: Operands, locals: Locals): (Operands, Locals)
- Definition Classes
- CoreDomainFunctionality
-
def
upperTypeBound(theValues: UIDSet[DomainSingleOriginReferenceValue]): UIDSet[_ <: ReferenceType]
- Definition Classes
- ReferenceValues
-
def
useExceptionsThrownByCalledMethod: Boolean
- Definition Classes
- PerformInvocations
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @throws( ... )
-
final
def
withLongValuesOrElse[T](value1: DomainValue, value2: DomainValue)(f: (Long, Long) ⇒ T)(orElse: ⇒ T): T
- Attributes
- protected
- Definition Classes
- LongSetValues
- Annotations
- @inline()
-
object
ArrayValue
- Definition Classes
- DefaultTypeLevelReferenceValues
-
object
ClassValue
- Definition Classes
- ClassValues
-
object
ConcreteIntegerValue
- Definition Classes
- ConcreteIntegerValues
-
object
ConcreteLongValue
- Definition Classes
- ConcreteLongValues
-
implicit
object
DomainSingleOriginReferenceValueOrdering extends Ordering[(ReferenceValues.this)#DomainSingleOriginReferenceValue]
- Definition Classes
- ReferenceValues
-
object
IntegerRange
- Definition Classes
- IntegerRangeValues
-
object
LongSet
- Definition Classes
- LongSetValues
-
object
MultipleReferenceValues
- Definition Classes
- ReferenceValues
-
implicit
object
SingleOriginValueOrdering extends Ordering[(Origin.this)#SingleOriginValue]
- Definition Classes
- Origin
-
object
StringValue
- Definition Classes
- StringValues