CatalaLang/catala
1
1
Fork 0
mirror of https://github.com/CatalaLang/catala.git synced 2024-11-08 07:51:43 +03:00
Code Issues Projects Releases Wiki Activity

Fixed typo

Browse Source
This commit is contained in:
Denis Merigoux 2021-02-01 22:42:58 +01:00
parent c212a1e2f8
commit b3c8b49a3b
10 changed files with 1956 additions and 2141 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
Makefile
View File

@ -149,14 +149,14 @@ tests: test_suite test_examples
FRENCH_LAW_LIB_DIR=src/french_law
allocations_familiales_library:
$(MAKE) -C $(ALLOCATIONS_FAMILIALES_DIR) allocations_familiales.ml
$(MAKE) -C $(ALLOCATIONS_FAMILIALES_DIR) allocations_familiales.ml -B
cp -f $(ALLOCATIONS_FAMILIALES_DIR)/allocations_familiales.ml \
$(FRENCH_LAW_LIB_DIR)/law_source
build_french_law_library: allocations_familiales_library format
build_french_law_library: format
dune build $(FRENCH_LAW_LIB_DIR)
build_french_law_library_js: allocations_familiales_library format
build_french_law_library_js: format
dune build --profile release $(FRENCH_LAW_LIB_DIR)/api_web.bc.js
ln -sf $(PWD)/_build/default/$(FRENCH_LAW_LIB_DIR)/api_web.bc.js javascript/french_law.js

10
examples/allocations_familiales/epilogue.catala_fr
View File

@ -18,7 +18,7 @@ champ d'application EnfantLePlusÂgé:
-- date_de_naissance: |01/01/1900|
-- âge: 0
-- garde_alternée: NonGardeUnique
-- pris_en_charge_par_services_sociaux: NonPriseEnChargeFamille
-- prise_en_charge_par_services_sociaux: NonPriseEnChargeFamille
}
pour potentiel_plus_âgé dans enfants de
potentiel_plus_âgé.âge
@ -73,7 +73,7 @@ déclaration structure EnfantEntrée:
donnée d_rémuneration_mensuelle contenu argent
donnée d_date_de_naissance contenu date
donnée d_garde_alternée contenu GardeAlternée
donnée d_pris_en_charge_par_services_sociaux contenu
donnée d_prise_en_charge_par_services_sociaux contenu
PriseEnChargeServiceSociaux
déclaration champ d'application InterfaceAllocationsFamiliales:
@ -93,7 +93,7 @@ champ d'application InterfaceAllocationsFamiliales:
définition montant_versé égal à allocations_familiales.montant_versé
assertion non (existe enfant dans enfants tel que
enfant.d_garde_alternée != NonGardeUnique et
enfant.d_pris_en_charge_par_services_sociaux != NonPriseEnChargeFamille
enfant.d_prise_en_charge_par_services_sociaux != NonPriseEnChargeFamille
)
*/
@@Fin métadonnées@@
@ -114,8 +114,8 @@ champ d'application InterfaceAllocationsFamiliales:
-- identifiant : enfant.d_identifiant
-- rémuneration_mensuelle : enfant.d_rémuneration_mensuelle
-- date_de_naissance : enfant.d_date_de_naissance
-- pris_en_charge_par_services_sociaux :
enfant.d_pris_en_charge_par_services_sociaux
-- prise_en_charge_par_services_sociaux :
enfant.d_prise_en_charge_par_services_sociaux
-- garde_alternée : enfant.d_garde_alternée
-- âge: accès_année de
(|01/01/0000| +@ (date_courante -@ enfant.d_date_de_naissance))

2
examples/allocations_familiales/prologue.catala_fr
View File

@ -26,7 +26,7 @@ déclaration structure Enfant :
donnée date_de_naissance contenu date
donnée âge contenu entier
donnée garde_alternée contenu GardeAlternée
donnée pris_en_charge_par_services_sociaux contenu
donnée prise_en_charge_par_services_sociaux contenu
PriseEnChargeServiceSociaux
déclaration énumération Collectivité :

