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

Trace

data class Trace(val state: State, val cpgNode: Node, val edge: Edge)

Holds the information generated during an order evaluation using the DFAOrderEvaluator. It is used to provide full traceability of the order evaluation in DFA.executionTrace.

Constructors

Link copied to clipboard
fun Trace(state: State, cpgNode: Node, edge: Edge)

Properties

Link copied to clipboard
val cpgNode: Node
Link copied to clipboard
val edge: Edge
Link copied to clipboard
val state: State