Исправление ошибок в блоке формальных языков

Originally reported on Google Code with ID 121
Здравствуйте,
Недавно, в силу необходимости создания хотя бы одного рабочего описания языка влез
в клон Сергея и нашёл некоторое множество ошибок, которые на текущий момент не позволяют
нормальную разработку.

1) Версия language_base.php используемая в репозитории устарела, и не может быть использована
по назначению, более того она содержит ошибку (в require_once, которая была исправлена
затем). Однако в ней сделаны изменения, поэтому необходимо слить её с новой версией.

В block_formal_langs_predefined_language мне, честно говоря непонятно почему создаётся
объект класса _scaner - здесь есть какая-то грамматическая ошибка (ибо сканер по-английски
scanner), а вообще в терминологии принят термин lexer. Олег Александрович, у меня просьба
прояснить ситуацию: это ваше требование или ошибка реализации?

2) В файлах, содержащихся в langs_code/predefined широко используются относительные
ссылки в require_once. В Moodle не используются при кодировании относительные ссылки,
более того, это при внешнем включении в Moodle порождает ошибки (файлы просто не включаются
и выбрасывают Fatal Error).

3) Как я понимаю, в scaners.php содержится код, связанный с общим лексером, задаваемым
пользователем. В случае предопределённого лексера выглядит оптимальным субклассировать
надкласс данного лексера (к примеру для обертки лексера, созданного с помощью JLex).
На текущий момент, это невозможно, приходится субклассировать ваш, Сергей. Олег Александрович,
просьба дать ваш комментарий, мне кажется, что иметь абстрактный класс лексера было
бы неплохой вещью, учитывая что код в конструкторе block_formal_langs_predefined_language
предполагает наличие класса лексера

4) Сам eng_simple_lexer.php помимо общих ошибок содержит переменную debug_mode, которая
задаёт режим отладки. Так вот, её ничем кроме правки кода самого лексера отключить
нельзя. Также текущая реализация неспособна разобрать даже строку "I am error". Я бы
хотел предложить по умолчанию считать строку символов существительных с целью хотя
обеспечить разбор простых тестов. 

5) Также код в данной части вызывает вопрос - вообще может ли лексер бросать исключения?
Или он должен разбирать вообще любой набор символов? Если нет, то почему он бросает
исключения.

Просьба всех кого указал во владельца, прокомментировать ситуацию. Могу в случае недостатка
времени поспособствовать в исправлениях.
Reported by mamontov.dp on 2012-05-03 16:39:28
Comments (5)
