CatalaLang/catala
1
1
Fork 0
mirror of https://github.com/CatalaLang/catala.git synced 2024-09-19 16:28:12 +03:00
Code Issues Projects Releases Wiki Activity

Adjust examples for the new function declaration syntax

Browse Source
This commit is contained in:
Louis Gesbert 2023-02-24 11:24:17 +01:00
parent 8200457e43
commit d3ccfe9b91
8 changed files with 69 additions and 48 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

68
examples/aides_logement/prologue.catala_fr
View File

@ -289,7 +289,7 @@ déclaration champ d'application ÉligibilitéAidesPersonnelleLogement:
entrée résultat date_courante contenu date
# Différentes conditions pour l'éligibilité
interne condition_prêt condition dépend de Prêt
interne condition_prêt condition dépend de prêt contenu Prêt
interne condition_nationalité condition
contexte condition_logement_résidence_principale condition
interne condition_logement_mode_occupation condition
@ -301,7 +301,7 @@ déclaration champ d'application ÉligibilitéAidesPersonnelleLogement:
interne condition_peuplement_logement_l822_10 condition
interne éligibilité_logement condition
interne prise_en_compte_personne_à_charge condition
dépend de PersonneÀCharge
dépend de personne contenu PersonneÀCharge
interne personnes_à_charge_prises_en_compte
contenu collection PersonneÀCharge
@ -321,7 +321,7 @@ déclaration champ d'application ÉligibilitéAidesPersonnelleLogement:
résultat nombre_personnes_à_charge_prises_en_compte contenu entier
résultat coefficents_enfants_garde_alternée_pris_en_compte contenu
collection décimal
résultat condition_2_r823_4 condition dépend de PersonneÀCharge
résultat condition_2_r823_4 condition dépend de personne contenu PersonneÀCharge
champ d'application ÉligibilitéAidesPersonnelleLogement:
# TODO informatique et juridique: trouver une meilleur place pour mettre
@ -362,8 +362,8 @@ déclaration champ d'application ÉligibilitéAidePersonnaliséeLogement:
interne condition_logement_bailleur condition
interne condition_logement_prêt condition
interne caractéristiques_prêt_l831_1_1 condition dépend de Prêt
interne caractéristiques_prêt_l831_1_6 condition dépend de Prêt
interne caractéristiques_prêt_l831_1_1 condition dépend de prêt contenu Prêt
interne caractéristiques_prêt_l831_1_6 condition dépend de prêt contenu Prêt
éligibilité_commune champ d'application ÉligibilitéAidesPersonnelleLogement
@ -517,7 +517,7 @@ déclaration champ d'application ContributionsSocialesAidesPersonnelleLogement:
interne taux_crds contenu décimal
interne exonéré_csg condition
résultat montant contenu argent dépend de argent
résultat montant contenu argent dépend de aide_finale contenu argent
```
### Calcul du montant de l'aide personnalisée au logement
@ -569,7 +569,7 @@ déclaration champ d'application CalculAidePersonnaliséeLogementLocatif:
résultat aide_finale_formule contenu argent
résultat traitement_aide_finale contenu argent dépend de argent
résultat traitement_aide_finale contenu argent dépend de aide_finale contenu argent
état diminué
état minoration_forfaitaire
état contributions_sociales_arrondi
@ -620,8 +620,9 @@ déclaration champ d'application CalculAidePersonnaliséeLogementFoyer:
résultat équivalence_loyer_éligible contenu argent
résultat plafond_équivalence_loyer_éligible contenu argent
interne abattement_dépense_nette_minimale_d832_27
contenu argent dépend de argent
interne dépense_nette_minimale_d832_27 contenu argent dépend de argent
contenu argent dépend de aide_calculée_1_8_d832_24 contenu argent
interne dépense_nette_minimale_d832_27
contenu argent dépend de aide_calculée_1_8_d832_24 contenu argent
interne montant_forfaitaire_d832_24 contenu argent
interne montant_forfaitaire_d832_27 contenu argent
interne montant_minimal_aide_d823_24 contenu argent
@ -639,7 +640,7 @@ déclaration champ d'application CalculAidePersonnaliséeLogementFoyer:
état seuil
résultat aide_finale_formule contenu argent
résultat traitement_aide_finale contenu argent dépend de argent
résultat traitement_aide_finale contenu argent dépend de aide_finale contenu argent
état minoration_forfaitaire
état abattement
état contributions_sociales_arrondi
@ -681,15 +682,17 @@ déclaration champ d'application
interne plafond_mensualité_d832_10_3 contenu argent
état base
état copropriétaires
interne calcul_plafond_mensualité_d832_10_3 contenu argent dépend de date
interne calcul_plafond_mensualité_d832_10_3 contenu argent
dépend de date_signature_prêt contenu date
interne n_nombre_parts_d832_11 contenu décimal
résultat coefficient_prise_en_charge_d832_10 contenu décimal
état formule
état coeff_arrondi
état seuil
interne dépense_nette_minimale_d832_10 contenu argent dépend de argent
interne dépense_nette_minimale_d832_10 contenu argent
dépend de aide_calculée_2_9_d832_10 contenu argent
interne abattement_dépense_nette_minimale_d832_10
contenu argent dépend de argent
contenu argent dépend de aide_calculée_2_9_d832_10 contenu argent
interne ressources_ménage_avec_d832_18 contenu argent
interne montant_forfaitaire_charges_d832_10 contenu argent
interne montant_forfaitaire_d832_10 contenu argent
@ -709,7 +712,8 @@ déclaration champ d'application
ContributionsSocialesAidesPersonnelleLogement
résultat aide_finale_formule contenu argent
résultat traitement_aide_finale contenu argent dépend de argent
résultat traitement_aide_finale contenu argent
dépend de aide_finale contenu argent
état minoration_forfaitaire
état abattement
état contributions_sociales_arrondi
@ -724,7 +728,8 @@ champ d'application CalculAidePersonnaliséeLogementAccessionPropriété:
```catala-metadata
déclaration structure Traitement_formule_aide_finale:
donnée aide_finale_formule contenu argent
donnée traitement_aide_finale contenu argent dépend de argent
donnée traitement_aide_finale contenu argent
dépend de aide_finale contenu argent
déclaration champ d'application CalculAidePersonnaliséeLogement:
entrée mode_occupation contenu ModeOccupation
@ -743,7 +748,8 @@ déclaration champ d'application CalculAidePersonnaliséeLogement:
interne sous_calcul_traitement contenu Traitement_formule_aide_finale
résultat aide_finale_formule contenu argent
résultat traitement_aide_finale contenu argent dépend de argent
résultat traitement_aide_finale contenu argent
dépend de aide_finale contenu argent
```
## Calcul du montant de l'allocation logement
@ -785,7 +791,8 @@ déclaration champ d'application CalculAllocationLogementLocatif:
résultat aide_finale_formule contenu argent
résultat traitement_aide_finale contenu argent dépend de argent
résultat traitement_aide_finale contenu argent
dépend de aide_finale contenu argent
champ d'application CalculAllocationLogementLocatif:
définition calcul_apl_locatif.loyer_principal égal à
@ -850,15 +857,18 @@ déclaration champ d'application CalculAllocationLogementAccessionPropriété:
interne mensualité_minimale contenu argent
interne coefficient_prise_en_charge contenu décimal
interne plafond_mensualité_d842_6 contenu argent
interne calcul_plafond_mensualité_d842_6 contenu argent dépend de date
interne calcul_plafond_mensualité_d842_6 contenu argent
dépend de date_calcul contenu date
état base
état avec_copropriété
interne montant_forfaitaire_d842_6 contenu argent
interne seuil_minimal_dépense_nette_minimale contenu argent
interne seuil_minimal_ressources_ménage contenu argent
interne taux_francs_vers_euros contenu décimal
interne dépense_nette_minimale contenu argent dépend de argent
interne abattement_dépense_nette_minimale contenu argent dépend de argent
interne dépense_nette_minimale contenu argent
dépend de aide_calculée_1_8_d832_24 contenu argent
interne abattement_dépense_nette_minimale contenu argent
dépend de aide_calculée_1_8_d832_24 contenu argent
interne montant_minimal_aide_d842_6 contenu argent
interne montant_forfaitaire_d842_11 contenu argent
interne montant_forfaitaire_d842_12 contenu argent
@ -875,7 +885,8 @@ déclaration champ d'application CalculAllocationLogementAccessionPropriété:
résultat aide_finale_formule contenu argent
résultat traitement_aide_finale contenu argent dépend de argent
résultat traitement_aide_finale contenu argent
dépend de aide_finale contenu argent
état minoration_forfaitaire
état dépense_nette_minimale
état contributions_sociales_arrondi
@ -922,8 +933,10 @@ déclaration champ d'application CalculAllocationLogementFoyer:
entrée catégorie_équivalence_loyer_d842_16 contenu
CatégorieÉquivalenceLoyerAllocationLogementFoyer
interne dépense_nette_minimale contenu argent dépend de argent
interne abattement_dépense_nette_minimale contenu argent dépend de argent
interne dépense_nette_minimale contenu argent
dépend de aide_finale contenu argent
interne abattement_dépense_nette_minimale contenu argent
dépend de aide_finale contenu argent
interne montant_minimal_aide_d842_15 contenu argent
interne montant_forfaitaire_d842_15 contenu argent
interne montant_minimal_dépense_nette_d842_17 contenu argent
@ -941,7 +954,8 @@ déclaration champ d'application CalculAllocationLogementFoyer:
CalculÉquivalenceLoyerMinimale
résultat aide_finale_formule contenu argent
résultat traitement_aide_finale contenu argent dépend de argent
résultat traitement_aide_finale contenu argent
dépend de aide_finale contenu argent
état minoration_forfaitaire
état dépense_nette_minimale
état redevance
@ -988,7 +1002,8 @@ déclaration champ d'application CalculAllocationLogement:
interne sous_calcul_traitement contenu Traitement_formule_aide_finale
résultat aide_finale_formule contenu argent
résultat traitement_aide_finale contenu argent dépend de argent
résultat traitement_aide_finale contenu argent
dépend de aide_finale contenu argent
```
### Date d'ouverture des droits à la retraite
@ -1051,7 +1066,8 @@ déclaration champ d'application CalculetteAidesAuLogement:
résultat éligibilité contenu booléen
résultat aide_finale_formule contenu argent
résultat traitement_aide_finale contenu argent dépend de argent
résultat traitement_aide_finale contenu argent
dépend de aide_finale contenu argent
résultat coefficents_enfants_garde_alternée_pris_en_compte contenu
collection décimal

