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)

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

Constructors

EdgeTraversal

fun EdgeTraversal( @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)