xterm.dart/lib/input/keytab/keytab_token.dart

import 'dart:math' show min;

enum KeytabTokenType {
  keyDefine,
  keyboard,
  keyName,
  mode,
  modeStatus,
  colon,
  input,
  shortcut,
}

class KeytabToken {
  KeytabToken(this.type, this.value);

  final KeytabTokenType type;
  final String value;

  @override
  String toString() {
    return '$type<$value>';
  }
}

class LineReader {
  LineReader(this.line);

  final String line;

  var _pos = 0;

  bool get done => _pos > line.length - 1;

  String? take([int count = 1]) {
    final result = peek(count);
    _pos += count;
    return result;
  }

  String? peek([int count = 1]) {
    if (done) return null;
    final end = min(_pos + count, line.length);
    final result = line.substring(_pos, end);
    return result;
  }

  void skipWhitespace() {
    while (peek() == ' ' || peek() == '\t') {
      _pos += 1;
    }
  }

  String readString() {
    final buffer = StringBuffer();
    final pattern = RegExp(r'\w|_');

    while (!done && line[_pos].contains(pattern)) {
      buffer.write(line[_pos]);
      _pos++;
    }

    return buffer.toString();
  }

  String readUntil(Pattern pattern, {bool inclusive = false}) {
    final buffer = StringBuffer();

    while (!done && !line[_pos].contains(pattern)) {
      buffer.write(line[_pos]);
      _pos++;
    }

    if (!done && inclusive) {
      buffer.write(line[_pos]);
      _pos++;
    }

    return buffer.toString();
  }
}

class TokenizeError {}

Iterable<KeytabToken> tokenize(String source) sync* {
  final lines = source.split('\n');

  for (var i = 0; i < lines.length; i++) {
    var line = lines[i].trim();
    line = line.replaceFirst(RegExp('#.*'), '');

    if (line == '') {
      continue;
    }

    if (_isKeyboardNameDefine(line)) {
      yield* _parseKeyboardNameDefine(line);
    }

    if (_isKeyDefine(line)) {
      yield* _parseKeyDefine(line);
    }
  }
}

bool _isKeyboardNameDefine(String line) {
  return line.startsWith('keyboard ');
}

bool _isKeyDefine(String line) {
  return line.startsWith('key ');
}

Iterable<KeytabToken> _parseKeyboardNameDefine(String line) sync* {
  final reader = LineReader(line.trim());

  if (reader.readString() == 'keyboard') {
    yield KeytabToken(KeytabTokenType.keyboard, 'keyboard');
  } else {
    throw TokenizeError();
  }

  reader.skipWhitespace();

  yield _readInput(reader);
}

Iterable<KeytabToken> _parseKeyDefine(String line) sync* {
  final reader = LineReader(line.trim());

  if (reader.readString() == 'key') {
    yield KeytabToken(KeytabTokenType.keyDefine, 'key');
  } else {
    throw TokenizeError();
  }

  reader.skipWhitespace();

  final keyName = reader.readString();
  yield KeytabToken(KeytabTokenType.keyName, keyName);

  reader.skipWhitespace();

  while (reader.peek() == '+' || reader.peek() == '-') {
    final modeStatus = reader.take()!;
    yield KeytabToken(KeytabTokenType.modeStatus, modeStatus);
    final mode = reader.readString();
    yield KeytabToken(KeytabTokenType.mode, mode);
    reader.skipWhitespace();
  }

  if (reader.take() == ':') {
    yield KeytabToken(KeytabTokenType.colon, ':');
  } else {
    throw TokenizeError();
  }

  reader.skipWhitespace();

  if (reader.peek() == '"') {
    yield _readInput(reader);
  } else {
    final action = reader.readString();
    yield KeytabToken(KeytabTokenType.shortcut, action);
  }
}

KeytabToken _readInput(LineReader reader) {
  reader.skipWhitespace();

  if (reader.take() != '"') {
    throw TokenizeError();
  }

  final value = reader.readUntil('"');
  reader.take();

  return KeytabToken(KeytabTokenType.input, value);
}