equal
deleted
inserted
replaced
47 |
47 |
48 private final boolean crtDebug = false; |
48 private final boolean crtDebug = false; |
49 |
49 |
50 /** The list of CRTable entries. |
50 /** The list of CRTable entries. |
51 */ |
51 */ |
52 private ListBuffer<CRTEntry> entries = new ListBuffer<CRTEntry>(); |
52 private ListBuffer<CRTEntry> entries = new ListBuffer<>(); |
53 |
53 |
54 /** The hashtable for source positions. |
54 /** The hashtable for source positions. |
55 */ |
55 */ |
56 private Map<Object,SourceRange> positions = new HashMap<Object,SourceRange>(); |
56 private Map<Object,SourceRange> positions = new HashMap<>(); |
57 |
57 |
58 /** The object for ending positions stored in the parser. |
58 /** The object for ending positions stored in the parser. |
59 */ |
59 */ |
60 private EndPosTable endPosTable; |
60 private EndPosTable endPosTable; |
61 |
61 |