Fixed bug in L861-5-1

examples/aides_logement/code_construction_legislatif.catala_fr

@@ -1406,12 +1406,19 @@ Pour l'application de l'article L. 831-1 en Guadeloupe, en Guyane, en Martinique
 conditions sont fixées par voie réglementaire ;”.
 
 ```catala
-champ d'application ÉligibilitéAidePersonnaliséeLogement:
+champ d'application ÉligibilitéAidePersonnaliséeLogement sous condition
+  (selon ménage.résidence sous forme
+  -- Guadeloupe: vrai
+  -- Guyane: vrai
+  -- Martinique: vrai
+  -- LaRéunion: vrai
+  -- Mayotte: vrai
+  -- n'importe quel: faux):
   exception l831_1_alinea_5
   règle condition_logement_bailleur sous condition
     selon ménage.logement.mode_occupation sous forme
       -- RésidentLogementFoyer de location:
-        location.conventionné_selon_règles_mayotte
+        location.conventionné_selon_règles_drom
       -- n'importe quel: faux
   conséquence rempli
 ```

examples/aides_logement/code_construction_reglementaire.catala_fr

@@ -5533,9 +5533,9 @@ champ d'application CalculNombrePartLogementFoyer:
 # Ci-dessus, nous avons modifié le calcul de CalculNombrePartLogementFoyer
 # lorsque la "limitation_majoration_personnes_à_charge" est activée. Mais il
 # nous faut maintenant activer cette "limitation_majoration_personnes_à_charge"
-# dans les bons cas ! Pour cela, puisque CalculNombrePartLogemeinternentFoyer est
-# appelé depuis CalculAidePersonnaliséeLogementFoyer, il nous faut déclarer dans
-# CalculAidePersonnaliséeLogementFoyer une condition
+# dans les bons cas ! Pour cela, puisque CalculNombrePartLogemeinternentFoyer
+# est appelé depuis CalculAidePersonnaliséeLogementFoyer, il nous faut déclarer
+# dans CalculAidePersonnaliséeLogementFoyer une condition
 # "limitation_majoration_personnes_à_charge" similaire qui déclenche celle de
 # CalculNombrePartLogementFoyer. C'est ce que nous faisons ci-dessous.
 champ d'application CalculAidePersonnaliséeLogementFoyer:

examples/aides_logement/prologue.catala_fr

@@ -118,7 +118,7 @@ déclaration structure LogementFoyer:
   donnée type contenu TypeLogementFoyer
   donnée remplit_conditions_r832_21 contenu booléen
   donnée conventionné_livre_III_titre_V_chap_III contenu booléen
-  donnée conventionné_selon_règles_mayotte contenu booléen
+  donnée conventionné_selon_règles_drom contenu booléen
   donnée date_conventionnement contenu date
   donnée construit_application_loi_1957_12_III contenu booléen
   donnée redevance contenu argent

french_law/ocaml/law_source/aides_logement_api_web.ml

@@ -1954,6 +1954,9 @@ class type calcul_allocation_logement_locatif =
 
 class type calcul_allocation_logement_accession_propriete =
   object
+    method mensualiteEligible: Js.number Js.t Js.readonly_prop
+    method mensualiteMinimale: Js.number Js.t Js.readonly_prop
+    method coefficientPriseEnCharge: Js.number Js.t Js.readonly_prop
     method aideFinaleFormule: Js.number Js.t Js.readonly_prop
     method traitementAideFinale:
       (unit,  Js.number Js.t -> Js.number Js.t) Js.meth_callback Js.meth
@@ -1963,6 +1966,12 @@ class type calcul_allocation_logement_accession_propriete =
     : CalculAllocationLogementAccessionPropriete.t)
     : calcul_allocation_logement_accession_propriete Js.t =
     object%js
+      val mensualiteEligible =
+        Js.number_of_float @@ money_to_float calcul_allocation_logement_accession_propriete.mensualite_eligible
+      val mensualiteMinimale =
+        Js.number_of_float @@ money_to_float calcul_allocation_logement_accession_propriete.mensualite_minimale
+      val coefficientPriseEnCharge =
+        Js.number_of_float @@ decimal_to_float calcul_allocation_logement_accession_propriete.coefficient_prise_en_charge
       val aideFinaleFormule =
         Js.number_of_float @@ money_to_float calcul_allocation_logement_accession_propriete.aide_finale_formule
       method traitementAideFinale = Js.wrap_meth_callback
