equal
deleted
inserted
replaced
311 event.lineNumber = lineNumber; |
311 event.lineNumber = lineNumber; |
312 event.eventNumber = ++eventNumber; |
312 event.eventNumber = ++eventNumber; |
313 get(); |
313 get(); |
314 readAllWhitespace(); |
314 readAllWhitespace(); |
315 event.name = readTokenAndEatTerminator(']', "e, &found); |
315 event.name = readTokenAndEatTerminator(']', "e, &found); |
316 // TODO: if (!quote) event.name = trim(event.name); |
316 if (!quote) event.name = trim(event.name); |
317 |
317 |
318 readSpacesAndTabs(); |
318 readSpacesAndTabs(); |
319 if (allowSectionTags && peek() == '[') { |
319 if (allowSectionTags && peek() == '[') { |
320 get(); |
320 get(); |
321 event.tag = readTokenAndEatTerminator(']', "e, &found); |
321 event.tag = readTokenAndEatTerminator(']', "e, &found); |