modulecheck-reporting:sarif/modulecheck.reporting.sarif/ThreadFlow

ThreadFlow

@JsonClass(generateAdapter = true)

data class ThreadFlow( @Json(name = "id") val id: String? = null, @Json(name = "immutableState") val immutableState: Map<String, MultiformatMessageString>? = null, @Json(name = "initialState") val initialState: Map<String, MultiformatMessageString>? = null, @Json(name = "locations") val locations: List<ThreadFlowLocation>, @Json(name = "message") val message: Message? = null, @Json(name = "properties") val properties: PropertyBag? = null)

Describes a sequence of code locations that specify a path through a single thread of execution such as an operating system or fiber.

Constructors

ThreadFlow

fun ThreadFlow( @Json(name = "id") id: String? = null, @Json(name = "immutableState") immutableState: Map<String, MultiformatMessageString>? = null, @Json(name = "initialState") initialState: Map<String, MultiformatMessageString>? = null, @Json(name = "locations") locations: List<ThreadFlowLocation>, @Json(name = "message") message: Message? = null, @Json(name = "properties") properties: PropertyBag? = null)

Properties

val id: String? = null

An string that uniquely identifies the threadFlow within the codeFlow in which it occurs.

immutableState

val immutableState: Map<String, MultiformatMessageString>? = null

Values of relevant expressions at the start of the thread flow that remain constant.

initialState

val initialState: Map<String, MultiformatMessageString>? = null

Values of relevant expressions at the start of the thread flow that may change during thread flow execution.

locations

val locations: List<ThreadFlowLocation>

A temporally ordered array of 'threadFlowLocation' objects, each of which describes a location visited by the tool while producing the result.

message

val message: Message? = null

A message relevant to the thread flow.

properties

val properties: PropertyBag? = null

Key/value pairs that provide additional information about the thread flow.

Sources

jvm source