Опубликованный пакет / CLIR
vocab.systems
v0.1.0У пакета нет официального названия источника — в CLIR у package нет ни описания, ни меток, и выдумывать его витрина не станет.
Пакет можно напечатать самостоятельным модулем на языке общего назначения, который отвечает без движка правил: ответ и статус, без доказательства, хэшей и канонического документа. Всё на этой странице взято из плана кодогенерации, построенного вместе с индексом; витрина ничего не вычисляет сама.
План кодогенерации
План строится: пакет печатается модулем.
- формат плана
- law-backend-plan/0.9
- возможности
- aggregate, defeasible, status:supported
Сверка сценариями пакета
Не сверено: сценарии пакета на порождённых модулях не исполнялись. Построенный план ещё не показывает, что ответы совпадают.
Целевые языки
gopyts
отвергают этот план · 13
bslверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)csверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)dartверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)erlверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)exверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)javaверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)ktверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)luaверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)phpверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)rbверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)rsверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)scalaверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)swiftверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)
./law dev backend corpus/clir/vocab-systems.lawir.json --target ts --target py --target go --out DIR
Интерфейс модуля
Вопросы — публичные отношения с производящим правилом; входы — факты, которые вопрос читает. Имена функций следуют языку: ask_… в Python, ask.… в TypeScript, Ask… в Go.
Вопросы · 8
| Имя | Параметры | Смысл | Читает | Источники |
|---|---|---|---|---|
| channel_sensor_count | text, dec | сколько датчиков питают канал | measures | |
| component_reaches | text, text | часть входит в целое непосредственно или по цепочке | component_of | |
| component_topology_wellformed | text | структура системы пригодна: дефектов у неё не выведено | component_ofdepends_onresource_held_byresource_kind_of | |
| depends_on_reaches | text, text | зависимость прямая или по цепочке | depends_on | |
| kind_role_conflict | text, text | система объявлена и передающей, и производящей ресурс одного рода | produces_kindtransfers_kind | |
| location_known | text | место объекта предъявлено входом | located_in | |
| resource_wellformed | text | запас пригоден: род один и он назван | resource_kind_of | |
| topology_defect | text, enum | названный дефект структуры у системы | component_ofdepends_onresource_held_byresource_kind_of |
Входы · 8
| Имя | Параметры | Смысл |
|---|---|---|
| component_of | text, text | часть непосредственно входит в состав целого |
| depends_on | text, text | работа системы непосредственно зависит от другой системы |
| located_in | text, text | объект размещён в месте |
| measures | text, text | датчик питает измерительный канал |
| produces_kind | text, text | система производит ресурс этого рода |
| resource_held_by | text, text | запас приписан к системе |
| resource_kind_of | text, text | род ресурса запаса |
| transfers_kind | text, text | система передаёт ресурс этого рода, не создавая и не расходуя его |