mirror of
https://github.com/CatalaLang/catala.git
synced 2024-11-08 17:10:22 +03:00
Remove age prompts, deduct from birth date correctly
This commit is contained in:
Denis Merigoux
parent
4336fb0a41
commit
a1ebb6715c
@ -202,7 +202,8 @@ exception cas_base_l822_4 règle condition_logement_location_tiers
|
||||
selon ménage.logement.loué_ou_sous_loué_à_des_tiers sous forme
|
||||
-- LouéOuSousLouéÀDesTiers.Non: vrai
|
||||
-- LouéOuSousLouéÀDesTiers.Oui de personne:
|
||||
personne.age_personne_sous_location <= 30 ou
|
||||
personne.date_naissance_personne_sous_location +@ 30 an >@
|
||||
date_courante ou
|
||||
personne.conforme_article_l442_1
|
||||
conséquence rempli
|
||||
```
|
||||
@ -932,7 +933,6 @@ champ d'application ÉligibilitéAllocationLogement:
|
||||
-- obligation_scolaire: enfant.EnfantÀCharge.obligation_scolaire
|
||||
-- rémuneration_mensuelle: enfant.EnfantÀCharge.rémuneration_mensuelle
|
||||
-- date_de_naissance: enfant.EnfantÀCharge.date_de_naissance
|
||||
-- âge: enfant.EnfantÀCharge.âge
|
||||
-- prise_en_charge: (selon enfant.EnfantÀCharge.prise_en_charge sous forme
|
||||
-- PriseEnCharge.EffectiveEtPermanente:
|
||||
PriseEnChargeEnfant.EffectiveEtPermanente
|
||||
@ -967,7 +967,6 @@ champ d'application ÉligibilitéAllocationLogement:
|
||||
-- obligation_scolaire: enfant.EnfantÀCharge.obligation_scolaire
|
||||
-- rémuneration_mensuelle: enfant.EnfantÀCharge.rémuneration_mensuelle
|
||||
-- date_de_naissance: enfant.EnfantÀCharge.date_de_naissance
|
||||
-- âge: enfant.EnfantÀCharge.âge
|
||||
-- prise_en_charge: (selon enfant.EnfantÀCharge.prise_en_charge sous forme
|
||||
-- PriseEnCharge.EffectiveEtPermanente:
|
||||
PriseEnChargeEnfant.EffectiveEtPermanente
|
||||
|
||||
@ -1142,7 +1142,8 @@ l'article L. 823-2 du présent code ;
|
||||
champ d'application ÉligibilitéAidesPersonnelleLogement:
|
||||
règle prise_en_compte_personne_à_charge de personne_à_charge sous condition
|
||||
selon personne_à_charge sous forme
|
||||
-- EnfantÀCharge de enfant: enfant.EnfantÀCharge.âge <= 21
|
||||
-- EnfantÀCharge de enfant:
|
||||
enfant.EnfantÀCharge.date_de_naissance +@ 21 an >@ date_courante
|
||||
-- AutrePersonneÀCharge de parent: faux
|
||||
conséquence rempli
|
||||
```
|
||||
|
||||
@ -154,7 +154,7 @@ déclaration énumération ParentOuAutre:
|
||||
-- Autre
|
||||
|
||||
déclaration structure PersonneSousLocation:
|
||||
donnée age_personne_sous_location contenu entier
|
||||
donnée date_naissance_personne_sous_location contenu date
|
||||
donnée conforme_article_l442_1 contenu booléen
|
||||
|
||||
déclaration énumération LouéOuSousLouéÀDesTiers:
|
||||
@ -185,7 +185,6 @@ déclaration structure EnfantÀCharge:
|
||||
donnée rémuneration_mensuelle contenu argent
|
||||
donnée obligation_scolaire contenu SituationObligationScolaire
|
||||
donnée prise_en_charge contenu PriseEnCharge
|
||||
donnée âge contenu entier
|
||||
donnée situation_garde_alternée contenu SituationGardeAlternée
|
||||
|
||||
déclaration énumération Parenté:
|
||||
@ -237,7 +236,6 @@ déclaration structure Patrimoine:
|
||||
déclaration structure Demandeur:
|
||||
donnée satisfait_conditions_l512_2_code_sécurité_sociale
|
||||
contenu booléen
|
||||
donnée age_demandeur contenu entier
|
||||
donnée date_naissance contenu date
|
||||
donnée nationalité contenu Nationalité
|
||||
donnée patrimoine contenu Patrimoine
|
||||
|
||||
@ -22,7 +22,6 @@ champ d'application Exemple1 :
|
||||
EnfantÀCharge contenu (EnfantÀCharge {
|
||||
-- bénéficie_titre_personnel_aide_personnelle_logement : faux
|
||||
-- prise_en_charge : PriseEnCharge.EffectiveEtPermanente
|
||||
-- âge : 19
|
||||
-- identifiant: 0
|
||||
-- a_déjà_ouvert_droit_aux_allocations_familiales: vrai
|
||||
-- date_de_naissance: |2001-01-01|
|
||||
@ -32,7 +31,6 @@ champ d'application Exemple1 :
|
||||
}); EnfantÀCharge contenu (EnfantÀCharge {
|
||||
-- bénéficie_titre_personnel_aide_personnelle_logement : faux
|
||||
-- prise_en_charge : PriseEnCharge.EffectiveEtPermanente
|
||||
-- âge : 11
|
||||
-- identifiant: 1
|
||||
-- a_déjà_ouvert_droit_aux_allocations_familiales: vrai
|
||||
-- date_de_naissance: |2009-01-01|
|
||||
@ -42,7 +40,6 @@ champ d'application Exemple1 :
|
||||
}); EnfantÀCharge contenu (EnfantÀCharge {
|
||||
-- bénéficie_titre_personnel_aide_personnelle_logement : faux
|
||||
-- prise_en_charge : PriseEnCharge.EffectiveEtPermanente
|
||||
-- âge : 8
|
||||
-- identifiant: 2
|
||||
-- a_déjà_ouvert_droit_aux_allocations_familiales: vrai
|
||||
-- date_de_naissance: |2012-01-01|
|
||||
@ -79,7 +76,6 @@ champ d'application Exemple1 :
|
||||
}
|
||||
définition éligibilité.demandeur égal à Demandeur {
|
||||
-- satisfait_conditions_l512_2_code_sécurité_sociale : vrai
|
||||
-- age_demandeur : 52
|
||||
-- date_naissance : |1970-05-02|
|
||||
-- nationalité : Française
|
||||
-- patrimoine : Patrimoine {
|
||||
@ -106,7 +102,6 @@ champ d'application Exemple2 :
|
||||
EnfantÀCharge contenu (EnfantÀCharge {
|
||||
-- bénéficie_titre_personnel_aide_personnelle_logement : faux
|
||||
-- prise_en_charge : PriseEnCharge.EffectiveEtPermanente
|
||||
-- âge : 6
|
||||
-- identifiant: 0
|
||||
-- a_déjà_ouvert_droit_aux_allocations_familiales: vrai
|
||||
-- date_de_naissance: |2016-01-01|
|
||||
@ -116,7 +111,6 @@ champ d'application Exemple2 :
|
||||
}); EnfantÀCharge contenu (EnfantÀCharge {
|
||||
-- bénéficie_titre_personnel_aide_personnelle_logement : faux
|
||||
-- prise_en_charge : PriseEnCharge.EffectiveEtPermanente
|
||||
-- âge : 7
|
||||
-- identifiant: 1
|
||||
-- a_déjà_ouvert_droit_aux_allocations_familiales: vrai
|
||||
-- date_de_naissance: |2015-01-01|
|
||||
@ -153,7 +147,6 @@ champ d'application Exemple2 :
|
||||
}
|
||||
définition éligibilité.demandeur égal à Demandeur {
|
||||
-- satisfait_conditions_l512_2_code_sécurité_sociale : vrai
|
||||
-- age_demandeur : 30
|
||||
-- date_naissance : |1992-01-01|
|
||||
-- nationalité : Française
|
||||
-- patrimoine : Patrimoine {
|
||||
|
||||
@ -10,17 +10,16 @@ la fonction du bloc de code ci-dessous.
|
||||
```catala-metadata
|
||||
champ d'application EnfantLePlusÂgé:
|
||||
définition le_plus_âgé égal à
|
||||
contenu maximum entier initial Enfant {
|
||||
contenu minimum date initial Enfant {
|
||||
-- identifiant: -1
|
||||
-- obligation_scolaire: Pendant
|
||||
-- rémuneration_mensuelle: 0€
|
||||
-- date_de_naissance: |1900-01-01|
|
||||
-- âge: 0
|
||||
-- date_de_naissance: |2999-12-31|
|
||||
-- prise_en_charge: EffectiveEtPermanente
|
||||
-- a_déjà_ouvert_droit_aux_allocations_familiales: faux
|
||||
-- bénéficie_titre_personnel_aide_personnelle_logement: faux
|
||||
}
|
||||
pour potentiel_plus_âgé dans enfants de potentiel_plus_âgé.âge
|
||||
pour potentiel_plus_âgé dans enfants de potentiel_plus_âgé.date_de_naissance
|
||||
|
||||
|
||||
champ d'application AllocationsFamiliales:
|
||||
@ -120,8 +119,6 @@ champ d'application InterfaceAllocationsFamiliales:
|
||||
-- rémuneration_mensuelle : enfant.d_rémuneration_mensuelle
|
||||
-- date_de_naissance : enfant.d_date_de_naissance
|
||||
-- prise_en_charge : enfant.d_prise_en_charge
|
||||
-- âge: accès_année de
|
||||
(|0000-01-01| +@ (i_date_courante -@ enfant.d_date_de_naissance))
|
||||
-- obligation_scolaire :
|
||||
(si enfant.d_date_de_naissance +@ 3 an >=@ i_date_courante alors
|
||||
Avant
|
||||
|
||||
@ -24,7 +24,6 @@ déclaration structure Enfant :
|
||||
donnée obligation_scolaire contenu SituationObligationScolaire
|
||||
donnée rémuneration_mensuelle contenu argent
|
||||
donnée date_de_naissance contenu date
|
||||
donnée âge contenu entier
|
||||
donnée prise_en_charge contenu PriseEnCharge
|
||||
donnée a_déjà_ouvert_droit_aux_allocations_familiales contenu booléen
|
||||
donnée bénéficie_titre_personnel_aide_personnelle_logement contenu booléen
|
||||
@ -58,7 +57,7 @@ déclaration champ d'application PrestationsFamiliales:
|
||||
sortie droit_ouvert condition dépend de Enfant
|
||||
sortie conditions_hors_âge condition dépend de Enfant
|
||||
interne plafond_l512_3_2 contenu argent
|
||||
sortie âge_l512_3_2 contenu entier
|
||||
sortie âge_l512_3_2 contenu durée
|
||||
sortie régime_outre_mer_l751_1 condition
|
||||
entrée date_courante contenu date
|
||||
entrée prestation_courante contenu ÉlémentPrestationsFamiliales
|
||||
@ -74,7 +73,7 @@ champ d'application PrestationsFamiliales:
|
||||
|
||||
```catala-metadata
|
||||
déclaration champ d'application AllocationFamilialesAvril2008:
|
||||
sortie âge_minimum_alinéa_1_l521_3 contenu entier
|
||||
sortie âge_minimum_alinéa_1_l521_3 contenu durée
|
||||
|
||||
déclaration champ d'application EnfantLePlusÂgé:
|
||||
entrée enfants contenu collection Enfant
|
||||
@ -144,7 +143,7 @@ déclaration champ d'application AllocationsFamiliales:
|
||||
|
||||
# Plafonds, âges limites et autres constantes
|
||||
interne nombre_enfants_l521_1 contenu entier
|
||||
interne âge_minimum_alinéa_1_l521_3 contenu entier dépend de Enfant
|
||||
interne âge_minimum_alinéa_1_l521_3 contenu durée dépend de Enfant
|
||||
interne nombre_enfants_alinéa_2_l521_3 contenu entier
|
||||
interne est_enfant_le_plus_âgé contenu booléen dépend de Enfant
|
||||
interne plafond_I_d521_3 contenu argent
|
||||
|
||||
@ -376,7 +376,8 @@ champ d'application AllocationsFamiliales :
|
||||
(droit_ouvert_majoration de enfant) et
|
||||
prestations_familiales.régime_outre_mer_l751_1 et
|
||||
(nombre de enfants_à_charge_droit_ouvert_prestation_familiale = 1) et
|
||||
(enfant.âge >= 11 et enfant.âge < 16)
|
||||
(enfant.date_de_naissance +@ 11 an <=@ date_courante et
|
||||
enfant.date_de_naissance +@ 16 an >@ date_courante)
|
||||
conséquence égal à
|
||||
bmaf.montant *€ 3,69 %
|
||||
|
||||
@ -385,7 +386,7 @@ champ d'application AllocationsFamiliales :
|
||||
(droit_ouvert_majoration de enfant) et
|
||||
prestations_familiales.régime_outre_mer_l751_1 et
|
||||
(nombre de enfants_à_charge_droit_ouvert_prestation_familiale = 1) et
|
||||
(enfant.âge >= 16)
|
||||
(enfant.date_de_naissance +@ 16 an >@ date_courante)
|
||||
conséquence égal à
|
||||
bmaf.montant *€ 5,67 %
|
||||
```
|
||||
|
||||
@ -59,7 +59,7 @@ champ d'application PrestationsFamiliales :
|
||||
étiquette cas_base règle droit_ouvert de enfant sous condition
|
||||
enfant.obligation_scolaire sous forme Après et
|
||||
(enfant.rémuneration_mensuelle <=€ plafond_l512_3_2) et
|
||||
(enfant.âge < âge_l512_3_2)
|
||||
(enfant.date_de_naissance +@ âge_l512_3_2 >@ date_courante)
|
||||
conséquence rempli
|
||||
|
||||
# On définit les conditions hors âge d'abord car elles
|
||||
@ -120,7 +120,8 @@ champ d'application AllocationsFamiliales :
|
||||
# Puisqu'un enfant ne garde un âge donné que pour une période d'un an,
|
||||
# cette condition assure que l'allocation ne peut être distribuée que pour
|
||||
# un an.
|
||||
(enfant.âge = prestations_familiales.âge_l512_3_2) et
|
||||
((enfant.date_de_naissance +@ prestations_familiales.âge_l512_3_2) -@
|
||||
date_courante <^ 365 jour) et
|
||||
(enfant.a_déjà_ouvert_droit_aux_allocations_familiales) et
|
||||
(prestations_familiales.conditions_hors_âge de enfant)
|
||||
conséquence rempli
|
||||
@ -297,7 +298,8 @@ champ d'application AllocationsFamiliales :
|
||||
règle droit_ouvert_majoration de enfant
|
||||
sous condition
|
||||
(non (est_enfant_le_plus_âgé de enfant)) et
|
||||
(enfant.âge >= âge_minimum_alinéa_1_l521_3 de enfant)
|
||||
(enfant.date_de_naissance +@ âge_minimum_alinéa_1_l521_3 de enfant <=@
|
||||
date_courante)
|
||||
conséquence rempli
|
||||
```
|
||||
|
||||
@ -312,7 +314,8 @@ champ d'application AllocationsFamiliales :
|
||||
sous condition
|
||||
(nombre de enfants_à_charge_droit_ouvert_prestation_familiale >=
|
||||
nombre_enfants_alinéa_2_l521_3) et
|
||||
(enfant.âge >= âge_minimum_alinéa_1_l521_3 de enfant)
|
||||
(enfant.date_de_naissance +@ âge_minimum_alinéa_1_l521_3 de enfant <=@
|
||||
date_courante)
|
||||
conséquence rempli
|
||||
```
|
||||
|
||||
|
||||
@ -18,7 +18,7 @@ alinéa du présent article.
|
||||
# à cette limitation.
|
||||
|
||||
champ d'application PrestationsFamiliales :
|
||||
définition âge_l512_3_2 égal à 20
|
||||
définition âge_l512_3_2 égal à 20 an
|
||||
```
|
||||
|
||||
Le plafond de rémunération mentionné au 2° de l'article L. 512-3 est égal, pour
|
||||
@ -53,7 +53,7 @@ enfants ouvrent droit à la majoration des allocations familiales est fixé à
|
||||
|
||||
```catala
|
||||
champ d'application AllocationsFamiliales :
|
||||
définition âge_minimum_alinéa_1_l521_3 de enfant égal à 14
|
||||
définition âge_minimum_alinéa_1_l521_3 de enfant égal à 14 an
|
||||
```
|
||||
|
||||
Le nombre minimum d'enfants à charge, mentionné au deuxième alinéa de l'article
|
||||
@ -75,7 +75,7 @@ le onzième anniversaire est postérieur au 30 avril 2008.
|
||||
# du décret de 2008 pour des raisons de place seulement.
|
||||
champ d'application AllocationFamilialesAvril2008:
|
||||
# Âge limite avant décret n° 2008-409 du 28 avril 2008
|
||||
définition âge_minimum_alinéa_1_l521_3 égal à 16
|
||||
définition âge_minimum_alinéa_1_l521_3 égal à 16 an
|
||||
|
||||
champ d'application AllocationsFamiliales :
|
||||
exception
|
||||
|
||||
@ -14,7 +14,6 @@ champ d'application Données:
|
||||
-- identifiant: 1
|
||||
-- obligation_scolaire : Pendant
|
||||
-- date_de_naissance: |2007-01-01|
|
||||
-- âge: 13
|
||||
-- rémuneration_mensuelle: 0€
|
||||
-- prise_en_charge: EffectiveEtPermanente
|
||||
-- a_déjà_ouvert_droit_aux_allocations_familiales: vrai
|
||||
@ -24,7 +23,6 @@ champ d'application Données:
|
||||
-- identifiant: 2
|
||||
-- obligation_scolaire : Après
|
||||
-- date_de_naissance: |2003-01-01|
|
||||
-- âge: 18
|
||||
-- rémuneration_mensuelle: 1000€
|
||||
-- prise_en_charge: EffectiveEtPermanente
|
||||
-- a_déjà_ouvert_droit_aux_allocations_familiales: vrai
|
||||
@ -34,7 +32,6 @@ champ d'application Données:
|
||||
-- identifiant: 3
|
||||
-- obligation_scolaire : Après
|
||||
-- date_de_naissance: |2003-01-01|
|
||||
-- âge: 18
|
||||
-- rémuneration_mensuelle: 400€
|
||||
-- prise_en_charge: EffectiveEtPermanente
|
||||
-- a_déjà_ouvert_droit_aux_allocations_familiales: vrai
|
||||
@ -44,7 +41,6 @@ champ d'application Données:
|
||||
-- identifiant: 4
|
||||
-- obligation_scolaire : Après
|
||||
-- date_de_naissance: |1999-01-01|
|
||||
-- âge: 21
|
||||
-- rémuneration_mensuelle: 0€
|
||||
-- prise_en_charge: EffectiveEtPermanente
|
||||
-- a_déjà_ouvert_droit_aux_allocations_familiales: vrai
|
||||
|
||||
@ -22,7 +22,6 @@ déclaration structure EnfantPrestationsFamiliales :
|
||||
donnée obligation_scolaire contenu SituationObligationScolaire
|
||||
donnée rémuneration_mensuelle contenu argent
|
||||
donnée date_de_naissance contenu date
|
||||
donnée âge contenu entier
|
||||
donnée prise_en_charge contenu PriseEnChargeEnfant
|
||||
donnée a_déjà_ouvert_droit_aux_allocations_familiales contenu booléen
|
||||
donnée bénéficie_titre_personnel_aide_personnelle_logement contenu booléen
|
||||
@ -41,7 +40,7 @@ déclaration champ d'application ÉligibilitéPrestationsFamiliales:
|
||||
sortie droit_ouvert condition dépend de EnfantPrestationsFamiliales
|
||||
sortie conditions_hors_âge condition dépend de EnfantPrestationsFamiliales
|
||||
interne plafond_l512_3_2 contenu argent
|
||||
sortie âge_l512_3_2 contenu entier
|
||||
sortie âge_l512_3_2 contenu durée
|
||||
sortie régime_outre_mer_l751_1 condition
|
||||
entrée date_courante contenu date
|
||||
entrée prestation_courante contenu ÉlémentPrestationsFamiliales
|
||||
|
||||
@ -57,7 +57,8 @@ champ d'application ÉligibilitéPrestationsFamiliales :
|
||||
étiquette cas_base règle droit_ouvert de enfant sous condition
|
||||
enfant.EnfantPrestationsFamiliales.obligation_scolaire sous forme Après et
|
||||
(enfant.EnfantPrestationsFamiliales.rémuneration_mensuelle <=€ plafond_l512_3_2) et
|
||||
(enfant.EnfantPrestationsFamiliales.âge < âge_l512_3_2)
|
||||
(enfant.EnfantPrestationsFamiliales.date_de_naissance +@ âge_l512_3_2 >@
|
||||
date_courante)
|
||||
conséquence rempli
|
||||
|
||||
# On définit les conditions hors âge d'abord car elles
|
||||
|
||||
@ -18,7 +18,7 @@ alinéa du présent article.
|
||||
# à cette limitation.
|
||||
|
||||
champ d'application ÉligibilitéPrestationsFamiliales :
|
||||
définition âge_l512_3_2 égal à 20
|
||||
définition âge_l512_3_2 égal à 20 an
|
||||
```
|
||||
|
||||
Le plafond de rémunération mentionné au 2° de l'article L. 512-3 est égal, pour
|
||||
|
||||
@ -14,7 +14,6 @@ champ d'application Données:
|
||||
-- identifiant: 1
|
||||
-- obligation_scolaire : Pendant
|
||||
-- date_de_naissance: |2007-01-01|
|
||||
-- âge: 13
|
||||
-- rémuneration_mensuelle: 0€
|
||||
-- prise_en_charge: EffectiveEtPermanente
|
||||
-- a_déjà_ouvert_droit_aux_allocations_familiales: vrai
|
||||
@ -24,7 +23,6 @@ champ d'application Données:
|
||||
-- identifiant: 2
|
||||
-- obligation_scolaire : Après
|
||||
-- date_de_naissance: |2003-01-01|
|
||||
-- âge: 18
|
||||
-- rémuneration_mensuelle: 1000€
|
||||
-- prise_en_charge: EffectiveEtPermanente
|
||||
-- a_déjà_ouvert_droit_aux_allocations_familiales: vrai
|
||||
@ -34,7 +32,6 @@ champ d'application Données:
|
||||
-- identifiant: 3
|
||||
-- obligation_scolaire : Après
|
||||
-- date_de_naissance: |2003-01-01|
|
||||
-- âge: 18
|
||||
-- rémuneration_mensuelle: 400€
|
||||
-- prise_en_charge: EffectiveEtPermanente
|
||||
-- a_déjà_ouvert_droit_aux_allocations_familiales: vrai
|
||||
@ -44,7 +41,6 @@ champ d'application Données:
|
||||
-- identifiant: 4
|
||||
-- obligation_scolaire : Après
|
||||
-- date_de_naissance: |1999-01-01|
|
||||
-- âge: 21
|
||||
-- rémuneration_mensuelle: 0€
|
||||
-- prise_en_charge: EffectiveEtPermanente
|
||||
-- a_déjà_ouvert_droit_aux_allocations_familiales: vrai
|
||||
|
||||
9064
french_law/js/french_law.js
generated
9064
french_law/js/french_law.js
generated
File diff suppressed because one or more lines are too long
3752
french_law/ocaml/law_source/aides_logement.ml
generated
3752
french_law/ocaml/law_source/aides_logement.ml
generated
File diff suppressed because it is too large
Load Diff
@ -1399,14 +1399,15 @@ let element_prestations_familiales_of_jsoo
|
||||
|
||||
class type personne_sous_location =
|
||||
object
|
||||
method agePersonneSousLocation: int Js.readonly_prop
|
||||
method dateNaissancePersonneSousLocation:
|
||||
Js.js_string Js.t Js.readonly_prop
|
||||
method conformeArticleL4421: bool Js.t Js.readonly_prop
|
||||
end
|
||||
let personne_sous_location_to_jsoo (personne_sous_location
|
||||
: PersonneSousLocation.t) : personne_sous_location Js.t =
|
||||
object%js
|
||||
val agePersonneSousLocation =
|
||||
integer_to_int personne_sous_location.age_personne_sous_location
|
||||
val dateNaissancePersonneSousLocation =
|
||||
date_to_jsoo personne_sous_location.date_naissance_personne_sous_location
|
||||
val conformeArticleL4421 =
|
||||
Js.bool personne_sous_location.conforme_article_l442_1
|
||||
end
|
||||
@ -1414,8 +1415,9 @@ class type personne_sous_location =
|
||||
(personne_sous_location : personne_sous_location Js.t) :
|
||||
PersonneSousLocation.t =
|
||||
{
|
||||
age_personne_sous_location =
|
||||
integer_of_int personne_sous_location##.agePersonneSousLocation;
|
||||
date_naissance_personne_sous_location =
|
||||
date_of_jsoo
|
||||
personne_sous_location##.dateNaissancePersonneSousLocation;
|
||||
conforme_article_l442_1 =
|
||||
Js.to_bool personne_sous_location##.conformeArticleL4421
|
||||
}
|
||||
@ -1764,7 +1766,6 @@ class type enfant_prestations_familiales =
|
||||
situation_obligation_scolaire Js.t Js.readonly_prop
|
||||
method remunerationMensuelle: Js.number Js.t Js.readonly_prop
|
||||
method dateDeNaissance: Js.js_string Js.t Js.readonly_prop
|
||||
method age: int Js.readonly_prop
|
||||
method priseEnCharge: prise_en_charge_enfant Js.t Js.readonly_prop
|
||||
method aDejaOuvertDroitAuxAllocationsFamiliales:
|
||||
bool Js.t Js.readonly_prop
|
||||
@ -1782,7 +1783,6 @@ class type enfant_prestations_familiales =
|
||||
Js.number_of_float @@ money_to_float enfant_prestations_familiales.remuneration_mensuelle
|
||||
val dateDeNaissance =
|
||||
date_to_jsoo enfant_prestations_familiales.date_de_naissance
|
||||
val age = integer_to_int enfant_prestations_familiales.age
|
||||
val priseEnCharge =
|
||||
prise_en_charge_enfant_to_jsoo enfant_prestations_familiales.prise_en_charge
|
||||
val aDejaOuvertDroitAuxAllocationsFamiliales =
|
||||
@ -1803,7 +1803,6 @@ class type enfant_prestations_familiales =
|
||||
enfant_prestations_familiales##.remunerationMensuelle;
|
||||
date_de_naissance =
|
||||
date_of_jsoo enfant_prestations_familiales##.dateDeNaissance;
|
||||
age = integer_of_int enfant_prestations_familiales##.age;
|
||||
prise_en_charge =
|
||||
prise_en_charge_enfant_of_jsoo
|
||||
enfant_prestations_familiales##.priseEnCharge;
|
||||
@ -1829,7 +1828,6 @@ class type enfant_a_charge =
|
||||
method obligationScolaire:
|
||||
situation_obligation_scolaire Js.t Js.readonly_prop
|
||||
method priseEnCharge: prise_en_charge Js.t Js.readonly_prop
|
||||
method age: int Js.readonly_prop
|
||||
method situationGardeAlternee:
|
||||
situation_garde_alternee Js.t Js.readonly_prop
|
||||
end
|
||||
@ -1848,7 +1846,6 @@ class type enfant_a_charge =
|
||||
situation_obligation_scolaire_to_jsoo enfant_a_charge.obligation_scolaire
|
||||
val priseEnCharge =
|
||||
prise_en_charge_to_jsoo enfant_a_charge.prise_en_charge
|
||||
val age = integer_to_int enfant_a_charge.age
|
||||
val situationGardeAlternee =
|
||||
situation_garde_alternee_to_jsoo enfant_a_charge.situation_garde_alternee
|
||||
end
|
||||
@ -1870,7 +1867,6 @@ class type enfant_a_charge =
|
||||
enfant_a_charge##.obligationScolaire;
|
||||
prise_en_charge =
|
||||
prise_en_charge_of_jsoo enfant_a_charge##.priseEnCharge;
|
||||
age = integer_of_int enfant_a_charge##.age;
|
||||
situation_garde_alternee =
|
||||
situation_garde_alternee_of_jsoo
|
||||
enfant_a_charge##.situationGardeAlternee
|
||||
@ -1917,7 +1913,6 @@ class type demandeur =
|
||||
object
|
||||
method satisfaitConditionsL5122CodeSecuriteSociale:
|
||||
bool Js.t Js.readonly_prop
|
||||
method ageDemandeur: int Js.readonly_prop
|
||||
method dateNaissance: Js.js_string Js.t Js.readonly_prop
|
||||
method nationalite: nationalite Js.t Js.readonly_prop
|
||||
method patrimoine: patrimoine Js.t Js.readonly_prop
|
||||
@ -1928,7 +1923,6 @@ class type demandeur =
|
||||
object%js
|
||||
val satisfaitConditionsL5122CodeSecuriteSociale =
|
||||
Js.bool demandeur.satisfait_conditions_l512_2_code_securite_sociale
|
||||
val ageDemandeur = integer_to_int demandeur.age_demandeur
|
||||
val dateNaissance = date_to_jsoo demandeur.date_naissance
|
||||
val nationalite = nationalite_to_jsoo demandeur.nationalite
|
||||
val patrimoine = patrimoine_to_jsoo demandeur.patrimoine
|
||||
@ -1939,7 +1933,6 @@ class type demandeur =
|
||||
{
|
||||
satisfait_conditions_l512_2_code_securite_sociale =
|
||||
Js.to_bool demandeur##.satisfaitConditionsL5122CodeSecuriteSociale;
|
||||
age_demandeur = integer_of_int demandeur##.ageDemandeur;
|
||||
date_naissance = date_of_jsoo demandeur##.dateNaissance;
|
||||
nationalite = nationalite_of_jsoo demandeur##.nationalite;
|
||||
patrimoine = patrimoine_of_jsoo demandeur##.patrimoine;
|
||||
@ -4492,7 +4485,7 @@ class type eligibilite_prestations_familiales_out =
|
||||
(enfant_prestations_familiales Js.t, bool Js.t) Js.meth_callback Js.meth
|
||||
method conditionsHorsAgeOut:
|
||||
(enfant_prestations_familiales Js.t, bool Js.t) Js.meth_callback Js.meth
|
||||
method ageL51232Out: int Js.readonly_prop
|
||||
method ageL51232Out: Runtime_jsoo.Runtime.duration Js.t Js.readonly_prop
|
||||
method regimeOutreMerL7511Out: bool Js.t Js.readonly_prop
|
||||
end
|
||||
let eligibilite_prestations_familiales_out_to_jsoo
|
||||
@ -4509,7 +4502,7 @@ class type eligibilite_prestations_familiales_out =
|
||||
fun input ->
|
||||
Js.bool (eligibilite_prestations_familiales_out.conditions_hors_age_out (enfant_prestations_familiales_of_jsoo input)))
|
||||
val ageL51232Out =
|
||||
integer_to_int eligibilite_prestations_familiales_out.age_l512_3_2_out
|
||||
duration_to_jsoo eligibilite_prestations_familiales_out.age_l512_3_2_out
|
||||
val regimeOutreMerL7511Out =
|
||||
Js.bool eligibilite_prestations_familiales_out.regime_outre_mer_l751_1_out
|
||||
end
|
||||
@ -4521,7 +4514,8 @@ class type eligibilite_prestations_familiales_out =
|
||||
droit_ouvert_out = failwith "The function 'droit_ouvert_out' translation isn't yet supported...";
|
||||
conditions_hors_age_out = failwith "The function 'conditions_hors_age_out' translation isn't yet supported...";
|
||||
age_l512_3_2_out =
|
||||
integer_of_int eligibilite_prestations_familiales_out##.ageL51232Out;
|
||||
duration_of_jsoo
|
||||
eligibilite_prestations_familiales_out##.ageL51232Out;
|
||||
regime_outre_mer_l751_1_out =
|
||||
Js.to_bool
|
||||
eligibilite_prestations_familiales_out##.regimeOutreMerL7511Out
|
||||
|
||||
920
french_law/ocaml/law_source/allocations_familiales.ml
generated
920
french_law/ocaml/law_source/allocations_familiales.ml
generated
File diff suppressed because it is too large
Load Diff
@ -386,7 +386,6 @@ class type enfant =
|
||||
situation_obligation_scolaire Js.t Js.readonly_prop
|
||||
method remunerationMensuelle: Js.number Js.t Js.readonly_prop
|
||||
method dateDeNaissance: Js.js_string Js.t Js.readonly_prop
|
||||
method age: int Js.readonly_prop
|
||||
method priseEnCharge: prise_en_charge Js.t Js.readonly_prop
|
||||
method aDejaOuvertDroitAuxAllocationsFamiliales:
|
||||
bool Js.t Js.readonly_prop
|
||||
@ -401,7 +400,6 @@ class type enfant =
|
||||
val remunerationMensuelle =
|
||||
Js.number_of_float @@ money_to_float enfant.remuneration_mensuelle
|
||||
val dateDeNaissance = date_to_jsoo enfant.date_de_naissance
|
||||
val age = integer_to_int enfant.age
|
||||
val priseEnCharge = prise_en_charge_to_jsoo enfant.prise_en_charge
|
||||
val aDejaOuvertDroitAuxAllocationsFamiliales =
|
||||
Js.bool enfant.a_deja_ouvert_droit_aux_allocations_familiales
|
||||
@ -417,7 +415,6 @@ class type enfant =
|
||||
money_of_decimal @@ decimal_of_float @@ Js.float_of_number
|
||||
enfant##.remunerationMensuelle;
|
||||
date_de_naissance = date_of_jsoo enfant##.dateDeNaissance;
|
||||
age = integer_of_int enfant##.age;
|
||||
prise_en_charge = prise_en_charge_of_jsoo enfant##.priseEnCharge;
|
||||
a_deja_ouvert_droit_aux_allocations_familiales =
|
||||
Js.to_bool enfant##.aDejaOuvertDroitAuxAllocationsFamiliales;
|
||||
@ -430,7 +427,7 @@ class type prestations_familiales_out =
|
||||
method droitOuvertOut: (enfant Js.t, bool Js.t) Js.meth_callback Js.meth
|
||||
method conditionsHorsAgeOut:
|
||||
(enfant Js.t, bool Js.t) Js.meth_callback Js.meth
|
||||
method ageL51232Out: int Js.readonly_prop
|
||||
method ageL51232Out: Runtime_jsoo.Runtime.duration Js.t Js.readonly_prop
|
||||
method regimeOutreMerL7511Out: bool Js.t Js.readonly_prop
|
||||
end
|
||||
let prestations_familiales_out_to_jsoo (prestations_familiales_out
|
||||
@ -445,7 +442,7 @@ class type prestations_familiales_out =
|
||||
fun input ->
|
||||
Js.bool (prestations_familiales_out.conditions_hors_age_out (enfant_of_jsoo input)))
|
||||
val ageL51232Out =
|
||||
integer_to_int prestations_familiales_out.age_l512_3_2_out
|
||||
duration_to_jsoo prestations_familiales_out.age_l512_3_2_out
|
||||
val regimeOutreMerL7511Out =
|
||||
Js.bool prestations_familiales_out.regime_outre_mer_l751_1_out
|
||||
end
|
||||
@ -456,7 +453,7 @@ class type prestations_familiales_out =
|
||||
droit_ouvert_out = failwith "The function 'droit_ouvert_out' translation isn't yet supported...";
|
||||
conditions_hors_age_out = failwith "The function 'conditions_hors_age_out' translation isn't yet supported...";
|
||||
age_l512_3_2_out =
|
||||
integer_of_int prestations_familiales_out##.ageL51232Out;
|
||||
duration_of_jsoo prestations_familiales_out##.ageL51232Out;
|
||||
regime_outre_mer_l751_1_out =
|
||||
Js.to_bool prestations_familiales_out##.regimeOutreMerL7511Out
|
||||
}
|
||||
@ -492,7 +489,9 @@ class type prestations_familiales_in =
|
||||
}
|
||||
|
||||
class type allocation_familiales_avril2008_out =
|
||||
object method ageMinimumAlinea1L5213Out: int Js.readonly_prop
|
||||
object
|
||||
method ageMinimumAlinea1L5213Out:
|
||||
Runtime_jsoo.Runtime.duration Js.t Js.readonly_prop
|
||||
end
|
||||
let allocation_familiales_avril2008_out_to_jsoo
|
||||
(allocation_familiales_avril2008_out
|
||||
@ -500,7 +499,7 @@ class type allocation_familiales_avril2008_out =
|
||||
: allocation_familiales_avril2008_out Js.t =
|
||||
object%js
|
||||
val ageMinimumAlinea1L5213Out =
|
||||
integer_to_int allocation_familiales_avril2008_out.age_minimum_alinea_1_l521_3_out
|
||||
duration_to_jsoo allocation_familiales_avril2008_out.age_minimum_alinea_1_l521_3_out
|
||||
end
|
||||
let allocation_familiales_avril2008_out_of_jsoo
|
||||
(allocation_familiales_avril2008_out
|
||||
@ -508,7 +507,7 @@ class type allocation_familiales_avril2008_out =
|
||||
AllocationFamilialesAvril2008Out.t =
|
||||
{
|
||||
age_minimum_alinea_1_l521_3_out =
|
||||
integer_of_int
|
||||
duration_of_jsoo
|
||||
allocation_familiales_avril2008_out##.ageMinimumAlinea1L5213Out
|
||||
}
|
||||
|
||||
|
||||
Loading…
Reference in New Issue
Block a user