2
examples/allocations_familiales/securite_sociale_L.catala_fr
View File

@ -236,7 +236,7 @@ de l'enfant dans son foyer.
champ d'application AllocationsFamiliales :
exception
définition versement de enfant sous condition
enfant.pris_en_charge_par_services_sociaux sous forme
enfant.prise_en_charge_par_services_sociaux sous forme
OuiAllocationVerséeAuxServicesSociaux
conséquence égal à AllocationVerséeAuxServicesSociaux
*/

14
examples/allocations_familiales/tests/tests_allocations_familiales.catala_fr
View File

@ -17,35 +17,35 @@ champ d'application Données:
-- d_identifiant: 1
-- d_date_de_naissance: |01/01/2007|
-- d_rémuneration_mensuelle: 0€
-- d_pris_en_charge_par_services_sociaux: NonPriseEnChargeFamille
-- d_prise_en_charge_par_services_sociaux: NonPriseEnChargeFamille
-- d_garde_alternée: NonGardeUnique
}
définition enfant2 égal à EnfantEntrée {
-- d_identifiant: 2
-- d_date_de_naissance: |01/01/2009|
-- d_rémuneration_mensuelle: 0€
-- d_pris_en_charge_par_services_sociaux: NonPriseEnChargeFamille
-- d_prise_en_charge_par_services_sociaux: NonPriseEnChargeFamille
-- d_garde_alternée: NonGardeUnique
}
définition enfant3 égal à EnfantEntrée {
-- d_identifiant: 3
-- d_date_de_naissance: |01/01/2003|
-- d_rémuneration_mensuelle: 400€
-- d_pris_en_charge_par_services_sociaux: NonPriseEnChargeFamille
-- d_prise_en_charge_par_services_sociaux: NonPriseEnChargeFamille
-- d_garde_alternée: OuiPartageAllocations
}
définition enfant4 égal à EnfantEntrée {
-- d_identifiant: 4
-- d_date_de_naissance: |01/01/2001|
-- d_rémuneration_mensuelle: 1100€
-- d_pris_en_charge_par_services_sociaux: NonPriseEnChargeFamille
-- d_prise_en_charge_par_services_sociaux: NonPriseEnChargeFamille
-- d_garde_alternée: NonGardeUnique
}
définition enfant5 égal à EnfantEntrée {
-- d_identifiant: 5
-- d_date_de_naissance: |01/01/2000|
-- d_rémuneration_mensuelle: 0€
-- d_pris_en_charge_par_services_sociaux: NonPriseEnChargeFamille
-- d_prise_en_charge_par_services_sociaux: NonPriseEnChargeFamille
-- d_garde_alternée: NonGardeUnique
}
@ -115,13 +115,13 @@ champ d'application Test6:
-- d_identifiant: 0
-- d_date_de_naissance: |10/11/2009|
-- d_rémuneration_mensuelle: 439€
-- d_pris_en_charge_par_services_sociaux: NonPriseEnChargeFamille
-- d_prise_en_charge_par_services_sociaux: NonPriseEnChargeFamille
-- d_garde_alternée: NonGardeUnique
};EnfantEntrée {
-- d_identifiant: 1
-- d_date_de_naissance: |25/09/2020|
-- d_rémuneration_mensuelle: 1949€
-- d_pris_en_charge_par_services_sociaux: NonPriseEnChargeFamille
-- d_prise_en_charge_par_services_sociaux: NonPriseEnChargeFamille
-- d_garde_alternée: NonGardeUnique
}]
définition f.ressources_ménage égal à 78 830 €

8
examples/allocations_familiales/tests/tests_ouverture_droits.catala_fr
View File

