Value Members

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

   Definition Classes

   AnyRef → Any

2.  final def ##(): Int

   Definition Classes

   AnyRef → Any

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

   Definition Classes

   AnyRef → Any

4.  final val AReferenceValueTag: ClassTag[AReferenceValue]

   Definition Classes

   DefaultReferenceValuesBinding → ReferenceValues

5.  def AnIntegerValue(): AnIntegerValue

   Definition Classes

   DefaultIntegerRangeValues

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

   Definition Classes

   DefaultExceptionsFactory → ExceptionsFactory

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

   Definition Classes

   DefaultExceptionsFactory → ExceptionsFactory

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

   Definition Classes

   DefaultExceptionsFactory → ExceptionsFactory

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

   Attributes

   protected[org.opalj.ai.domain]

   Definition Classes

   DefaultReferenceValuesBinding → ReferenceValues

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

    Definition Classes

    ReferenceValues → TypeLevelReferenceValues

11.  def BooleanValue(origin: ValueOrigin, value: Boolean): DomainTypedValue[CTIntType]

    Definition Classes

    DefaultIntegerRangeValues → IntegerValuesFactory

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

    Definition Classes

    DefaultIntegerRangeValues → IntegerValuesFactory

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

    Definition Classes

    DefaultIntegerRangeValues → IntegerValuesFactory

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

    Definition Classes

    DefaultIntegerRangeValues → IntegerValuesFactory

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

    Definition Classes

    DefaultIntegerRangeValues → IntegerValuesFactory

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

    Definition Classes

    DefaultIntegerRangeValues → IntegerValuesFactory

17.  final def ClassCastException(origin: ValueOrigin): ExceptionValue

    Definition Classes

    DefaultExceptionsFactory → ExceptionsFactory

18.  final def ClassNotFoundException(origin: ValueOrigin): ExceptionValue

    Definition Classes

    DefaultExceptionsFactory → ExceptionsFactory

19.  def ClassValue(pc: Int, t: Type): DomainObjectValue

    Definition Classes

    ReferenceValues → TypeLevelReferenceValues → ReferenceValuesFactory

20.  final def ConstantFieldValue(pc: Int, cv: ConstantFieldValue[_]): DomainValue

    Definition Classes

    Domain

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

    Definition Classes

    TypedValuesFactory

22.  final val DomainArrayValueTag: ClassTag[DomainArrayValue]

    Definition Classes

    DefaultReferenceValuesBinding → ReferenceValues

23.  final val DomainMultipleReferenceValuesTag: ClassTag[DomainMultipleReferenceValues]

    Definition Classes

    DefaultReferenceValuesBinding → ReferenceValues

24.  final val DomainNullValueTag: ClassTag[DomainNullValue]

    Definition Classes

    DefaultReferenceValuesBinding → ReferenceValues

25.  final val DomainObjectValueTag: ClassTag[DomainObjectValue]

    Definition Classes

    DefaultReferenceValuesBinding → ReferenceValues

26.  final val DomainReferenceValueTag: ClassTag[DomainReferenceValue]

    Definition Classes

    DefaultReferenceValuesBinding → ValuesDomain

27.  final val DomainSingleOriginReferenceValueTag: ClassTag[DomainSingleOriginReferenceValue]

    Definition Classes

    DefaultReferenceValuesBinding → ReferenceValues

28.  final val DomainValueTag: ClassTag[DomainValue]

    Definition Classes

    DefaultDomainValueBinding → ValuesDomain

29.  final def DoubleValue(valueOrigin: Int, value: Double): DoubleValue

    Definition Classes

    DefaultTypeLevelDoubleValues → DoubleValuesFactory

30.  final def DoubleValue(valueOrigin: Int): DoubleValue

    Definition Classes

    DefaultTypeLevelDoubleValues → DoubleValuesFactory

31.  def FloatValue(valueOrigin: Int, value: Float): FloatValue

    Definition Classes

    DefaultTypeLevelFloatValues → FloatValuesFactory

32.  def FloatValue(valueOrigin: Int): FloatValue

    Definition Classes

    DefaultTypeLevelFloatValues → FloatValuesFactory

33.  final def IllegalMonitorStateException(origin: ValueOrigin): ExceptionValue

    Definition Classes

    DefaultExceptionsFactory → ExceptionsFactory

34.  def InitializedObjectValue(pc: Int, objectType: ObjectType): DomainObjectValue

    Definition Classes

    ReferenceValues → TypeLevelReferenceValues → ReferenceValuesFactory

35.  final def IntegerConstant0: DomainTypedValue[CTIntType]

    Definition Classes

    IntegerValuesFactory

36.  final def IntegerRange(lb: Int, ub: Int): IntegerRange

    Definition Classes

    DefaultIntegerRangeValues → IntegerRangeValues

    Annotations

    @inline()

37.  final def IntegerRange(origin: ValueOrigin, lowerBound: Int, upperBound: Int): DomainTypedValue[CTIntType]

    Definition Classes

    IntegerRangeValues → IntegerRangeValuesFactory

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

    Definition Classes

    IntegerRangeValues

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

    Definition Classes

    DefaultIntegerRangeValues → IntegerValuesFactory

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

    Definition Classes

    DefaultIntegerRangeValues → IntegerValuesFactory

41.  def LongValue(origin: ValueOrigin, value: Long): TheLongValue

    Definition Classes

    DefaultLongValues → LongValuesFactory

42.  def LongValue(origin: ValueOrigin): ALongValue.type

    Definition Classes

    DefaultLongValues → LongValuesFactory

43.  final val MetaInformationUpdateIllegalValue: MetaInformationUpdate[DomainIllegalValue]

    Definition Classes

    DefaultDomainValueBinding → ValuesDomain

44.  def MethodCallResult(potentialExceptions: Iterable[ExceptionValue]): MethodCallResult

    Attributes

    protected[this]

    Definition Classes

    MethodCallsHandling

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

    Attributes

    protected[this]

    Definition Classes

    MethodCallsHandling

46.  final def MethodExternalNullPointerException(pc: Int): ExceptionValue

    Definition Classes

    ExceptionsFactory

