Packages

  • package root
    Definition Classes
    root
  • package org
    Definition Classes
    root
  • package opalj

    OPAL is a Scala-based framework for the static analysis, manipulation and creation of Java bytecode.

    OPAL is a Scala-based framework for the static analysis, manipulation and creation of Java bytecode. OPAL is designed with performance, scalability and adaptability in mind.

    Its main components are:

    • a library (Common) which provides generally useful data-structures and algorithms for static analyses.
    • a framework for implementing lattice based static analyses (Static Analysis Infrastructure)
    • a framework for parsing Java bytecode (Bytecode Infrastructure - org.opalj.bi) that can be used to create arbitrary representations.
    • a library to create a one-to-one in-memory representation of Java bytecode (Bytecode Disassembler - org.opalj.da).
    • a library to convert this representation to Java class files (Bytecode Creator - org.opalj.bc).
    • a library to create a representation of Java bytecode that facilitates writing simple static analyses (Bytecode Representation - org.opalj.br).
    • a library to create a stackless, three-address code representation of Java bytecode that facilitates writing complex static analyses (Three Address Code - org.opalj.tac).
    • a scalable, easily customizable framework for the abstract interpretation of Java bytecode (Abstract Interpretation Framework - org.opalj.ai).
    • a library to extract dependencies between code elements (Dependencies Extraction - org.opalj.de) and to facilitate checking architecture definitions (Architecture Validation - org.opalj.av).
    • a library for the lightweight manipulation and creation of Java bytecode (Bytecode Assembler - org.opalj.ba).
    • a library for parsing Android packages (APK - org.opalj.apk).
    • libraries for writing static analyses using the interprocedural finite distributive subset (IFDS - org.opalj.ifds) and interprocedural distributive environment (IDE - org.opal.ide) algorithms.

    General Design Decisions

    Thread Safety

    Unless explicitly noted, OPAL is thread safe. I.e., the classes defined by OPAL can be considered to be thread safe unless otherwise stated. (For example, it is possible to read and process class files concurrently without explicit synchronization on the client side.)

    No null Values

    Unless explicitly noted, OPAL does not null values I.e., fields that are accessible will never contain null values and methods will never return null. If a method accepts null as a value for a parameter or returns a null value it is always explicitly documented. In general, the behavior of methods that are passed null values is undefined unless explicitly documented.

    No Typecasts for Collections

    For efficiency reasons, OPAL sometimes uses mutable data-structures internally. After construction time, these data-structures are generally represented using their generic interfaces (e.g., scala.collection.{Set,Map}). However, a downcast (e.g., to add/remove elements) is always forbidden as it would effectively prevent thread-safety.

    Assertions

    OPAL makes heavy use of Scala's Assertion Facility to facilitate writing correct code. Hence, for production builds (after thorough testing(!)) it is highly recommend to build OPAL again using -Xdisable-assertions.

    Definition Classes
    org
  • package tac

    Common definitions related to the definition and processing of three address code.

    Common definitions related to the definition and processing of three address code.

    Definition Classes
    opalj
  • package fpcf
    Definition Classes
    tac
  • package analyses
    Definition Classes
    fpcf
  • package alias
    Definition Classes
    analyses
  • package pointsto
    Definition Classes
    alias
  • AbstractPointsToBasedAliasAnalysis
  • AllocationSitePointsToBasedAliasAnalysis
  • AllocationSitePointsToBasedAliasAnalysisState
  • LazyAllocationSitePointsToBasedAliasAnalysisScheduler
  • LazyTypePointsToBasedAliasAnalysisScheduler
  • PointsToBasedAliasAnalysisScheduler
  • PointsToBasedAliasAnalysisState
  • TypePointsToBasedAliasAnalysis
  • TypePointsToBasedAliasAnalysisState
c

org.opalj.tac.fpcf.analyses.alias.pointsto

AllocationSitePointsToBasedAliasAnalysis

