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

UnreachabilityState

class UnreachabilityState : State<PropertyEdge<Node>, Reachability>

A state which actually holds a state for all PropertyEdges, one only for declarations and one for ReturnStatements.

Constructors

Link copied to clipboard
constructor()

Properties

Link copied to clipboard
open override val entries: MutableSet<MutableMap.MutableEntry<PropertyEdge<Node>, LatticeElement<Reachability>>>
Link copied to clipboard
open override val keys: MutableSet<PropertyEdge<Node>>
Link copied to clipboard
open override val size: Int
Link copied to clipboard
open override val values: MutableCollection<LatticeElement<Reachability>>

Functions

Link copied to clipboard
open override fun clear()
Link copied to clipboard
open override fun clone(): Any
Link copied to clipboard
open fun compute(p0: PropertyEdge<Node>, p1: BiFunction<in PropertyEdge<Node>, in LatticeElement<Reachability>?, out LatticeElement<Reachability>?>): LatticeElement<Reachability>?
Link copied to clipboard
open fun computeIfAbsent(p0: PropertyEdge<Node>, p1: Function<in PropertyEdge<Node>, out LatticeElement<Reachability>>): LatticeElement<Reachability>
Link copied to clipboard
open fun computeIfPresent(p0: PropertyEdge<Node>, p1: BiFunction<in PropertyEdge<Node>, in LatticeElement<Reachability>, out LatticeElement<Reachability>?>): LatticeElement<Reachability>?
Link copied to clipboard
open override fun containsKey(key: PropertyEdge<Node>): Boolean
Link copied to clipboard
open override fun containsValue(value: LatticeElement<Reachability>): Boolean
Link copied to clipboard
open fun duplicate(): State<PropertyEdge<Node>, Reachability>
Link copied to clipboard
open operator override fun equals(other: Any?): Boolean
Link copied to clipboard
open override fun forEach(p0: BiConsumer<in PropertyEdge<Node>, in LatticeElement<Reachability>>)
Link copied to clipboard
open operator override fun get(key: PropertyEdge<Node>): LatticeElement<Reachability>?
Link copied to clipboard
open fun getOrDefault(key: PropertyEdge<Node>, defaultValue: LatticeElement<Reachability>): LatticeElement<Reachability>
Link copied to clipboard
open override fun hashCode(): Int
Link copied to clipboard
open override fun isEmpty(): Boolean
Link copied to clipboard
open fun lub(other: State<PropertyEdge<Node>, Reachability>): Pair<State<PropertyEdge<Node>, Reachability>, Boolean>
Link copied to clipboard
open fun merge(p0: PropertyEdge<Node>, p1: LatticeElement<Reachability>, p2: BiFunction<in LatticeElement<Reachability>, in LatticeElement<Reachability>, out LatticeElement<Reachability>?>): LatticeElement<Reachability>?
Link copied to clipboard
open fun needsUpdate(other: State<PropertyEdge<Node>, Reachability>): Boolean
Link copied to clipboard
open fun push(newNode: PropertyEdge<Node>, newLatticeElement: LatticeElement<Reachability>?): Boolean
Link copied to clipboard
open override fun put(key: PropertyEdge<Node>, value: LatticeElement<Reachability>): LatticeElement<Reachability>?
Link copied to clipboard
open override fun putAll(from: Map<out PropertyEdge<Node>, LatticeElement<Reachability>>)
Link copied to clipboard
open fun putIfAbsent(p0: PropertyEdge<Node>, p1: LatticeElement<Reachability>): LatticeElement<Reachability>?
Link copied to clipboard
open override fun remove(key: PropertyEdge<Node>): LatticeElement<Reachability>?
open fun remove(key: PropertyEdge<Node>, value: LatticeElement<Reachability>): Boolean
Link copied to clipboard
open fun replace(p0: PropertyEdge<Node>, p1: LatticeElement<Reachability>): LatticeElement<Reachability>?
open fun replace(p0: PropertyEdge<Node>, p1: LatticeElement<Reachability>, p2: LatticeElement<Reachability>): Boolean
Link copied to clipboard
open override fun replaceAll(p0: BiFunction<in PropertyEdge<Node>, in LatticeElement<Reachability>, out LatticeElement<Reachability>>)
Link copied to clipboard
open override fun toString(): String