MPS dataflow — анализ потоков данных и управления

★ 7.9 · vibe-coding

mps-aspect-dataflow — это скилл для Claude Code, который помогает определять и отлаживать MPS dataflow builders для концептов языка: объявления потоков управления и данных, которые управляют анализом достижимости и проверкой использования переменных. Скилл охватывает DataFlowBuilderDeclaration, BuilderBlock, все emit-инструкции (code for, jump, ifjump, label, read, write, ret, mayBeUnreachable), типы позиций (AfterPosition, BeforePosition, LabelPosition), язык jetbrains.mps.lang.dataFlow, неявный параметр NodeParameter, использование BL и smodel внутри тел builder-ов, а также IBuilderMode для продвинутых анализов — например, отслеживания nullable/non-null. Подходит разработчикам языков на MPS, которым нужно моделировать порядок выполнения узлов, обнаруживать недостижимый код или проверять инициализацию переменных. Включает справочный индекс с каталогом концептов, проверенными JSON-паттернами, правилами и типовыми ошибками, настройкой модели и примерами из базового языка.