Class/Object

org.opalj.ai.fpcf

MethodReturnValue

Related Docs: object MethodReturnValue | package fpcf

Permalink

case class MethodReturnValue extends Property with MethodReturnValuePropertyMetaInformation with Product with Serializable

Stores the information about the value (always) returned by a specific method. Overridden methods are generally not taken into account.

In the worst case the information about the return value is just the declared type.

Source
MethodReturnValue.scala
Linear Supertypes
Serializable, Serializable, Product, Equals, MethodReturnValuePropertyMetaInformation, Property, PropertyMetaInformation, PropertyKind, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. MethodReturnValue
  2. Serializable
  3. Serializable
  4. Product
  5. Equals
  6. MethodReturnValuePropertyMetaInformation
  7. Property
  8. PropertyMetaInformation
  9. PropertyKind
  10. AnyRef
  11. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new MethodReturnValue(returnValue: Domain.Value)

    Permalink

Type Members

  1. final type Self = MethodReturnValue

    Permalink

Value Members

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

    Permalink
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  4. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  5. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  6. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  7. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  8. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
  9. final def id: Int

    Permalink

    The id uniquely identifies this property's category.

    The id uniquely identifies this property's category. All property objects of the same kind have to use the same id which is guaranteed since they share the same PropertyKey

    Definition Classes
    PropertyMetaInformationPropertyKind
  10. final def isFinal: Boolean

    Permalink

    Returns true if this property is always final and no refinement is possible.

    Returns true if this property is always final and no refinement is possible.

    Definition Classes
    Property
  11. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  12. final def isRefineable: Boolean

    Permalink

    Returns true if the current property may be refined in the future and it is therefore necessary to wait for updates.

    Returns true if the current property may be refined in the future and it is therefore necessary to wait for updates.

    Definition Classes
    MethodReturnValueProperty
  13. final def key: PropertyKey[MethodReturnValue]

    Permalink

    The key uniquely identifies this property's category.

    The key uniquely identifies this property's category. All property objects of the same kind have to use the same key.

    In general each Property kind is expected to have a companion object that stores the unique PropertyKey.

    Definition Classes
    MethodReturnValuePropertyMetaInformation
  14. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  15. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  16. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
  17. val returnValue: Option[Domain.Value]

    Permalink

    The value returned by the method when the method does not throw an exception.

    The value returned by the method when the method does not throw an exception. If the method always throws an exception, then the returnValue is None.

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

    Permalink
    Definition Classes
    AnyRef
  19. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  20. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  21. final def wait(arg0: Long): Unit

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

Inherited from Serializable

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from Property

Inherited from PropertyMetaInformation

Inherited from PropertyKind

Inherited from AnyRef

Inherited from Any

Ungrouped