de.jcup.sarif_2_1_0.model

Class FinalState

java.lang.Object

de.jcup.sarif_2_1_0.model.FinalState

public class FinalState
extends java.lang.Object

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

Constructor Summary

Constructors

Constructor and Description
FinalState()

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object other)
java.util.Map<java.lang.String,MultiformatMessageString>	getAdditionalProperties()
int	hashCode()
void	setAdditionalProperty(java.lang.String name, MultiformatMessageString value)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

FinalState

public FinalState()

Method Detail

getAdditionalProperties

public java.util.Map<java.lang.String,MultiformatMessageString> getAdditionalProperties()

setAdditionalProperty

public void setAdditionalProperty(java.lang.String name,
                                  MultiformatMessageString value)

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