47.  def MethodHandle(origin: ValueOrigin, handle: MethodHandle): DomainReferenceValue

    Definition Classes

    ReferenceValuesFactory

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

    Definition Classes

    ReferenceValuesFactory

49.  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

50.  def MultipleReferenceValues(values: UIDSet[DomainSingleOriginReferenceValue]): DomainMultipleReferenceValues

    Attributes

    protected[org.opalj.ai.domain]

    Definition Classes

    DefaultReferenceValuesBinding → ReferenceValues

51.  final def NegativeArraySizeException(origin: ValueOrigin): ExceptionValue

    Definition Classes

    DefaultExceptionsFactory → ExceptionsFactory

52.  def NewArray(pc: Int, counts: Operands, arrayType: ArrayType): DomainArrayValue

    Definition Classes

    ReferenceValues → TypeLevelReferenceValues

53.  def NewArray(pc: Int, count: DomainValue, arrayType: ArrayType): DomainArrayValue

    Definition Classes

    ReferenceValues → TypeLevelReferenceValues

54.  def NewObject(pc: Int, objectType: ObjectType): DomainObjectValue

    Definition Classes

    ReferenceValues → TypeLevelReferenceValues → ReferenceValuesFactory

55.  def NonNullObjectValue(pc: Int, objectType: ObjectType): DomainObjectValue

    Definition Classes

    ReferenceValues → TypeLevelReferenceValues → ReferenceValuesFactory

56.  final def NullPointerException(origin: ValueOrigin): ExceptionValue

    Definition Classes

    DefaultExceptionsFactory → ExceptionsFactory

57.  def NullValue(origin: ValueOrigin): DomainNullValue

    Definition Classes

    DefaultReferenceValuesBinding → TypeLevelReferenceValues → ReferenceValuesFactory

58.  def ObjectValue(origin: ValueOrigin, isNull: Answer, upperTypeBound: UIDSet[ObjectType], refId: RefId): DomainObjectValue

    Attributes

    protected[org.opalj.ai.domain]

    Definition Classes

    DefaultReferenceValuesBinding → ReferenceValues

59.  def ObjectValue(origin: ValueOrigin, isNull: Answer, isPrecise: Boolean, theUpperTypeBound: ObjectType, refId: RefId): SObjectValue

    Attributes

    protected[org.opalj.ai.domain]

    Definition Classes

    DefaultReferenceValuesBinding → ReferenceValues

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

    Attributes

    protected[org.opalj.ai.domain]

    Definition Classes

    ReferenceValues

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

    Attributes

    protected[org.opalj.ai.domain]

    Definition Classes

    ReferenceValues

62.  def ObjectValue(pc: Int, upperTypeBound: UIDSet[ObjectType]): DomainObjectValue

    Definition Classes

    ReferenceValues → TypeLevelReferenceValues

63.  def ObjectValue(pc: Int, objectType: ObjectType): DomainObjectValue

    Definition Classes

    ReferenceValues → TypeLevelReferenceValues

64.  final def RefIdUpdate[T](value: T): MetaInformationUpdate[T]

    Definition Classes

    ReferenceValues

    Annotations

    @inline()

65.  final def ReferenceValue(origin: ValueOrigin, isNull: Answer, isPrecise: Boolean, upperTypeBound: UIDSet[_ <: ReferenceType], refId: RefId): DomainSingleOriginReferenceValue

    Attributes

    protected[org.opalj.ai.domain]

    Definition Classes

    ReferenceValues

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

    Attributes

    protected[org.opalj.ai.domain]

    Definition Classes

    ReferenceValues

67.  def ReferenceValue(origin: ValueOrigin, isNull: Answer, isPrecise: Boolean, theUpperTypeBound: ReferenceType, refId: RefId): DomainSingleOriginReferenceValue

    Attributes

    protected[org.opalj.ai.domain]

    Definition Classes

    ReferenceValues

68.  final def ReferenceValue(pc: Int, upperTypeBound: ReferenceType): AReferenceValue

    Definition Classes

    TypeLevelReferenceValues → ReferenceValuesFactory

69.  final def ReturnAddressValue(address: Int): ReturnAddressValue

    Definition Classes

    DefaultDomainValueBinding → ValuesDomain

70.  def ShortValue(origin: ValueOrigin, value: Short): DomainTypedValue[CTIntType]

    Definition Classes

    DefaultIntegerRangeValues → IntegerValuesFactory

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

    Definition Classes

    DefaultIntegerRangeValues → IntegerValuesFactory

72.  def StringValue(pc: Int, value: String): DomainObjectValue

    Definition Classes

    ReferenceValues → TypeLevelReferenceValues → ReferenceValuesFactory

73.  final def StructuralUpdateIllegalValue: StructuralUpdate[Nothing]

    Definition Classes

    ValuesDomain

74.  final val TheIllegalValue: DomainIllegalValue

    Definition Classes

    DefaultDomainValueBinding → ValuesDomain

75.  final val TheReturnAddressValues: ReturnAddressValues

    Definition Classes

    DefaultDomainValueBinding → ValuesDomain

76.  final def Throwable(origin: ValueOrigin): ExceptionValue

    Definition Classes

    DefaultExceptionsFactory → ExceptionsFactory

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

    Definition Classes

    TypedValuesFactory

78.  def UninitializedThis(objectType: ObjectType): DomainObjectValue

    Definition Classes

    ReferenceValues → TypeLevelReferenceValues → ReferenceValuesFactory

79.  final def VMArithmeticException(pc: Int): ExceptionValue

    Definition Classes

    ExceptionsFactory

80.  final def VMArrayIndexOutOfBoundsException(pc: Int): ExceptionValue

    Definition Classes

    ExceptionsFactory

81.  final def VMArrayStoreException(pc: Int): ExceptionValue

    Definition Classes

    ExceptionsFactory

82.  final def VMClassCastException(pc: Int): ExceptionValue

    Definition Classes

    ExceptionsFactory