25
examples/allocations_familiales/prologue.catala_fr
View File

@ -54,8 +54,8 @@ déclaration énumération ÉlémentPrestationsFamiliales:
```catala-metadata
déclaration champ d'application PrestationsFamiliales:
résultat droit_ouvert condition dépend de Enfant
résultat conditions_hors_âge condition dépend de Enfant
résultat droit_ouvert condition dépend de enfant contenu Enfant
résultat conditions_hors_âge condition dépend de enfant contenu Enfant
interne plafond_l512_3_2 contenu argent
résultat âge_l512_3_2 contenu durée
résultat régime_outre_mer_l751_1 condition
@ -94,8 +94,8 @@ déclaration champ d'application AllocationsFamiliales:
entrée enfants_à_charge contenu collection Enfant
interne enfants_à_charge_droit_ouvert_prestation_familiale
contenu collection Enfant
interne prise_en_compte contenu PriseEnCompte dépend de Enfant
interne versement contenu VersementAllocations dépend de Enfant
interne prise_en_compte contenu PriseEnCompte dépend de enfant contenu Enfant
interne versement contenu VersementAllocations dépend de enfant contenu Enfant
résultat montant_versé contenu argent
@ -117,21 +117,22 @@ déclaration champ d'application AllocationsFamiliales:
interne montant_initial_base_quatrième_enfant_et_plus_mayotte contenu argent
# Variables liées à l'allocation forfaitaire
interne droit_ouvert_forfaitaire condition dépend de Enfant
interne droit_ouvert_forfaitaire condition dépend de enfant contenu Enfant
interne montant_versé_forfaitaire_par_enfant contenu argent
interne montant_versé_forfaitaire contenu argent
# Variables liées aux majorations des allocations familiales
interne droit_ouvert_majoration condition dépend de Enfant
interne montant_initial_métropole_majoration contenu argent dépend de Enfant
interne montant_initial_majoration contenu argent dépend de Enfant
interne montant_avec_garde_alternée_majoration contenu argent dépend de Enfant
interne droit_ouvert_majoration condition dépend de enfant contenu Enfant
interne montant_initial_métropole_majoration contenu argent dépend de enfant contenu Enfant
interne montant_initial_majoration contenu argent dépend de enfant contenu Enfant
interne montant_avec_garde_alternée_majoration contenu argent dépend de enfant contenu Enfant
interne montant_versé_majoration contenu argent
# Variables liées au complément dégressif
interne droit_ouvert_complément condition
interne montant_base_complément_pour_base_et_majoration contenu argent
interne complément_dégressif contenu argent dépend de argent
interne complément_dégressif contenu argent
dépend de allocation contenu argent
interne montant_versé_complément_pour_base_et_majoration contenu argent
interne montant_versé_complément_pour_forfaitaire contenu argent
@ -143,9 +144,9 @@ 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 durée dépend de Enfant
interne âge_minimum_alinéa_1_l521_3 contenu durée dépend de enfant contenu 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 est_enfant_le_plus_âgé contenu booléen dépend de enfant contenu Enfant
interne plafond_I_d521_3 contenu argent
interne plafond_II_d521_3 contenu argent

3
examples/droit_successions/droit_successions.catala_fr
View File

@ -32,7 +32,8 @@ déclaration structure BienUsufruitRenteViagère:
déclaration champ d'application RéserveHéréditaire:
résultat quotité_réserve_héréditaire contenu décimal
entrée enfants contenu collection Enfant
interne enfant_pris_en_compte_réserve_héréditaire contenu booléen dépend de Enfant
interne enfant_pris_en_compte_réserve_héréditaire contenu booléen
dépend de enfant contenu Enfant
interne enfants_réserve_héréditaire contenu collection Enfant
entrée conjoint_survivant_non_divorcé condition

2
examples/droit_successions/tests/tests_droit_succession.catala_fr
View File

@ -4,7 +4,7 @@
```catala
déclaration champ d'application Enfants:
résultat base contenu Enfant dépend de entier
résultat base contenu Enfant dépend de identifiant contenu entier
champ d'application Enfants:
définition base de identifiant égal à

