Опубликованный пакет / CLIR
doctrine.ius_privatum
v0.1.0Право и иск как одна конструкция: мостовой словарь ius privatum для сравнения кодексов
Пакет можно напечатать самостоятельным модулем на языке общего назначения, который отвечает без движка правил: ответ и статус, без доказательства, хэшей и канонического документа. Всё на этой странице взято из плана кодогенерации, построенного вместе с индексом; витрина ничего не вычисляет сама.
План кодогенерации
План строится: пакет печатается модулем.
- формат плана
- law-backend-plan/0.8
- возможности
- defeasible, negation, priority, status:not_known
Сверка сценариями пакета
Не сверено: сценарии пакета на порождённых модулях не исполнялись. Построенный план ещё не показывает, что ответы совпадают.
Целевые языки
gopyts
отвергают этот план · 13
bslверсия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)csверсия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)dartверсия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)erlверсия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)exверсия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)javaверсия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)ktверсия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)luaверсия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)phpверсия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)rbверсия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)rsверсия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)scalaверсия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)swiftверсия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)
./law dev backend corpus/clir/doctrine-ius-privatum.lawir.json --target ts --target py --target go --out DIR
Интерфейс модуля
Вопросы — публичные отношения с производящим правилом; входы — факты, которые вопрос читает. Имена функций следуют языку: ask_… в Python, ask.… в TypeScript, Ask… в Go.
Вопросы · 5
| Имя | Параметры | Смысл | Читает | Источники |
|---|---|---|---|---|
| ius_efficax | text, text, text | право действенно: средство защиты дано и не отнято | heres_estremedium_consumptumremedium_daturremedium_transit_ad_heredemremedium_transit_contra_heredem | |
| ius_nudum | text, text, text | право голое: должник обязан, а средства защиты у кредитора нет | heres_estobligatioremedium_consumptumremedium_daturremedium_transit_ad_heredemremedium_transit_contra_heredem | |
| remedium_competit | text, text, text | средство защиты принадлежит истцу против ответчика: дано ему самому либо перешло к нему или против него по наследству | heres_estremedium_daturremedium_transit_ad_heredemremedium_transit_contra_heredem | |
| remedium_exclusum | text, text, text | средство защиты отнято: возражением, погашением тяжбой, давностью, иммунитетом ответчика | remedium_consumptum | |
| remedium_sine_iure | text, text, text | средство защиты без материального права: истец не собственник и не кредитор по этому кодексу, но защиту получает | causa_de_redominiumheres_estobligatioremedium_daturremedium_in_personamremedium_in_remremedium_transit_ad_heredemremedium_transit_contra_heredem |
Входы · 10
| Имя | Параметры | Смысл |
|---|---|---|
| causa_de_re | text, text | притязание направлено на эту вещь |
| dominium | text, text | лицо является собственником вещи по праву этого кодекса |
| heres_est | text, text | лицо является наследником умершего по праву этого кодекса |
| obligatio | text, text, text | должник обязан перед кредитором по этому притязанию |
| remedium_consumptum | text, text, text | средство защиты погашено прежней тяжбой о том же |
| remedium_datur | text, text, text | правопорядок даёт истцу средство защиты против ответчика по этому притязанию |
| remedium_in_personam | text, text, text | средство защиты личное: истец требует от ответчика дать, сделать, предоставить |
| remedium_in_rem | text, text, text | средство защиты вещное: истец требует вещь как свою |
| remedium_transit_ad_heredem | text | средство защиты переходит к наследнику истца |
| remedium_transit_contra_heredem | text | средство защиты переходит против наследника ответчика |