Packages

object VirtualMethodEscapeProperty extends VirtualMethodEscapePropertyMetaInformation with Serializable

Represents the EscapeProperty for org.opalj.br.analyses.VirtualFormalParameter objects as entity. The underlying property is an aggregation of escape properties of the underlying parameters of the concrete methods.

Source
VirtualMethodEscapeProperty.scala
Linear Supertypes
Serializable, VirtualMethodEscapePropertyMetaInformation, PropertyMetaInformation, PropertyKind, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. VirtualMethodEscapeProperty
  2. Serializable
  3. VirtualMethodEscapePropertyMetaInformation
  4. PropertyMetaInformation
  5. PropertyKind
  6. AnyRef
  7. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Value Members

  1. final val VAtMostEscapeInCallee: VirtualMethodEscapeProperty
  2. final val VAtMostEscapeViaAbnormalReturn: VirtualMethodEscapeProperty
  3. final val VAtMostEscapeViaNormalAndAbnormalReturn: VirtualMethodEscapeProperty
  4. final val VAtMostEscapeViaParameter: VirtualMethodEscapeProperty
  5. final val VAtMostEscapeViaParameterAndAbnormalReturn: VirtualMethodEscapeProperty
  6. final val VAtMostEscapeViaParameterAndNormalAndAbnormalReturn: VirtualMethodEscapeProperty
  7. final val VAtMostEscapeViaParameterAndReturn: VirtualMethodEscapeProperty
  8. final val VAtMostEscapeViaReturn: VirtualMethodEscapeProperty
  9. final val VAtMostNoEscape: VirtualMethodEscapeProperty
  10. final val VEscapeInCallee: VirtualMethodEscapeProperty
  11. final val VEscapeViaAbnormalReturn: VirtualMethodEscapeProperty
  12. final val VEscapeViaHeapObject: VirtualMethodEscapeProperty
  13. final val VEscapeViaNormalAndAbnormalReturn: VirtualMethodEscapeProperty
  14. final val VEscapeViaParameter: VirtualMethodEscapeProperty
  15. final val VEscapeViaParameterAndAbnormalReturn: VirtualMethodEscapeProperty
  16. final val VEscapeViaParameterAndNormalAndAbnormalReturn: VirtualMethodEscapeProperty
  17. final val VEscapeViaParameterAndReturn: VirtualMethodEscapeProperty
  18. final val VEscapeViaReturn: VirtualMethodEscapeProperty
  19. final val VEscapeViaStaticField: VirtualMethodEscapeProperty
  20. final val VGlobalEscape: VirtualMethodEscapeProperty
  21. final val VNoEscape: VirtualMethodEscapeProperty
  22. def apply(escapeProperty: EscapeProperty): VirtualMethodEscapeProperty
  23. final def id: Int

    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
    PropertyMetaInformation → PropertyKind
  24. final val key: PropertyKey[VirtualMethodEscapeProperty]

    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
    VirtualMethodEscapeProperty → PropertyMetaInformation