83.  final def VMClassNotFoundException(pc: Int): ExceptionValue

    Definition Classes

    ExceptionsFactory

84.  final def VMIllegalMonitorStateException(pc: Int): ExceptionValue

    Definition Classes

    ExceptionsFactory

85.  final def VMNegativeArraySizeException(pc: Int): ExceptionValue

    Definition Classes

    ExceptionsFactory

86.  final def VMNullPointerException(pc: Int): ExceptionValue

    Definition Classes

    ExceptionsFactory

87.  final def VMThrowable(pc: Int): ExceptionValue

    Definition Classes

    ExceptionsFactory

88.  def aaload(pc: Int, index: DomainValue, arrayref: DomainValue): ArrayLoadResult

    Definition Classes

    GeneralizedArrayHandling → ReferenceValuesDomain

89.  def aastore(pc: Int, value: DomainValue, index: DomainValue, arrayref: DomainValue): ArrayStoreResult

    Definition Classes

    GeneralizedArrayHandling → ReferenceValuesDomain

90.  def abortProcessingExceptionsOfCalledMethodsOnUnknownException: Boolean

    Definition Classes

    ThrowAllPotentialExceptionsConfiguration → Configuration

91.  def abortProcessingThrownExceptionsOnUnknownException: Boolean

    Definition Classes

    ThrowAllPotentialExceptionsConfiguration → Configuration

92.  def abruptMethodExecution(pc: Int, exception: ExceptionValue): Unit

    Definition Classes

    DefaultHandlingForThrownExceptions → ReturnInstructionsDomain

93.  def abstractInterpretationEnded(aiResult: AIResult { val domain: AnalysisDomain.this.type }): Unit

    Definition Classes

    CoreDomainFunctionality

94.  def afterBaseJoin(pc: Int): Unit

    Attributes

    protected[this]

    Definition Classes

    JoinStabilization → CoreDomainFunctionality

95.  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

96.  def areturn(pc: Int, value: DomainValue): Computation[Nothing, ExceptionValue]

    Definition Classes

    DefaultHandlingForReturnInstructions → ReturnInstructionsDomain

97.  def arraylength(pc: Int, arrayref: DomainValue): Computation[DomainValue, ExceptionValue]

    Definition Classes

    TypeLevelReferenceValues → ReferenceValuesDomain

98.  def arrayload(pc: Int, index: DomainValue, arrayref: DomainValue): ArrayLoadResult

    Definition Classes

    TypeLevelReferenceValues → GeneralizedArrayHandling

99.  def arraystore(pc: Int, value: DomainValue, index: DomainValue, arrayref: DomainValue): ArrayStoreResult

    Definition Classes

    TypeLevelReferenceValues → GeneralizedArrayHandling

100.  def asArrayAbstraction(value: DomainValue): ArrayAbstraction

     Definition Classes

     TypeLevelReferenceValues

101.  final def asInstanceOf[T0]: T0

     Definition Classes

     Any

102.  def asObjectValue(value: DomainValue): DomainObjectValue

     Definition Classes

     TypeLevelReferenceValues

103.  def asReferenceValue(value: DomainValue): AReferenceValue

     Definition Classes

     TypeLevelReferenceValues

104.  def baload(pc: Int, index: DomainValue, arrayref: DomainValue): ArrayLoadResult

     Definition Classes

     GeneralizedArrayHandling → ReferenceValuesDomain

105.  def bastore(pc: Int, value: DomainValue, index: DomainValue, arrayref: DomainValue): ArrayStoreResult

     Definition Classes

     GeneralizedArrayHandling → ReferenceValuesDomain

106.  def beforeBaseJoin(pc: Int): Unit

     Attributes

     protected[this]

     Definition Classes

     CoreDomainFunctionality

107.  def caload(pc: Int, index: DomainValue, arrayref: DomainValue): ArrayLoadResult

     Definition Classes

     GeneralizedArrayHandling → ReferenceValuesDomain

108.  def castore(pc: Int, value: DomainValue, index: DomainValue, arrayref: DomainValue): ArrayStoreResult

     Definition Classes

     GeneralizedArrayHandling → ReferenceValuesDomain

109.  final def classFile: ClassFile

     Definition Classes

     TheMethod

     Annotations

     @inline()

110.  implicit final def classHierarchy: ClassHierarchy

     Definition Classes

     TheProject → TheClassHierarchy

     Annotations

     @inline()

111.  def clone(): AnyRef

     Attributes

     protected[java.lang]

     Definition Classes

     AnyRef

     Annotations

     @native() @throws( ... )

112.  final val code: Code

     Definition Classes

     TheMethod → TheCode

113.  def d2f(pc: Int, value: DomainValue): DomainValue

     Definition Classes

     TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain

114.  def d2i(pc: Int, value: DomainValue): DomainValue

     Definition Classes

     TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain

115.  def d2l(pc: Int, value: DomainValue): DomainValue

     Definition Classes

     TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain

116.  def dadd(pc: Int, value1: DomainValue, value2: DomainValue): DomainValue

     Definition Classes

     TypeLevelDoubleValues → DoubleValuesDomain

117.  def daload(pc: Int, index: DomainValue, arrayref: DomainValue): ArrayLoadResult

     Definition Classes

     GeneralizedArrayHandling → ReferenceValuesDomain

118.  def dastore(pc: Int, value: DomainValue, index: DomainValue, arrayref: DomainValue): ArrayStoreResult

     Definition Classes

     GeneralizedArrayHandling → ReferenceValuesDomain

119.  def dcmpg(pc: Int, value1: DomainValue, value2: DomainValue): DomainValue

     Definition Classes

     TypeLevelDoubleValues → DoubleValuesDomain

120.  def dcmpl(pc: Int, value1: DomainValue, value2: DomainValue): DomainValue

     Definition Classes

     TypeLevelDoubleValues → DoubleValuesDomain

121.  def ddiv(pc: Int, value1: DomainValue, value2: DomainValue): DomainValue

     Definition Classes

     TypeLevelDoubleValues → DoubleValuesDomain