class AllocationSitePointsToBasedAliasAnalysis extends AbstractPointsToBasedAliasAnalysis with AbstractPointsToAnalysis with AllocationSiteBasedAnalysis with AllocationSiteAndTacBasedAliasAnalysis

Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. AllocationSitePointsToBasedAliasAnalysis
  2. AllocationSiteAndTacBasedAliasAnalysis
  3. AllocationSiteBasedAliasAnalysis
  4. AllocationSiteBasedAnalysis
  5. AbstractPointsToAnalysis
  6. ReachableMethodAnalysis
  7. PointsToAnalysisBase
  8. TypeConsumerAnalysis
  9. AbstractPointsToBasedAliasAnalysis
  10. SetBasedAliasAnalysis
  11. AbstractPointsToBasedAnalysis
  12. ContextualAnalysis
  13. TacBasedAliasAnalysis
  14. AbstractAliasAnalysis
  15. FPCFAnalysis
  16. ProjectBasedAnalysis
  17. FPCFAnalysis
  18. ProjectBasedAnalysis
  19. AnyRef
  20. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Instance Constructors

  1. new AllocationSitePointsToBasedAliasAnalysis(project: SomeProject)

    project

    The project

Type Members

  1. type AliasElementType = (Context, PC)
    Attributes
    protected[this]
    Definition Classes
    AllocationSiteBasedAliasAnalysis → SetBasedAliasAnalysis
  2. type AliasSet = AllocationSiteBasedAliasSet
    Attributes
    protected[this]
    Definition Classes
    AllocationSiteBasedAliasAnalysis → SetBasedAliasAnalysis
  3. type AnalysisContext = AliasAnalysisContext
    Attributes
    protected[this]
    Definition Classes
    AbstractPointsToBasedAliasAnalysis → AbstractAliasAnalysis
  4. type AnalysisState = AllocationSitePointsToBasedAliasAnalysisState
    Attributes
    protected[this]
    Definition Classes
    AllocationSitePointsToBasedAliasAnalysis → AllocationSiteAndTacBasedAliasAnalysis → AllocationSiteBasedAliasAnalysis → AbstractPointsToBasedAliasAnalysis → SetBasedAliasAnalysis → TacBasedAliasAnalysis → AbstractAliasAnalysis
  5. type ContextType = cg.TypeIterator.ContextType
    Definition Classes
    TypeConsumerAnalysis
  6. type DependerType = AnyRef
    Attributes
    protected[this]
    Definition Classes
    PointsToAnalysisBase → AbstractPointsToBasedAnalysis
  7. type ElementType = Long
    Attributes
    protected[this]
    Definition Classes
    AllocationSiteBasedAnalysis → AbstractPointsToBasedAnalysis
  8. type PointsToSet = AllocationSitePointsToSet
    Attributes
    protected[this]
    Definition Classes
    AllocationSiteBasedAnalysis → AbstractPointsToBasedAnalysis
  9. type PropertyType = cg.TypeIterator.PropertyType
    Definition Classes
    TypeConsumerAnalysis
  10. type State = PointsToAnalysisState[ElementType, PointsToSet, ContextType]
    Attributes
    protected[this]
    Definition Classes
    PointsToAnalysisBase → AbstractPointsToBasedAnalysis
  11. type Tac = TACode[TACMethodParameter, DUVar[ValueInformation]]
    Attributes
    protected[this]
    Definition Classes
    AbstractAliasAnalysis

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 def analyze(declaredMethod: DeclaredMethod): PropertyComputationResult
    Definition Classes
    ReachableMethodAnalysis
  5. def analyzeTAC()(implicit context: AnalysisContext, state: AnalysisState): ProperPropertyComputationResult

    Computes the alias relation of the org.opalj.br.fpcf.properties.alias.AliasEntity using the TAC representation of the corresponding methods.

    Computes the alias relation of the org.opalj.br.fpcf.properties.alias.AliasEntity using the TAC representation of the corresponding methods.

    This method is called when the TACs of the methods of both elements are available. If an element is not method bound, it is not considered.

    returns

    The result of the computation.

    Attributes
    protected[this]
    Definition Classes
    AbstractPointsToBasedAliasAnalysis → TacBasedAliasAnalysis
  6. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  7. final def ch: ClassHierarchy
    Definition Classes
    ProjectBasedAnalysis
  8. def checkMustAlias(intersectingElement: AliasElementType)(implicit state: AnalysisState, context: AnalysisContext): Boolean

    Checks if the current analysis state allows for a MustAlias relation between the two elements.

    Checks if the current analysis state allows for a MustAlias relation between the two elements. It assumes the the given element is the only intersection between the two points-to sets.

    This method always returns false and should be overriden if more precise must alias checks can be performed.

    intersectingElement

    The only between the two points-to sets.

    returns

    true if the two elements can be a MustAlias, false otherwise.

    Attributes
    protected[this]
    Definition Classes
    AllocationSiteAndTacBasedAliasAnalysis → SetBasedAliasAnalysis
  9. implicit final def classHierarchy: ClassHierarchy
    Definition Classes
    ProjectBasedAnalysis
  10. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native() @IntrinsicCandidate()
  11. implicit val contextProvider: ContextProvider
    Definition Classes
    TypeConsumerAnalysis
  12. def continuation(someEPS: SomeEPS)(implicit context: AnalysisContext, state: AnalysisState): ProperPropertyComputationResult

    Continues the computation when any depending property is updated.

    Continues the computation when any depending property is updated.

    Attributes
    protected[this]
    Definition Classes
    AbstractPointsToBasedAliasAnalysis → TacBasedAliasAnalysis → AbstractAliasAnalysis
  13. def continuationForNewAllocationSitesAtArrayLoad(defSiteObject: Entity, arrayType: ArrayType, filter: (ReferenceType) => Boolean, dependees: Map[SomeEPK, (SomeEOptionP, (ReferenceType) => Boolean)], state: State)(eps: SomeEPS): ProperPropertyComputationResult
    Attributes
    protected[this]
    Definition Classes
    PointsToAnalysisBase
  14. def continuationForNewAllocationSitesAtArrayStore(knownPointsTo: PointsToSet, rhsDefSitesEPS: Map[SomeEPK, SomeEOptionP], arrayType: ArrayType, dependees: Map[SomeEPK, (SomeEOptionP, (ReferenceType) => Boolean)], state: State)(eps: SomeEPS): ProperPropertyComputationResult
    Attributes
    protected[this]
    Definition Classes
    PointsToAnalysisBase
  15. def continuationForNewAllocationSitesAtGetField(defSiteObject: Entity, fieldOpt: Option[DeclaredField], filter: (ReferenceType) => Boolean, dependees: Map[SomeEPK, (SomeEOptionP, (ReferenceType) => Boolean)], state: State)(eps: SomeEPS): ProperPropertyComputationResult
    Attributes
    protected[this]
    Definition Classes
    PointsToAnalysisBase
  16. def continuationForNewAllocationSitesAtPutField(knownPointsTo: PointsToSet, rhsDefSitesEPS: Map[SomeEPK, SomeEOptionP], fieldOpt: Option[DeclaredField], dependees: Map[SomeEPK, (SomeEOptionP, (ReferenceType) => Boolean)], state: State)(eps: SomeEPS): ProperPropertyComputationResult
    Attributes
    protected[this]
    Definition Classes
    PointsToAnalysisBase
  17. def continuationForShared(e: Entity, dependees: Map[SomeEPK, (SomeEOptionP, (ReferenceType) => Boolean)], state: State)(eps: SomeEPS): ProperPropertyComputationResult
    Attributes
    protected[this]
    Definition Classes
    AbstractPointsToAnalysis → PointsToAnalysisBase
  18. def continuationForTAC(declaredMethod: DeclaredMethod)(someEPS: SomeEPS): ProperPropertyComputationResult
    Attributes
    protected
    Definition Classes
    ReachableMethodAnalysis
  19. def createContext(entity: AliasEntity): AnalysisContext

    Creates the context to use for the computation.

    Creates the context to use for the computation.

    Attributes
    protected[this]
    Definition Classes
    AbstractPointsToBasedAliasAnalysis → AbstractAliasAnalysis
  20. def createPartialResults(e: Entity, newPointsToSet: PointsToSet, newDependees: Map[SomeEPK, (SomeEOptionP, (ReferenceType) => Boolean)], updatePointsTo: (PointsToSet) => PointsToSet, isUpdate: Boolean = false)(implicit state: State): Seq[ProperPropertyComputationResult]
    Attributes
    protected[this]
    Definition Classes
    PointsToAnalysisBase
    Annotations
    @inline()
  21. def createPointsToSet(pc: Int, callContext: ContextType, allocatedType: ReferenceType, isConstant: Boolean, isEmptyArray: Boolean = false): AllocationSitePointsToSet
    Attributes
    protected[this]
    Definition Classes
    AllocationSiteBasedAnalysis → AbstractPointsToBasedAnalysis
  22. def createResult()(implicit state: AnalysisState, context: AnalysisContext): ProperPropertyComputationResult

    Creates the result of the analysis based on the current state.

    Creates the result of the analysis based on the current state.

    Attributes
    protected[this]
    Definition Classes
    SetBasedAliasAnalysis → AbstractAliasAnalysis
  23. def createResults(implicit state: State): ArrayBuffer[ProperPropertyComputationResult]
    Attributes
    protected[this]
    Definition Classes
    AbstractPointsToAnalysis → PointsToAnalysisBase
  24. def createState: AnalysisState

    Creates the state to use for the computation.

    Creates the state to use for the computation.

    Attributes
    protected[this]
    Definition Classes
    AllocationSitePointsToBasedAliasAnalysis → AbstractAliasAnalysis
  25. def currentPointsTo(depender: Entity, dependee: Entity, typeFilter: (ReferenceType) => Boolean)(implicit state: State): PointsToSet
    Attributes
    protected[this]
    Definition Classes
    PointsToAnalysisBase
    Annotations
    @inline()
  26. def currentPointsToOfDefSite(depender: DependerType, dependeeDefSite: Int, typeFilter: (ReferenceType) => Boolean = PointsToSetLike.noFilter)(implicit state: State): PointsToSet
    Attributes
    protected[this]
    Definition Classes
    PointsToAnalysisBase
    Annotations
    @inline()
  27. def currentPointsToOfDefSites(depender: DependerType, defSites: IntTrieSet, typeFilter: (ReferenceType) => Boolean = PointsToSetLike.noFilter)(implicit state: State): Iterator[PointsToSet]
    Attributes
    protected[this]
    Definition Classes
    PointsToAnalysisBase
    Annotations
    @inline()
  28. implicit val declaredFields: DeclaredFields
    Attributes
    protected[this]
    Definition Classes
    AbstractPointsToBasedAnalysis
  29. implicit val declaredMethods: DeclaredMethods
    Attributes
    protected
    Definition Classes
    ReachableMethodAnalysis
  30. implicit val definitionSites: DefinitionSites
    Attributes
    protected[this]
    Definition Classes
    AbstractPointsToBasedAnalysis
  31. def determineAlias(e: Entity): ProperPropertyComputationResult

    Determines the alias relation for the given entity.

    Determines the alias relation for the given entity.

    e

    The entity to determine the aliasing information for.

    returns

    The result of the computation.

    Definition Classes
    AbstractAliasAnalysis
  32. def doDetermineAlias(implicit context: AnalysisContext, state: AnalysisState): ProperPropertyComputationResult

    Called to determine the alias relation for the given entity.

    Called to determine the alias relation for the given entity.

    This method is implemented by the concrete alias analysis.

    context

    The context to determine the aliasing information for.

    state

    The state to use for the computation.

    Definition Classes
    TacBasedAliasAnalysis → AbstractAliasAnalysis
  33. def emptyPointsToSet: AllocationSitePointsToSet
    Attributes
    protected[this]
    Definition Classes
    AllocationSiteBasedAnalysis → AbstractPointsToBasedAnalysis
    Annotations
    @inline()
  34. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  35. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  36. implicit val formalParameters: VirtualFormalParameters
    Attributes
    protected[this]
    Definition Classes
    AbstractPointsToBasedAnalysis
  37. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @IntrinsicCandidate()
  38. def getDefSite(pc: Int)(implicit state: State): Entity
    Attributes
    protected[this]
    Definition Classes
    PointsToAnalysisBase
    Annotations
    @inline()
  39. def getFormalParameter(index: Int, formalParameters: ArraySeq[VirtualFormalParameter], context: Context): Entity
    Attributes
    protected[this]
    Definition Classes
    PointsToAnalysisBase
    Annotations
    @inline()
  40. def getTypeIdOf(element: br.fpcf.properties.pointsto.AllocationSite): Int
    Attributes
    protected[this]
    Definition Classes
    AllocationSiteBasedAnalysis → AbstractPointsToBasedAnalysis
    Annotations
    @inline()
  41. def getTypeOf(element: br.fpcf.properties.pointsto.AllocationSite): ReferenceType
    Attributes
    protected[this]
    Definition Classes
    AllocationSiteBasedAnalysis → AbstractPointsToBasedAnalysis
    Annotations
    @inline()
  42. def handleArrayLoad(arrayType: ArrayType, pc: Int, arrayDefSites: IntTrieSet, checkForCast: Boolean = true)(implicit state: State): Unit
    Attributes
    protected[this]
    Definition Classes
    PointsToAnalysisBase
  43. def handleArrayStore(arrayType: ArrayType, arrayDefSites: IntTrieSet, rhsDefSites: IntTrieSet)(implicit state: State): Unit
    Attributes
    protected[this]
    Definition Classes
    PointsToAnalysisBase
  44. def handleCallParameter(paramDefSites: IntTrieSet, paramIndex: Int, target: Context)(implicit state: State): Unit
    Attributes
    protected[this]
    Definition Classes
    PointsToAnalysisBase
  45. def handleCallReceiver(receiverDefSites: IntTrieSet, target: Context, isNonVirtualCall: Boolean, indirectConstructorPCAndType: Option[(Int, ReferenceType)] = None)(implicit state: State): Unit
    Attributes
    protected[this]
    Definition Classes
    PointsToAnalysisBase
  46. def handleGetField(fieldOpt: Option[DeclaredField], pc: Int, objRefDefSites: IntTrieSet, checkForCast: Boolean = true)(implicit state: State): Unit
    Attributes
    protected[this]
    Definition Classes
    PointsToAnalysisBase
  47. def handleGetStatic(field: DeclaredField, pc: Int, checkForCast: Boolean = true)(implicit state: State): Unit
    Attributes
    protected[this]
    Definition Classes
    PointsToAnalysisBase
  48. def handlePointsToSetElement(ase: AliasSourceElement, pointsToEntity: Entity, element: ElementType)(implicit state: AnalysisState, context: AnalysisContext): Unit

    Handles a single element of the given points-to set that is associated with AliasSourceElement and has not been handled so far.

    Handles a single element of the given points-to set that is associated with AliasSourceElement and has not been handled so far.

    ase

    The AliasSourceElement the pointsTo set is associated with.

    pointsToEntity

    The pointsTo entity the pointTo Set belongs to.

    element

    The pointsTo Element to handle.

    Attributes
    protected[this]
    Definition Classes
    AllocationSitePointsToBasedAliasAnalysis → AbstractPointsToBasedAliasAnalysis
  49. def handlePutField(fieldOpt: Option[DeclaredField], objRefDefSites: IntTrieSet, rhsDefSites: IntTrieSet)(implicit state: State): Unit
    Attributes
    protected[this]
    Definition Classes
    PointsToAnalysisBase
  50. def handlePutStatic(field: DeclaredField, rhsDefSites: IntTrieSet)(implicit state: State): Unit
    Attributes
    protected[this]
    Definition Classes
    PointsToAnalysisBase
  51. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @IntrinsicCandidate()
  52. def interimResult(lb: Alias, ub: Alias)(implicit context: AnalysisContext, state: AnalysisState): ProperPropertyComputationResult

    Creates a intermediate result for the given upper and lower bounds of the alias properties.

    Creates a intermediate result for the given upper and lower bounds of the alias properties.

    Attributes
    protected[this]
    Definition Classes
    AbstractAliasAnalysis
  53. def isEmptyArray(element: br.fpcf.properties.pointsto.AllocationSite): Boolean
    Attributes
    protected[this]
    Definition Classes
    AllocationSiteBasedAnalysis → AbstractPointsToBasedAnalysis
    Annotations
    @inline()
  54. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  55. implicit final def logContext: LogContext
    Definition Classes
    ProjectBasedAnalysis
  56. val mergeClassConstants: Boolean
    Definition Classes
    AllocationSiteBasedAnalysis
  57. val mergeExceptions: Boolean
    Definition Classes
    AllocationSiteBasedAnalysis
  58. val mergeStringBuilderBuffer: Boolean
    Definition Classes
    AllocationSiteBasedAnalysis
  59. val mergeStringConstants: Boolean
    Definition Classes
    AllocationSiteBasedAnalysis
  60. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  61. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @IntrinsicCandidate()
  62. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @IntrinsicCandidate()
  63. implicit def p: SomeProject
    Definition Classes
    ProjectBasedAnalysis → ProjectBasedAnalysis
  64. val pointsToPropertyKey: PropertyKey[AllocationSitePointsToSet]
    Attributes
    protected[this]
    Definition Classes
    AllocationSiteBasedAnalysis → AbstractPointsToBasedAnalysis
  65. def pointsToUB(eOptP: EOptionP[Entity, PointsToSet]): PointsToSet
    Attributes
    protected[this]
    Definition Classes
    AbstractPointsToBasedAnalysis
    Annotations
    @inline()
  66. def processMethod(callContext: ContextType, tacEP: EPS[Method, properties.TACAI]): ProperPropertyComputationResult
    Definition Classes
    AbstractPointsToAnalysis → ReachableMethodAnalysis
  67. def processMethodWithoutBody(callContext: ContextType): ProperPropertyComputationResult
    Attributes
    protected
    Definition Classes
    ReachableMethodAnalysis
  68. final val project: SomeProject
    Definition Classes
    AllocationSitePointsToBasedAliasAnalysis → ProjectBasedAnalysis → ProjectBasedAnalysis
  69. implicit final val propertyStore: PropertyStore
    Definition Classes
    FPCFAnalysis
  70. final def ps: PropertyStore
    Definition Classes
    FPCFAnalysis
  71. def result(alias: Alias)(implicit context: AnalysisContext): ProperPropertyComputationResult

    Creates a final Result with the given alias property.

    Creates a final Result with the given alias property.

    Attributes
    protected[this]
    Definition Classes
    AbstractAliasAnalysis
  72. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  73. def toEntity(defSite: Int)(implicit state: State): Entity
    Attributes
    protected[this]
    Definition Classes
    PointsToAnalysisBase
    Annotations
    @inline()
  74. def toString(): String
    Definition Classes
    AnyRef → Any
  75. implicit val typeIterator: TypeIterator
    Definition Classes
    TypeConsumerAnalysis
  76. def updatedDependees(eps: SomeEPS, oldDependees: Map[SomeEPK, (SomeEOptionP, (ReferenceType) => Boolean)]): Map[SomeEPK, (SomeEOptionP, (ReferenceType) => Boolean)]
    Attributes
    protected[this]
    Definition Classes
    PointsToAnalysisBase
    Annotations
    @inline()
  77. def updatedPointsToSet(oldPointsToSet: PointsToSet, newDependeePointsToSet: PointsToSet, dependee: SomeEPS, oldDependees: Map[SomeEPK, (SomeEOptionP, (ReferenceType) => Boolean)]): PointsToSet
    Attributes
    protected[this]
    Definition Classes
    PointsToAnalysisBase
    Annotations
    @inline()
  78. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  79. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  80. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])

Deprecated Value Members

  1. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable]) @Deprecated @Deprecated
    Deprecated

Inherited from AllocationSiteAndTacBasedAliasAnalysis

Inherited from AllocationSiteBasedAliasAnalysis

Inherited from AllocationSiteBasedAnalysis

Inherited from AbstractPointsToAnalysis

Inherited from ReachableMethodAnalysis

Inherited from PointsToAnalysisBase

Inherited from TypeConsumerAnalysis

Inherited from AbstractPointsToBasedAliasAnalysis

Inherited from SetBasedAliasAnalysis

Inherited from AbstractPointsToBasedAnalysis

Inherited from ContextualAnalysis

Inherited from TacBasedAliasAnalysis

Inherited from AbstractAliasAnalysis

Inherited from FPCFAnalysis

Inherited from ProjectBasedAnalysis

Inherited from FPCFAnalysis

Inherited from ProjectBasedAnalysis

Inherited from AnyRef

Inherited from Any

Ungrouped