OPAL - Static Analysis Infrastructure2.0.1 < Back

Packages

package root

Definition Classes
root
package org

Definition Classes
root
package opalj

Definition Classes
org
package fpcf
The fixpoint computations framework (fpcf) is a general framework to perform fixpoint computations of properties ordered by a lattice.
The fixpoint computations framework (fpcf) is a general framework to perform fixpoint computations of properties ordered by a lattice. The framework in particular supports the development of static analyses.
In this case, the fixpoint computations/static analyses are generally operating on the code and need to be executed until the computations have reached their (implicit) fixpoint. The fixpoint framework explicitly supports resolving cyclic dependencies/computations. A prime use case of the fixpoint framework are all those analyses that may interact with the results of other analyses.
For example, an analysis that analyzes all field write accesses to determine if we can refine a field's type (for the purpose of the analysis) can (reuse) the information about the return types of methods, which however may depend on the refined field types.
The framework is generic enough to facilitate the implementation of anytime algorithms.

Definition Classes
opalj
Note
This framework assumes that all data-structures (e.g., dependee lists and properties) that are passed to the framework are effectively immutable! (Effectively immutable means that the datastructure is never updated after it was passed to the framework.)
,
The dependency relation is as follows: “A depends on B” === “A is the depender, B is the dependee”. === “B is depended on by A”
,
The very core of the framework is described in: Lattice Based Modularization of Static Analyses
package par

Definition Classes
fpcf
DelayedDependersNotification
DependerNotification
FirstException
Force
ForceForComputedEPK
HandlingResult
ImmediateDependeeUpdate
LazyComputationScheduled
MetaInformationDeleted
NoRelevantUpdate
PKEParallelTasksPropertyStore
PropertyStoreTracer
PropertyUpdate
ReachedQuiescence
RecordAllPropertyStoreTracer
RelevantUpdateAndNotification
RelevantUpdateButNoNotification
StoreEvent
UpdateAndNotifyState
UselessPartialResult

org.opalj.fpcf.par

PKEParallelTasksPropertyStore

Companion class PKEParallelTasksPropertyStore

object PKEParallelTasksPropertyStore extends PropertyStoreFactory

Factory for creating PKEParallelTasksPropertyStores.

Linear Supertypes

PropertyStoreFactory, AnyRef, Any

Ordering

Alphabetic
By Inheritance

Inherited

PKEParallelTasksPropertyStore
PropertyStoreFactory
AnyRef
Any

Hide All
Show All

Visibility

Public
All

Value Members

final def !=(arg0: Any): Boolean

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

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

Definition Classes
AnyRef → Any
var NumberOfThreadsForProcessingPropertyComputations: Int
def apply(tracer: PropertyStoreTracer)(implicit logContext: LogContext): PKEParallelTasksPropertyStore
def apply(context: PropertyStoreContext[_ <: AnyRef]*)(implicit logContext: LogContext): PKEParallelTasksPropertyStore

Definition Classes
PKEParallelTasksPropertyStore → PropertyStoreFactory
final def apply[T <: AnyRef](key: Class[T], context: T)(implicit logContext: LogContext): PropertyStore

Definition Classes
PropertyStoreFactory
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@native() @throws( ... )
def create(tracer: PropertyStoreTracer, context: Map[Class[_], AnyRef])(implicit logContext: LogContext): PKEParallelTasksPropertyStore
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def finalize(): Unit

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

Definition Classes
AnyRef → Any
Annotations
@native()
def hashCode(): Int

Definition Classes
AnyRef → Any
Annotations
@native()
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
Annotations
@native()
final def notifyAll(): Unit

Definition Classes
AnyRef
Annotations
@native()
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
AnyRef → Any
final def wait(): Unit

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

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

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

Packages

PKEParallelTasksPropertyStore

Companion class PKEParallelTasksPropertyStore

object PKEParallelTasksPropertyStore extends PropertyStoreFactory

Value Members

Inherited from PropertyStoreFactory

Inherited from AnyRef

Inherited from Any

Ungrouped

Packages

PKEParallelTasksPropertyStore 

Companion class PKEParallelTasksPropertyStore

object PKEParallelTasksPropertyStore extends PropertyStoreFactory

Value Members

Inherited from PropertyStoreFactory

Inherited from AnyRef

Inherited from Any

Ungrouped

PKEParallelTasksPropertyStore