122.  def dmul(pc: Int, value1: DomainValue, value2: DomainValue): DomainValue

     Definition Classes

     TypeLevelDoubleValues → DoubleValuesDomain

123.  def dneg(pc: Int, value: DomainValue): DomainValue

     Definition Classes

     TypeLevelDoubleValues → DoubleValuesDomain

124.  def doGetfield(pc: Int, objectref: DomainValue, fieldValue: DomainValue): Computation[DomainValue, ExceptionValue]

     Definition Classes

     TypeLevelFieldAccessInstructions

125.  def doGetstatic(pc: Int, fieldValue: DomainValue): Computation[DomainValue, Nothing]

     Definition Classes

     TypeLevelFieldAccessInstructions

126.  def drem(pc: Int, value1: DomainValue, value2: DomainValue): DomainValue

     Definition Classes

     TypeLevelDoubleValues → DoubleValuesDomain

127.  def dreturn(pc: Int, value: DomainValue): Computation[Nothing, ExceptionValue]

     Definition Classes

     DefaultHandlingForReturnInstructions → ReturnInstructionsDomain

128.  def dsub(pc: Int, value1: DomainValue, value2: DomainValue): DomainValue

     Definition Classes

     TypeLevelDoubleValues → DoubleValuesDomain

129.  def effectiveUTB(utb: UIDSet[_ <: ReferenceType]): UIDSet[_ <: ReferenceType]

     Attributes

     protected

     Definition Classes

     ReferenceValues

130.  final def eq(arg0: AnyRef): Boolean

     Definition Classes

     AnyRef

131.  def equals(arg0: Any): Boolean

     Definition Classes

     AnyRef → Any

132.  def evaluationCompleted(pc: Int, worklist: Chain[Int], evaluatedPCs: IntArrayStack, operandsArray: OperandsArray, localsArray: LocalsArray, tracer: Option[AITracer]): Unit

     Definition Classes

     CoreDomainFunctionality

133.  def f2d(pc: Int, value: DomainValue): DomainValue

     Definition Classes

     TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain

134.  def f2i(pc: Int, value: DomainValue): DomainValue

     Definition Classes

     TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain

135.  def f2l(pc: Int, value: DomainValue): DomainValue

     Definition Classes

     TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain

136.  def fadd(pc: Int, value1: DomainValue, value2: DomainValue): DomainValue

     Definition Classes

     TypeLevelFloatValues → FloatValuesDomain

137.  def faload(pc: Int, index: DomainValue, arrayref: DomainValue): ArrayLoadResult

     Definition Classes

     GeneralizedArrayHandling → ReferenceValuesDomain

138.  def fastore(pc: Int, value: DomainValue, index: DomainValue, arrayref: DomainValue): ArrayStoreResult

     Definition Classes

     GeneralizedArrayHandling → ReferenceValuesDomain

139.  def fcmpg(pc: Int, value1: DomainValue, value2: DomainValue): DomainValue

     Definition Classes

     TypeLevelFloatValues → FloatValuesDomain

140.  def fcmpl(pc: Int, value1: DomainValue, value2: DomainValue): DomainValue

     Definition Classes

     TypeLevelFloatValues → FloatValuesDomain

141.  def fdiv(pc: Int, value1: DomainValue, value2: DomainValue): DomainValue

     Definition Classes

     TypeLevelFloatValues → FloatValuesDomain

142.  def finalize(): Unit

     Attributes

     protected[java.lang]

     Definition Classes

     AnyRef

     Annotations

     @throws( classOf[java.lang.Throwable] )

143.  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

144.  def fmul(pc: Int, value1: DomainValue, value2: DomainValue): DomainValue

     Definition Classes

     TypeLevelFloatValues → FloatValuesDomain

145.  def fneg(pc: Int, value: DomainValue): DomainValue

     Definition Classes

     TypeLevelFloatValues → FloatValuesDomain

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

     Definition Classes

     Origin

147.  def frem(pc: Int, value1: DomainValue, value2: DomainValue): DomainValue

     Definition Classes

     TypeLevelFloatValues → FloatValuesDomain

148.  def freturn(pc: Int, value: DomainValue): Computation[Nothing, ExceptionValue]

     Definition Classes

     DefaultHandlingForReturnInstructions → ReturnInstructionsDomain

149.  def fsub(pc: Int, value1: DomainValue, value2: DomainValue): DomainValue

     Definition Classes

     TypeLevelFloatValues → FloatValuesDomain

150.  final def getClass(): Class[_]

     Definition Classes

     AnyRef → Any

     Annotations

     @native()

151.  def getPotentialExceptions(pc: Int): List[ExceptionValue]

     Attributes

     protected[this]

     Definition Classes

     MethodCallsHandling

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

     Definition Classes

     TypeLevelFieldAccessInstructions → FieldAccessesDomain

153.  def getstatic(pc: Int, declaringClass: ObjectType, fieldName: String, fieldType: FieldType): Computation[DomainValue, Nothing]

     Definition Classes

     TypeLevelFieldAccessInstructions → FieldAccessesDomain

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

     Attributes

     protected[this]

     Definition Classes

     MethodCallsHandling

155.  def handleInstanceBasedInvoke(pc: Int, methodDescriptor: MethodDescriptor, operands: Operands): MethodCallResult

     Attributes

     protected[this]

     Definition Classes

     MethodCallsHandling

156.  def handleInstanceBasedInvoke(pc: Int, methodDescriptor: MethodDescriptor, receiverIsNull: Answer): MethodCallResult

     Attributes

     protected[this]

     Definition Classes

     MethodCallsHandling

157.  def handleInvoke(pc: Int, methodDescriptor: MethodDescriptor): MethodCallResult

     Attributes

     protected[this]

     Definition Classes

     MethodCallsHandling

158.  def handleReturn(pc: Int): Computation[Nothing, ExceptionValue]

     Attributes

     protected[this]

     Definition Classes

     ReturnInstructionsDomain

159.  def hashCode(): Int

     Definition Classes

     AnyRef → Any

     Annotations

     @native()

160.  def i2b(pc: Int, value: DomainValue): DomainValue

     Definition Classes

     IntegerRangeValues → IntegerValuesDomain