6
examples/prestations_familiales/prologue.catala_fr
View File

@ -37,8 +37,10 @@ déclaration énumération ÉlémentPrestationsFamiliales:
-- AllocationJournalièrePresenceParentale
déclaration champ d'application ÉligibilitéPrestationsFamiliales:
résultat droit_ouvert condition dépend de EnfantPrestationsFamiliales
résultat conditions_hors_âge condition dépend de EnfantPrestationsFamiliales
résultat droit_ouvert condition
dépend de enfant contenu EnfantPrestationsFamiliales
résultat conditions_hors_âge condition
dépend de enfant contenu EnfantPrestationsFamiliales
interne plafond_l512_3_2 contenu argent
résultat âge_l512_3_2 contenu durée
résultat régime_outre_mer_l751_1 condition

8
examples/tutorial_en/tutorial_en.catala_en
View File

@ -292,10 +292,10 @@ declaration scope TwoBracketsTaxComputation :
input brackets content TwoBrackets
# This input variable contains the description of the
# parameters of the tax formula.
output tax_formula content money depends on money
output tax_formula content money depends on income content money
# But for declaring the tax_formula variable, we declare it as
# a function: "content money depends on money" means a function that
# returns money as output (the tax) and takes money as input (the income).
# a function: "content money depends on income content money" means a function
# that returns money as output (the tax) and takes the income money as input.
```
### Article 4
@ -468,7 +468,7 @@ fixed version of the NewIncomeTaxComputation scope:
declaration scope NewIncomeTaxComputationFixed:
two_brackets scope TwoBracketsTaxComputation
input individual content Individual
output tax_formula content money depends on money
output tax_formula content money depends on income content money
context output income_tax content money
# This variable is tagged with "context", a new concept which we have not
# introduced yet. For now, ignore it as we'll come back to it in the section

3
examples/tutoriel_fr/tutoriel_fr.catala_fr
View File

@ -220,7 +220,8 @@ déclaration structure DeuxTranches:
déclaration champ d'application CalculImpôtDeuxTranches :
entrée tranches contenu DeuxTranches
résultat formule_imposition contenu argent dépend de argent
résultat formule_imposition contenu argent
dépend de revenu contenu argent
```
Et dans le code :

2
examples/us_tax_code/section_121.catala_en
View File

@ -40,7 +40,7 @@ declaration scope Section121SinglePerson:
content collection Period
# Invariant: the periods in the collection are disjoint
internal aggregate_periods_from_last_five_years content duration
depends on collection Period
depends on periods content collection Period
context output gain_cap content money
input gain_from_sale_or_exchange_of_property content money
output income_excluded_from_gross_income_uncapped content money