Packages

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

    In this representation of Java bytecode references to a Java class file's constant pool and to attributes are replaced by direct references to the corresponding constant pool entries.

    In this representation of Java bytecode references to a Java class file's constant pool and to attributes are replaced by direct references to the corresponding constant pool entries. This facilitates developing analyses and fosters comprehension.

    Based on the fact that indirect references to constant pool entries are resolved and replaced by direct references this representation is called the resolved representation.

    This representation of Java bytecode is considered as OPAL's standard representation for writing Scala based analyses. This representation is engineered such that it facilitates writing analyses that use pattern matching.

    Definition Classes
    opalj
  • package fpcf
    Definition Classes
    opalj
  • package analyses
  • package properties
  • FPCFAnalysesManager
  • FPCFAnalysesManagerKey
  • FPCFAnalysesRegistry
  • FPCFAnalysis
  • FPCFEagerAnalysisScheduler
  • FPCFLazyAnalysisScheduler
  • PropertyStoreKey
  • package value

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

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

    Definition Classes
    opalj
p

org.opalj

fpcf

package fpcf

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

Type Members

  1. final type ComputationResults = TraversableOnce[SomeFinalEP]
  2. final type Continuation[P <: Property] = (Entity, P) ⇒ PropertyComputationResult
  3. final type Entity = AnyRef
  4. class FPCFAnalysesManager extends AnyRef

    Enables the execution of a set of analyses.

    Enables the execution of a set of analyses.

    To get an instance use the respective FPCFAnalysesManagerKey.

  5. trait FPCFAnalysis extends ProjectBasedAnalysis

    Common super-trait of all analysis which use MISAF.

    Common super-trait of all analysis which use MISAF. (Formerly known as Fixpoint-Computations Framework/PropertyStore.)

  6. trait FPCFEagerAnalysisScheduler extends AbstractFPCFAnalysisScheduler

    Factory for FPCF analyses which should be directly started/scheduled.

  7. trait FPCFLazyAnalysisScheduler extends AbstractFPCFAnalysisScheduler

    The underlying analysis will only be registered with the property store and scheduled for a specific entity if queried.

  8. final type FallbackPropertyComputation[E <: Entity, P <: Property] = (PropertyStore, FallbackReason, E) ⇒ P
  9. final type OnUpdateContinuation = (SomeEPS) ⇒ PropertyComputationResult
  10. final type PropertyComputation[E <: Entity] = (E) ⇒ PropertyComputationResult
  11. final type SomeContinuation = Continuation[_ <: Property]
  12. final type SomeEOptionP = EOptionP[_ <: Entity, _ <: Property]
  13. final type SomeEPK = EPK[_ <: Entity, _ <: Property]
  14. final type SomeEPS = EPS[_ <: Entity, _ <: Property]
  15. final type SomeFallbackPropertyComputation = FallbackPropertyComputation[_ <: Entity, _ <: Property]
  16. final type SomeFinalEP = FinalEP[_ <: Entity, _ <: Property]
  17. final type SomePartialResult = PartialResult[_ >: Null <: Entity, _ >: Null <: Property]
  18. final type SomePropertyComputation = PropertyComputation[_ <: Entity]
  19. final type SomePropertyKey = PropertyKey[_ <: Property]

Value Members

  1. final val FrameworkName: String("OPAL Static Analyses Infrastructure")
  2. object FPCFAnalysesManager
  3. object FPCFAnalysesManagerKey extends ProjectInformationKey[FPCFAnalysesManager, Nothing]

    The key object to get the FPCFAnalysesManager.

    The key object to get the FPCFAnalysesManager.

    Example:

    1. To get an instance of the FPCFAnalysesManager pass this key to a project's get method.

  4. object FPCFAnalysesRegistry

    Registry for all factories for analyses that are implemented using the fixpoint computations framework (FPCF).

    Registry for all factories for analyses that are implemented using the fixpoint computations framework (FPCF).

    The registry primarily serves as a central container that can be queried by subsequent tools.

    The analyses that are part of OPAL are already registered.

    Note

    Analysis schedules can be computed using the PropertiesComputationsScheduler.

    Thread Safety

    The registry is thread safe.

  5. object PropertyStoreKey extends ProjectInformationKey[PropertyStore, (List[PropertyStoreContext[AnyRef]]) ⇒ PropertyStore]

    The key object to get the project's org.opalj.fpcf.PropertyStore.

    The key object to get the project's org.opalj.fpcf.PropertyStore.

    Note

    It is possible to set the project's debug flag using the project's org.opalj.br.analyses.PropertyStore.debug config key.

Inherited from AnyRef

Inherited from Any

Ungrouped