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
constructor(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