Options
All
  • Public
  • Public/Protected
  • All
Menu

Interface MarkerData

Hierarchy

  • MarkerData

Index

Properties

Properties

Optional code

code?: string

endColumn

endColumn: number

endLineNumber

endLineNumber: number

message

message: string

Optional relatedInformation

relatedInformation?: RelatedInformation[]

severity

severity: MarkerSeverity

Optional source

source?: string

startColumn

startColumn: number

startLineNumber

startLineNumber: number

Optional tags

tags?: MarkerTag[]