• Home
• de.opal-project
• bytecode-representation_2.13
• 5.0.0
• source code
• AggregatableValueProperty.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.properties.AggregatableValueProperty.scala Maven / Gradle / Ivy

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

import org.opalj.fpcf.Property

/**
 * A trait to conveniently implement properties that need aggregated values.
 * Provides conversion between aggregated and individual variants.
 *
 * @tparam T Type of the property
 *
 * @author Dominik Helm
 */
trait AggregatableValueProperty[S <: IndividualProperty[S, T], T <: AggregatedProperty[S, T]]
    extends Property {
    type self

    def meet(other: self): self
}

trait IndividualProperty[S <: IndividualProperty[S, T], T <: AggregatedProperty[S, T]]
    extends AggregatableValueProperty[S, T] {
    override type self = S

    def aggregatedProperty: T
}

trait AggregatedProperty[S <: IndividualProperty[S, T], T <: AggregatedProperty[S, T]]
    extends AggregatableValueProperty[S, T] {
    override type self = T

    def individualProperty: S

    override def meet(other: T): T =
        other.individualProperty.meet(this.individualProperty).aggregatedProperty
}