Properties
Optional character
character: number
Optional code
code: number
Optional endCharacter
endCharacter: number
Optional endLine
endLine: number
Optional file
file: number
Optional line
line: number
Optional location
location: number
Optional loop
loop: boolean
Optional message
message: number
Optional name
name: string
Optional severity
severity: number