cpg-analysis/de.fraunhofer.aisec.cpg.passes/ReachabilityLattice

ReachabilityLattice

class ReachabilityLattice(val elements: Reachability) : LatticeElement<Reachability>

Implements the LatticeElement over reachability properties: TOP | REACHABLE | UNREACHABLE | BOTTOM

Constructors

Link copied to clipboard
constructor(elements: Reachability)

Properties

Link copied to clipboard
open override val elements: Reachability

Functions

Link copied to clipboard
open operator override fun compareTo(other: LatticeElement<Reachability>): Int
Link copied to clipboard
open override fun duplicate(): ReachabilityLattice
Link copied to clipboard
open override fun lub(other: LatticeElement<Reachability>): ReachabilityLattice