CatalaLang/catala
1
1
Fork 0
mirror of https://github.com/CatalaLang/catala.git synced 2024-09-20 08:47:14 +03:00
Code Issues Projects Releases Wiki Activity

Merge pull request #92 from EmileRolley/date_iso_format

Browse Source 
Change dates to ISO format
This commit is contained in:
Denis Merigoux 2021-03-16 18:49:41 +01:00 committed by GitHub
commit f52894829a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
11 changed files with 64 additions and 64 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

BIN
doc/images/ScreenShotVSCode.png
View File

Binary file not shown.
Side by Side Swipe Overlay

Before

Width:  |  Height:  |  Size: 199 KiB

After

Width:  |  Height:  |  Size: 194 KiB

28
examples/allocations_familiales/decrets_divers.catala_fr
View File

@ -22,8 +22,8 @@ familiales, est ainsi porté de 411,92 € à 413,16 € au 1er avril 2019.
champ d'application PrestationsFamiliales :
définition base_mensuelle
sous condition
date_courante >=@ |01/04/2019| et
date_courante <@ |01/04/2020|
date_courante >=@ |2019-04-01| et
date_courante <@ |2020-04-01|
conséquence égal à 413,16 €
```
@ -46,8 +46,8 @@ est ainsi porté de 413,16 € à 414,4 € au 1er avril 2020.
champ d'application PrestationsFamiliales :
définition base_mensuelle
sous condition
date_courante >=@ |01/04/2020| et
date_courante <@ |01/04/2021|
date_courante >=@ |2020-04-01| et
date_courante <@ |2021-04-01|
conséquence égal à 414,4 €
```
@ -75,14 +75,14 @@ tranche est celle dont les revenus sont supérieurs au plafond de base de
champ d'application AllocationsFamiliales :
exception
définition plafond_I_d521_3 sous condition
date_courante >=@ |01/01/2020| et date_courante <=@ |31/12/2020|
date_courante >=@ |2020-01-01| et date_courante <=@ |2020-12-31|
conséquence égal à 57 759 € +€
5 775 € *€ (entier_vers_décimal de
(nombre de enfants_à_charge_droit_ouvert_prestation_familiale))
exception
définition plafond_II_d521_3 sous condition
date_courante >=@ |01/01/2020| et date_courante <=@ |31/12/2020|
date_courante >=@ |2020-01-01| et date_courante <=@ |2020-12-31|
conséquence égal à 80 831 € +€
5 775 € *€ (entier_vers_décimal de
(nombre de enfants_à_charge_droit_ouvert_prestation_familiale))
@ -105,7 +105,7 @@ son montant est porté à 10,03 € l'heure.
```catala
champ d'application Smic :
définition brut_horaire sous condition
date_courante >=@ |01/01/2019| et date_courante <=@ |31/12/2019| et (
date_courante >=@ |2019-01-01| et date_courante <=@ |2019-12-31| et (
(résidence = Métropole) ou
(résidence = Guadeloupe) ou
(résidence = Guyane) ou
@ -123,7 +123,7 @@ champ d'application Smic :
```catala
champ d'application Smic :
définition brut_horaire sous condition
date_courante >=@ |01/01/2019| et date_courante <=@ |31/12/2019| et (
date_courante >=@ |2019-01-01| et date_courante <=@ |2019-12-31| et (
(résidence = Mayotte)
)
conséquence égal à 7,57 €
@ -144,7 +144,7 @@ son montant est porté à 10,15 € l'heure ;
```catala
champ d'application Smic :
définition brut_horaire sous condition
date_courante >=@ |01/01/2020| et date_courante <=@ |31/12/2020| et (
date_courante >=@ |2020-01-01| et date_courante <=@ |2020-12-31| et (
(résidence = Métropole) ou
(résidence = Guadeloupe) ou
(résidence = Guyane) ou
@ -162,7 +162,7 @@ champ d'application Smic :
```catala
champ d'application Smic :
définition brut_horaire sous condition
date_courante >=@ |01/01/2020| et date_courante <=@ |31/12/2020| et (
date_courante >=@ |2020-01-01| et date_courante <=@ |2020-12-31| et (
(résidence = Mayotte)
)
conséquence égal à 7,66 €
@ -183,7 +183,7 @@ son montant est porté à 10,25 € l'heure ;
```catala
champ d'application Smic :
définition brut_horaire sous condition
date_courante >=@ |01/01/2021| et date_courante <=@ |31/12/2021| et (
date_courante >=@ |2021-01-01| et date_courante <=@ |2021-12-31| et (
(résidence = Métropole) ou
(résidence = Guadeloupe) ou
(résidence = Guyane) ou
@ -201,7 +201,7 @@ champ d'application Smic :
```catala
champ d'application Smic :
définition brut_horaire sous condition
date_courante >=@ |01/01/2021| et date_courante <=@ |31/12/2021| et (
date_courante >=@ |2021-01-01| et date_courante <=@ |2021-12-31| et (
(résidence = Mayotte)
)
conséquence égal à 7,74 €
@ -221,7 +221,7 @@ décembre 2021. Il est majoré de 5 827 euros par enfant à charge.
champ d'application AllocationsFamiliales :
exception
définition plafond_I_d521_3 sous condition
date_courante >=@ |01/01/2021| et date_courante <=@ |31/12/2021|
date_courante >=@ |2021-01-01| et date_courante <=@ |2021-12-31|
conséquence égal à 58 279 € +€
5 827 € *€ (entier_vers_décimal de
(nombre de enfants_à_charge_droit_ouvert_prestation_familiale))
@ -237,7 +237,7 @@ décembre 2021. Il est majoré de 5 827 euros par enfant à charge.
champ d'application AllocationsFamiliales :
exception
définition plafond_II_d521_3 sous condition
date_courante >=@ |01/01/2021| et date_courante <=@ |31/12/2021|
date_courante >=@ |2021-01-01| et date_courante <=@ |2021-12-31|
conséquence égal à 81 558 € +€
5 827 € *€ (entier_vers_décimal de
(nombre de enfants_à_charge_droit_ouvert_prestation_familiale))

6
examples/allocations_familiales/epilogue.catala_fr
View File

@ -14,9 +14,9 @@ champ d'application EnfantLePlusÂgé:
définition le_plus_âgé égal à
contenu maximum entier initial Enfant {
-- identifiant: -1
-- fin_obligation_scolaire: |01/01/1900|
-- fin_obligation_scolaire: |1900-01-01|
-- rémuneration_mensuelle: 0€
-- date_de_naissance: |01/01/1900|
-- date_de_naissance: |1900-01-01|
-- âge: 0
-- garde_alternée: NonGardeUnique
-- prise_en_charge_par_services_sociaux: NonPriseEnChargeFamille
@ -123,7 +123,7 @@ champ d'application InterfaceAllocationsFamiliales:
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))
(|0000-01-01| +@ (date_courante -@ enfant.d_date_de_naissance))
-- fin_obligation_scolaire : enfant.d_date_de_naissance +@ 16 an
}
```

2
examples/allocations_familiales/securite_sociale_R.catala_fr
View File

@ -75,7 +75,7 @@ champ d'application AllocationFamilialesAvril2008:
champ d'application AllocationsFamiliales :
définition âge_limite_alinéa_1_l521_3 de enfant
sous condition (enfant.date_de_naissance +@ 11 an <=@ |30/04/2008|)
sous condition (enfant.date_de_naissance +@ 11 an <=@ |2008-04-30|)
conséquence égal à
version_avril_2008.âge_limite_alinéa_1_l521_3
```

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

@ -15,35 +15,35 @@ déclaration champ d'application Données:
champ d'application Données:
définition enfant1 égal à EnfantEntrée {
-- d_identifiant: 1
-- d_date_de_naissance: |01/01/2007|
-- d_date_de_naissance: |2007-01-01|
-- d_rémuneration_mensuelle: 0€
-- 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_date_de_naissance: |2009-01-01|
-- d_rémuneration_mensuelle: 0€
-- 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_date_de_naissance: |2003-01-01|
-- d_rémuneration_mensuelle: 400€
-- 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_date_de_naissance: |2001-01-01|
-- d_rémuneration_mensuelle: 1100€
-- 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_date_de_naissance: |2000-01-01|
-- d_rémuneration_mensuelle: 0€
-- d_prise_en_charge_par_services_sociaux: NonPriseEnChargeFamille
-- d_garde_alternée: NonGardeUnique
@ -57,7 +57,7 @@ champ d'application Test1:
définition f.enfants égal à
[données.enfant1;données.enfant2;données.enfant3;données.enfant4]
définition f.ressources_ménage égal à 30 000 €
définition f.date_courante égal à |01/05/2020|
définition f.date_courante égal à |2020-05-01|
définition f.résidence égal à Métropole
assertion f.montant_versé = 351,26€
@ -69,7 +69,7 @@ champ d'application Test2:
définition f.enfants égal à
[données.enfant1;données.enfant2;données.enfant5]
définition f.ressources_ménage égal à 30 000 €
définition f.date_courante égal à |01/05/2020|
définition f.date_courante égal à |2020-05-01|
définition f.résidence égal à Métropole
assertion f.montant_versé = 216,27€
@ -81,7 +81,7 @@ déclaration champ d'application Test3:
champ d'application Test3:
définition f.enfants égal à [données.enfant1]
définition f.ressources_ménage égal à 63540 €
définition f.date_courante égal à |01/05/2020|
définition f.date_courante égal à |2020-05-01|
définition f.résidence égal à Guyane
assertion f.montant_versé = 12,18€
@ -92,7 +92,7 @@ déclaration champ d'application Test4:
champ d'application Test4:
définition f.enfants égal à [données.enfant1; données.enfant3]
définition f.ressources_ménage égal à 67 250 €
définition f.date_courante égal à |01/05/2020|
définition f.date_courante égal à |2020-05-01|
définition f.résidence égal à Métropole
assertion f.montant_versé = 99,37€
@ -103,7 +103,7 @@ déclaration champ d'application Test5:
champ d'application Test5:
définition f.enfants égal à [données.enfant1]
définition f.ressources_ménage égal à 30 000 €
définition f.date_courante égal à |01/05/2020|
définition f.date_courante égal à |2020-05-01|
définition f.résidence égal à Métropole
assertion f.montant_versé = 0,00€
@ -113,19 +113,19 @@ déclaration champ d'application Test6:
champ d'application Test6:
définition f.enfants égal à [EnfantEntrée {
-- d_identifiant: 0
-- d_date_de_naissance: |10/11/2009|
-- d_date_de_naissance: |2009-11-10|
-- d_rémuneration_mensuelle: 439€
-- 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_date_de_naissance: |2020-09-25|
-- d_rémuneration_mensuelle: 1949€
-- d_prise_en_charge_par_services_sociaux: NonPriseEnChargeFamille
-- d_garde_alternée: NonGardeUnique
}]
définition f.ressources_ménage égal à 78 830 €
définition f.date_courante égal à |01/05/2020|
définition f.date_courante égal à |2020-05-01|
définition f.résidence égal à Guadeloupe
assertion f.montant_versé = 132,49€
@ -137,7 +137,7 @@ champ d'application Test7:
définition f.enfants égal à
[données.enfant1;données.enfant2;données.enfant3;données.enfant4]
définition f.ressources_ménage égal à 30 000 €
définition f.date_courante égal à |01/02/2021|
définition f.date_courante égal à |2021-02-01|
définition f.résidence égal à Métropole
assertion f.montant_versé = 417,51€

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

@ -14,8 +14,8 @@ déclaration champ d'application Données:
champ d'application Données:
définition enfant1 égal à Enfant {
-- identifiant: 1
-- fin_obligation_scolaire : |01/08/2023|
-- date_de_naissance: |01/01/2007|
-- fin_obligation_scolaire : |2023-08-01|
-- date_de_naissance: |2007-01-01|
-- âge: 13
-- rémuneration_mensuelle: 0€
-- prise_en_charge_par_services_sociaux: NonPriseEnChargeFamille
@ -23,8 +23,8 @@ champ d'application Données:
}
définition enfant2 égal à Enfant {
-- identifiant: 2
-- fin_obligation_scolaire : |01/08/2019|
-- date_de_naissance: |01/01/2003|
-- fin_obligation_scolaire : |2019-08-01|
-- date_de_naissance: |2003-01-01|
-- âge: 18
-- rémuneration_mensuelle: 1000€
-- prise_en_charge_par_services_sociaux: NonPriseEnChargeFamille
@ -32,8 +32,8 @@ champ d'application Données:
}
définition enfant3 égal à Enfant {
-- identifiant: 3
-- fin_obligation_scolaire : |01/08/2019|
-- date_de_naissance: |01/01/2003|
-- fin_obligation_scolaire : |2019-08-01|
-- date_de_naissance: |2003-01-01|
-- âge: 18
-- rémuneration_mensuelle: 400€
-- prise_en_charge_par_services_sociaux: NonPriseEnChargeFamille
@ -41,8 +41,8 @@ champ d'application Données:
}
définition enfant4 égal à Enfant {
-- identifiant: 4
-- fin_obligation_scolaire : |01/08/2016|
-- date_de_naissance: |01/01/1999|
-- fin_obligation_scolaire : |2016-08-01|
-- date_de_naissance: |1999-01-01|
-- âge: 21
-- rémuneration_mensuelle: 0€
-- prise_en_charge_par_services_sociaux: NonPriseEnChargeFamille
@ -55,7 +55,7 @@ déclaration champ d'application Test1:
champ d'application Test1:
définition f.âge_l512_3_2_alternatif égal à Absent
définition f.date_courante égal à |01/05/2020|
définition f.date_courante égal à |2020-05-01|
définition f.prestation_courante égal à AllocationsFamiliales
définition f.résidence égal à Métropole
assertion (f.droit_ouvert de données.enfant1)

14
examples/us_tax_code/section_1015.catala_en
View File

@ -51,7 +51,7 @@ scope BasisOfGift:
transferor.basis
definition basis under condition
acquisition.moment > |12/31/1920| and
acquisition.moment > |1920-12-31| and
acquisition.method = Gift
consequence equals basis_subsection_a
```
@ -68,7 +68,7 @@ scope BasisOfGift:
```catala
scope BasisOfGift under condition
acquisition.moment > |01/31/1920| and
acquisition.moment > |1920-01-31| and
acquisition.method = Gift:
definition transferor.basis equals
@ -88,7 +88,7 @@ made.
```catala
scope BasisOfGift under condition
acquisition.moment > |01/31/1920| and
acquisition.moment > |1920-01-31| and
acquisition.method = Trust:
definition basis equals
@ -102,7 +102,7 @@ If the property was acquired by gift or transfer in trust on or before December
of such acquisition.
```catala
scope BasisOfGift under condition acquisition.moment <= |01/31/1920|:
scope BasisOfGift under condition acquisition.moment <= |1920-01-31|:
definition basis equals
value.fair_market of acquisition.moment
```
@ -117,7 +117,7 @@ amount of gift tax paid with respect to such gift, or
```catala
scope BasisOfGift under condition
acquisition.moment >= |09/02/1958| and
acquisition.moment >= |1958-09-02| and
acquisition.method = Gift:
definition basis equals
@ -139,7 +139,7 @@ gift.
```catala
scope BasisOfGift under condition
acquisition.moment < |09/02/1958| and
acquisition.moment < |1958-09-02| and
acquisition.method = Gift and
acquisition.no_sale_or_exchange_before:
@ -222,7 +222,7 @@ bears the same ratio to the amount of tax so paid as—
```catala
scope BasisOfGift under condition
acquisition.moment > |09/02/1976| and
acquisition.moment > |1976-09-02| and
acquisition.method = Gift:
definition basis_bonus_after_1976 equals

16
examples/us_tax_code/tests/test_section_121.catala_en
View File

@ -16,20 +16,20 @@ declaration scope Data:
context person_ko_2 content PersonalData
scope Data:
definition date_of_sale_or_exchange equals |01/01/2021|
definition return_date equals |01/01/2021|
definition date_of_sale_or_exchange equals |2021-01-01|
definition return_date equals |2021-01-01|
definition gain_from_sale_or_exchange_of_property equals $350,000
definition period_four_years_recent equals Period {
-- begin: |01/01/2017|
-- end: |01/01/2021|
-- begin: |2017-01-01|
-- end: |2021-01-01|
}
definition period_one_year_recent equals Period {
-- begin: |01/01/2019|
-- end: |01/01/2020|
-- begin: |2019-01-01|
-- end: |2020-01-01|
}
definition period_two_years_middle equals Period {
-- begin: |01/01/2015|
-- end: |01/02/2017|
-- begin: |2015-01-01|
-- end: |2017-01-02|
}
definition person_ok_1 equals PersonalData {
-- property_ownage: [period_four_years_recent]

8
src/catala/surface/parser.mly
View File

@ -181,11 +181,11 @@ struct_or_enum_inject:
money_amount_cents = cents;
}, Pos.from_lpos $sloc)
}
| VERTICAL d = date_int DIV m = date_int DIV y = date_int VERTICAL {
| VERTICAL y = date_int MINUS m = date_int MINUS d = date_int VERTICAL {
(LDate {
literal_date_day = (match !Utils.Cli.locale_lang with `En -> m | `Fr -> d);
literal_date_month = (match !Utils.Cli.locale_lang with `En -> d | `Fr -> m);
literal_date_year = y;
literal_date_year = y;
literal_date_month = m;
literal_date_day = d;
}, Pos.from_lpos $sloc)
}
| TRUE { (LBool true, Pos.from_lpos $sloc) }

4
tests/test_date/good/durations.catala
View File

@ -9,8 +9,8 @@ new scope A:
param z3 content duration
scope A:
def x := |01/01/2019|
def y := |09/30/2002|
def x := |2019-01-01|
def y := |2002-09-30|
def z := y +@ (x -@ y) = x
def z3 := x -@ y
def z2 := z3 = 5937 day

4
tests/test_date/good/simple.catala
View File

@ -7,7 +7,7 @@ new scope A:
param z content duration
scope A:
def x := |01/01/2019|
def y := |09/30/2002|
def x := |2019-01-01|
def y := |2002-09-30|
def z := x -@ y
```