InfiniteRecursionsDomain

class InfiniteRecursionsDomain extends Domain with DefaultDomainValueBinding with ThrowAllPotentialExceptionsConfiguration with DefaultTypeLevelFloatValues with DefaultTypeLevelDoubleValues with TypeLevelFieldAccessInstructions with TypeLevelInvokeInstructions with DefaultReferenceValuesBinding with DefaultIntegerRangeValues with MaxArrayLengthRefinement with DefaultLongSetValues with LongSetValuesShiftOperators with ConcretePrimitiveValuesConversions with DefaultHandlingOfMethodResults with IgnoreSynchronization with TheProject with TheMethod

Linear Supertypes

TheMethod, TheCode, TheProject, ThePropertyStore, LogContextProvider, TheClassHierarchy, IgnoreSynchronization, DefaultHandlingOfMethodResults, DefaultHandlingForReturnInstructions, DefaultHandlingOfVoidReturns, DefaultHandlingForThrownExceptions, domain.ReturnInstructionsDomain, ConcretePrimitiveValuesConversions, TypeLevelPrimitiveValuesConversions, LongSetValuesShiftOperators, DefaultLongSetValues, LongSetValues, ConcreteLongValues, CorrelationalDomain, CorrelationalDomainSupport, IdentityBasedCorrelationChangeDetection, JoinStabilization, MaxArrayLengthRefinement, DefaultIntegerRangeValues, IntegerRangeValues, ConcreteIntegerValues, IntegerRangeValuesFactory, DefaultReferenceValuesBinding, DefaultExceptionsFactory, ReferenceValues, Origin, DefaultTypeLevelReferenceValues, TypeLevelReferenceValues, AsJavaObject, GeneralizedArrayHandling, TypeLevelInvokeInstructions, MethodCallsHandling, TypeLevelFieldAccessInstructions, DefaultTypeLevelDoubleValues, TypeLevelDoubleValues, DefaultTypeLevelFloatValues, TypeLevelFloatValues, ThrowAllPotentialExceptionsConfiguration, DefaultDomainValueBinding, 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

Alphabetic
By Inheritance

Inherited

InfiniteRecursionsDomain
TheMethod
TheCode
TheProject
ThePropertyStore
LogContextProvider
TheClassHierarchy
IgnoreSynchronization
DefaultHandlingOfMethodResults
DefaultHandlingForReturnInstructions
DefaultHandlingOfVoidReturns
DefaultHandlingForThrownExceptions
ReturnInstructionsDomain
ConcretePrimitiveValuesConversions
TypeLevelPrimitiveValuesConversions
LongSetValuesShiftOperators
DefaultLongSetValues
LongSetValues
ConcreteLongValues
CorrelationalDomain
CorrelationalDomainSupport
IdentityBasedCorrelationChangeDetection
JoinStabilization
MaxArrayLengthRefinement
DefaultIntegerRangeValues
IntegerRangeValues
ConcreteIntegerValues
IntegerRangeValuesFactory
DefaultReferenceValuesBinding
DefaultExceptionsFactory
ReferenceValues
Origin
DefaultTypeLevelReferenceValues
TypeLevelReferenceValues
AsJavaObject
GeneralizedArrayHandling
TypeLevelInvokeInstructions
MethodCallsHandling
TypeLevelFieldAccessInstructions
DefaultTypeLevelDoubleValues
TypeLevelDoubleValues
DefaultTypeLevelFloatValues
TypeLevelFloatValues
ThrowAllPotentialExceptionsConfiguration
DefaultDomainValueBinding
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 InfiniteRecursionsDomain(project: SomeProject, method: Method)

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 DomainArrayValue = ArrayValue

Definition Classes
DefaultReferenceValuesBinding → ReferenceValues → DefaultTypeLevelReferenceValues → TypeLevelReferenceValues
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
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

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

Definition Classes
TypeLevelFloatValues
class IllegalValue extends Value

Attributes
protected
Definition Classes
ValuesDomain
sealed trait IntegerLikeValue extends (IntegerRangeValues.this)#TypedValue[CTIntType] with IsIntegerValue

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

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

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
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
trait TypedValue[+T <: Type] extends Value with KnownTypedValue

Definition Classes
ValuesDomain
trait Value extends KnownTypedValue

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 AReferenceValueTag: 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: Int, arrayType: ArrayType): DomainArrayValue

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(pc: Int, t: Type): DomainObjectValue

Definition Classes
ReferenceValues → TypeLevelReferenceValues → ReferenceValuesFactory
final def ConstantFieldValue(pc: Int, cv: ConstantFieldValue[_]): DomainValue

Definition Classes
Domain
final def DefaultValue(origin: ValueOrigin, theType: FieldType): DomainValue

