re2c 1.2

В петък, 2 август, беше пусната версията на re2c, безплатен генератор на лексикални анализатори за езиците C и C++. Re2c е написан през 1993 г. от Peter Bamboulis като експериментален генератор на много бързи лексикални анализатори, отличаващ се от другите генератори по скоростта на генерирания код и необичайно гъвкав потребителски интерфейс, който позволява анализаторите да бъдат лесно и ефективно вградени в съществуваща кодова база. Оттогава проектът е разработен от общността и продължава да бъде платформа за експерименти и изследвания в областта на формалните граматики и крайните автомати.

Основни иновации във версия 1.2:

• Добавен е нов (опростен) начин за проверка на края на въведените данни
  (английско „правило EOF“).
  За това е добавена конфигурацията re2c:eof,
  ви позволява да изберете знака на терминала,
  и специално $ правило, което се задейства, ако лексерът
  успешно достигна края на въведените данни.
  Исторически re2c предоставя избор от няколко метода за проверка за
  край на входовете, вариращи по ограничение, ефективност и простота
  приложения. Новият метод е предназначен да опрости писането на код, докато
  като същевременно остават ефективни и широко приложими. Стари начини
  все още работят и може да бъдат предпочитани в някои случаи.

• Добавена е възможност за включване на външни файлове с помощта на директива
  /*!include:re2c "file.re" */ където file.re
  това е името на включващия файл. Re2c търси файлове във включващата файлова директория,
  както и в списъка с пътища, посочени с помощта на опцията -I.
  Включените файлове може да включват други файлове.
  Re2c предоставя "стандартни" файлове в директорията include/
  проект - очаква се там да се натрупат полезни определения
  регулярни изрази, нещо като стандартната библиотека.
  Досега по искане на работниците е добавен един файл с дефиниции на Unicode категории.

• Добавена е възможност за генериране на заглавни файлове с произволни
  съдържание с помощта на опциите -t --type-header (или подходящи
  конфигурации) и нови директиви /*!header:re2c:on*/ и
  /*!header:re2c:off*/. Това може да бъде полезно в случаите, когато
  когато re2c трябва да генерира дефиниции на променливи, структури и макроси,
  използвани в други преводни единици.

• Re2c вече разбира UTF8 литерали и символни класове в регулярни изрази.
  По подразбиране re2c анализира изрази като "∀x ∃y" като.
  последователност от 1-битови ASCII символи e2 88 80 78 20 e2 88 83 79
  (шестнадесетични кодове) и потребителите трябва ръчно да избягват Unicode знаците:
  "u2200x u2203y". Това е много неудобно и неочаквано за мнозина
  потребители (както се вижда от постоянни доклади за грешки). Така че сега
  re2c предоставя опция за кодиране --input ,
  което ви позволява да промените поведението и да анализирате "∀x ∃y" като
  2200 78 20 2203 79.

• Re2c вече позволява използването на обикновени блокове re2c в режим -r --reuse.
  Това е удобно, ако входният файл съдържа много блокове и само някои от тях
  трябва да се използва повторно.

• Сега можете да зададете формата на предупрежденията и съобщенията за грешки
  използвайки новата опция --location-format . Показва се GNU формат
  като име на файл:ред:колона: и формата MSVC като име на файл(ред,колона).
  Тази функция може да бъде полезна за любителите на IDE.
  Добавена е и опция --verbose, която при успех извежда кратко съобщение за победа.

• Режимът "съвместимост" с flex е подобрен - някои грешки при анализиране са коригирани и
  неправилен приоритет на оператора в редки случаи.
  В исторически план опцията -F --flex-support ви позволява да пишете код
  смесени в стил flex и re2c стил, което прави анализирането малко трудно.
  Режимът на съвместимост Flex рядко се използва в нов код,
  но re2c продължава да го поддържа за обратна съвместимост.

• Сега се прилага операторът за изваждане на клас символи /
  преди разширяване на кодирането, което позволява да се използва в по-голям брой случаи,
  ако се използва кодиране с променлива дължина на знаците (например UTF8).

• Изходният файл вече се създава атомарно: re2c първо създава временен файл
  и записва резултата в него и след това преименува временния файл на изхода
  една операция.

• Документацията е попълнена и пренаписана; по-специално бяха добавени нови
  глава относно запълването на буфера
  и относно начините за проверка за края на входните данни.
  Новата документация се събира във формуляра
  изчерпателно ръководство от една страница
  с примери (едни и същи източници са представени в страницата на ръководството и в онлайн документацията).
  Направени са слаби опити за подобряване на четливостта на сайта на телефони.

• От гледна точка на разработчиците, re2c придоби по-пълна подсистема
  отстраняване на грешки Кодът за отстраняване на грешки вече е деактивиран в версиите на версията и
  може да се активира с помощта на опцията за конфигуриране --enable-debug.

Това освобождаване отне много време - почти цяла година.
По-голямата част от времето, както винаги, беше отделено за разработване на теоретична рамка и писане
статии „Ефективно извличане на подсъвпадение на POSIX при NFA“.
Алгоритмите, описани в статията, са внедрени в експерименталната библиотека libre2c
(изграждането на библиотеката и бенчмарковете е деактивирано по подразбиране и е активирано от опцията за конфигуриране
--enable-libs). Библиотеката не е замислена като конкурент на съществуващата
проекти като RE2, но като изследователска платформа за разработване на нови
алгоритми (които след това могат да се използват в re2c или в други проекти).
Също така е удобно от гледна точка на тестване, бенчмаркове и създаване на обвързвания към други езици.

Благодаря от разработчиците на re2c на всички, които помогнаха това издание да се случи,
и към общността като цяло за идеи, доклади за грешки, кръпки, морал и т.н. ;]

Източник: linux.org.ru