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
/
Replacement
/
Replacement
Replacement
constructor
(
@
Json
(
name
=
"deletedRegion"
)
deletedRegion
:
Region
,
@
Json
(
name
=
"insertedContent"
)
insertedContent
:
ArtifactContent
?
=
null
,
@
Json
(
name
=
"properties"
)
properties
:
PropertyBag
?
=
null
)
(
source
)