@ -18,7 +18,7 @@ champ d'application Données:
-- date_de_naissance: |01/01/2007|
-- âge: 13
-- rémuneration_mensuelle: 0€
-- pris_en_charge_par_services_sociaux: NonPriseEnChargeFamille
-- prise_en_charge_par_services_sociaux: NonPriseEnChargeFamille
-- garde_alternée: NonGardeUnique
}
définition enfant2 égal à Enfant {
@ -27,7 +27,7 @@ champ d'application Données:
-- date_de_naissance: |01/01/2003|
-- âge: 18
-- rémuneration_mensuelle: 1000€
-- pris_en_charge_par_services_sociaux: NonPriseEnChargeFamille
-- prise_en_charge_par_services_sociaux: NonPriseEnChargeFamille
-- garde_alternée: NonGardeUnique
}
définition enfant3 égal à Enfant {
@ -36,7 +36,7 @@ champ d'application Données:
-- date_de_naissance: |01/01/2003|
-- âge: 18
-- rémuneration_mensuelle: 400€
-- pris_en_charge_par_services_sociaux: NonPriseEnChargeFamille
-- prise_en_charge_par_services_sociaux: NonPriseEnChargeFamille
-- garde_alternée: NonGardeUnique
}
définition enfant4 égal à Enfant {
@ -45,7 +45,7 @@ champ d'application Données:
-- date_de_naissance: |01/01/1999|
-- âge: 21
-- rémuneration_mensuelle: 0€
-- pris_en_charge_par_services_sociaux: NonPriseEnChargeFamille
-- prise_en_charge_par_services_sociaux: NonPriseEnChargeFamille
-- garde_alternée: NonGardeUnique
}

2
src/french_law/api_web.ml
View File

@ -75,7 +75,7 @@ let _ =
OuiPartageAllocations ()
else OuiAllocataireUnique ()
else NonGardeUnique () );
AF.d_pris_en_charge_par_services_sociaux =
AF.d_prise_en_charge_par_services_sociaux =
( if Js.to_bool child##.priseEnChargeServiceSociaux then
if Js.to_bool child##.allocationVerseeServiceSociaux then
OuiAllocationVerseeAuxServicesSociaux ()

4
src/french_law/bench.ml
View File

@ -26,7 +26,7 @@ let random_children (id : int) =
| 0 -> AF.NonGardeUnique ()
| 1 -> AF.OuiPartageAllocations ()
| _ -> AF.OuiAllocataireUnique () );
d_pris_en_charge_par_services_sociaux =
d_prise_en_charge_par_services_sociaux =
( match Random.int 3 with
| 0 -> AF.OuiAllocationVerseeALaFamille ()
| 1 -> AF.OuiAllocationVerseeAuxServicesSociaux ()
@ -92,7 +92,7 @@ let run_test () =
(CalendarLib.Printer.Date.to_string
(date_to_calendar_date child.AF.d_date_de_naissance))
format_garde_alternee child.AF.d_garde_alternee format_services_sociaux
child.AF.d_pris_en_charge_par_services_sociaux))
child.AF.d_prise_en_charge_par_services_sociaux))
(Array.to_list children) income
(CalendarLib.Printer.Date.to_string current_date)
format_residence residence;

4045
src/french_law/law_source/allocations_familiales.ml
View File

File diff suppressed because it is too large Load Diff

4
src/french_law/law_source/allocations_familiales.mli
View File

@ -56,7 +56,7 @@ type enfant_entree = {
d_remuneration_mensuelle : Catala.Runtime.money;
d_date_de_naissance : Catala.Runtime.date;
d_garde_alternee : garde_alternee;
d_pris_en_charge_par_services_sociaux : prise_en_charge_service_sociaux;
d_prise_en_charge_par_services_sociaux : prise_en_charge_service_sociaux;
}
type enfant = {
@ -66,7 +66,7 @@ type enfant = {
date_de_naissance : Catala.Runtime.date;
age : Catala.Runtime.integer;
garde_alternee : garde_alternee;
pris_en_charge_par_services_sociaux : prise_en_charge_service_sociaux;
prise_en_charge_par_services_sociaux : prise_en_charge_service_sociaux;
}
type stockage_enfant = PasEnfant of unit | UnEnfant of enfant