161.  def i2c(pc: Int, value: DomainValue): DomainValue

     Definition Classes

     IntegerRangeValues → IntegerValuesDomain

162.  def i2d(pc: Int, value: DomainValue): DomainValue

     Definition Classes

     ConcretePrimitiveValuesConversions → TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain

163.  def i2f(pc: Int, value: DomainValue): DomainValue

     Definition Classes

     ConcretePrimitiveValuesConversions → TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain

164.  def i2l(pc: Int, value: DomainValue): DomainValue

     Definition Classes

     ConcretePrimitiveValuesConversions → TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain

165.  def i2s(pc: Int, value: DomainValue): DomainValue

     Definition Classes

     IntegerRangeValues → IntegerValuesDomain

166.  def iadd(pc: Int, value1: DomainValue, value2: DomainValue): DomainValue

     Definition Classes

     IntegerRangeValues → IntegerValuesDomain

167.  def iaload(pc: Int, index: DomainValue, arrayref: DomainValue): ArrayLoadResult

     Definition Classes

     GeneralizedArrayHandling → ReferenceValuesDomain

168.  def iand(pc: Int, value1: DomainValue, value2: DomainValue): DomainValue

     Definition Classes

     IntegerRangeValues → IntegerValuesDomain

169.  def iastore(pc: Int, value: DomainValue, index: DomainValue, arrayref: DomainValue): ArrayStoreResult

     Definition Classes

     GeneralizedArrayHandling → ReferenceValuesDomain

170.  def idiv(pc: Int, numerator: DomainValue, denominator: DomainValue): IntegerValueOrArithmeticException

     Definition Classes

     IntegerRangeValues → IntegerValuesDomain

171.  def iinc(pc: Int, value: DomainValue, increment: Int): DomainValue

     Definition Classes

     IntegerRangeValues → IntegerValuesDomain

172.  def imul(pc: Int, value1: DomainValue, value2: DomainValue): DomainValue

     Definition Classes

     IntegerRangeValues → IntegerValuesDomain

173.  def ineg(pc: Int, value: DomainValue): DomainValue

     Definition Classes

     IntegerRangeValues → IntegerValuesDomain

174.  def intAreEqual(pc: Int, value1: DomainValue, value2: DomainValue): Answer

     Definition Classes

     IntegerRangeValues → IntegerValuesDomain

175.  def intAreNotEqual(pc: Int, value1: DomainValue, value2: DomainValue): Answer

     Definition Classes

     IntegerValuesDomain

176.  def intEstablishAreEqual(pc: Int, value1: DomainValue, value2: DomainValue, operands: Operands, locals: Locals): (Operands, Locals)

     Definition Classes

     IntegerRangeValues → IntegerValuesDomain

177.  def intEstablishAreNotEqual(pc: Int, value1: DomainValue, value2: DomainValue, operands: Operands, locals: Locals): (Operands, Locals)

     Definition Classes

     IntegerRangeValues → IntegerValuesDomain

178.  def intEstablishIsLessThan(pc: Int, left: DomainValue, right: DomainValue, operands: Operands, locals: Locals): (Operands, Locals)

     Definition Classes

     IntegerRangeValues → IntegerValuesDomain

179.  def intEstablishIsLessThanOrEqualTo(pc: Int, left: DomainValue, right: DomainValue, operands: Operands, locals: Locals): (Operands, Locals)

     Definition Classes

     IntegerRangeValues → IntegerValuesDomain

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

     Definition Classes

     IntegerRangeValues → IntegerValuesDomain

181.  def intIs0(pc: Int, value: DomainValue): Answer

     Definition Classes

     IntegerValuesDomain

182.  def intIsGreaterThan(pc: Int, largerValue: DomainValue, smallerValue: DomainValue): Answer

     Definition Classes

     IntegerValuesDomain

183.  def intIsGreaterThan0(pc: Int, value: DomainValue): Answer

     Definition Classes

     IntegerValuesDomain

184.  def intIsGreaterThanOrEqualTo(pc: Int, largerOrEqualValue: DomainValue, smallerOrEqualValue: DomainValue): Answer

     Definition Classes

     IntegerValuesDomain

185.  def intIsGreaterThanOrEqualTo0(pc: Int, value: DomainValue): Answer

     Definition Classes

     IntegerValuesDomain

186.  def intIsLessThan(pc: Int, left: DomainValue, right: DomainValue): Answer

     Definition Classes

     IntegerRangeValues → IntegerValuesDomain

187.  def intIsLessThan0(pc: Int, value: DomainValue): Answer

     Definition Classes

     IntegerValuesDomain

188.  def intIsLessThanOrEqualTo(pc: Int, left: DomainValue, right: DomainValue): Answer

     Definition Classes

     IntegerRangeValues → IntegerValuesDomain

189.  def intIsLessThanOrEqualTo0(pc: Int, value: DomainValue): Answer

     Definition Classes

     IntegerValuesDomain

190.  def intIsNot0(pc: Int, value: DomainValue): Answer

     Definition Classes

     IntegerValuesDomain

191.  def intIsSomeValueInRange(pc: Int, value: DomainValue, lowerBound: Int, upperBound: Int): Answer

     Definition Classes

     IntegerRangeValues → IntegerValuesDomain

192.  def intIsSomeValueNotInRange(pc: Int, value: DomainValue, lowerBound: Int, upperBound: Int): Answer

     Definition Classes

     IntegerRangeValues → IntegerValuesDomain

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

     Definition Classes

     IntegerRangeValues → ConcreteIntegerValues

     Annotations

     @inline()

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

     Definition Classes

     IntegerRangeValues → ConcreteIntegerValues

     Annotations

     @inline()

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

     Attributes

     protected

     Definition Classes

     IntegerRangeValues

     Annotations

     @inline()

196.  def invokedynamic(pc: Int, bootstrapMethod: BootstrapMethod, name: String, methodDescriptor: MethodDescriptor, operands: Operands): MethodCallResult

     Definition Classes

     TypeLevelInvokeInstructions → MethodCallsDomain

