v4.4

Small refactoring of the general code and significantly reducing and simplifying of the example.

Change Log

• Rename types:
  • lexer::exception_group:
    • rename it to type_group;
    • update the example;
  • parser::optional_offset:
    • rename it to offset_optional.
• In the parser module:
  • Add the list parser:
    • implement it;
    • cover it with tests;
    • use it in the example.
  • Remove the empty_parser class:
    • remove it;
    • remove its tests.
  • Unifying header for all parsers:
    • implement it;
    • use it in the example.
  • In the tests:
    • Improve tests:
      • of the repetition_parser class;
      • of the parse() function;
      • of the parse_all() function.
    • Refactor tests:
      • of the repetition_parser class;
      • of the parse_all() function.
• In the transformers module:
  • Add the default_ast_node_handlers constant:
    • implement it;
    • use it:
      • in the parser::parse() function;
      • in the parser::parse_all() function.
  • Add the transform() function for few handlers:
    • implement it;
    • cover it with tests;
    • use it in the parser::parse() function.
• In the example:
  • Refactor:
    • reduce a list of included headers;
    • remove types:
      • constant_group;
      • function_group;
    • lexemes:
      • fix a code style;
    • built-in functions:
      • use the std::fmod() function for computing a division remainder;
      • fix a code style;
      • fix the explanatory comment;
    • evaluate_ast_node() function:
      • make some functions local for it:
        • inspect_sequence() function;
      • fix a code style;
    • main() function:
      • make some functions local for it:
        • stop() function;
        • enrich_exception() function;
      • fix a code style.
  • Extend tests of errors:
    • check unexpected entities:
      • constants;
      • functions;
    • split tests to short and verbose:
      • mark existing tests as a short version;
      • add a verbose version of tests.

Возможности

• лексинг ASCII-текста:
  • задание лексем посредством регулярных выражений;
  • возможность исключения токенов из результирующего списка;
• парсинг ASCII-текста:
  • описание грамматики на EBNF непосредственно в коде программы (посредством DSL);
• результат:
  • представление в виде:
    • CST;
    • AST;
  • задание имени ноды в дереве;
• парсеры:
  • терминальные:
    • определённые:
      • текст;
      • лексема;
  • комбинаторы:
    • альтернатива (упорядоченная);
    • объединяющие:
      • следование;
      • повторение:
        • 0 или 1 раз (опциональность);
        • 0 или больше раз;
        • 1 или больше раз;
        • любое число раз в указанном диапазоне;
      • список с разделителем;
    • проверяющие:
      • исключение;
      • просмотр вперёд:
        • позитивный;
        • негативный.

Скриншоты

Лексический анализ

Синтаксический анализ