Packages

p

org.opalj

value

package value

Provides a general query interface for querying a value's properties.

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. value
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. case class AReferenceValue(referenceType: ReferenceType) extends IsReferenceValue with Product with Serializable
  2. trait IsBooleanValue extends IsPrimitiveValue[BooleanType]
  3. trait IsByteValue extends IsPrimitiveValue[ByteType]
  4. trait IsCharValue extends IsPrimitiveValue[CharType]
  5. trait IsDoubleValue extends IsPrimitiveValue[DoubleType]
  6. trait IsFloatValue extends IsPrimitiveValue[FloatType]
  7. trait IsIntegerValue extends IsPrimitiveValue[IntegerType]
  8. trait IsLongValue extends IsPrimitiveValue[LongType]
  9. sealed trait IsPrimitiveValue[T <: BaseType] extends KnownTypedValue

    The value has the primitive type.

  10. trait IsReferenceValue extends KnownTypedValue

    Describes the essential properties of a reference value in a program.

    Describes the essential properties of a reference value in a program.

    For example, in the following:

    val o = If(...) new Object() else "STRING"

    o is a reference value (IsReferenceValue) that (may) refers to two "simple" base values: new Object() and "STRING"; however, it is a decision of the underlying domain whether the information about the base values is made available or not. Furthermore, if the base values are actually used, the constraints in effect for the overall abstraction should be considered to get the most precise result.

  11. trait IsReturnAddressValue extends KnownTypedValue
  12. trait IsShortValue extends IsPrimitiveValue[ShortType]
  13. trait KnownTypedValue extends KnownValue
  14. sealed trait KnownValue extends ValueInformation
  15. sealed trait ValueInformation extends AnyRef

    Encapsulates the available type information about a DomainValue.

Value Members

  1. object ABooleanValue extends IsBooleanValue with Product with Serializable
  2. object AByteValue extends IsByteValue with Product with Serializable
  3. object ACharValue extends IsCharValue with Product with Serializable
  4. object ADoubleValue extends IsDoubleValue with Product with Serializable
  5. object AFloaValue extends IsFloatValue with Product with Serializable
  6. object ALongValue extends IsLongValue with Product with Serializable
  7. object AShortValue extends IsShortValue with Product with Serializable
  8. object AnIntegerValue extends IsIntegerValue with Product with Serializable
  9. object BaseReferenceValues

    Defines an extractor method for instances of IsReferenceValue objects.

    Defines an extractor method for instances of IsReferenceValue objects.

    Note

    To ensure that the generic type can be matched, it may be necessary to first cast a generic org.opalj.ai.ValuesDomain.DomainValue to a org.opalj.ai.ValuesDomain.DomainReferenceValue.

    val d : Domain = ...
val d.DomainReferenceValue(v) = /*some domain value; e.g., operands.head*/
val BaseReferenceValues(values) = v
values...
  10. object IsNullValue

    Defines and extractor for the null-property of reference values.

  11. object IsPrimitiveValue
  12. object TypeOfReferenceValue

    Extractor for instances of IsReferenceValue objects.

  13. object UnknownValue extends ValueInformation with Product with Serializable

    Specifies that no type information is available.

    Specifies that no type information is available.

    Note

    Recall that the computational type of a value always has to be available, but that a ValuesDomain.typeOfValue(...) query does not need to take the computational type into account. (Whenever the core framework requires the computational type of a value it uses the respective method.) However, in case that the underlying value may be an array or exception value the reported type must not be TypeUnknown.

  14. object ValueInformation
  15. object VoidValue extends KnownValue

Inherited from AnyRef

Inherited from Any

Ungrouped