@@ -1977,6 +1986,16 @@ class type calcul_allocation_logement_accession_propriete =
       : calcul_allocation_logement_accession_propriete Js.t) :
     CalculAllocationLogementAccessionPropriete.t =
     {
+      mensualite_eligible =
+        money_of_decimal @@ decimal_of_float @@ Js.float_of_number
+          calcul_allocation_logement_accession_propriete##.mensualiteEligible;
+      mensualite_minimale =
+        money_of_decimal @@ decimal_of_float @@ Js.float_of_number
+          calcul_allocation_logement_accession_propriete##.mensualiteMinimale;
+      coefficient_prise_en_charge =
+        decimal_of_float @@ Js.float_of_number
+          calcul_allocation_logement_accession_propriete
+          ##.coefficientPriseEnCharge;
       aide_finale_formule =
         money_of_decimal @@ decimal_of_float @@ Js.float_of_number
           calcul_allocation_logement_accession_propriete##.aideFinaleFormule;
@@ -2478,7 +2497,7 @@ class type logement_foyer =
     method typeUser: type_logement_foyer Js.t Js.readonly_prop
     method remplitConditionsR83221: bool Js.t Js.readonly_prop
     method conventionneLivreIIITitreVChapIII: bool Js.t Js.readonly_prop
-    method conventionneSelonReglesMayotte: bool Js.t Js.readonly_prop
+    method conventionneSelonReglesDrom: bool Js.t Js.readonly_prop
     method dateConventionnement: Js.js_string Js.t Js.readonly_prop
     method construitApplicationLoi195712III: bool Js.t Js.readonly_prop
     method redevance: Js.number Js.t Js.readonly_prop
@@ -2496,8 +2515,8 @@ class type logement_foyer =
         Js.bool logement_foyer.remplit_conditions_r832_21
       val conventionneLivreIIITitreVChapIII =
         Js.bool logement_foyer.conventionne_livre_III_titre_V_chap_III
-      val conventionneSelonReglesMayotte =
-        Js.bool logement_foyer.conventionne_selon_regles_mayotte
+      val conventionneSelonReglesDrom =
+        Js.bool logement_foyer.conventionne_selon_regles_drom
       val dateConventionnement =
         date_to_jsoo logement_foyer.date_conventionnement
       val construitApplicationLoi195712III =
@@ -2518,8 +2537,8 @@ class type logement_foyer =
         Js.to_bool logement_foyer##.remplitConditionsR83221;
       conventionne_livre_III_titre_V_chap_III =
         Js.to_bool logement_foyer##.conventionneLivreIIITitreVChapIII;
-      conventionne_selon_regles_mayotte =
-        Js.to_bool logement_foyer##.conventionneSelonReglesMayotte;
+      conventionne_selon_regles_drom =
+        Js.to_bool logement_foyer##.conventionneSelonReglesDrom;
       date_conventionnement =
         date_of_jsoo logement_foyer##.dateConventionnement;
       construit_application_loi_1957_12_III =

french_law/python/src/api.py

@@ -141,7 +141,7 @@ class InfosLogementFoyer(InfosSpecifiques):
                  construit_application_loi_1957_12_III: bool,
                  redevance: int,
                  categorie_equivalence_loyer_d842_16: CategorieEquivalenceLoyerAllocationLogementFoyer_Code,
-                 conventionne_selon_regles_mayotte: bool,
+                 conventionne_selon_regles_drom: bool,
                  beneficiaire_aide_adulte_ou_enfant_handicapes: bool,
                  logement_meuble_d842_2: bool):
         self.type = type
@@ -151,7 +151,7 @@ class InfosLogementFoyer(InfosSpecifiques):
         self.construit_application_loi_1957_12_III = construit_application_loi_1957_12_III
         self.redevance = redevance
         self.categorie_equivalence_loyer_d842_16 = categorie_equivalence_loyer_d842_16
-        self.conventionne_selon_regles_mayotte = conventionne_selon_regles_mayotte
+        self.conventionne_selon_regles_drom = conventionne_selon_regles_drom
         self.beneficiaire_aide_adulte_ou_enfant_handicapes = beneficiaire_aide_adulte_ou_enfant_handicapes
         self.logement_meuble_d842_2 = logement_meuble_d842_2
 
@@ -264,7 +264,7 @@ def aides_logement(
                         (LogementFoyer(
                             type=TypeLogementFoyer(
                                 code=infos_specifiques.type, value=Unit()),
-                            conventionne_selon_regles_mayotte=infos_specifiques.conventionne_selon_regles_mayotte,
+                            conventionne_selon_regles_drom=infos_specifiques.conventionne_selon_regles_drom,
                             logement_meuble_d842_2=infos_specifiques.logement_meuble_d842_2,
                             beneficiaire_aide_adulte_ou_enfant_handicapes=infos_specifiques.beneficiaire_aide_adulte_ou_enfant_handicapes,
                             remplit_conditions_r832_21=infos_specifiques.remplit_conditions_r832_21,