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
package seq

Definition Classes
fpcf
AnalysisScenario
CheapPropertyComputation
ComputationSpecification
ContextNotAvailableException
DefaultPropertyComputation
EOptionP
EPK
EPS
ESimplePS
ExplicitlyNamedProperty
FallbackReason
FinalEP
FinalPropertyComputationResult
IncrementalResult
IntermediateEP
IntermediateESimpleP
IntermediateResult
MultiResult
NoProperty
NoResult
OrderedProperty
PartialResult
Property
PropertyBounds
PropertyComputationHint
PropertyComputationResult
PropertyIsNotComputedByAnyAnalysis
PropertyIsNotDerivedByPreviouslyExecutedAnalysis
PropertyKey
PropertyKind
PropertyMetaInformation
PropertyStore
PropertyStoreContext
PropertyStoreFactory
Result
Results
Schedule
SimplePIntermediateResult
SpecificationViolation

org.opalj.fpcf

Property

trait Property extends PropertyMetaInformation

An immutable information associated with an entity. Each property belongs to exactly one property kind specified by the PropertyKey. For details regarding the semantics of a property see EOptionP#ub.

Implementation Requirements

Properties have to be (effectively) immutable when passed to the framework. If a property is mutable and (by some analysis) mutated the overall results will most likely no longer be deterministic!

Structural Equality

Each implementation of the property trait has to implement an equals method that determines if two properties are equal.

Linear Supertypes

PropertyMetaInformation, PropertyKind, AnyRef, Any

Known Subclasses

ExplicitlyNamedProperty, OrderedProperty

Ordering

Alphabetic
By Inheritance

Inherited

Property
PropertyMetaInformation
PropertyKind
AnyRef
Any

Hide All
Show All

Visibility

Public
All

Type Members

abstract type Self <: Property

Definition Classes
PropertyMetaInformation

Abstract Value Members

abstract def key: PropertyKey[Self]
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
PropertyMetaInformation

Concrete 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
final def asInstanceOf[T0]: T0

Definition Classes
Any
final def asOrderedProperty: OrderedProperty
Returns this if this property inherits from OrderedProperty.
Returns this if this property inherits from OrderedProperty.
Used, e.g., by the framework to support debugging analyses.
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@native() @throws( ... )
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 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
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
final def isOrderedProperty: Boolean
Returns true if this property inherits from OrderedProperty.
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

Property

trait Property extends PropertyMetaInformation

Implementation Requirements

Structural Equality

Type Members

Abstract Value Members

Concrete Value Members

Inherited from PropertyMetaInformation

Inherited from PropertyKind

Inherited from AnyRef

Inherited from Any

Ungrouped

Packages

Property 

trait Property extends PropertyMetaInformation

Implementation Requirements

Structural Equality

Type Members

Abstract Value Members

Concrete Value Members

Inherited from PropertyMetaInformation

Inherited from PropertyKind

Inherited from AnyRef

Inherited from Any

Ungrouped

Property