java.lang.String name
int index
int line
int column
int[] buffer
int pointer
java.lang.String context
Mark contextMark
java.lang.String problem
Mark problemMark
java.lang.String note
int codePoint
int position