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
/
Tool
/
Tool
Tool
constructor
(
@
Json
(
name
=
"driver"
)
driver
:
SarifDriver
,
@
Json
(
name
=
"extensions"
)
extensions
:
List
<
SarifDriver
>
?
=
null
,
@
Json
(
name
=
"properties"
)
properties
:
PropertyBag
?
=
null
)
(
source
)