Опубликованный пакет / CLIR
fr.code_civil.core
v0.1.0Code civil
Пакет можно напечатать самостоятельным модулем на языке общего назначения, который отвечает без движка правил: ответ и статус, без доказательства, хэшей и канонического документа. Всё на этой странице взято из плана кодогенерации, построенного вместе с индексом; витрина ничего не вычисляет сама.
План кодогенерации
План строится: пакет печатается модулем.
- формат плана
- law-backend-plan/0.19
- возможности
- calendar:period, defeasible, judgment, negation, norm, status:not_known
Сверка сценариями пакета
Не сверено: сценарии пакета на порождённых модулях не исполнялись. Построенный план ещё не показывает, что ответы совпадают.
Целевые языки
gopyts
отвергают этот план · 13
bslверсия плана не поддержана эмиттером: 'law-backend-plan/0.19' (поддержана law-backend-plan/0.7)csверсия плана не поддержана эмиттером: 'law-backend-plan/0.19' (поддержана law-backend-plan/0.7)dartверсия плана не поддержана эмиттером: 'law-backend-plan/0.19' (поддержана law-backend-plan/0.7)erlверсия плана не поддержана эмиттером: 'law-backend-plan/0.19' (поддержана law-backend-plan/0.7)exверсия плана не поддержана эмиттером: 'law-backend-plan/0.19' (поддержана law-backend-plan/0.7)javaверсия плана не поддержана эмиттером: 'law-backend-plan/0.19' (поддержана law-backend-plan/0.7)ktверсия плана не поддержана эмиттером: 'law-backend-plan/0.19' (поддержана law-backend-plan/0.7)luaверсия плана не поддержана эмиттером: 'law-backend-plan/0.19' (поддержана law-backend-plan/0.7)phpверсия плана не поддержана эмиттером: 'law-backend-plan/0.19' (поддержана law-backend-plan/0.7)rbверсия плана не поддержана эмиттером: 'law-backend-plan/0.19' (поддержана law-backend-plan/0.7)rsверсия плана не поддержана эмиттером: 'law-backend-plan/0.19' (поддержана law-backend-plan/0.7)scalaверсия плана не поддержана эмиттером: 'law-backend-plan/0.19' (поддержана law-backend-plan/0.7)swiftверсия плана не поддержана эмиттером: 'law-backend-plan/0.19' (поддержана law-backend-plan/0.7)
./law dev backend corpus/clir/fr-code-civil-core.lawir.json --target ts --target py --target go --out DIR
Интерфейс модуля
Вопросы — публичные отношения с производящим правилом; входы — факты, которые вопрос читает. Имена функций следуют языку: ask_… в Python, ask.… в TypeScript, Ask… в Go.
Вопросы · 12
| Имя | Параметры | Смысл | Читает | Источники |
|---|---|---|---|---|
| acte_fixe_une_date_d_entree | text | l'acte fixe une date d'entree en vigueurFR | date_d_entree_en_vigueur_fixee | article/1 |
| decision_reste_particuliere | text | la decision demeure particuliere a la cause soumiseFR | decision_rendue_pardisposition_generale_et_reglementaire | article/5 |
| derogation_conventionnelle_interdite | text | la derogation par convention particuliere est interditeFR | convention_deroge_a_une_loiloi_interesse_ordre_public_ou_bonnes_moeurs | article/6 |
| effet_identique_independant_du_sexe | text | l'effet, le droit ou l'obligation est identique independamment du sexe des epoux ou des parentsFR | effet_du_mariage_ou_de_l_adoption_pleniereeffet_releve_chapitres_un_a_quatre_titre_sept | article/6-1 |
| enfant_a_droits_et_devoirs_egaux | text, text, text | l'enfant a les memes droits et devoirs dans ses rapports avec son parentFR | filiation_adoptive_simplefiliation_legalement_etablie | article/6-2 |
| enfant_entre_dans_famille_du_parent | text, text, text | la filiation fait entrer l'enfant dans la famille du parentFR | filiation_legalement_etablie | article/6-2 |
| entre_en_vigueur_le | text, date | date d'entree en vigueur determinee par l'article 1FR | acte_individueldate_d_entree_en_vigueur_fixeemesures_d_application_en_vigueur_lemesures_d_application_necessairespublie_au_journal_officiel_leurgence_prescrite | article/1 |
| immeuble_releve_de_la_loi_francaise | text | l'immeuble est regi par la loi francaiseFR | bien_est_immeuble | article/3 |
| jugement_assure | text, text | le juge ne refuse pas de juger l'instanceFR | juge_refuse_de_jugerjuge_saisi | article/4 |
| loi_applicable_sans_retroactivite | text, text | la loi est applicable a la situation sans effet retroactifFR | loi_entree_en_vigueur_lesituation_survenue_le | article/2 |
| loi_francaise_regit_etat_ou_capacite | text, text | la loi francaise regit l'etat ou la capacite de la personneFR | personne_est_francaisequestion_d_etat_ou_de_capacite | article/3 |
| loi_oblige_personne | text, text | la loi de police ou de surete oblige la personneFR | loi_de_police_ou_de_suretepersonne_habite_le_territoire | article/3 |
Входы · 23
| Имя | Параметры | Смысл |
|---|---|---|
| acte_individuel | text | l'acte administratif est individuelFR |
| bien_est_immeuble | text | le bien est un immeubleFR |
| convention_deroge_a_une_loi | text | la convention particuliere deroge a une loiFR |
| date_d_entree_en_vigueur_fixee | text, date | date d'entree en vigueur fixee par l'acteFR |
| decision_rendue_par | text, text | la decision est rendue par le jugeFR |
| disposition_generale_et_reglementaire | text | la decision statue par voie de disposition generale et reglementaireFR |
| effet_du_mariage_ou_de_l_adoption_pleniere | text | l'effet resulte du mariage ou de la filiation adoptive pleniereFR |
| effet_releve_chapitres_un_a_quatre_titre_sept | text | l'effet releve des chapitres Ier a IV du titre VII du livre IerFR |
| filiation_adoptive_simple | text | le lien est une filiation adoptive simpleFR |
| filiation_legalement_etablie | text, text, text | la filiation de l'enfant a l'egard du parent est legalement etablieFR |
| juge_refuse_de_juger | text, text | le juge refuse de juger l'instanceFR |
| juge_saisi | text, text | le juge est saisi de l'instanceFR |
| loi_de_police_ou_de_surete | text | la loi est une loi de police ou de sureteFR |
| loi_entree_en_vigueur_le | text, date | date d'entree en vigueur de la loi examineeFR |
| loi_interesse_ordre_public_ou_bonnes_moeurs | text | la loi a laquelle la convention deroge interesse l'ordre public ou les bonnes moeursFR |
| mesures_d_application_en_vigueur_le | text, date | date d'entree en vigueur des mesures d'application necessairesFR |
| mesures_d_application_necessaires | text | l'execution de la disposition necessite des mesures d'applicationFR |
| personne_est_francaise | text | la personne a la nationalite francaiseFR |
| personne_habite_le_territoire | text | la personne habite le territoire francaisFR |
| publie_au_journal_officiel_le | text, date | date de publication au Journal officielFR |
| question_d_etat_ou_de_capacite | text, text | la situation concerne l'etat ou la capacite de la personneFR |
| situation_survenue_le | text, date | date a laquelle la situation juridique est survenueFR |
| urgence_prescrite | text | l'urgence est prescrite par le decret de promulgation ou par une disposition speciale du GouvernementFR |