cpg-core/de.fraunhofer.aisec.cpg.passes/PrevEOGLattice

PrevEOGLattice

class PrevEOGLattice(val elements: IdentityHashMap<Node, IdentitySet<Node>>) : LatticeElement<IdentityHashMap<Node, IdentitySet<Node>>>

Implements the LatticeElement over a set of nodes and their set of "nextEOG" nodes which reach this node.

Constructors

constructor(elements: IdentityHashMap<Node, IdentitySet<Node>>)

Properties

open override val elements: IdentityHashMap<Node, IdentitySet<Node>>

Functions

open operator override fun compareTo(other: LatticeElement<IdentityHashMap<Node, IdentitySet<Node>>>): Int

open override fun duplicate(): PrevEOGLattice

Duplicates the object, i.e., makes a deep copy.

open override fun lub(other: LatticeElement<IdentityHashMap<Node, IdentitySet<Node>>>): LatticeElement<IdentityHashMap<Node, IdentitySet<Node>>>

Computes the least upper bound of this lattice and other. It returns a new object and does not modify either of the objects.