197.  def invokeinterface(pc: Int, declaringClass: ObjectType, name: String, methodDescriptor: MethodDescriptor, operands: Operands): MethodCallResult

     Definition Classes

     TypeLevelInvokeInstructions → MethodCallsDomain

198.  def invokespecial(pc: Int, declaringClass: ObjectType, isInterface: Boolean, name: String, methodDescriptor: MethodDescriptor, operands: Operands): MethodCallResult

     Definition Classes

     TypeLevelInvokeInstructions → MethodCallsDomain

199.  def invokestatic(pc: Int, declaringClass: ObjectType, isInterface: Boolean, name: String, methodDescriptor: MethodDescriptor, operands: Operands): MethodCallResult

     Definition Classes

     TypeLevelInvokeInstructions → MethodCallsDomain

200.  def invokevirtual(pc: Int, declaringClass: ReferenceType, name: String, methodDescriptor: MethodDescriptor, operands: Operands): MethodCallResult

     Definition Classes

     TypeLevelInvokeInstructions → MethodCallsDomain

201.  def ior(pc: Int, value1: DomainValue, value2: DomainValue): DomainValue

     Definition Classes

     IntegerRangeValues → IntegerValuesDomain

202.  def irem(pc: Int, left: DomainValue, right: DomainValue): IntegerValueOrArithmeticException

     Definition Classes

     IntegerRangeValues → IntegerValuesDomain

203.  def ireturn(pc: Int, value: DomainValue): Computation[Nothing, ExceptionValue]

     Definition Classes

     DefaultHandlingForReturnInstructions → ReturnInstructionsDomain

204.  def isASubtypeOf(subtype: ReferenceType, supertype: ReferenceType): Answer

     Definition Classes

     TheClassHierarchy

205.  final def isInstanceOf[T0]: Boolean

     Definition Classes

     Any

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

     Attributes

     protected

     Definition Classes

     ReferenceValues

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

     Attributes

     protected

     Definition Classes

     ReferenceValues

208.  def isSubtypeOf(subtype: ReferenceType, supertype: ReferenceType): Boolean

     Definition Classes

     TheClassHierarchy

209.  final def isValueASubtypeOf(value: DomainValue, supertype: ReferenceType): Answer

     Definition Classes

     TypeLevelReferenceValues → ReferenceValuesDomain

210.  def ishl(pc: Int, value: DomainValue, shift: DomainValue): DomainValue

     Definition Classes

     IntegerRangeValues → IntegerValuesDomain

211.  def ishr(pc: Int, value: DomainValue, shift: DomainValue): DomainValue

     Definition Classes

     IntegerRangeValues → IntegerValuesDomain

212.  def isub(pc: Int, left: DomainValue, right: DomainValue): DomainValue

     Definition Classes

     IntegerRangeValues → IntegerValuesDomain

213.  def iushr(pc: Int, value: DomainValue, shift: DomainValue): DomainValue

     Definition Classes

     IntegerRangeValues → IntegerValuesDomain

214.  def ixor(pc: Int, value1: DomainValue, value2: DomainValue): DomainValue

     Definition Classes

     IntegerRangeValues → IntegerValuesDomain

215.  def join(pc: Int, thisOperands: Operands, thisLocals: Locals, otherOperands: Operands, otherLocals: Locals): Update[(Operands, Locals)]

     Definition Classes

     CoreDomainFunctionality

216.  def joinPostProcessing(updateType: UpdateType, pc: Int, oldOperands: Operands, oldLocals: Locals, newOperands: Operands, newLocals: Locals): Update[(Operands, Locals)]

     Attributes

     protected[this]

     Definition Classes

     IdentityBasedCorrelationChangeDetection → CoreDomainFunctionality

217.  def joinValues(pc: Int, left: DomainValue, right: DomainValue): Update[DomainValue]

     Attributes

     protected[this]

     Definition Classes

     JoinStabilization → CoreDomainFunctionality

218.  val joinedValues: HashMap[IdentityPair[AnyRef, AnyRef], Update[DomainValue]]

     Attributes

     protected[this]

     Definition Classes

     JoinStabilization

219.  def jumpToSubroutine(pc: Int, branchTarget: Int, returnTarget: Int): Unit

     Definition Classes

     SubroutinesDomain

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

     Definition Classes

     ReferenceValuesFactory

221.  def l2d(pc: Int, value: DomainValue): DomainValue

     Definition Classes

     ConcretePrimitiveValuesConversions → TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain

222.  def l2f(pc: Int, value: DomainValue): DomainValue

     Definition Classes

     ConcretePrimitiveValuesConversions → TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain

223.  def l2i(pc: Int, value: DomainValue): DomainValue

     Definition Classes

     ConcretePrimitiveValuesConversions → TypeLevelPrimitiveValuesConversions → PrimitiveValuesConversionsDomain

224.  def ladd(pc: Int, value1: DomainValue, value2: DomainValue): DomainValue

     Definition Classes

     LongValues → LongValuesDomain

225.  def laload(pc: Int, index: DomainValue, arrayref: DomainValue): ArrayLoadResult

     Definition Classes

     GeneralizedArrayHandling → ReferenceValuesDomain

226.  def land(pc: Int, value1: DomainValue, value2: DomainValue): DomainValue

     Definition Classes

     LongValues → LongValuesDomain

227.  def lastore(pc: Int, value: DomainValue, index: DomainValue, arrayref: DomainValue): ArrayStoreResult

     Definition Classes

     GeneralizedArrayHandling → ReferenceValuesDomain

228.  def lcmp(pc: Int, left: DomainValue, right: DomainValue): DomainValue

     Definition Classes

     LongValues → LongValuesDomain

229.  def ldiv(pc: Int, numerator: DomainValue, denominator: DomainValue): LongValueOrArithmeticException

     Definition Classes

     LongValues → LongValuesDomain

230.  def lmul(pc: Int, value1: DomainValue, value2: DomainValue): DomainValue

     Definition Classes

     LongValues → LongValuesDomain

