de.jcup.sarif_2_1_0.model

Class EdgeTraversal

java.lang.Object

de.jcup.sarif_2_1_0.model.EdgeTraversal

public class EdgeTraversal
extends java.lang.Object

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

Constructor Summary

Constructors

Constructor and Description
EdgeTraversal()

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object other)
java.lang.String	getEdgeId() Identifies the edge being traversed.
FinalState	getFinalState() The values of relevant expressions after the edge has been traversed.
Message	getMessage() Encapsulates a message intended to be read by the end user.
PropertyBag	getProperties() Key/value pairs that provide additional information about the object.
java.lang.Integer	getStepOverEdgeCount() The number of edge traversals necessary to return from a nested graph.
int	hashCode()
void	setEdgeId(java.lang.String edgeId) Identifies the edge being traversed.
void	setFinalState(FinalState finalState) The values of relevant expressions after the edge has been traversed.
void	setMessage(Message message) Encapsulates a message intended to be read by the end user.
void	setProperties(PropertyBag properties) Key/value pairs that provide additional information about the object.
void	setStepOverEdgeCount(java.lang.Integer stepOverEdgeCount) The number of edge traversals necessary to return from a nested graph.
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

EdgeTraversal

public EdgeTraversal()

Method Detail

getEdgeId

public java.lang.String getEdgeId()

Identifies the edge being traversed. (Required)

setEdgeId

public void setEdgeId(java.lang.String edgeId)

Identifies the edge being traversed. (Required)

getMessage

public Message getMessage()

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

setMessage

public void setMessage(Message message)

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

getFinalState

public FinalState getFinalState()

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

setFinalState

public void setFinalState(FinalState finalState)

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

getStepOverEdgeCount

public java.lang.Integer getStepOverEdgeCount()

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

setStepOverEdgeCount

public void setStepOverEdgeCount(java.lang.Integer stepOverEdgeCount)

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

getProperties

public PropertyBag getProperties()

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

setProperties

public void setProperties(PropertyBag properties)

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

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object other)

Overrides:

equals in class java.lang.Object