- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11
- 12
- 13
- 14
- 15
- 16
- 17
- 18
- 19
- 20
- 21
- 22
- 23
- 24
- 25
- 26
- 27
- 28
- 29
- 30
- 31
- 32
- 33
- 34
- 35
- 36
- 37
- 38
- 39
rule_t block_r = ch_p('{') >> *(~ch_p('}') | (~ch_p('{') >> block_r));
rule_t bin_r = str_p("0b") >> bin_p[assign(m)];
rule_t hex_r = str_p("0x") >> hex_p[assign(m)];
rule_t dec_r = uint_p[assign(m)];
rule_t id_r = alpha_p >> *(alnum_p | ch_p('_') | ch_p('.'));
rule_t string_r = ch_p('"') >> (*(~ch_p('"')))[assign(s)] >> ch_p('"');
rule_t channel_r = str_p("channel") >> *(space_p) >> id_r[assign(s)][assign_a(ch.name,s)][push_back_a(lstJSVars_,s)] >> *(space_p) >> ch_p('{') >>
*(space_p
| (str_p("mode") >> *(space_p) >> ch_p('=') >> *(space_p) >>
(str_p("in")[assign_a(ch.mode,(int)channel::IN)] | str_p("out")[assign_a(ch.mode,(int)channel::OUT)]) >> *(space_p) >> ch_p(';'))
| (str_p("number") >> *(space_p) >> ch_p('=') >> *(space_p) >> int_p[assign(ch.number)] >> *(space_p) >> ch_p(';'))
| (str_p("channel") >> *(space_p) >> ch_p('=') >> *(space_p) >> int_p[assign(ch.ch)] >> *(space_p) >> ch_p(';'))
| (str_p("gain") >> *(space_p) >> ch_p('=') >> *(space_p) >> int_p[assign(ch.gain)] >> *(space_p) >> ch_p(';'))
| (str_p("type") >> *(space_p) >> ch_p('=') >> *(space_p) >>
(str_p("analog")[assign_a(ch.type,(int)channel::ANALOG)] | str_p("discrete")[assign_a(ch.type,(int)channel::DISCRETE)]) >> *(space_p) >> ch_p(';'))
| (str_p("mask") >> *(space_p) >> ch_p('=') >> *(space_p) >>
(bin_r[assign_a(ch.mask,m)] | hex_r[assign_a(ch.mask,m)] | dec_r[assign_a(ch.mask,m)]) >> *(space_p) >> ch_p(';'))
) >>
ch_p('}') >> *(space_p) >> ch_p(';');
rule_t device_r = str_p("device_info") >> *(space_p) >> id_r[assign(dev_info_.name)] >> *(space_p) >> ch_p('{') >>
*(space_p |
(str_p("device") >> *(space_p) >> ch_p('=') >> *(space_p) >> string_r[assign_a(dev_info_.dev,s)] >> *(space_p) >> ch_p(';')) |
(str_p("blocking") >> *(space_p) >> ch_p('=') >> *(space_p) >>
(str_p("true")[assign_a(dev_info_.blocking,true)] | str_p("false")[assign_a(dev_info_.blocking,false)]) >> *(space_p) >> ch_p(';')) |
(str_p("freq_ch") >> *(space_p) >> ch_p('=') >> *(space_p) >> int_p[assign(dev_info_.freq_ch)] >> *(space_p) >> ch_p(';')) |
(str_p("freq_sel_ch") >> *(space_p) >> ch_p('=') >> *(space_p) >> int_p[assign(dev_info_.freq_sel_ch)] >> *(space_p) >> ch_p(';')) |
(str_p("speed") >> *(space_p) >> ch_p('=') >> *(space_p) >> int_p[assign(dev_info_.speed)] >> *(space_p) >> ch_p(';')) |
channel_r[assign_a(v,ch)][push_back_a(lstChannels_,v)]
) >>
ch_p('}') >> *(space_p) >> ch_p(';');
rule_t var_r = (str_p("var") >> *(space_p) >> id_r[assign(s)][push_back_a(lstJSVars_,s)] >>*(~ch_p(';')) >> ch_p(';'))[assign(s)][push_back_a(lstVars,s)];
rule_t function_r = str_p("function") >> *(~ch_p('`'));
//rule_t function_r = str_p("function") >> *(~ch_p('{')) >> block_r;
rule_t script_r = str_p("script") >> *(space_p) >> ch_p('{') >>
*(space_p |
var_r[assign(s)][push_back_a(lstJSVars_,s)] |
(function_r[assign(s)][push_back_a(lstFunc,s)] >> *(space_p) >> ch_p('`'))
) >>
ch_p('}') >> *(space_p) >> ch_p(';');
Хорошо, что я не дописал похожую штуку для петона. Сперва я думал, что будет красиво.
а писаемо?
Надо руку набить и немного выпить для храбрости... И самое главное -- не смотреть вниз на ошибки конпелятора.
Если с [action'ами] сильно не выёбываться и правила более-менее внятно называть, то пишется вполне норм.
>мелкий конфиг
вооот! Какой-нить "ini" файл я бы и сам на спирите запилил, но ведь тут совсем что-то страшное.
Кстати, современные конфиги можно хранить в yaml/toml/xml/json и не писать парсер вооще
Дык это и есть BNF, просто обмазанный крестоговном и с ограничениями типичного LL парсера...
Но я предвзят: спирит я трогал один раз из интереса, а BNF мне часто встречался в описании всяких говноформатов протоколов, и я как-то привык
* пишешь BNF
* тула генерит тебе по нему код
Ну как бизон например. Другой вопрос, что код получается говеный, и его нужно обмазывать потом удодным API
И что этот код сможет сделать помимо проверки синтаксиса? Всё равно какие-то расширения BNF нужны в духе экшенов [спирта] или {бизона}. Голый BNF только для документации пригоден.
Примерно как бы ты парсил XML со схемой.
Это не подойдет для настоящего парсера наверное, но для конфига может.
(тут надо спизднуть что-то умное про грамматики и иерархию Хомски, наверное)
Фублядь, фунахуй... Зачем мне описывать грамматику, которая мапается на какое-то json-подобное говнище, которое потом руками дальше парсить? Если уж юзать инструмент, так по-нормальному...
А зачем? Ну если это key value, то чому бы и нет?
Если же ты хочешь настоящий парсер, который умеет найши ошибку, подсветить, и сказать "питух экспектд", то конечно надо вшивать в него умный код, и тут без экшенов не абойтись
А где генератор в голом BNF найдёт типы? Свои какие-то от балды напихает, чтобы мне потом их в осмысленные загонять и доделывать работу руками за него?
ну типа итак
это енум Letter
итд
>тобы мне потом их в осмысленные загонять
Так и было сказано:
>Другой вопрос, что код получается говеный, и его нужно обмазывать потом удодным API
А еще было сказано, что это подходит для конфигов (где все довольно тупо) но не для парсеров.
Блин, какой ты капризный. У меня на работе жабаёбы длиннющщие JSONы вручную парсят какой-то хуйней типа
и не жужжат
Я просто не понимаю, нахуя закручивать шурупы шуроповёртом как отвёрткой, так и не разобравшись, что его можно включить и он будет закручивать всё сам...
Хотя мне ближе ручной процедурный подход.
Из говна и палок? А если я могу как-то управлять упаковкой распарсенного говна в нужные мне типы, поля и т.п., то это уже расширенный BNF, как в спирте или бизоне.
Хочу я конфиг — беру «pydantic» и теку от строго типизированной конфигурации с нулевым бройлерплейтом:
Там даже «parse_file()» есть, если лень файл читать.
Можно сделать «parse_obj()», передав туда любой питоний словарик; словарик можешь парсить откуда угодно.
Тем, что хипстерскую парашу для сериализации все почему-то начали юзать в качестве человекочитаемых конфигов.
А там ведь даже комментов нету.
Отделяет синтакс от сёмантики.
Имена параметров он где возьмёт? Как он поймёт, какие элементы мне надо сохранить, а какие просто кусок синтаксиса? Как он поймёт, какие типы назначить этим параметрам (я не хочу допарсивать каждый инт потом)?
В голом BNF ничего из этого нет, емнип.
ключи известны заранее
Как бы ты его распарсил?
Я писал парсер и лексер для гнуснёвой командлайны на жабе
Ну точнее я просто взял JFlex и там нахучил
Именно потому каждая виндовая тула имеет СВОЙ синтаксис для аргументов, и каждый из них отвратителен по своему
А ты же читал статью "Everyone quotes command line arguments the wrong way" ?
Ну х.з., yaml ещё ничего, но за конфиги в json или xml мне хочется убивать.
Я тут давеча попал на сервер убунту, и а там netplan. Я его исправил, говорю ``netplan try --debug``, а он говорит "хуй", а что хуй не поясняет.
Правда ямл не виноват: там оказалось, что он ждал листа (который в ямле через "-" или в скобках) а я ему туда литерал хуйнул.
json действительно отвратителен, но к сожалению на нем уже дохуя всего, например докер, и вроде эти ваши VSCode?
XML хорошо поддерживает вложенность, есть стандарт для референсов, его можно програмно спарснуть на любом языке, итд.
Проблема его только в вербозности. Использовать XML для пары key-value -- тупо.
Мне XML легче читать, чем JSON, но это тоже моя деформация
Python я не люблю. При серьёзном уровне вложенности приходится писать код в правом углу моника.
Вообще говоря, он обратно совместим с json. Так что можешь скобочками обмазать в некоторых местах.
А может, и в ямле можно? Я может лалка анскильная?
> Так что можешь скобочками обмазать.
Спасибо, не хочу.
Хачу чтобы чтобы вместо неплана были interfaces как в debian. Там свой говноформат, очень простой
С натяжкой, там есть ссылки. И если в твоём формате есть какие-то места, на которые парсеру пофиг, то там можно &складывать блоки и *ссылаться на них из других мест.
https://ru.m.wikipedia.org/wiki/JSON-LD
Пиздец, какой-то XML с неймспейсами там замутили...
Кстати тут больше никаких операций не определяется, я бы вместо токого дерьма нагородил бы простенький дсльчик.
можно как-то так наибать JS, чтоб можно было написать
или нет?
Опять говно,
Снова выход на бис,
Плетёт лапшу генерено
За чертою кулис.
Докомпилю,
Но уже не спеша
Я вижу, как
Берёт разбег
Лапша.
Опять грачи
Опять лечить
Опять оффтоп...
Опять говном.
Понабежали как глисты