• Home
• de.opal-project
• bytecode-representation_2.13
• 5.0.0
• source code
• FPCFAnalysis.scala

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

org.opalj.br.fpcf.FPCFAnalysis.scala Maven / Gradle / Ivy

/* BSD 2-Clause License - see OPAL/LICENSE for details. */
package org.opalj
package br
package fpcf

import org.opalj.fpcf.PropertyStore
import org.opalj.br.analyses.ProjectBasedAnalysis
import org.opalj.br.analyses.SomeProject

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

    final implicit val propertyStore: PropertyStore = project.get(PropertyStoreKey)

    final def ps: PropertyStore = propertyStore

}

abstract class DefaultFPCFAnalysis(val project: SomeProject) extends FPCFAnalysis