231.  def lneg(pc: Int, value: DomainValue): DomainValue

     Definition Classes

     LongValues → LongValuesDomain

232.  implicit final def logContext: LogContext

     Definition Classes

     TheProject → LogContextProvider

233.  final def longValue[T](value: DomainValue)(ifThen: (Long) ⇒ T)(orElse: ⇒ T): T

     Definition Classes

     LongValues → ConcreteLongValues

     Annotations

     @inline()

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

     Definition Classes

     LongValues → ConcreteLongValues

     Annotations

     @inline()

235.  final def longValues[T](value1: DomainValue, value2: DomainValue)(ifThen: (Long, Long) ⇒ T)(orElse: ⇒ T): T

     Attributes

     protected

     Definition Classes

     LongValues

     Annotations

     @inline()

236.  def lor(pc: Int, value1: DomainValue, value2: DomainValue): DomainValue

     Definition Classes

     LongValues → LongValuesDomain

237.  def lrem(pc: Int, left: DomainValue, right: DomainValue): LongValueOrArithmeticException

     Definition Classes

     LongValues → LongValuesDomain

238.  def lreturn(pc: Int, value: DomainValue): Computation[Nothing, ExceptionValue]

     Definition Classes

     DefaultHandlingForReturnInstructions → ReturnInstructionsDomain

239.  def lshl(pc: Int, longValue: DomainValue, shiftValue: DomainValue): DomainTypedValue[LongType]

     Definition Classes

     LongValuesShiftOperators → LongValuesDomain

240.  def lshr(pc: Int, longValue: DomainValue, shiftValue: DomainValue): DomainTypedValue[LongType]

     Definition Classes

     LongValuesShiftOperators → LongValuesDomain

241.  def lsub(pc: Int, left: DomainValue, right: DomainValue): DomainValue

     Definition Classes

     LongValues → LongValuesDomain

242.  def lushr(pc: Int, longValue: DomainValue, shiftValue: DomainValue): DomainTypedValue[LongType]

     Definition Classes

     LongValuesShiftOperators → LongValuesDomain

243.  def lxor(pc: Int, value1: DomainValue, value2: DomainValue): DomainValue

     Definition Classes

     LongValues → LongValuesDomain

244.  def maxCardinalityOfIntegerRanges: Long

     Definition Classes

     IntegerRangeValues

245.  def mergeDEComputations(pc: Int, c1: Computation[DomainValue, ExceptionValue], c2: Computation[DomainValue, ExceptionValue]): Computation[DomainValue, ExceptionValue]

     Attributes

     protected[this]

     Definition Classes

     TypeLevelReferenceValues

246.  def mergeDEsComputations(pc: Int, c1: Computation[DomainValue, ExceptionValues], c2: Computation[DomainValue, ExceptionValues]): Computation[DomainValue, ExceptionValues]

     Attributes

     protected[this]

     Definition Classes

     TypeLevelReferenceValues

247.  def mergeDomainValues(pc: Int, v1: DomainValue, v2: DomainValue): DomainValue

     Definition Classes

     ValuesDomain

248.  def mergeEsComputations(pc: Int, c1: Computation[Nothing, ExceptionValues], c2: Computation[Nothing, ExceptionValues]): Computation[Nothing, ExceptionValues]

     Attributes

     protected[this]

     Definition Classes

     TypeLevelReferenceValues

249.  def mergeMultipleExceptionValues(pc: Int, v1s: ExceptionValues, v2s: ExceptionValues): ExceptionValues

     Definition Classes

     TypeLevelReferenceValues

250.  val method: Method

     Definition Classes

     AnalysisDomain → TheMethod

251.  def monitorenter(pc: Int, value: DomainValue): Computation[Nothing, ExceptionValue]

     Definition Classes

     IgnoreSynchronization → MonitorInstructionsDomain

252.  def monitorexit(pc: Int, value: DomainValue): Computation[Nothing, ExceptionValues]

     Definition Classes

     IgnoreSynchronization → MonitorInstructionsDomain

253.  def multianewarray(pc: Int, counts: Operands, arrayType: ArrayType): Computation[DomainArrayValue, ExceptionValue]

     Definition Classes

     TypeLevelReferenceValues → ReferenceValuesDomain

254.  final def ne(arg0: AnyRef): Boolean

     Definition Classes

     AnyRef

255.  def newarray(pc: Int, count: DomainValue, componentType: FieldType): Computation[DomainValue, ExceptionValue]

     Definition Classes

     TypeLevelReferenceValues → ReferenceValuesDomain

256.  def nextRefId(): RefId

     Definition Classes

     ReferenceValues

257.  final def notify(): Unit

     Definition Classes

     AnyRef

     Annotations

     @native()

258.  final def notifyAll(): Unit

     Definition Classes

     AnyRef

     Annotations

     @native()

259.  final def nullRefId: RefId

     Definition Classes

     ReferenceValues

260.  def origins(value: DomainValue): ValueOrigins

     Definition Classes

     Origin

261.  def originsIterator(value: DomainValue): ValueOriginsIterator

     Definition Classes

     Origin

262.  val project: Project[URL]

     Definition Classes

     AnalysisDomain → TheProject

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

     Definition Classes

     ValuesDomain

264.  final lazy val propertyStore: PropertyStore

     Definition Classes

     TheProject → ThePropertyStore

265.  def providesOriginInformationFor(ct: ComputationalType): Boolean

     Definition Classes

     ReferenceValues → Origin

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

     Definition Classes

     TypeLevelFieldAccessInstructions → FieldAccessesDomain

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

     Definition Classes

     TypeLevelFieldAccessInstructions → FieldAccessesDomain

268.  def refAreEqual(pc: Int, v1: DomainValue, v2: DomainValue): Answer

     Definition Classes

     ReferenceValues → TypeLevelReferenceValues → ReferenceValuesDomain

269.  def refAreNotEqual(pc: Int, value1: DomainValue, value2: DomainValue): Answer

     Definition Classes

     ReferenceValuesDomain

