Region
@JsonClass(generateAdapter = true)
Content copied to clipboard
A region within an artifact where a result was detected.
Specifies a portion of the artifact that encloses the region. Allows a viewer to display additional context around the region.
Specifies a portion of the artifact.
The region of the artifact to delete.
Constructors
Link copied to clipboard
fun Region( @Json(name = "byteLength") byteLength: Int? = null, @Json(name = "byteOffset") byteOffset: Int? = null, @Json(name = "charLength") charLength: Int? = null, @Json(name = "charOffset") charOffset: Int? = null, @Json(name = "endColumn") endColumn: Int? = null, @Json(name = "endLine") endLine: Int? = null, @Json(name = "message") message: Message? = null, @Json(name = "properties") properties: PropertyBag? = null, @Json(name = "snippet") snippet: ArtifactContent? = null, @Json(name = "sourceLanguage") sourceLanguage: String? = null, @Json(name = "startColumn") startColumn: Int? = null, @Json(name = "startLine") startLine: Int? = null)
Content copied to clipboard
Properties
Link copied to clipboard
Link copied to clipboard