arrow-analysis-common/arrow.meta.plugins.analysis.sarif/ReportedError

ReportedError

data class ReportedError(id: String, errorsId: ErrorIds, element: Element, msg: String, references: List<Element>)
Content copied to clipboard

Properties

element
Link copied to clipboard
val element: Element
Content copied to clipboard
errorsId
Link copied to clipboard
val errorsId: ErrorIds
Content copied to clipboard
id
Link copied to clipboard
val id: String
Content copied to clipboard
msg
Link copied to clipboard
val msg: String
Content copied to clipboard
references
Link copied to clipboard
val references: List<Element>
Content copied to clipboard