metaclass: (Default)
metaclass ([personal profile] metaclass) wrote2010-03-31 05:40 pm

Вуду^5

Генерил кодогенератором опердень, понадобилось добавить способ описания предикатов проверки прав доступа пользователей (типа "этот пользователь видит только данные своего филиала, или же только относящиеся к налоговой инспекции в городе где этот филиал"). Ну отдельные проверки понятно - запрос типа "exists(select 1 from UserDepartments where UserID=current_user and DeptID=OperdenTable_DeptID)" но мне понадобилось их объединять в итоговый предикат отдельно описанными логическими функциями.
Не нашел ничего лучше, как вкрутить первый попавшийся в гугле под руки парсер s-выражений на F#, который был там приведен как пример использования fsyacc и fslex, затем буквально за 5 минут написал конвертор этих выражений в условия для where в sql-запросах.

Т.е., ко всей этой опердени на смеси SQL,F#,дельфи и жутких xml-метаданных еще добавилось и подмножество лиспа :)

Кстати, весь модуль опердени (2 справочника, 4 ведомости, куча проверок, внешних ключей и зависимостей от других модулей)), ради которого это все затевалось, за полдня на оном безумии сделала специально вышедшая из декрета сотрудница.

Но, тем не менее, теперь я понимаю, почему нормальных готовых решений с кодогенерацией опердени почти не существует. Там надо учесть столько мелочей (в модели и кодогенераторе), что это пригодно либо только для очень ограниченных решений, либо становится настолько сложным, что никто этим пользоваться не станет.

Re: Генеральный Конструктор Генераторов Опердени

[identity profile] metaclass.livejournal.com 2010-04-01 06:49 am (UTC)(link)
Модель генерируется из самой себя тем же кодогенератором. Это вообще ключевой аспект всей затеи был.

А вот в кодогенераторе сгенерить можно только маппинг "база данных моделей -> внутренние структуры" и я пока до этого не добрался, потом сделаю.

Re: Генеральный Конструктор Генераторов Опердени

[identity profile] ilya-portnov.livejournal.com 2010-04-01 10:04 am (UTC)(link)
Не модель. Надо чтобы опердень сама себя кодогенерировала. Будет тру-кошерная самогенерирующаяся из ничего рекурсивная опердень.