Definition Classes
TypedValuesFactory
final val DomainArrayValueTag: ClassTag[DomainArrayValue]

Definition Classes
DefaultReferenceValuesBinding → ReferenceValues
final val DomainMultipleReferenceValuesTag: ClassTag[DomainMultipleReferenceValues]

Definition Classes
DefaultReferenceValuesBinding → ReferenceValues
final val DomainNullValueTag: ClassTag[DomainNullValue]

Definition Classes
DefaultReferenceValuesBinding → ReferenceValues
final val DomainObjectValueTag: ClassTag[DomainObjectValue]

Definition Classes
DefaultReferenceValuesBinding → ReferenceValues
final val DomainReferenceValueTag: ClassTag[DomainReferenceValue]

Definition Classes
DefaultReferenceValuesBinding → ValuesDomain
final val DomainSingleOriginReferenceValueTag: ClassTag[DomainSingleOriginReferenceValue]

Definition Classes
DefaultReferenceValuesBinding → ReferenceValues
final val DomainValueTag: ClassTag[DomainValue]

Definition Classes
DefaultDomainValueBinding → ValuesDomain
final def DoubleValue(valueOrigin: Int, value: Double): DoubleValue

Definition Classes
DefaultTypeLevelDoubleValues → DoubleValuesFactory
final def DoubleValue(valueOrigin: Int): DoubleValue

Definition Classes
DefaultTypeLevelDoubleValues → DoubleValuesFactory
def FloatValue(valueOrigin: Int, value: Float): FloatValue

Definition Classes
DefaultTypeLevelFloatValues → FloatValuesFactory
def FloatValue(valueOrigin: Int): FloatValue

Definition Classes
DefaultTypeLevelFloatValues → FloatValuesFactory
final def IllegalMonitorStateException(origin: ValueOrigin): ExceptionValue

Definition Classes
DefaultExceptionsFactory → ExceptionsFactory
def InitializedObjectValue(pc: Int, 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
final def MethodExternalNullPointerException(pc: Int): ExceptionValue

Definition Classes
ExceptionsFactory
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], origins: ValueOrigins, 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: Int, counts: Operands, arrayType: ArrayType): DomainArrayValue

Definition Classes
ReferenceValues → TypeLevelReferenceValues
def NewArray(pc: Int, count: DomainValue, arrayType: ArrayType): DomainArrayValue

Definition Classes
ReferenceValues → TypeLevelReferenceValues
def NewObject(pc: Int, objectType: ObjectType): DomainObjectValue

Definition Classes
ReferenceValues → TypeLevelReferenceValues → ReferenceValuesFactory
def NonNullObjectValue(pc: Int, 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: Int, upperTypeBound: UIDSet[ObjectType]): DomainObjectValue