270.  def refEstablishAreEqual(pc: Int, value1: DomainValue, value2: DomainValue, operands: Operands, locals: Locals): (Operands, Locals)

     Definition Classes

     ReferenceValuesDomain

271.  def refEstablishAreNotEqual(pc: Int, value1: DomainValue, value2: DomainValue, operands: Operands, locals: Locals): (Operands, Locals)

     Definition Classes

     ReferenceValuesDomain

272.  def refEstablishIsNonNull(pc: Int, value: DomainValue, operands: Operands, locals: Locals): (Operands, Locals)

     Definition Classes

     ReferenceValues → ReferenceValuesDomain

273.  def refEstablishIsNull(pc: Int, value: DomainValue, operands: Operands, locals: Locals): (Operands, Locals)

     Definition Classes

     ReferenceValues → ReferenceValuesDomain

274.  def refIsNonNull(pc: Int, value: DomainValue): Answer

     Definition Classes

     ReferenceValuesDomain

275.  final def refIsNull(pc: Int, value: DomainValue): Answer

     Definition Classes

     TypeLevelReferenceValues → ReferenceValuesDomain

276.  def refSetUpperTypeBoundOfTopOperand(pc: Int, bound: ReferenceType, operands: Operands, locals: Locals): (Operands, Locals)

     Definition Classes

     ReferenceValues → TypeLevelReferenceValues → ReferenceValuesDomain

277.  def refTopOperandIsNull(pc: Int, operands: Operands, locals: Locals): (Operands, Locals)

     Definition Classes

     ReferenceValues → TypeLevelReferenceValues → ReferenceValuesDomain

278.  def refineIsNull(pc: Int, value: DomainValue, isNull: Answer, operands: Operands, locals: Locals): (Operands, Locals)

     Attributes

     protected[this]

     Definition Classes

     ReferenceValues

279.  def returnFromSubroutine(pc: Int, lvIndex: Int): Unit

     Definition Classes

     SubroutinesDomain

280.  def returnVoid(pc: Int): Computation[Nothing, ExceptionValue]

     Definition Classes

     DefaultHandlingOfVoidReturns → ReturnInstructionsDomain

281.  def saload(pc: Int, index: DomainValue, arrayref: DomainValue): ArrayLoadResult

     Definition Classes

     GeneralizedArrayHandling → ReferenceValuesDomain

282.  def sastore(pc: Int, value: DomainValue, index: DomainValue, arrayref: DomainValue): ArrayStoreResult

     Definition Classes

     GeneralizedArrayHandling → ReferenceValuesDomain

283.  def schedule(successorPC: Int, abruptSubroutineTerminationCount: Int, worklist: Chain[Int]): Chain[Int]

     Attributes

     protected[this]

     Definition Classes

     CoreDomainFunctionality

284.  def sideEffectOnlyOrExceptions(pc: Int, value: DomainValue): Computation[Nothing, ExceptionValue]

     Attributes

     protected[this]

     Definition Classes

     IgnoreSynchronization

285.  def summarize(pc: Int, values: Iterable[DomainValue]): DomainValue

     Definition Classes

     ValuesDomain

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

     Definition Classes

     AnyRef

287.  def throwArithmeticExceptions: Boolean

     Definition Classes

     ThrowAllPotentialExceptionsConfiguration → Configuration

288.  def throwArrayIndexOutOfBoundsException: Boolean

     Definition Classes

     ThrowAllPotentialExceptionsConfiguration → Configuration

289.  def throwArrayStoreException: Boolean

     Definition Classes

     ThrowAllPotentialExceptionsConfiguration → Configuration

290.  def throwClassCastException: Boolean

     Definition Classes

     ThrowAllPotentialExceptionsConfiguration → Configuration

291.  def throwClassNotFoundException: Boolean

     Definition Classes

     ThrowAllPotentialExceptionsConfiguration → Configuration

292.  def throwExceptionsOnMethodCall: ExceptionsRaisedByCalledMethod

     Definition Classes

     ThrowAllPotentialExceptionsConfiguration → Configuration

293.  def throwIllegalMonitorStateException: Boolean

     Definition Classes

     ThrowAllPotentialExceptionsConfiguration → Configuration

294.  def throwNegativeArraySizeException: Boolean

     Definition Classes

     ThrowAllPotentialExceptionsConfiguration → Configuration

295.  def throwNullPointerExceptionOnArrayAccess: Boolean

     Definition Classes

     ThrowAllPotentialExceptionsConfiguration → Configuration

296.  def throwNullPointerExceptionOnFieldAccess: Boolean

     Definition Classes

     ThrowAllPotentialExceptionsConfiguration → Configuration

297.  def throwNullPointerExceptionOnMethodCall: Boolean

     Definition Classes

     ThrowAllPotentialExceptionsConfiguration → Configuration

298.  def throwNullPointerExceptionOnMonitorAccess: Boolean

     Definition Classes

     ThrowAllPotentialExceptionsConfiguration → Configuration

299.  def throwNullPointerExceptionOnThrow: Boolean

     Definition Classes

     ThrowAllPotentialExceptionsConfiguration → Configuration

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

     Definition Classes

     ReferenceValuesFactory

301.  def toJavaObject(pc: Int, value: DomainValue): Option[AnyRef]

     Definition Classes

     ReferenceValues → TypeLevelReferenceValues → AsJavaObject

302.  def toString(): String

     Definition Classes

     TheMethod → AnyRef → Any

303.  def typeOfValue(value: DomainValue): ValueInformation

     Definition Classes

     ValuesDomain

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

     Definition Classes

     CoreDomainFunctionality

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

     Definition Classes

     ReferenceValues

306.  final def wait(): Unit

     Definition Classes

     AnyRef

     Annotations

     @throws( ... )

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

     Definition Classes

     AnyRef

     Annotations

     @throws( ... )

308.  final def wait(arg0: Long): Unit

     Definition Classes

     AnyRef

     Annotations

     @native() @throws( ... )

309.  object ConcreteIntegerValue

     Definition Classes

     ConcreteIntegerValues

310.  object MultipleReferenceValues

     Definition Classes

     ReferenceValues