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
/
Role
/
Extension
Extension
@
Json
(
name
=
"extension"
)
Extension
Members
Properties
name
Link copied to clipboard
val
name
:
String
ordinal
Link copied to clipboard
val
ordinal
:
Int