Toggle table of contents
0.13.0-SNAPSHOT
Select version
0.13.0-SNAPSHOT
0.12.5
jvm
Platform filter
jvm
Switch theme
Search in API
modulecheck-reporting:sarif
/
modulecheck.reporting.sarif
/
EdgeTraversal
/
finalState
final
State
val
finalState
:
Map
<
String
,
MultiformatMessageString
>
?
=
null
(
source
)
The values of relevant expressions after the edge has been traversed.
Since
0.12.0