@Override protected Char endOfInput() { return new Char('\0', line, pos); }
@Override protected Char endOfInput() { return new Char('\0', line, pos); }
@Override protected Char fetch() { try { int character = input.read(); if (character == -1) { return null; } if (character == '\n') { line++; pos = 0; } pos++; return new Char((char) character, line, pos); } catch (IOException e) { problemCollector.add(ParseError.error(new Char('\0', line, pos), e.getMessage())); return null; } }
@Override protected Char fetch() { try { int character = input.read(); if (character == -1) { return null; } if (character == '\n') { line++; pos = 0; } pos++; return new Char((char) character, line, pos); } catch (IOException e) { problemCollector.add(ParseError.error(new Char('\0', line, pos), e.getMessage())); return null; } }