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

UnreachabilityState

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

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

Constructors

UnreachabilityState

constructor()

Properties

entries

open override val entries: MutableSet<MutableMap.MutableEntry<Edge<Node>, LatticeElement<Reachability>>>

keys

open override val keys: MutableSet<Edge<Node>>

size

open override val size: Int

values

open override val values: MutableCollection<LatticeElement<Reachability>>

Functions

clear

open override fun clear()

clone

open override fun clone(): Any

compute

open override fun compute(p0: Edge<Node>, p1: BiFunction<in Edge<Node>, in LatticeElement<Reachability>?, out LatticeElement<Reachability>?>): LatticeElement<Reachability>?

computeIfAbsent

open override fun computeIfAbsent(p0: Edge<Node>, p1: Function<in Edge<Node>, out LatticeElement<Reachability>>): LatticeElement<Reachability>

computeIfPresent

open override fun computeIfPresent(p0: Edge<Node>, p1: BiFunction<in Edge<Node>, in LatticeElement<Reachability>, out LatticeElement<Reachability>?>): LatticeElement<Reachability>?

containsKey

open override fun containsKey(key: Edge<Node>): Boolean

containsValue

open override fun containsValue(value: LatticeElement<Reachability>): Boolean

duplicate

open fun duplicate(): State<Edge<Node>, Reachability>

equals

open operator override fun equals(other: Any?): Boolean

forEach

open override fun forEach(p0: BiConsumer<in Edge<Node>, in LatticeElement<Reachability>>)

get

open operator override fun get(key: Edge<Node>): LatticeElement<Reachability>?

getOrDefault

open override fun getOrDefault(key: Edge<Node>, defaultValue: LatticeElement<Reachability>): LatticeElement<Reachability>

hashCode

open override fun hashCode(): Int

isEmpty

open override fun isEmpty(): Boolean

lub

open fun lub(other: State<Edge<Node>, Reachability>): Pair<State<Edge<Node>, Reachability>, Boolean>

merge

open override fun merge(p0: Edge<Node>, p1: LatticeElement<Reachability>, p2: BiFunction<in LatticeElement<Reachability>, in LatticeElement<Reachability>, out LatticeElement<Reachability>?>): LatticeElement<Reachability>?

needsUpdate

open fun needsUpdate(other: State<Edge<Node>, Reachability>): Boolean

push

open fun push(newNode: Edge<Node>, newLatticeElement: LatticeElement<Reachability>?): Boolean

put

open override fun put(key: Edge<Node>, value: LatticeElement<Reachability>): LatticeElement<Reachability>?

putAll

open override fun putAll(from: Map<out Edge<Node>, LatticeElement<Reachability>>)

putIfAbsent

open override fun putIfAbsent(p0: Edge<Node>, p1: LatticeElement<Reachability>): LatticeElement<Reachability>?

remove

open override fun remove(key: Edge<Node>): LatticeElement<Reachability>?

open override fun remove(key: Edge<Node>, value: LatticeElement<Reachability>): Boolean

replace

open override fun replace(p0: Edge<Node>, p1: LatticeElement<Reachability>): LatticeElement<Reachability>?

open override fun replace(p0: Edge<Node>, p1: LatticeElement<Reachability>, p2: LatticeElement<Reachability>): Boolean

replaceAll

open override fun replaceAll(p0: BiFunction<in Edge<Node>, in LatticeElement<Reachability>, out LatticeElement<Reachability>>)

toString

open override fun toString(): String