Definition Classes
ReferenceValues → TypeLevelReferenceValues
def ObjectValue(pc: Int, 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
final def ReferenceValue(pc: Int, 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(pc: Int, value: String): DomainObjectValue

Definition Classes
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
def UninitializedThis(objectType: ObjectType): DomainObjectValue

Definition Classes
ReferenceValues → TypeLevelReferenceValues → ReferenceValuesFactory
final def VMArithmeticException(pc: Int): ExceptionValue

Definition Classes
ExceptionsFactory
final def VMArrayIndexOutOfBoundsException(pc: Int): ExceptionValue

Definition Classes
ExceptionsFactory
final def VMArrayStoreException(pc: Int): ExceptionValue

Definition Classes
ExceptionsFactory
final def VMClassCastException(pc: Int): ExceptionValue

Definition Classes
ExceptionsFactory
final def VMClassNotFoundException(pc: Int): ExceptionValue

Definition Classes
ExceptionsFactory
final def VMIllegalMonitorStateException(pc: Int): ExceptionValue

Definition Classes
ExceptionsFactory
final def VMNegativeArraySizeException(pc: Int): ExceptionValue

Definition Classes
ExceptionsFactory
final def VMNullPointerException(pc: Int): ExceptionValue

Definition Classes
ExceptionsFactory
final def VMThrowable(pc: Int): ExceptionValue

Definition Classes
ExceptionsFactory
def aaload(pc: Int, index: DomainValue, arrayref: DomainValue): ArrayLoadResult

Definition Classes
GeneralizedArrayHandling → ReferenceValuesDomain
def aastore(pc: Int, 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: Int, exception: ExceptionValue): Unit

Definition Classes
DefaultHandlingForThrownExceptions → ReturnInstructionsDomain
def abstractInterpretationEnded(aiResult: AIResult { val domain: InfiniteRecursionsDomain.this.type }): Unit

Definition Classes
CoreDomainFunctionality
def afterBaseJoin(pc: Int): Unit

Attributes
protected[this]
Definition Classes
JoinStabilization → CoreDomainFunctionality
def afterEvaluation(pc: Int, instruction: Instruction, oldOperands: Operands, oldLocals: Locals, targetPC: Int, isExceptionalControlFlow: Boolean, forceJoin: Boolean, newOperands: Operands, newLocals: Locals): (Operands, Locals)

Definition Classes
CoreDomainFunctionality
def areturn(pc: Int, value: DomainValue): Computation[Nothing, ExceptionValue]

Definition Classes
DefaultHandlingForReturnInstructions → ReturnInstructionsDomain
def arraylength(pc: Int, arrayref: DomainValue): Computation[DomainValue, ExceptionValue]

Definition Classes
MaxArrayLengthRefinement → TypeLevelReferenceValues → ReferenceValuesDomain
def arrayload(pc: Int, index: DomainValue, arrayref: DomainValue): ArrayLoadResult

Definition Classes
TypeLevelReferenceValues → GeneralizedArrayHandling
def arraystore(pc: Int, 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: Int, index: DomainValue, arrayref: DomainValue): ArrayLoadResult

Definition Classes
GeneralizedArrayHandling → ReferenceValuesDomain
def bastore(pc: Int, value: DomainValue, index: DomainValue, arrayref: DomainValue): ArrayStoreResult

Definition Classes
GeneralizedArrayHandling → ReferenceValuesDomain
def beforeBaseJoin(pc: Int): Unit

Attributes
protected[this]
Definition Classes
CoreDomainFunctionality
def caload(pc: Int, index: DomainValue, arrayref: DomainValue): ArrayLoadResult

Definition Classes
GeneralizedArrayHandling → ReferenceValuesDomain
def castore(pc: Int, 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
def createLongValueOrArithmeticException(pc: PC, exception: Boolean, results: SortedSet[Long]): LongValueOrArithmeticException

Attributes
protected[this]
Definition Classes
LongSetValues
def d2f(pc: Int, value: DomainValue): DomainValue

Definition Classes
TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain
def d2i(pc: Int, value: DomainValue): DomainValue

Definition Classes
TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain
def d2l(pc: Int, value: DomainValue): DomainValue

Definition Classes
TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain
def dadd(pc: Int, value1: DomainValue, value2: DomainValue): DomainValue

Definition Classes
TypeLevelDoubleValues → DoubleValuesDomain
def daload(pc: Int, index: DomainValue, arrayref: DomainValue): ArrayLoadResult

Definition Classes
GeneralizedArrayHandling → ReferenceValuesDomain
def dastore(pc: Int, value: DomainValue, index: DomainValue, arrayref: DomainValue): ArrayStoreResult

Definition Classes
GeneralizedArrayHandling → ReferenceValuesDomain
def dcmpg(pc: Int, value1: DomainValue, value2: DomainValue): DomainValue

Definition Classes
TypeLevelDoubleValues → DoubleValuesDomain
def dcmpl(pc: Int, value1: DomainValue, value2: DomainValue): DomainValue

Definition Classes
TypeLevelDoubleValues → DoubleValuesDomain
def ddiv(pc: Int, value1: DomainValue, value2: DomainValue): DomainValue

Definition Classes
TypeLevelDoubleValues → DoubleValuesDomain
def dmul(pc: Int, value1: DomainValue, value2: DomainValue): DomainValue

Definition Classes
TypeLevelDoubleValues → DoubleValuesDomain
def dneg(pc: Int, value: DomainValue): DomainValue

Definition Classes
TypeLevelDoubleValues → DoubleValuesDomain
def doGetfield(pc: Int, objectref: DomainValue, fieldValue: DomainValue): Computation[DomainValue, ExceptionValue]

Definition Classes
TypeLevelFieldAccessInstructions
def doGetstatic(pc: Int, fieldValue: DomainValue): Computation[DomainValue, Nothing]

Definition Classes
TypeLevelFieldAccessInstructions
def drem(pc: Int, value1: DomainValue, value2: DomainValue): DomainValue

Definition Classes
TypeLevelDoubleValues → DoubleValuesDomain
def dreturn(pc: Int, value: DomainValue): Computation[Nothing, ExceptionValue]

Definition Classes
DefaultHandlingForReturnInstructions → ReturnInstructionsDomain
def dsub(pc: Int, value1: DomainValue, value2: DomainValue): DomainValue

Definition Classes
TypeLevelDoubleValues → DoubleValuesDomain
def effectiveUTB(utb: UIDSet[_ <: ReferenceType]): UIDSet[_ <: ReferenceType]

Attributes
protected
Definition Classes
ReferenceValues
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def evaluationCompleted(pc: Int, worklist: Chain[Int], evaluatedPCs: IntArrayStack, operandsArray: OperandsArray, localsArray: LocalsArray, tracer: Option[AITracer]): Unit

Definition Classes
CoreDomainFunctionality
def f2d(pc: Int, value: DomainValue): DomainValue

Definition Classes
TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain
def f2i(pc: Int, value: DomainValue): DomainValue

Definition Classes
TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain
def f2l(pc: Int, value: DomainValue): DomainValue

Definition Classes
TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain
def fadd(pc: Int, value1: DomainValue, value2: DomainValue): DomainValue

Definition Classes
TypeLevelFloatValues → FloatValuesDomain
def faload(pc: Int, index: DomainValue, arrayref: DomainValue): ArrayLoadResult

Definition Classes
GeneralizedArrayHandling → ReferenceValuesDomain
def fastore(pc: Int, value: DomainValue, index: DomainValue, arrayref: DomainValue): ArrayStoreResult

Definition Classes
GeneralizedArrayHandling → ReferenceValuesDomain
def fcmpg(pc: Int, value1: DomainValue, value2: DomainValue): DomainValue

Definition Classes
TypeLevelFloatValues → FloatValuesDomain
def fcmpl(pc: Int, value1: DomainValue, value2: DomainValue): DomainValue

Definition Classes
TypeLevelFloatValues → FloatValuesDomain
def fdiv(pc: Int, value1: DomainValue, value2: DomainValue): DomainValue

Definition Classes
TypeLevelFloatValues → FloatValuesDomain
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
def flow(currentPC: Int, currentOperands: Operands, currentLocals: Locals, successorPC: Int, isSuccessorScheduled: Answer, isExceptionalControlFlow: Boolean, abruptSubroutineTerminationCount: Int, wasJoinPerformed: Boolean, worklist: Chain[Int], operandsArray: OperandsArray, localsArray: LocalsArray, tracer: Option[AITracer]): Chain[Int]

Definition Classes
CoreDomainFunctionality
def fmul(pc: Int, value1: DomainValue, value2: DomainValue): DomainValue

Definition Classes
TypeLevelFloatValues → FloatValuesDomain
def fneg(pc: Int, value: DomainValue): DomainValue

Definition Classes
TypeLevelFloatValues → FloatValuesDomain
def foreachOrigin(value: DomainValue, f: (ValueOrigin) ⇒ Unit): Unit

Definition Classes
Origin
def frem(pc: Int, value1: DomainValue, value2: DomainValue): DomainValue

Definition Classes
TypeLevelFloatValues → FloatValuesDomain
def freturn(pc: Int, value: DomainValue): Computation[Nothing, ExceptionValue]

Definition Classes
DefaultHandlingForReturnInstructions → ReturnInstructionsDomain
def fsub(pc: Int, value1: DomainValue, value2: DomainValue): DomainValue

Definition Classes
TypeLevelFloatValues → FloatValuesDomain
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
Annotations
@native()
def getPotentialExceptions(pc: Int): List[ExceptionValue]

Attributes
protected[this]
Definition Classes
MethodCallsHandling
def getfield(pc: Int, objectref: DomainValue, declaringClass: ObjectType, fieldName: String, fieldType: FieldType): Computation[DomainValue, ExceptionValue]

Definition Classes
TypeLevelFieldAccessInstructions → FieldAccessesDomain
def getstatic(pc: Int, declaringClass: ObjectType, fieldName: String, fieldType: FieldType): Computation[DomainValue, Nothing]

Definition Classes
TypeLevelFieldAccessInstructions → FieldAccessesDomain
def handleInstanceBasedInvoke(pc: Int, methodDescriptor: MethodDescriptor, targetMethods: Set[Method], receiverIsNull: Answer, operands: Operands): MethodCallResult

Attributes
protected[this]
Definition Classes
MethodCallsHandling
def handleInstanceBasedInvoke(pc: Int, methodDescriptor: MethodDescriptor, operands: Operands): MethodCallResult

Attributes
protected[this]
Definition Classes
MethodCallsHandling
def handleInstanceBasedInvoke(pc: Int, methodDescriptor: MethodDescriptor, receiverIsNull: Answer): MethodCallResult

Attributes
protected[this]
Definition Classes
MethodCallsHandling
def handleInvoke(pc: Int, methodDescriptor: MethodDescriptor): MethodCallResult

Attributes
protected[this]
Definition Classes
MethodCallsHandling
def handleReturn(pc: Int): Computation[Nothing, ExceptionValue]

Attributes
protected[this]
Definition Classes
ReturnInstructionsDomain
def hashCode(): Int

Definition Classes
AnyRef → Any
Annotations
@native()
def i2b(pc: Int, value: DomainValue): DomainValue

Definition Classes
IntegerRangeValues → IntegerValuesDomain
def i2c(pc: Int, value: DomainValue): DomainValue

Definition Classes
IntegerRangeValues → IntegerValuesDomain
def i2d(pc: Int, value: DomainValue): DomainValue

Definition Classes
ConcretePrimitiveValuesConversions → TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain
def i2f(pc: Int, value: DomainValue): DomainValue

Definition Classes
ConcretePrimitiveValuesConversions → TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain
def i2l(pc: Int, value: DomainValue): DomainValue

Definition Classes
ConcretePrimitiveValuesConversions → TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain
def i2s(pc: Int, value: DomainValue): DomainValue

Definition Classes
IntegerRangeValues → IntegerValuesDomain
def iadd(pc: Int, value1: DomainValue, value2: DomainValue): DomainValue

Definition Classes
IntegerRangeValues → IntegerValuesDomain
def iaload(pc: Int, index: DomainValue, arrayref: DomainValue): ArrayLoadResult

Definition Classes
GeneralizedArrayHandling → ReferenceValuesDomain
def iand(pc: Int, value1: DomainValue, value2: DomainValue): DomainValue

Definition Classes
IntegerRangeValues → IntegerValuesDomain
def iastore(pc: Int, value: DomainValue, index: DomainValue, arrayref: DomainValue): ArrayStoreResult

Definition Classes
GeneralizedArrayHandling → ReferenceValuesDomain
def idiv(pc: Int, numerator: DomainValue, denominator: DomainValue): IntegerValueOrArithmeticException

Definition Classes
IntegerRangeValues → IntegerValuesDomain
def iinc(pc: Int, value: DomainValue, increment: Int): DomainValue

Definition Classes
IntegerRangeValues → IntegerValuesDomain
def imul(pc: Int, value1: DomainValue, value2: DomainValue): DomainValue

Definition Classes
IntegerRangeValues → IntegerValuesDomain
def ineg(pc: Int, value: DomainValue): DomainValue

Definition Classes
IntegerRangeValues → IntegerValuesDomain
def intAreEqual(pc: Int, value1: DomainValue, value2: DomainValue): Answer

Definition Classes
IntegerRangeValues → IntegerValuesDomain
def intAreNotEqual(pc: Int, value1: DomainValue, value2: DomainValue): Answer

Definition Classes
IntegerValuesDomain
def intEstablishAreEqual(pc: Int, value1: DomainValue, value2: DomainValue, operands: Operands, locals: Locals): (Operands, Locals)

Definition Classes
IntegerRangeValues → IntegerValuesDomain
def intEstablishAreNotEqual(pc: Int, value1: DomainValue, value2: DomainValue, operands: Operands, locals: Locals): (Operands, Locals)

Definition Classes
IntegerRangeValues → IntegerValuesDomain
def intEstablishIsLessThan(pc: Int, left: DomainValue, right: DomainValue, operands: Operands, locals: Locals): (Operands, Locals)

Definition Classes
IntegerRangeValues → IntegerValuesDomain
def intEstablishIsLessThanOrEqualTo(pc: Int, left: DomainValue, right: DomainValue, operands: Operands, locals: Locals): (Operands, Locals)

Definition Classes
IntegerRangeValues → IntegerValuesDomain
def intEstablishValue(pc: Int, theValue: Int, value: DomainValue, operands: Operands, locals: Locals): (Operands, Locals)

Definition Classes
IntegerRangeValues → IntegerValuesDomain
def intIs0(pc: Int, value: DomainValue): Answer

Definition Classes
IntegerValuesDomain
def intIsGreaterThan(pc: Int, largerValue: DomainValue, smallerValue: DomainValue): Answer

Definition Classes
IntegerValuesDomain
def intIsGreaterThan0(pc: Int, value: DomainValue): Answer

Definition Classes
IntegerValuesDomain
def intIsGreaterThanOrEqualTo(pc: Int, largerOrEqualValue: DomainValue, smallerOrEqualValue: DomainValue): Answer

Definition Classes
IntegerValuesDomain
def intIsGreaterThanOrEqualTo0(pc: Int, value: DomainValue): Answer

Definition Classes
IntegerValuesDomain
def intIsLessThan(pc: Int, left: DomainValue, right: DomainValue): Answer

Definition Classes
IntegerRangeValues → IntegerValuesDomain
def intIsLessThan0(pc: Int, value: DomainValue): Answer

Definition Classes
IntegerValuesDomain
def intIsLessThanOrEqualTo(pc: Int, left: DomainValue, right: DomainValue): Answer

Definition Classes
IntegerRangeValues → IntegerValuesDomain
def intIsLessThanOrEqualTo0(pc: Int, value: DomainValue): Answer

Definition Classes
IntegerValuesDomain
def intIsNot0(pc: Int, value: DomainValue): Answer

Definition Classes
IntegerValuesDomain
def intIsSomeValueInRange(pc: Int, value: DomainValue, lowerBound: Int, upperBound: Int): Answer

Definition Classes
IntegerRangeValues → IntegerValuesDomain
def intIsSomeValueNotInRange(pc: Int, 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: Int, bootstrapMethod: BootstrapMethod, name: String, methodDescriptor: MethodDescriptor, operands: Operands): MethodCallResult

Definition Classes
TypeLevelInvokeInstructions → MethodCallsDomain
def invokeinterface(pc: Int, declaringClass: ObjectType, name: String, methodDescriptor: MethodDescriptor, operands: Operands): MethodCallResult

Definition Classes
TypeLevelInvokeInstructions → MethodCallsDomain
def invokespecial(pc: Int, declaringClass: ObjectType, isInterface: Boolean, name: String, methodDescriptor: MethodDescriptor, operands: Operands): MethodCallResult

Definition Classes
TypeLevelInvokeInstructions → MethodCallsDomain
def invokestatic(pc: Int, declaringClass: ObjectType, isInterface: Boolean, name: String, methodDescriptor: MethodDescriptor, operands: Operands): MethodCallResult

Definition Classes
TypeLevelInvokeInstructions → MethodCallsDomain
def invokevirtual(pc: Int, declaringClass: ReferenceType, name: String, methodDescriptor: MethodDescriptor, operands: Operands): MethodCallResult

Definition Classes
TypeLevelInvokeInstructions → MethodCallsDomain
def ior(pc: Int, value1: DomainValue, value2: DomainValue): DomainValue

Definition Classes
IntegerRangeValues → IntegerValuesDomain
def irem(pc: Int, left: DomainValue, right: DomainValue): IntegerValueOrArithmeticException

Definition Classes
IntegerRangeValues → IntegerValuesDomain
def ireturn(pc: Int, value: DomainValue): Computation[Nothing, ExceptionValue]

Definition Classes
DefaultHandlingForReturnInstructions → ReturnInstructionsDomain
def isASubtypeOf(subtype: ReferenceType, supertype: ReferenceType): Answer

Definition Classes
TheClassHierarchy
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): Boolean

Definition Classes
TheClassHierarchy
final def isValueASubtypeOf(value: DomainValue, supertype: ReferenceType): Answer

Definition Classes
TypeLevelReferenceValues → ReferenceValuesDomain
def ishl(pc: Int, value: DomainValue, shift: DomainValue): DomainValue

Definition Classes
IntegerRangeValues → IntegerValuesDomain
def ishr(pc: Int, value: DomainValue, shift: DomainValue): DomainValue

Definition Classes
IntegerRangeValues → IntegerValuesDomain
def isub(pc: Int, left: DomainValue, right: DomainValue): DomainValue

Definition Classes
IntegerRangeValues → IntegerValuesDomain
def iushr(pc: Int, value: DomainValue, shift: DomainValue): DomainValue

Definition Classes
IntegerRangeValues → IntegerValuesDomain
def ixor(pc: Int, value1: DomainValue, value2: DomainValue): DomainValue

Definition Classes
IntegerRangeValues → IntegerValuesDomain
def join(pc: Int, thisOperands: Operands, thisLocals: Locals, otherOperands: Operands, otherLocals: Locals): Update[(Operands, Locals)]

Definition Classes
CoreDomainFunctionality
def joinPostProcessing(updateType: UpdateType, pc: Int, oldOperands: Operands, oldLocals: Locals, newOperands: Operands, newLocals: Locals): Update[(Operands, Locals)]

Attributes
protected[this]
Definition Classes
IdentityBasedCorrelationChangeDetection → CoreDomainFunctionality
def joinValues(pc: Int, left: DomainValue, right: DomainValue): Update[DomainValue]

Attributes
protected[this]
Definition Classes
JoinStabilization → CoreDomainFunctionality
val joinedValues: HashMap[IdentityPair[AnyRef, AnyRef], Update[DomainValue]]

Attributes
protected[this]
Definition Classes
JoinStabilization
def jumpToSubroutine(pc: Int, branchTarget: Int, returnTarget: Int): Unit

Definition Classes
SubroutinesDomain
final def justThrows(value: ExceptionValue): ThrowsException[ExceptionValues]

Definition Classes
ReferenceValuesFactory
def l2d(pc: Int, value: DomainValue): DomainValue

Definition Classes
ConcretePrimitiveValuesConversions → TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain
def l2f(pc: Int, value: DomainValue): DomainValue

Definition Classes
ConcretePrimitiveValuesConversions → TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain
def l2i(pc: Int, value: DomainValue): DomainValue

Definition Classes
ConcretePrimitiveValuesConversions → TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain
def ladd(pc: PC, value1: DomainValue, value2: DomainValue): DomainValue

Definition Classes
LongSetValues → LongValuesDomain
def laload(pc: Int, 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: Int, 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
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: Int, value: DomainValue): Computation[Nothing, ExceptionValue]

Definition Classes
DefaultHandlingForReturnInstructions → ReturnInstructionsDomain
def lshl(pc: Int, value: DomainValue, shift: DomainValue): DomainValue

Definition Classes
LongSetValuesShiftOperators → LongValuesDomain
def lshr(pc: Int, 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: Int, value: DomainValue, shift: DomainValue): DomainValue

Definition Classes
LongSetValuesShiftOperators → LongValuesDomain
def lxor(pc: PC, value1: DomainValue, value2: DomainValue): DomainValue

Definition Classes
LongSetValues → LongValuesDomain
def maxCardinalityOfIntegerRanges: Long

Definition Classes
IntegerRangeValues
def maxCardinalityOfLongSets: Int

Attributes
protected
Definition Classes
LongSetValues
def mergeDEComputations(pc: Int, c1: Computation[DomainValue, ExceptionValue], c2: Computation[DomainValue, ExceptionValue]): Computation[DomainValue, ExceptionValue]

Attributes
protected[this]
Definition Classes
TypeLevelReferenceValues
def mergeDEsComputations(pc: Int, c1: Computation[DomainValue, ExceptionValues], c2: Computation[DomainValue, ExceptionValues]): Computation[DomainValue, ExceptionValues]

Attributes
protected[this]
Definition Classes
TypeLevelReferenceValues
def mergeDomainValues(pc: Int, v1: DomainValue, v2: DomainValue): DomainValue

Definition Classes
ValuesDomain
def mergeEsComputations(pc: Int, c1: Computation[Nothing, ExceptionValues], c2: Computation[Nothing, ExceptionValues]): Computation[Nothing, ExceptionValues]

Attributes
protected[this]
Definition Classes
TypeLevelReferenceValues
def mergeMultipleExceptionValues(pc: Int, v1s: ExceptionValues, v2s: ExceptionValues): ExceptionValues

Definition Classes
TypeLevelReferenceValues
val method: Method

Definition Classes
InfiniteRecursionsDomain → TheMethod
def monitorenter(pc: Int, value: DomainValue): Computation[Nothing, ExceptionValue]

Definition Classes
IgnoreSynchronization → MonitorInstructionsDomain
def monitorexit(pc: Int, value: DomainValue): Computation[Nothing, ExceptionValues]

Definition Classes
IgnoreSynchronization → MonitorInstructionsDomain
def multianewarray(pc: Int, counts: Operands, arrayType: ArrayType): Computation[DomainArrayValue, ExceptionValue]

Definition Classes
TypeLevelReferenceValues → ReferenceValuesDomain
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def newarray(pc: Int, 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 origins(value: DomainValue): ValueOrigins

Definition Classes
Origin
def originsIterator(value: DomainValue): ValueOriginsIterator

Definition Classes
Origin
val project: SomeProject

Definition Classes
InfiniteRecursionsDomain → 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: Int, objectref: DomainValue, value: DomainValue, declaringClass: ObjectType, fieldName: String, fieldType: FieldType): Computation[Nothing, ExceptionValue]

Definition Classes
TypeLevelFieldAccessInstructions → FieldAccessesDomain
def putstatic(pc: Int, value: DomainValue, declaringClass: ObjectType, fieldName: String, fieldType: FieldType): Computation[Nothing, Nothing]

Definition Classes
TypeLevelFieldAccessInstructions → FieldAccessesDomain
def refAreEqual(pc: Int, v1: DomainValue, v2: DomainValue): Answer

Definition Classes
ReferenceValues → TypeLevelReferenceValues → ReferenceValuesDomain
def refAreNotEqual(pc: Int, value1: DomainValue, value2: DomainValue): Answer

Definition Classes
ReferenceValuesDomain
def refEstablishAreEqual(pc: Int, value1: DomainValue, value2: DomainValue, operands: Operands, locals: Locals): (Operands, Locals)

Definition Classes
ReferenceValuesDomain
def refEstablishAreNotEqual(pc: Int, value1: DomainValue, value2: DomainValue, operands: Operands, locals: Locals): (Operands, Locals)

Definition Classes
ReferenceValuesDomain
def refEstablishIsNonNull(pc: Int, value: DomainValue, operands: Operands, locals: Locals): (Operands, Locals)

Definition Classes
ReferenceValues → ReferenceValuesDomain
def refEstablishIsNull(pc: Int, value: DomainValue, operands: Operands, locals: Locals): (Operands, Locals)

Definition Classes
ReferenceValues → ReferenceValuesDomain
def refIsNonNull(pc: Int, value: DomainValue): Answer

Definition Classes
ReferenceValuesDomain
final def refIsNull(pc: Int, value: DomainValue): Answer

Definition Classes
TypeLevelReferenceValues → ReferenceValuesDomain
def refSetUpperTypeBoundOfTopOperand(pc: Int, bound: ReferenceType, operands: Operands, locals: Locals): (Operands, Locals)

Definition Classes
ReferenceValues → TypeLevelReferenceValues → ReferenceValuesDomain
def refTopOperandIsNull(pc: Int, operands: Operands, locals: Locals): (Operands, Locals)

Definition Classes
ReferenceValues → TypeLevelReferenceValues → ReferenceValuesDomain
def refineIsNull(pc: Int, value: DomainValue, isNull: Answer, operands: Operands, locals: Locals): (Operands, Locals)

Attributes
protected[this]
Definition Classes
ReferenceValues
def returnFromSubroutine(pc: Int, lvIndex: Int): Unit

Definition Classes
SubroutinesDomain
def returnVoid(pc: Int): Computation[Nothing, ExceptionValue]

Definition Classes
DefaultHandlingOfVoidReturns → ReturnInstructionsDomain
def saload(pc: Int, index: DomainValue, arrayref: DomainValue): ArrayLoadResult

Definition Classes
GeneralizedArrayHandling → ReferenceValuesDomain
def sastore(pc: Int, value: DomainValue, index: DomainValue, arrayref: DomainValue): ArrayStoreResult

Definition Classes
GeneralizedArrayHandling → ReferenceValuesDomain
def schedule(successorPC: Int, abruptSubroutineTerminationCount: Int, worklist: Chain[Int]): Chain[Int]

Attributes
protected[this]
Definition Classes
CoreDomainFunctionality
def sideEffectOnlyOrExceptions(pc: Int, value: DomainValue): Computation[Nothing, ExceptionValue]

Attributes
protected[this]
Definition Classes
IgnoreSynchronization
def summarize(pc: Int, values: Iterable[DomainValue]): DomainValue

Definition Classes
ValuesDomain
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
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
final def throws(value: ExceptionValue): ThrowsException[ExceptionValue]

Definition Classes
ReferenceValuesFactory
def toJavaObject(pc: Int, value: DomainValue): Option[AnyRef]

Definition Classes
ReferenceValues → TypeLevelReferenceValues → AsJavaObject
def toString(): String

Definition Classes
TheMethod → AnyRef → Any
def typeOfValue(value: DomainValue): ValueInformation

Definition Classes
ValuesDomain
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
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 ConcreteIntegerValue

Definition Classes
ConcreteIntegerValues
object MultipleReferenceValues

Definition Classes
ReferenceValues

Packages

InfiniteRecursionsDomain 

Instance Constructors

Type Members

Value Members

Inherited from TheMethod

Inherited from TheCode

Inherited from TheProject

Inherited from ThePropertyStore

Inherited from LogContextProvider

Inherited from TheClassHierarchy

Inherited from IgnoreSynchronization

Inherited from DefaultHandlingOfMethodResults

Inherited from DefaultHandlingForReturnInstructions

Inherited from DefaultHandlingOfVoidReturns

Inherited from DefaultHandlingForThrownExceptions

Inherited from domain.ReturnInstructionsDomain

Inherited from ConcretePrimitiveValuesConversions

Inherited from TypeLevelPrimitiveValuesConversions

Inherited from LongSetValuesShiftOperators

Inherited from DefaultLongSetValues

Inherited from LongSetValues

Inherited from ConcreteLongValues

Inherited from CorrelationalDomain

Inherited from CorrelationalDomainSupport

Inherited from IdentityBasedCorrelationChangeDetection

Inherited from JoinStabilization

Inherited from MaxArrayLengthRefinement

Inherited from DefaultIntegerRangeValues

Inherited from IntegerRangeValues

Inherited from ConcreteIntegerValues

Inherited from IntegerRangeValuesFactory

Inherited from DefaultReferenceValuesBinding

Inherited from DefaultExceptionsFactory

Inherited from ReferenceValues

Inherited from Origin

Inherited from DefaultTypeLevelReferenceValues

Inherited from TypeLevelReferenceValues

Inherited from AsJavaObject

Inherited from GeneralizedArrayHandling

Inherited from TypeLevelInvokeInstructions

Inherited from MethodCallsHandling

Inherited from TypeLevelFieldAccessInstructions

Inherited from DefaultTypeLevelDoubleValues

Inherited from TypeLevelDoubleValues

Inherited from DefaultTypeLevelFloatValues

Inherited from TypeLevelFloatValues

Inherited from ThrowAllPotentialExceptionsConfiguration

Inherited from DefaultDomainValueBinding

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

InfiniteRecursionsDomain