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

Remove *all* struct field access qualifiers in catala code

Browse Source 
They are no longer needed \o/
This commit is contained in:
Louis Gesbert 2022-11-28 16:42:02 +01:00
parent 8960e5dbbc
commit 4ee4a96ac7
9 changed files with 77 additions and 77 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

30
examples/aides_logement/code_construction_legislatif.catala_fr
View File

@ -640,9 +640,9 @@ champ d'application ÉligibilitéAidePersonnaliséeLogement:
règle condition_logement_bailleur sous condition
selon ménage.logement.mode_occupation sous forme
-- Locataire de location:
(selon location.Location.bailleur sous forme
(selon location.bailleur sous forme
-- BailleurSocial de convention:
convention.ConventionBailleurSocial.
convention.
conventionné_livre_III_titre_V_chap_III
-- BailleurPrivéAvecConventionnementSocial de convention:
convention.conventionné_livre_III_titre_II_chap_I_sec_3
@ -683,7 +683,7 @@ champ d'application ÉligibilitéAidePersonnaliséeLogement:
règle condition_logement_bailleur sous condition
selon ménage.logement.mode_occupation sous forme
-- RésidentLogementFoyer de location:
location.LogementFoyer.conventionné_livre_III_titre_V_chap_III
location.conventionné_livre_III_titre_V_chap_III
-- n'importe quel: faux
conséquence rempli
```
@ -891,19 +891,19 @@ champ d'application ÉligibilitéAllocationLogement:
-- AutrePersonneÀCharge: faux
-- EnfantÀCharge de enfant: (prestations_familiales.droit_ouvert de
EnfantPrestationsFamiliales {
-- identifiant: enfant.EnfantÀCharge.identifiant
-- 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
-- identifiant: enfant.identifiant
-- obligation_scolaire: enfant.obligation_scolaire
-- rémuneration_mensuelle: enfant.rémuneration_mensuelle
-- date_de_naissance: enfant.date_de_naissance
-- prise_en_charge: (selon enfant.situation_garde_alternée sous forme
-- GardeAlternéeCoefficientPriseEnCharge:
PriseEnChargeEnfant.GardeAlternéePartageAllocations
-- PasDeGardeAlternée:
PriseEnChargeEnfant.EffectiveEtPermanente)
-- a_déjà_ouvert_droit_aux_allocations_familiales:
enfant.EnfantÀCharge.a_déjà_ouvert_droit_aux_allocations_familiales
enfant.a_déjà_ouvert_droit_aux_allocations_familiales
-- bénéficie_titre_personnel_aide_personnelle_logement:
enfant.EnfantÀCharge.
enfant.
bénéficie_titre_personnel_aide_personnelle_logement
}
)
@ -923,19 +923,19 @@ champ d'application ÉligibilitéAllocationLogement:
-- AutrePersonneÀCharge: faux
-- EnfantÀCharge de enfant: non (prestations_familiales.droit_ouvert de
EnfantPrestationsFamiliales {
-- identifiant: enfant.EnfantÀCharge.identifiant
-- 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
-- identifiant: enfant.identifiant
-- obligation_scolaire: enfant.obligation_scolaire
-- rémuneration_mensuelle: enfant.rémuneration_mensuelle
-- date_de_naissance: enfant.date_de_naissance
-- prise_en_charge: (selon enfant.situation_garde_alternée sous forme
-- GardeAlternéeCoefficientPriseEnCharge:
PriseEnChargeEnfant.GardeAlternéePartageAllocations
-- PasDeGardeAlternée:
PriseEnChargeEnfant.EffectiveEtPermanente)
-- a_déjà_ouvert_droit_aux_allocations_familiales:
enfant.EnfantÀCharge.a_déjà_ouvert_droit_aux_allocations_familiales
enfant.a_déjà_ouvert_droit_aux_allocations_familiales
-- bénéficie_titre_personnel_aide_personnelle_logement:
enfant.EnfantÀCharge.
enfant.
bénéficie_titre_personnel_aide_personnelle_logement
}
)

74
examples/aides_logement/code_construction_reglementaire.catala_fr
View File

@ -128,7 +128,7 @@ champ d'application RessourcesAidesPersonnelleLogement:
définition ressources_personnes_vivant_habituellement_foyer égal à
somme argent pour personne dans personnes_vivant_habituellement_foyer de
personne.PersonneVivantHabituellementAuFoyer.ressources
personne.ressources
```
Sont considérées comme vivant habituellement au foyer les personnes y ayant
@ -1137,7 +1137,7 @@ 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.date_de_naissance +@ 21 an >@ date_courante
enfant.date_de_naissance +@ 21 an >@ date_courante
-- AutrePersonneÀCharge de parent: faux
conséquence rempli
```
@ -1163,16 +1163,16 @@ champ d'application ÉligibilitéAidesPersonnelleLogement:
-- EnfantÀCharge de enfant: faux
-- AutrePersonneÀCharge de parent:
parent.parenté = Ascendant et
parent.AutrePersonneÀCharge.ressources <=€
parent.ressources <=€
plafond_individuel_l815_9_sécu *€ 1,25 et
(
(parent.AutrePersonneÀCharge.date_naissance +@
(parent.date_naissance +@
âge_l351_8_1_sécu <=@ date_courante ou
(parent.titulaire_allocation_personne_âgée et
parent.AutrePersonneÀCharge.date_naissance +@ 65 an <=@
parent.date_naissance +@ 65 an <=@
date_courante)
) ou
(parent.AutrePersonneÀCharge.date_naissance +@
(parent.date_naissance +@
âge_l161_17_2_sécu <=@ date_courante et
parent.bénéficiaire_l161_19_l351_8_l643_3_sécu)
)
@ -1204,7 +1204,7 @@ champ d'application ÉligibilitéAidesPersonnelleLogement:
-- AutrePersonneÀCharge de parent:
# Pas besoin de préciser parenté car inclusif ici
parent.incapacité_80_pourcent_ou_restriction_emploi et
parent.AutrePersonneÀCharge.ressources <=€
parent.ressources <=€
plafond_individuel_l815_9_sécu *€ 1,25
conséquence rempli
```
@ -1393,7 +1393,7 @@ champ d'application CalculAllocationLogement:
AccessionPropriété contenu propriétaire
définition aide_finale_formule égal à
sous_calcul_traitement.Traitement_formule_aide_finale.aide_finale_formule
sous_calcul_traitement.aide_finale_formule
définition traitement_aide_finale de arg égal à
(sous_calcul_traitement.
Traitement_formule_aide_finale.traitement_aide_finale de arg)
@ -1411,7 +1411,7 @@ champ d'application CalculAidePersonnaliséeLogement:
AccessionPropriété contenu propriétaire
définition aide_finale_formule égal à
sous_calcul_traitement.Traitement_formule_aide_finale.aide_finale_formule
sous_calcul_traitement.aide_finale_formule
définition traitement_aide_finale de arg égal à
(sous_calcul_traitement.
Traitement_formule_aide_finale.traitement_aide_finale de arg)
@ -1441,7 +1441,7 @@ champ d'application CalculAidePersonnaliséeLogement:
location.âgées_ou_handicap_adultes_hébergées_onéreux_particuliers
-- type_aide: type_aide
-- réduction_loyer_solidarité:
(selon location.Location.bailleur sous forme
(selon location.bailleur sous forme
-- BailleurSocial de bailleur:
bailleur.réduction_loyer_solidarité_perçue
-- n'importe quel: 0€)
@ -1525,7 +1525,7 @@ champ d'application CalculAllocationLogement:
location.âgées_ou_handicap_adultes_hébergées_onéreux_particuliers
-- type_aide: type_aide
-- réduction_loyer_solidarité:
(selon location.Location.bailleur sous forme
(selon location.bailleur sous forme
-- BailleurSocial de bailleur:
bailleur.réduction_loyer_solidarité_perçue
-- n'importe quel: 0€)
@ -1534,7 +1534,7 @@ champ d'application CalculAllocationLogement:
}
dans Traitement_formule_aide_finale {
-- aide_finale_formule:
traitement_formule.CalculAllocationLogementLocatif.aide_finale_formule
traitement_formule.aide_finale_formule
-- traitement_aide_finale:
traitement_formule.
CalculAllocationLogementLocatif.
@ -1557,7 +1557,7 @@ champ d'application CalculAllocationLogement:
location.âgées_ou_handicap_adultes_hébergées_onéreux_particuliers
-- type_aide: type_aide
-- réduction_loyer_solidarité:
(selon location.Location.bailleur sous forme
(selon location.bailleur sous forme
-- BailleurSocial de bailleur:
bailleur.réduction_loyer_solidarité_perçue
-- n'importe quel: 0€)
@ -1588,7 +1588,7 @@ champ d'application CalculAllocationLogement:
}
dans Traitement_formule_aide_finale {
-- aide_finale_formule:
traitement_formule.CalculAllocationLogementFoyer.aide_finale_formule
traitement_formule.aide_finale_formule
-- traitement_aide_finale:
traitement_formule.
CalculAllocationLogementFoyer.traitement_aide_finale
@ -2973,8 +2973,8 @@ par l'article D. 331-64.
champ d'application ÉligibilitéAidePersonnaliséeLogement:
règle caractéristiques_prêt_l831_1_1 de prêt sous condition
prêt.titulaire_prêt sous forme Demandeur et (
prêt.Prêt.type_prêt sous forme D331_32 ou
prêt.Prêt.type_prêt sous forme D331_63_64)
prêt.type_prêt sous forme D331_32 ou
prêt.type_prêt sous forme D331_63_64)
conséquence rempli
```
@ -3009,8 +3009,8 @@ champ d'application ÉligibilitéAidePersonnaliséeLogement:
règle caractéristiques_prêt_l831_1_1 de prêt sous condition
prêt.titulaire_prêt sous forme
VendeurQuandDemandeurAContratLocationAccession et (
prêt.Prêt.type_prêt sous forme D331_59_8 ou
prêt.Prêt.type_prêt sous forme D331_76_1)
prêt.type_prêt sous forme D331_59_8 ou
prêt.type_prêt sous forme D331_76_1)
conséquence rempli
```
@ -4027,14 +4027,14 @@ champ d'application CalculÉquivalenceLoyerMinimale:
définition tranches_revenus_d832_26_multipliées égal à
application pour tranche dans tranches_revenus_d832_26 de
TrancheRevenuDécimal {
-- haut: (selon tranche.TrancheRevenu.haut sous forme
-- haut: (selon tranche.haut sous forme
-- LimiteTranche.Infini: LimiteTrancheDécimal.Infini
-- LimiteTranche.Revenu de tranche_haut:
LimiteTrancheDécimal.Revenu contenu
((argent_vers_décimal de tranche_haut) *. n_nombre_parts_d832_25))
-- bas: argent_vers_décimal de tranche.TrancheRevenu.bas *.
-- bas: argent_vers_décimal de tranche.bas *.
n_nombre_parts_d832_25
-- taux: tranche.TrancheRevenu.taux
-- taux: tranche.taux
}
définition montant égal à
@ -4044,23 +4044,23 @@ champ d'application CalculÉquivalenceLoyerMinimale:
décimal_vers_argent de (
(((somme décimal pour tranche dans tranches_revenus_d832_26_multipliées de
(si
ressources_ménage_arrondies <=. tranche.TrancheRevenuDécimal.bas
ressources_ménage_arrondies <=. tranche.bas
alors 0,0
sinon
(selon tranche.TrancheRevenuDécimal.haut sous forme
(selon tranche.haut sous forme
-- LimiteTrancheDécimal.Revenu de tranche_haut:
(si
ressources_ménage_arrondies >=. tranche_haut
alors
(tranche_haut -. tranche.TrancheRevenuDécimal.bas) *.
tranche.TrancheRevenuDécimal.taux
(tranche_haut -. tranche.bas) *.
tranche.taux
sinon
((ressources_ménage_arrondies -.
tranche.TrancheRevenuDécimal.bas) *.
tranche.TrancheRevenuDécimal.taux))
tranche.bas) *.
tranche.taux))
-- LimiteTrancheDécimal.Infini:
(ressources_ménage_arrondies -. tranche.TrancheRevenuDécimal.bas) *.
tranche.TrancheRevenuDécimal.taux)
(ressources_ménage_arrondies -. tranche.bas) *.
tranche.taux)
))) +.
argent_vers_décimal de montant_forfaitaire_d832_26 *.
n_nombre_parts_d832_25) /. 12,0)
@ -4083,23 +4083,23 @@ champ d'application CalculÉquivalenceLoyerMinimale:
décimal_vers_argent de (
(((somme décimal pour tranche dans tranches_revenus_d832_26_multipliées de
(si
ressources_ménage_arrondies <=. tranche.TrancheRevenuDécimal.bas
ressources_ménage_arrondies <=. tranche.bas
alors 0,0
sinon
(selon tranche.TrancheRevenuDécimal.haut sous forme
(selon tranche.haut sous forme
-- LimiteTrancheDécimal.Revenu de tranche_haut:
(si
ressources_ménage_arrondies >=. tranche_haut
alors
(tranche_haut -. tranche.TrancheRevenuDécimal.bas) *.
tranche.TrancheRevenuDécimal.taux
(tranche_haut -. tranche.bas) *.
tranche.taux
sinon
((ressources_ménage_arrondies -.
tranche.TrancheRevenuDécimal.bas) *.
tranche.TrancheRevenuDécimal.taux))
tranche.bas) *.
tranche.taux))
-- LimiteTrancheDécimal.Infini:
(ressources_ménage_arrondies -. tranche.TrancheRevenuDécimal.bas) *.
tranche.TrancheRevenuDécimal.taux)
(ressources_ménage_arrondies -. tranche.bas) *.
tranche.taux)
))) +.
argent_vers_décimal de montant_forfaitaire_d832_26) /. 12,0)
```

2
examples/aides_logement/code_sécurité_sociale.catala_fr
View File

@ -121,7 +121,7 @@ champ d'application OuvertureDroitsRetraite:
champ d'application ÉligibilitéAidesPersonnelleLogement:
définition ouverture_droits_retraite.date_naissance_assuré égal à
demandeur.Demandeur.date_naissance
demandeur.date_naissance
définition âge_l161_17_2_sécu égal à
ouverture_droits_retraite.âge_ouverture_droit
```

18
examples/prestations_familiales/sécurité_sociale_L.catala_fr
View File

@ -53,8 +53,8 @@ ouvre droit aux prestations familiales :
```catala
champ d'application ÉligibilitéPrestationsFamiliales :
étiquette cas_base règle droit_ouvert de enfant sous condition
enfant.EnfantPrestationsFamiliales.obligation_scolaire sous forme Avant ou
enfant.EnfantPrestationsFamiliales.obligation_scolaire sous forme Pendant
enfant.obligation_scolaire sous forme Avant ou
enfant.obligation_scolaire sous forme Pendant
conséquence rempli
```
@ -64,20 +64,20 @@ dont la rémunération éventuelle n'excède pas un plafond.
```catala
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 <=€
enfant.obligation_scolaire sous forme Après et
(enfant.rémuneration_mensuelle <=€
plafond_l512_3_2) et
(enfant.EnfantPrestationsFamiliales.date_de_naissance +@ â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
# sont référencées plus tard dans l'article L521-1
règle conditions_hors_âge de enfant sous condition
enfant.EnfantPrestationsFamiliales.obligation_scolaire sous forme Avant ou
enfant.EnfantPrestationsFamiliales.obligation_scolaire sous forme Pendant ou
enfant.EnfantPrestationsFamiliales.obligation_scolaire sous forme Après et
(enfant.EnfantPrestationsFamiliales.rémuneration_mensuelle <=€
enfant.obligation_scolaire sous forme Avant ou
enfant.obligation_scolaire sous forme Pendant ou
enfant.obligation_scolaire sous forme Après et
(enfant.rémuneration_mensuelle <=€
plafond_l512_3_2)
conséquence rempli
```

2
examples/tutorial_en/tutorial_en.catala_en
View File

@ -592,7 +592,7 @@ scope Test5:
definition income_tax equals
if normal_income_tax_computation_applies then
(NewIncomeTaxComputationFixed of { -- individual: individual })
.NewIncomeTaxComputationFixed.income_tax
.income_tax
else $0 # Insert some other modes of computation here
```

18
examples/us_tax_code/section_121.catala_en
View File

@ -95,12 +95,12 @@ scope Section121TwoPersons:
definition person1 equals match return_type with pattern
-- SingleReturn of data_person1 : data_person1
-- JointReturn of data_couple : data_couple.JointReturn.person1
-- JointReturn of data_couple : data_couple.person1
-- SingleReturnSurvivingSpouse of data_single: data_single.return
definition person2 equals match return_type with pattern
-- SingleReturn of data_person2 : data_person2
-- JointReturn of data_couple : data_couple.JointReturn.person2
-- JointReturn of data_couple : data_couple.person2
-- SingleReturnSurvivingSpouse of data_single: data_single.return
definition section121Person1.property_ownage equals person1.property_ownage
@ -316,25 +316,25 @@ scope Section121TwoPasses under condition
first_pass.gain_cap_person_2
definition period_merge.periods1 equals match return_type with pattern
-- JointReturn of joint_return: joint_return.JointReturn.person1.property_ownage
-- JointReturn of joint_return: joint_return.person1.property_ownage
-- SingleReturnSurvivingSpouse of dead_spouse_info : [] # does not happen
-- SingleReturn of return : [] # does not happen
definition period_merge.periods2 equals match return_type with pattern
-- JointReturn of joint_return: joint_return.JointReturn.person2.property_ownage
-- JointReturn of joint_return: joint_return.person2.property_ownage
-- SingleReturnSurvivingSpouse of dead_spouse_info : [] # does not happen
-- SingleReturn of return : [] # does not happen
definition second_pass.person1 equals PersonalData {
-- property_ownage: period_merge.output_periods
-- property_usage_as_principal_residence:
first_pass.JointReturn.person1.property_usage_as_principal_residence
-- other_section_121a_sale: first_pass.JointReturn.person1.other_section_121a_sale
first_pass.person1.property_usage_as_principal_residence
-- other_section_121a_sale: first_pass.person1.other_section_121a_sale
}
definition second_pass.person2 equals PersonalData {
-- property_ownage: period_merge.output_periods
-- property_usage_as_principal_residence:
first_pass.JointReturn.person2.property_usage_as_principal_residence
-- other_section_121a_sale: first_pass.JointReturn.person2.other_section_121a_sale
first_pass.person2.property_usage_as_principal_residence
-- other_section_121a_sale: first_pass.person2.other_section_121a_sale
}
```
@ -350,7 +350,7 @@ scope Section121SinglePerson:
rule section_121_b_3_applies under condition
(other_section_121a_sale with pattern
MostRecentSaleWhereSection121aApplied of other_sale) and
date_of_sale_or_exchange -@ other_sale.PreviousSaleWhereSection121aApplied.date_of_sale_or_exchange <=^ 2 year
date_of_sale_or_exchange -@ other_sale.date_of_sale_or_exchange <=^ 2 year
consequence fulfilled
exception

6
french_law/ocaml/law_source/aides_logement.ml generated
View File

@ -15604,7 +15604,7 @@ let eligibilite_prestations_familiales (eligibilite_prestations_familiales_in: E
(fun (_: unit) -> (log_decision_taken
{filename = "examples/aides_logement/../prestations_familiales/sécurité_sociale_L.catala_fr";
start_line=56; start_column=5;
end_line=57; end_column=78;
end_line=57; end_column=50;
law_headings=["Article L512-3";
"Chapitre 2 : Champ d'application";
"Titre 1 : Champ d'application - Généralités";
@ -24071,7 +24071,7 @@ let eligibilite_aide_personnalisee_logement (eligibilite_aide_personnalisee_loge
(fun (_: unit) -> (log_decision_taken
{filename = "examples/aides_logement/code_construction_reglementaire.catala_fr";
start_line=3010; start_column=5;
end_line=3013; end_column=46;
end_line=3013; end_column=41;
law_headings=["Article R832-7";
"Section 2 : Accession à la propriété";
"Chapitre II : Modalités de liquidation et de versement de l'aide personnalisée au logement";
@ -24107,7 +24107,7 @@ let eligibilite_aide_personnalisee_logement (eligibilite_aide_personnalisee_loge
(fun (_: unit) -> (log_decision_taken
{filename = "examples/aides_logement/code_construction_reglementaire.catala_fr";
start_line=2975; start_column=5;
end_line=2977; end_column=47;
end_line=2977; end_column=42;
law_headings=["Article R832-5";
"Section 2 : Accession à la propriété";
"Chapitre II : Modalités de liquidation et de versement de l'aide personnalisée au logement";

2
tests/test_name_resolution/good/let_in.catala_en
View File

@ -17,7 +17,7 @@ scope S:
definition b equals let b equals 42 in B { -- y: true -- z: integer_to_decimal of b}
definition a equals
let b equals
if b.B.y
if b.y
then B { -- y: false -- z: -1. }
else B { -- y: true -- z: -2. }
in

2
tests/test_scope/good/scope_call.catala_en
View File

@ -20,7 +20,7 @@ scope Foo:
definition example equals
if true or false then
let results_foo equals SubFoo of { -- x: 1 -- y: 2 } in
results_foo.z1 + 1 * (SubFoo of { -- x: 10 -- y: 20 }).SubFoo.z2
results_foo.z1 + 1 * (SubFoo of { -- x: 10 -- y: 20 }).z2
else 0
```