toggle menu
0.13.0-SNAPSHOT
0.13.0-SNAPSHOT
0.12.5
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
)