modulecheck-reporting:sarif/modulecheck.reporting.sarif/EdgeTraversal

EdgeTraversal

@JsonClass(generateAdapter = true)
data class EdgeTraversal(@Json(name = "edgeId") val edgeID: String, @Json(name = "finalState") val finalState: Map<String, MultiformatMessageString>? = null, @Json(name = "message") val message: Message? = null, @Json(name = "properties") val properties: PropertyBag? = null, @Json(name = "stepOverEdgeCount") val stepOverEdgeCount: Int? = null)(source)

Represents the traversal of a single edge during a graph traversal.

Since

0.12.0

Constructors

Link copied to clipboard
constructor(@Json(name = "edgeId") edgeID: String, @Json(name = "finalState") finalState: Map<String, MultiformatMessageString>? = null, @Json(name = "message") message: Message? = null, @Json(name = "properties") properties: PropertyBag? = null, @Json(name = "stepOverEdgeCount") stepOverEdgeCount: Int? = null)

Properties

Link copied to clipboard
val edgeID: String

Identifies the edge being traversed.

Link copied to clipboard
val finalState: Map<String, MultiformatMessageString>? = null

The values of relevant expressions after the edge has been traversed.

Link copied to clipboard
val message: Message? = null

A message to display to the user as the edge is traversed.

Link copied to clipboard
val properties: PropertyBag? = null

Key/value pairs that provide additional information about the edge traversal.

Link copied to clipboard
val stepOverEdgeCount: Int? = null

The number of edge traversals necessary to return from a nested graph.