sarif/com.jetbrains.qodana.sarif.model/EdgeTraversal

EdgeTraversal

open class EdgeTraversal : PropertyOwner

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

Constructors

EdgeTraversal

constructor()

No args constructor for use in serialization

constructor(edgeId: String)

Properties

edgeId

@SerializedName(value = "edgeId")

@Expose

open var edgeId: String

Identifies the edge being traversed.

finalState

@SerializedName(value = "finalState")

@Expose

open var finalState: FinalState

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

message

@SerializedName(value = "message")

@Expose

open var message: Message

Encapsulates a message intended to be read by the end user.

properties

@SerializedName(value = "properties")

@Expose

open var properties: PropertyBag

Key/value pairs that provide additional information about the object.

stepOverEdgeCount

@SerializedName(value = "stepOverEdgeCount")

@Expose

open var stepOverEdgeCount: Integer

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

Functions

equals

open fun equals(other: Any): Boolean

getProperties

abstract fun getProperties(): PropertyBag

hashCode

open fun hashCode(): Int

setProperties

abstract fun setProperties(<set-?>: PropertyBag)

toString

open fun toString(): String

updateProperties

open fun updateProperties(mutator: (in PropertyBag) -> Unit)

withEdgeId

open fun withEdgeId(edgeId: String): EdgeTraversal

withFinalState

open fun withFinalState(finalState: FinalState): EdgeTraversal

withMessage

open fun withMessage(message: Message): EdgeTraversal

withProperties

open fun withProperties(properties: PropertyBag): EdgeTraversal

withStepOverEdgeCount

open fun withStepOverEdgeCount(stepOverEdgeCount: Integer): EdgeTraversal