org.opalj.br.fpcf.properties.pointsto.PointsToSetLike.scala Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of bytecode-representation_2.13 Show documentation

Bytecode Representation

The newest version!

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

import org.opalj.fpcf.Property

/**
 * A base class for points-to sets to be used as a FPCF property within analyses.
 *
 * @see [[org.opalj.br.fpcf.properties.pointsto.AllocationSitePointsToSet]] and
 *     [[org.opalj.br.fpcf.properties.pointsto.TypeBasedPointsToSet]] for concrete subclasses.
 *
 * @author Dominik Helm
 * @author Florian Kuebler
 */
trait PointsToSetLike[ElementType, PointsToSet, T <: PointsToSetLike[ElementType, PointsToSet, T]] extends Property { self: T =>

    def forNewestNTypes[U](n: Int)(f: ReferenceType => U): Unit

    def numTypes: Int

    def types: Set[ReferenceType]

    def numElements: Int

    def elements: PointsToSet

    def forNewestNElements[U](n: Int)(f: ElementType => U): Unit

    def included(other: T): T

    def included(other: T, seenElements: Int): T

    def included(other: T, typeFilter: ReferenceType => Boolean): T

    def included(
        other: T, seenElements: Int, typeFilter: ReferenceType => Boolean
    ): T

    def filter(typeFilter: ReferenceType => Boolean): T

    def getNewestElement(): ElementType
}

object PointsToSetLike {
    val noFilter = { t: ReferenceType => true }
}