cpg-analysis/de.fraunhofer.aisec.cpg.analysis.fsm/Edge

Edge

data class Edge(val op: String, val base: String? = null, val nextState: State)

Represents an edge of the automaton. The edge label consists of an operation (typically a method name) and a base which allows us to differentiate between multiple objects.

Constructors

Edge

constructor(op: String, base: String? = null, nextState: State)

Properties

base

val base: String? = null

nextState

val nextState: State

val op: String

Functions

matches

fun matches(edge: Edge): Boolean

toDotLabel

fun toDotLabel(): String

toString

open override fun toString(): String