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

Improve syntax for scope calls

Browse Source 
implements #357
This commit is contained in:
Louis Gesbert 2022-12-07 18:31:08 +01:00
parent 09d49ab1cc
commit bb58d11ca8
13 changed files with 832 additions and 829 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

473
compiler/surface/parser.messages
View File

File diff suppressed because it is too large Load Diff

10
compiler/surface/parser.mly
View File

@ -180,15 +180,19 @@ aggregate:
(CollectionOp (func, i, e1, e2), Pos.from_lpos $sloc)
}
scope_call_args:
| WITH_V LBRACKET fields = list(preceded (ALT, struct_content_field)) RBRACKET {
fields
}
base_expression:
| e = primitive_expression { e }
| ag = aggregate { ag }
| e1 = small_expression OF e2 = base_expression {
(FunCall (e1, e2), Pos.from_lpos $sloc)
}
| c = constructor OF
LBRACKET fields = list(preceded (ALT, struct_content_field)) RBRACKET {
(* empty list is allowed *)
| OUTPUT OF c = constructor fields = option(scope_call_args) {
let fields = Option.value ~default:[] fields in
(ScopeCall (c, fields), Pos.from_lpos $sloc)
}
| e = primitive_expression WITH c = constructor_binding {

16
examples/aides_logement/code_construction_reglementaire.catala_fr
View File

@ -1426,7 +1426,7 @@ champ d'application CalculAidePersonnaliséeLogement:
selon catégorie_calcul_apl sous forme
-- Location de location:
(soit traitement_formule égal à
CalculAidePersonnaliséeLogementLocatif de {
résultat de CalculAidePersonnaliséeLogementLocatif avec {
-- ressources_ménage_arrondies: ressources_ménage
-- nombre_personnes_à_charge: nombre_personnes_à_charge
-- zone: zone
@ -1457,7 +1457,7 @@ champ d'application CalculAidePersonnaliséeLogement:
})
-- LogementFoyer de logement_foyer_:
(soit traitement_formule égal à
CalculAidePersonnaliséeLogementFoyer de {
résultat de CalculAidePersonnaliséeLogementFoyer avec {
-- ressources_ménage_arrondies: ressources_ménage
-- nombre_personnes_à_charge: nombre_personnes_à_charge
-- zone: zone
@ -1477,7 +1477,7 @@ champ d'application CalculAidePersonnaliséeLogement:
})
-- AccessionPropriété de propriétaire:
(soit traitement_formule égal à
CalculAidePersonnaliséeLogementAccessionPropriété de {
résultat de CalculAidePersonnaliséeLogementAccessionPropriété avec {
-- ressources_ménage_arrondies: ressources_ménage
-- nombre_personnes_à_charge: nombre_personnes_à_charge
-- zone: zone
@ -1510,7 +1510,7 @@ champ d'application CalculAllocationLogement:
selon mode_occupation sous forme
-- Locataire de location:
(soit traitement_formule égal à
CalculAllocationLogementLocatif de {
résultat de CalculAllocationLogementLocatif avec {
-- ressources_ménage_arrondies: ressources_ménage
-- nombre_personnes_à_charge: nombre_personnes_à_charge
-- zone: zone
@ -1542,7 +1542,7 @@ champ d'application CalculAllocationLogement:
})
-- SousLocataire de location: # Identique à Locataire
(soit traitement_formule égal à
CalculAllocationLogementLocatif de {
résultat de CalculAllocationLogementLocatif avec {
-- ressources_ménage_arrondies: ressources_ménage
-- nombre_personnes_à_charge: nombre_personnes_à_charge
-- zone: zone
@ -1574,7 +1574,7 @@ champ d'application CalculAllocationLogement:
})
-- RésidentLogementFoyer de logement_foyer_:
(soit traitement_formule égal à
CalculAllocationLogementFoyer de {
résultat de CalculAllocationLogementFoyer avec {
-- ressources_ménage_arrondies: ressources_ménage
-- nombre_personnes_à_charge: nombre_personnes_à_charge
-- zone: zone
@ -1595,7 +1595,7 @@ champ d'application CalculAllocationLogement:
})
-- AccessionPropriétéLocalUsageExclusifHabitation de propriétaire:
(soit traitement_formule égal à
CalculAllocationLogementAccessionPropriété de {
résultat de CalculAllocationLogementAccessionPropriété avec {
-- ressources_ménage_arrondies: ressources_ménage
-- nombre_personnes_à_charge: nombre_personnes_à_charge
-- zone: zone
@ -1622,7 +1622,7 @@ champ d'application CalculAllocationLogement:
-- LocationAccession de propriétaire:
# Identique à AccessionPropriétéLocalUsageExclusifHabitation
(soit traitement_formule égal à
CalculAllocationLogementAccessionPropriété de {
résultat de CalculAllocationLogementAccessionPropriété avec {
-- ressources_ménage_arrondies: ressources_ménage
-- nombre_personnes_à_charge: nombre_personnes_à_charge
-- zone: zone

2
examples/tutorial_en/tutorial_en.catala_en
View File

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

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

File diff suppressed because it is too large Load Diff

130
french_law/ocaml/law_source/allocations_familiales.ml generated
View File

@ -366,7 +366,7 @@ let allocation_familiales_avril2008 (allocation_familiales_avril2008_in: Allocat
try
(handle_default
{filename = "examples/allocations_familiales/prologue.catala_fr";
start_line=76; start_column=10; end_line=76; end_column=37;
start_line=76; start_column=12; end_line=76; end_column=39;
law_headings=["Allocations familiales"; "Champs d'applications";
"Prologue"]} ([||])
(fun (_: unit) -> (log_decision_taken
@ -382,7 +382,7 @@ let allocation_familiales_avril2008 (allocation_familiales_avril2008_in: Allocat
with
EmptyError -> (raise (NoValueProvided
{filename = "examples/allocations_familiales/prologue.catala_fr";
start_line=76; start_column=10; end_line=76; end_column=37;
start_line=76; start_column=12; end_line=76; end_column=39;
law_headings=["Allocations familiales"; "Champs d'applications";
"Prologue"]})))) in
{AllocationFamilialesAvril2008.age_minimum_alinea_1_l521_3 =
@ -395,7 +395,7 @@ let enfant_le_plus_age (enfant_le_plus_age_in: EnfantLePlusAgeIn.t) : EnfantLePl
try
(handle_default
{filename = "examples/allocations_familiales/prologue.catala_fr";
start_line=80; start_column=10; end_line=80; end_column=21;
start_line=80; start_column=12; end_line=80; end_column=23;
law_headings=["Allocations familiales"; "Champs d'applications";
"Prologue"]} ([||])
(fun (_: unit) -> (log_decision_taken
@ -428,7 +428,7 @@ let enfant_le_plus_age (enfant_le_plus_age_in: EnfantLePlusAgeIn.t) : EnfantLePl
with
EmptyError -> (raise (NoValueProvided
{filename = "examples/allocations_familiales/prologue.catala_fr";
start_line=80; start_column=10; end_line=80; end_column=21;
start_line=80; start_column=12; end_line=80; end_column=23;
law_headings=["Allocations familiales"; "Champs d'applications";
"Prologue"]})))) in
{EnfantLePlusAge.le_plus_age = le_plus_age_}
@ -441,14 +441,14 @@ let smic (smic_in: SmicIn.t) : Smic.t =
try
(handle_default
{filename = "examples/allocations_familiales/../smic/smic.catala_fr";
start_line=11; start_column=10; end_line=11; end_column=22;
start_line=11; start_column=12; end_line=11; end_column=24;
law_headings=["Prologue";
"Montant du salaire minimum de croissance"]}
([|(fun (_: unit) ->
handle_default
{filename = "examples/allocations_familiales/../smic/smic.catala_fr";
start_line=11; start_column=10;
end_line=11; end_column=22;
start_line=11; start_column=12;
end_line=11; end_column=24;
law_headings=["Prologue";
"Montant du salaire minimum de croissance"]}
([||])
@ -491,8 +491,8 @@ let smic (smic_in: SmicIn.t) : Smic.t =
(fun (_: unit) ->
handle_default
{filename = "examples/allocations_familiales/../smic/smic.catala_fr";
start_line=11; start_column=10;
end_line=11; end_column=22;
start_line=11; start_column=12;
end_line=11; end_column=24;
law_headings=["Prologue";
"Montant du salaire minimum de croissance"]}
([||])
@ -514,8 +514,8 @@ let smic (smic_in: SmicIn.t) : Smic.t =
(fun (_: unit) ->
handle_default
{filename = "examples/allocations_familiales/../smic/smic.catala_fr";
start_line=11; start_column=10;
end_line=11; end_column=22;
start_line=11; start_column=12;
end_line=11; end_column=24;
law_headings=["Prologue";
"Montant du salaire minimum de croissance"]}
([||])
@ -558,8 +558,8 @@ let smic (smic_in: SmicIn.t) : Smic.t =
(fun (_: unit) ->
handle_default
{filename = "examples/allocations_familiales/../smic/smic.catala_fr";
start_line=11; start_column=10;
end_line=11; end_column=22;
start_line=11; start_column=12;
end_line=11; end_column=24;
law_headings=["Prologue";
"Montant du salaire minimum de croissance"]}
([||])
@ -581,8 +581,8 @@ let smic (smic_in: SmicIn.t) : Smic.t =
(fun (_: unit) ->
handle_default
{filename = "examples/allocations_familiales/../smic/smic.catala_fr";
start_line=11; start_column=10;
end_line=11; end_column=22;
start_line=11; start_column=12;
end_line=11; end_column=24;
law_headings=["Prologue";
"Montant du salaire minimum de croissance"]}
([||])
@ -625,8 +625,8 @@ let smic (smic_in: SmicIn.t) : Smic.t =
(fun (_: unit) ->
handle_default
{filename = "examples/allocations_familiales/../smic/smic.catala_fr";
start_line=11; start_column=10;
end_line=11; end_column=22;
start_line=11; start_column=12;
end_line=11; end_column=24;
law_headings=["Prologue";
"Montant du salaire minimum de croissance"]}
([||])
@ -648,8 +648,8 @@ let smic (smic_in: SmicIn.t) : Smic.t =
(fun (_: unit) ->
handle_default
{filename = "examples/allocations_familiales/../smic/smic.catala_fr";
start_line=11; start_column=10;
end_line=11; end_column=22;
start_line=11; start_column=12;
end_line=11; end_column=24;
law_headings=["Prologue";
"Montant du salaire minimum de croissance"]}
([||])
@ -692,8 +692,8 @@ let smic (smic_in: SmicIn.t) : Smic.t =
(fun (_: unit) ->
handle_default
{filename = "examples/allocations_familiales/../smic/smic.catala_fr";
start_line=11; start_column=10;
end_line=11; end_column=22;
start_line=11; start_column=12;
end_line=11; end_column=24;
law_headings=["Prologue";
"Montant du salaire minimum de croissance"]}
([||])
@ -715,8 +715,8 @@ let smic (smic_in: SmicIn.t) : Smic.t =
(fun (_: unit) ->
handle_default
{filename = "examples/allocations_familiales/../smic/smic.catala_fr";
start_line=11; start_column=10;
end_line=11; end_column=22;
start_line=11; start_column=12;
end_line=11; end_column=24;
law_headings=["Prologue";
"Montant du salaire minimum de croissance"]}
([||])
@ -759,8 +759,8 @@ let smic (smic_in: SmicIn.t) : Smic.t =
(fun (_: unit) ->
handle_default
{filename = "examples/allocations_familiales/../smic/smic.catala_fr";
start_line=11; start_column=10;
end_line=11; end_column=22;
start_line=11; start_column=12;
end_line=11; end_column=24;
law_headings=["Prologue";
"Montant du salaire minimum de croissance"]}
([||])
@ -783,7 +783,7 @@ let smic (smic_in: SmicIn.t) : Smic.t =
with
EmptyError -> (raise (NoValueProvided
{filename = "examples/allocations_familiales/../smic/smic.catala_fr";
start_line=11; start_column=10; end_line=11; end_column=22;
start_line=11; start_column=12; end_line=11; end_column=24;
law_headings=["Prologue"; "Montant du salaire minimum de croissance"]})))) in
{Smic.brut_horaire = brut_horaire_}
@ -794,12 +794,12 @@ let base_mensuelle_allocations_familiales (base_mensuelle_allocations_familiales
try
(handle_default
{filename = "examples/allocations_familiales/../base_mensuelle_allocations_familiales/bmaf.catala_fr";
start_line=6; start_column=10; end_line=6; end_column=17;
start_line=6; start_column=12; end_line=6; end_column=19;
law_headings=["Montant de la base mensuelle des allocations familiales"]}
([|(fun (_: unit) ->
handle_default
{filename = "examples/allocations_familiales/../base_mensuelle_allocations_familiales/bmaf.catala_fr";
start_line=6; start_column=10; end_line=6; end_column=17;
start_line=6; start_column=12; end_line=6; end_column=19;
law_headings=["Montant de la base mensuelle des allocations familiales"]}
([||])
(fun (_: unit) -> (log_decision_taken
@ -817,7 +817,7 @@ let base_mensuelle_allocations_familiales (base_mensuelle_allocations_familiales
(fun (_: unit) ->
handle_default
{filename = "examples/allocations_familiales/../base_mensuelle_allocations_familiales/bmaf.catala_fr";
start_line=6; start_column=10; end_line=6; end_column=17;
start_line=6; start_column=12; end_line=6; end_column=19;
law_headings=["Montant de la base mensuelle des allocations familiales"]}
([||])
(fun (_: unit) -> (log_decision_taken
@ -835,7 +835,7 @@ let base_mensuelle_allocations_familiales (base_mensuelle_allocations_familiales
(fun (_: unit) ->
handle_default
{filename = "examples/allocations_familiales/../base_mensuelle_allocations_familiales/bmaf.catala_fr";
start_line=6; start_column=10; end_line=6; end_column=17;
start_line=6; start_column=12; end_line=6; end_column=19;
law_headings=["Montant de la base mensuelle des allocations familiales"]}
([||])
(fun (_: unit) -> (log_decision_taken
@ -853,7 +853,7 @@ let base_mensuelle_allocations_familiales (base_mensuelle_allocations_familiales
(fun (_: unit) ->
handle_default
{filename = "examples/allocations_familiales/../base_mensuelle_allocations_familiales/bmaf.catala_fr";
start_line=6; start_column=10; end_line=6; end_column=17;
start_line=6; start_column=12; end_line=6; end_column=19;
law_headings=["Montant de la base mensuelle des allocations familiales"]}
([||])
(fun (_: unit) -> (log_decision_taken
@ -872,7 +872,7 @@ let base_mensuelle_allocations_familiales (base_mensuelle_allocations_familiales
with
EmptyError -> (raise (NoValueProvided
{filename = "examples/allocations_familiales/../base_mensuelle_allocations_familiales/bmaf.catala_fr";
start_line=6; start_column=10; end_line=6; end_column=17;
start_line=6; start_column=12; end_line=6; end_column=19;
law_headings=["Montant de la base mensuelle des allocations familiales"]})))) in
{BaseMensuelleAllocationsFamiliales.montant = montant_}
@ -885,7 +885,7 @@ let prestations_familiales (prestations_familiales_in: PrestationsFamilialesIn.t
try
(handle_default
{filename = "examples/allocations_familiales/prologue.catala_fr";
start_line=60; start_column=10; end_line=60; end_column=22;
start_line=60; start_column=12; end_line=60; end_column=24;
law_headings=["Prestations familiales"; "Champs d'applications";
"Prologue"]} ([||])
(fun (_: unit) -> (log_decision_taken
@ -901,7 +901,7 @@ let prestations_familiales (prestations_familiales_in: PrestationsFamilialesIn.t
with
EmptyError -> (raise (NoValueProvided
{filename = "examples/allocations_familiales/prologue.catala_fr";
start_line=60; start_column=10; end_line=60; end_column=22;
start_line=60; start_column=12; end_line=60; end_column=24;
law_headings=["Prestations familiales"; "Champs d'applications";
"Prologue"]})))) in
let smic_dot_date_courante_: date =
@ -955,14 +955,14 @@ let prestations_familiales (prestations_familiales_in: PrestationsFamilialesIn.t
try
(handle_default
{filename = "examples/allocations_familiales/prologue.catala_fr";
start_line=61; start_column=10; end_line=61; end_column=33;
start_line=61; start_column=12; end_line=61; end_column=35;
law_headings=["Prestations familiales"; "Champs d'applications";
"Prologue"]}
([|(fun (_: unit) ->
handle_default
{filename = "examples/allocations_familiales/prologue.catala_fr";
start_line=61; start_column=10;
end_line=61; end_column=33;
start_line=61; start_column=12;
end_line=61; end_column=35;
law_headings=["Prestations familiales";
"Champs d'applications"; "Prologue"]}
([||])
@ -990,14 +990,14 @@ let prestations_familiales (prestations_familiales_in: PrestationsFamilialesIn.t
(fun (_: unit) -> true))|])
(fun (_: unit) -> (log_decision_taken
{filename = "examples/allocations_familiales/prologue.catala_fr";
start_line=61; start_column=10; end_line=61; end_column=33;
start_line=61; start_column=12; end_line=61; end_column=35;
law_headings=["Prestations familiales";
"Champs d'applications"; "Prologue"]} true))
(fun (_: unit) -> false))
with
EmptyError -> (raise (NoValueProvided
{filename = "examples/allocations_familiales/prologue.catala_fr";
start_line=61; start_column=10; end_line=61; end_column=33;
start_line=61; start_column=12; end_line=61; end_column=35;
law_headings=["Prestations familiales"; "Champs d'applications";
"Prologue"]})))) in
let plafond_l512_3_2_: money = (log_variable_definition
@ -1058,14 +1058,14 @@ let prestations_familiales (prestations_familiales_in: PrestationsFamilialesIn.t
try
(handle_default
{filename = "examples/allocations_familiales/prologue.catala_fr";
start_line=58; start_column=10; end_line=58; end_column=29;
start_line=58; start_column=12; end_line=58; end_column=31;
law_headings=["Prestations familiales";
"Champs d'applications"; "Prologue"]}
([|(fun (_: unit) ->
handle_default
{filename = "examples/allocations_familiales/prologue.catala_fr";
start_line=58; start_column=10;
end_line=58; end_column=29;
start_line=58; start_column=12;
end_line=58; end_column=31;
law_headings=["Prestations familiales";
"Champs d'applications"; "Prologue"]}
([||])
@ -1110,21 +1110,21 @@ let prestations_familiales (prestations_familiales_in: PrestationsFamilialesIn.t
plafond_l512_3_2_)))) (fun (_: unit) -> true))|])
(fun (_: unit) -> (log_decision_taken
{filename = "examples/allocations_familiales/prologue.catala_fr";
start_line=58; start_column=10;
end_line=58; end_column=29;
start_line=58; start_column=12;
end_line=58; end_column=31;
law_headings=["Prestations familiales";
"Champs d'applications"; "Prologue"]} true))
(fun (_: unit) -> false))
with
EmptyError -> (raise (NoValueProvided
{filename = "examples/allocations_familiales/prologue.catala_fr";
start_line=58; start_column=10; end_line=58; end_column=29;
start_line=58; start_column=12; end_line=58; end_column=31;
law_headings=["Prestations familiales"; "Champs d'applications";
"Prologue"]})))
with
EmptyError -> (raise (NoValueProvided
{filename = "examples/allocations_familiales/prologue.catala_fr";
start_line=58; start_column=10; end_line=58; end_column=29;
start_line=58; start_column=12; end_line=58; end_column=31;
law_headings=["Prestations familiales"; "Champs d'applications";
"Prologue"]})))) in
let droit_ouvert_: Enfant.t -> bool = (log_variable_definition
@ -1134,21 +1134,21 @@ let prestations_familiales (prestations_familiales_in: PrestationsFamilialesIn.t
try
(handle_default
{filename = "examples/allocations_familiales/prologue.catala_fr";
start_line=57; start_column=10; end_line=57; end_column=22;
start_line=57; start_column=12; end_line=57; end_column=24;
law_headings=["Prestations familiales";
"Champs d'applications"; "Prologue"]}
([|(fun (_: unit) ->
handle_default
{filename = "examples/allocations_familiales/prologue.catala_fr";
start_line=57; start_column=10;
end_line=57; end_column=22;
start_line=57; start_column=12;
end_line=57; end_column=24;
law_headings=["Prestations familiales";
"Champs d'applications"; "Prologue"]}
([|(fun (_: unit) ->
handle_default
{filename = "examples/allocations_familiales/prologue.catala_fr";
start_line=57; start_column=10;
end_line=57; end_column=22;
start_line=57; start_column=12;
end_line=57; end_column=24;
law_headings=["Prestations familiales";
"Champs d'applications";
"Prologue"]} ([||])
@ -1170,24 +1170,24 @@ let prestations_familiales (prestations_familiales_in: PrestationsFamilialesIn.t
(fun (_: unit) ->
handle_default
{filename = "examples/allocations_familiales/prologue.catala_fr";
start_line=57; start_column=10;
end_line=57; end_column=22;
start_line=57; start_column=12;
end_line=57; end_column=24;
law_headings=["Prestations familiales";
"Champs d'applications";
"Prologue"]}
([|(fun (_: unit) ->
handle_default
{filename = "examples/allocations_familiales/prologue.catala_fr";
start_line=57; start_column=10;
end_line=57; end_column=22;
start_line=57; start_column=12;
end_line=57; end_column=24;
law_headings=["Prestations familiales";
"Champs d'applications";
"Prologue"]}
([|(fun (_: unit) ->
handle_default
{filename = "examples/allocations_familiales/prologue.catala_fr";
start_line=57; start_column=10;
end_line=57; end_column=22;
start_line=57; start_column=12;
end_line=57; end_column=24;
law_headings=["Prestations familiales";
"Champs d'applications";
"Prologue"]}
@ -1258,21 +1258,21 @@ let prestations_familiales (prestations_familiales_in: PrestationsFamilialesIn.t
(fun (_: unit) -> raise EmptyError)))|])
(fun (_: unit) -> (log_decision_taken
{filename = "examples/allocations_familiales/prologue.catala_fr";
start_line=57; start_column=10;
end_line=57; end_column=22;
start_line=57; start_column=12;
end_line=57; end_column=24;
law_headings=["Prestations familiales";
"Champs d'applications"; "Prologue"]} true))
(fun (_: unit) -> false))
with
EmptyError -> (raise (NoValueProvided
{filename = "examples/allocations_familiales/prologue.catala_fr";
start_line=57; start_column=10; end_line=57; end_column=22;
start_line=57; start_column=12; end_line=57; end_column=24;
law_headings=["Prestations familiales"; "Champs d'applications";
"Prologue"]})))
with
EmptyError -> (raise (NoValueProvided
{filename = "examples/allocations_familiales/prologue.catala_fr";
start_line=57; start_column=10; end_line=57; end_column=22;
start_line=57; start_column=12; end_line=57; end_column=24;
law_headings=["Prestations familiales"; "Champs d'applications";
"Prologue"]})))) in
{PrestationsFamiliales.droit_ouvert = droit_ouvert_;
@ -5119,7 +5119,7 @@ let allocations_familiales (allocations_familiales_in: AllocationsFamilialesIn.t
try
(handle_default
{filename = "examples/allocations_familiales/prologue.catala_fr";
start_line=100; start_column=10; end_line=100; end_column=23;
start_line=100; start_column=12; end_line=100; end_column=25;
law_headings=["Allocations familiales"; "Champs d'applications";
"Prologue"]} ([||])
(fun (_: unit) -> (log_decision_taken
@ -5140,7 +5140,7 @@ let allocations_familiales (allocations_familiales_in: AllocationsFamilialesIn.t
with
EmptyError -> (raise (NoValueProvided
{filename = "examples/allocations_familiales/prologue.catala_fr";
start_line=100; start_column=10; end_line=100; end_column=23;
start_line=100; start_column=12; end_line=100; end_column=25;
law_headings=["Allocations familiales"; "Champs d'applications";
"Prologue"]})))) in
let _: unit = if (
@ -5424,7 +5424,7 @@ let interface_allocations_familiales (interface_allocations_familiales_in: Inter
try
(handle_default
{filename = "examples/allocations_familiales/epilogue.catala_fr";
start_line=79; start_column=10; end_line=79; end_column=25;
start_line=79; start_column=12; end_line=79; end_column=27;
law_headings=["Interface du programme"; "Épilogue"]} ([||])
(fun (_: unit) -> (log_decision_taken
{filename = "examples/allocations_familiales/epilogue.catala_fr";
@ -5434,6 +5434,6 @@ let interface_allocations_familiales (interface_allocations_familiales_in: Inter
with
EmptyError -> (raise (NoValueProvided
{filename = "examples/allocations_familiales/epilogue.catala_fr";
start_line=79; start_column=10; end_line=79; end_column=25;
start_line=79; start_column=12; end_line=79; end_column=27;
law_headings=["Interface du programme"; "Épilogue"]})))) in
{InterfaceAllocationsFamiliales.i_montant_verse = i_montant_verse_}

316
french_law/python/src/aides_logement.py generated
View File

@ -2691,17 +2691,17 @@ def contributions_sociales_aides_personnelle_logement(contributions_sociales_aid
except EmptyError:
raise NoValueProvided(SourcePosition(filename="examples/aides_logement/prologue.catala_fr",
start_line=520,
start_column=10,
start_column=12,
end_line=520,
end_column=17,
end_column=19,
law_headings=["Calcul des contributions sociales s'appliquant aux aides personnelles au logement",
"Déclarations des champs d'application",
"Prologue : aides au logement"]))
except EmptyError:
temp_montant = dead_value
raise NoValueProvided(SourcePosition(filename="examples/aides_logement/prologue.catala_fr",
start_line=520, start_column=10,
end_line=520, end_column=17,
start_line=520, start_column=12,
end_line=520, end_column=19,
law_headings=["Calcul des contributions sociales s'appliquant aux aides personnelles au logement",
"Déclarations des champs d'application",
"Prologue : aides au logement"]))
@ -2891,8 +2891,8 @@ def calcul_equivalence_loyer_minimale(calcul_equivalence_loyer_minimale_in:Calcu
except EmptyError:
temp_montant_3 = dead_value
raise NoValueProvided(SourcePosition(filename="examples/aides_logement/prologue.catala_fr",
start_line=596, start_column=10,
end_line=596, end_column=17,
start_line=596, start_column=12,
end_line=596, end_column=19,
law_headings=["Secteur logement-foyer",
"Calcul du montant de l'aide personnalisée au logement",
"Déclarations des champs d'application",
@ -2974,8 +2974,8 @@ def calcul_nombre_part_logement_foyer(calcul_nombre_part_logement_foyer_in:Calcu
except EmptyError:
temp_n_nombre_parts_d832_25 = dead_value
raise NoValueProvided(SourcePosition(filename="examples/aides_logement/prologue.catala_fr",
start_line=603, start_column=10,
end_line=603, end_column=32,
start_line=603, start_column=12,
end_line=603, end_column=34,
law_headings=["Secteur logement-foyer",
"Calcul du montant de l'aide personnalisée au logement",
"Déclarations des champs d'application",
@ -3020,8 +3020,8 @@ def calcul_nombre_parts_accession_propriete(calcul_nombre_parts_accession_propri
except EmptyError:
temp_n_nombre_parts_d832_11 = dead_value
raise NoValueProvided(SourcePosition(filename="examples/aides_logement/prologue.catala_fr",
start_line=659, start_column=10,
end_line=659, end_column=32,
start_line=659, start_column=12,
end_line=659, end_column=34,
law_headings=["Secteur accession à la propriété",
"Calcul du montant de l'aide personnalisée au logement",
"Déclarations des champs d'application",
@ -3079,8 +3079,8 @@ def ouverture_droits_retraite(ouverture_droits_retraite_in:OuvertureDroitsRetrai
raise EmptyError
temp_age_ouverture_droit_8 = handle_default(SourcePosition(filename="examples/aides_logement/prologue.catala_fr",
start_line=998,
start_column=10,
end_line=998, end_column=29,
start_column=12,
end_line=998, end_column=31,
law_headings=["Date d'ouverture des droits à la retraite",
"Calcul du montant de l'allocation logement",
"Prologue : aides au logement"]), [temp_age_ouverture_droit_7,
@ -3094,8 +3094,8 @@ def ouverture_droits_retraite(ouverture_droits_retraite_in:OuvertureDroitsRetrai
except EmptyError:
temp_age_ouverture_droit_8 = dead_value
raise NoValueProvided(SourcePosition(filename="examples/aides_logement/prologue.catala_fr",
start_line=998, start_column=10,
end_line=998, end_column=29,
start_line=998, start_column=12,
end_line=998, end_column=31,
law_headings=["Date d'ouverture des droits à la retraite",
"Calcul du montant de l'allocation logement",
"Prologue : aides au logement"]))
@ -3449,8 +3449,8 @@ def impaye_depense_logement(impaye_depense_logement_in:ImpayeDepenseLogementIn):
temp_montant_impaye_1 = dead_value
raise NoValueProvided(SourcePosition(filename="examples/aides_logement/prologue.catala_fr",
start_line=1018,
start_column=10, end_line=1018,
end_column=24,
start_column=12, end_line=1018,
end_column=26,
law_headings=["Quantification des impayés de dépense de logement",
"Calcul du montant de l'allocation logement",
"Prologue : aides au logement"]))
@ -3493,8 +3493,8 @@ def base_mensuelle_allocations_familiales(base_mensuelle_allocations_familiales_
else:
raise EmptyError
temp_montant_12 = handle_default(SourcePosition(filename="examples/aides_logement/../base_mensuelle_allocations_familiales/bmaf.catala_fr",
start_line=6, start_column=10,
end_line=6, end_column=17,
start_line=6, start_column=12,
end_line=6, end_column=19,
law_headings=["Montant de la base mensuelle des allocations familiales"]), [temp_montant_11,
temp_montant_10, temp_montant_9,
temp_montant_8], temp_montant_7,
@ -3502,8 +3502,8 @@ def base_mensuelle_allocations_familiales(base_mensuelle_allocations_familiales_
except EmptyError:
temp_montant_12 = dead_value
raise NoValueProvided(SourcePosition(filename="examples/aides_logement/../base_mensuelle_allocations_familiales/bmaf.catala_fr",
start_line=6, start_column=10,
end_line=6, end_column=17,
start_line=6, start_column=12,
end_line=6, end_column=19,
law_headings=["Montant de la base mensuelle des allocations familiales"]))
montant_2 = temp_montant_12
return BaseMensuelleAllocationsFamiliales(montant = montant_2)
@ -3652,8 +3652,8 @@ def smic(smic_in:SmicIn):
else:
raise EmptyError
temp_brut_horaire_12 = handle_default(SourcePosition(filename="examples/aides_logement/../prestations_familiales/../smic/smic.catala_fr",
start_line=11, start_column=10,
end_line=11, end_column=22,
start_line=11, start_column=12,
end_line=11, end_column=24,
law_headings=["Prologue",
"Montant du salaire minimum de croissance"]), [temp_brut_horaire_11,
temp_brut_horaire_10,
@ -3670,8 +3670,8 @@ def smic(smic_in:SmicIn):
except EmptyError:
temp_brut_horaire_12 = dead_value
raise NoValueProvided(SourcePosition(filename="examples/aides_logement/../prestations_familiales/../smic/smic.catala_fr",
start_line=11, start_column=10,
end_line=11, end_column=22,
start_line=11, start_column=12,
end_line=11, end_column=24,
law_headings=["Prologue",
"Montant du salaire minimum de croissance"]))
brut_horaire = temp_brut_horaire_12
@ -3868,8 +3868,8 @@ def calcul_aide_personnalisee_logement_locatif(calcul_aide_personnalisee_logemen
except EmptyError:
temp_taux_composition_familiale = dead_value
raise NoValueProvided(SourcePosition(filename="examples/aides_logement/prologue.catala_fr",
start_line=564, start_column=10,
end_line=564, end_column=36,
start_line=564, start_column=12,
end_line=564, end_column=38,
law_headings=["Secteur locatif",
"Calcul du montant de l'aide personnalisée au logement",
"Déclarations des champs d'application",
@ -4372,8 +4372,8 @@ def calcul_aide_personnalisee_logement_locatif(calcul_aide_personnalisee_logemen
else:
raise EmptyError
return handle_default(SourcePosition(filename="examples/aides_logement/prologue.catala_fr",
start_line=562, start_column=10,
end_line=562, end_column=33,
start_line=562, start_column=12,
end_line=562, end_column=35,
law_headings=["Secteur locatif",
"Calcul du montant de l'aide personnalisée au logement",
"Déclarations des champs d'application",
@ -4447,8 +4447,8 @@ def calcul_aide_personnalisee_logement_locatif(calcul_aide_personnalisee_logemen
else:
raise EmptyError
return handle_default(SourcePosition(filename="examples/aides_logement/prologue.catala_fr",
start_line=562, start_column=10,
end_line=562, end_column=33,
start_line=562, start_column=12,
end_line=562, end_column=35,
law_headings=["Secteur locatif",
"Calcul du montant de l'aide personnalisée au logement",
"Déclarations des champs d'application",
@ -4510,8 +4510,8 @@ def calcul_aide_personnalisee_logement_locatif(calcul_aide_personnalisee_logemen
else:
raise EmptyError
return handle_default(SourcePosition(filename="examples/aides_logement/prologue.catala_fr",
start_line=562, start_column=10,
end_line=562, end_column=33,
start_line=562, start_column=12,
end_line=562, end_column=35,
law_headings=["Secteur locatif",
"Calcul du montant de l'aide personnalisée au logement",
"Déclarations des champs d'application",
@ -4751,8 +4751,8 @@ def calcul_aide_personnalisee_logement_locatif(calcul_aide_personnalisee_logemen
else:
raise EmptyError
return handle_default(SourcePosition(filename="examples/aides_logement/prologue.catala_fr",
start_line=562, start_column=10,
end_line=562, end_column=33,
start_line=562, start_column=12,
end_line=562, end_column=35,
law_headings=["Secteur locatif",
"Calcul du montant de l'aide personnalisée au logement",
"Déclarations des champs d'application",
@ -4769,8 +4769,8 @@ def calcul_aide_personnalisee_logement_locatif(calcul_aide_personnalisee_logemen
temp_plafond_loyer_d823_16_2_31)
temp_plafond_loyer_d823_16_2_48 = handle_default(SourcePosition(filename="examples/aides_logement/prologue.catala_fr",
start_line=562,
start_column=10,
end_line=562, end_column=33,
start_column=12,
end_line=562, end_column=35,
law_headings=["Secteur locatif",
"Calcul du montant de l'aide personnalisée au logement",
"Déclarations des champs d'application",
@ -4781,8 +4781,8 @@ def calcul_aide_personnalisee_logement_locatif(calcul_aide_personnalisee_logemen
except EmptyError:
temp_plafond_loyer_d823_16_2_48 = dead_value
raise NoValueProvided(SourcePosition(filename="examples/aides_logement/prologue.catala_fr",
start_line=562, start_column=10,
end_line=562, end_column=33,
start_line=562, start_column=12,
end_line=562, end_column=35,
law_headings=["Secteur locatif",
"Calcul du montant de l'aide personnalisée au logement",
"Déclarations des champs d'application",
@ -4843,7 +4843,7 @@ def calcul_aide_personnalisee_logement_locatif(calcul_aide_personnalisee_logemen
raise EmptyError
temp_montant_forfaitaire_charges_d823_16_8 = handle_default(
SourcePosition(filename="examples/aides_logement/prologue.catala_fr",
start_line=561, start_column=10, end_line=561, end_column=45,
start_line=561, start_column=12, end_line=561, end_column=47,
law_headings=["Secteur locatif",
"Calcul du montant de l'aide personnalisée au logement",
"Déclarations des champs d'application",
@ -4885,7 +4885,7 @@ def calcul_aide_personnalisee_logement_locatif(calcul_aide_personnalisee_logemen
raise EmptyError
temp_montant_forfaitaire_charges_d823_16_8 = handle_default(
SourcePosition(filename="examples/aides_logement/prologue.catala_fr",
start_line=561, start_column=10, end_line=561, end_column=45,
start_line=561, start_column=12, end_line=561, end_column=47,
law_headings=["Secteur locatif",
"Calcul du montant de l'aide personnalisée au logement",
"Déclarations des champs d'application",
@ -4897,8 +4897,8 @@ def calcul_aide_personnalisee_logement_locatif(calcul_aide_personnalisee_logemen
except EmptyError:
temp_montant_forfaitaire_charges_d823_16_8 = dead_value
raise NoValueProvided(SourcePosition(filename="examples/aides_logement/prologue.catala_fr",
start_line=561, start_column=10,
end_line=561, end_column=45,
start_line=561, start_column=12,
end_line=561, end_column=47,
law_headings=["Secteur locatif",
"Calcul du montant de l'aide personnalisée au logement",
"Déclarations des champs d'application",
@ -5074,8 +5074,8 @@ def calcul_aide_personnalisee_logement_locatif(calcul_aide_personnalisee_logemen
raise EmptyError
temp_participation_minimale_5 = handle_default(SourcePosition(filename="examples/aides_logement/prologue.catala_fr",
start_line=563,
start_column=10,
end_line=563, end_column=32,
start_column=12,
end_line=563, end_column=34,
law_headings=["Secteur locatif",
"Calcul du montant de l'aide personnalisée au logement",
"Déclarations des champs d'application",
@ -5087,8 +5087,8 @@ def calcul_aide_personnalisee_logement_locatif(calcul_aide_personnalisee_logemen
except EmptyError:
temp_participation_minimale_5 = dead_value
raise NoValueProvided(SourcePosition(filename="examples/aides_logement/prologue.catala_fr",
start_line=563, start_column=10,
end_line=563, end_column=32,
start_line=563, start_column=12,
end_line=563, end_column=34,
law_headings=["Secteur locatif",
"Calcul du montant de l'aide personnalisée au logement",
"Déclarations des champs d'application",
@ -5426,8 +5426,8 @@ def calcul_aide_personnalisee_logement_locatif(calcul_aide_personnalisee_logemen
except EmptyError:
temp_participation_personnelle_1 = dead_value
raise NoValueProvided(SourcePosition(filename="examples/aides_logement/prologue.catala_fr",
start_line=565, start_column=10,
end_line=565, end_column=35,
start_line=565, start_column=12,
end_line=565, end_column=37,
law_headings=["Secteur locatif",
"Calcul du montant de l'aide personnalisée au logement",
"Déclarations des champs d'application",
@ -5445,8 +5445,8 @@ def calcul_aide_personnalisee_logement_locatif(calcul_aide_personnalisee_logemen
except EmptyError:
temp_aide_finale_formule = dead_value
raise NoValueProvided(SourcePosition(filename="examples/aides_logement/prologue.catala_fr",
start_line=570, start_column=10,
end_line=570, end_column=29,
start_line=570, start_column=12,
end_line=570, end_column=31,
law_headings=["Secteur locatif",
"Calcul du montant de l'aide personnalisée au logement",
"Déclarations des champs d'application",
@ -5531,8 +5531,8 @@ def calcul_aide_personnalisee_logement_foyer(calcul_aide_personnalisee_logement_
except EmptyError:
temp_coefficient_r_d832_25 = dead_value
raise NoValueProvided(SourcePosition(filename="examples/aides_logement/prologue.catala_fr",
start_line=618, start_column=10,
end_line=618, end_column=31,
start_line=618, start_column=12,
end_line=618, end_column=33,
law_headings=["Secteur logement-foyer",
"Calcul du montant de l'aide personnalisée au logement",
"Déclarations des champs d'application",
@ -5884,8 +5884,8 @@ def calcul_aide_personnalisee_logement_foyer(calcul_aide_personnalisee_logement_
raise EmptyError
temp_plafond_equivalence_loyer_eligible_5 = handle_default(SourcePosition(filename="examples/aides_logement/prologue.catala_fr",
start_line=621,
start_column=10,
end_line=621, end_column=44,
start_column=12,
end_line=621, end_column=46,
law_headings=["Secteur logement-foyer",
"Calcul du montant de l'aide personnalisée au logement",
"Déclarations des champs d'application",
@ -5897,8 +5897,8 @@ def calcul_aide_personnalisee_logement_foyer(calcul_aide_personnalisee_logement_
except EmptyError:
temp_plafond_equivalence_loyer_eligible_5 = dead_value
raise NoValueProvided(SourcePosition(filename="examples/aides_logement/prologue.catala_fr",
start_line=621, start_column=10,
end_line=621, end_column=44,
start_line=621, start_column=12,
end_line=621, end_column=46,
law_headings=["Secteur logement-foyer",
"Calcul du montant de l'aide personnalisée au logement",
"Déclarations des champs d'application",
@ -6010,8 +6010,8 @@ def calcul_aide_personnalisee_logement_foyer(calcul_aide_personnalisee_logement_
except EmptyError:
temp_coefficient_multiplicateur_d832_25 = dead_value
raise NoValueProvided(SourcePosition(filename="examples/aides_logement/prologue.catala_fr",
start_line=617, start_column=10,
end_line=617, end_column=44,
start_line=617, start_column=12,
end_line=617, end_column=46,
law_headings=["Secteur logement-foyer",
"Calcul du montant de l'aide personnalisée au logement",
"Déclarations des champs d'application",
@ -6026,8 +6026,8 @@ def calcul_aide_personnalisee_logement_foyer(calcul_aide_personnalisee_logement_
except EmptyError:
temp_equivalence_loyer_eligible = dead_value
raise NoValueProvided(SourcePosition(filename="examples/aides_logement/prologue.catala_fr",
start_line=620, start_column=10,
end_line=620, end_column=36,
start_line=620, start_column=12,
end_line=620, end_column=38,
law_headings=["Secteur logement-foyer",
"Calcul du montant de l'aide personnalisée au logement",
"Déclarations des champs d'application",
@ -6041,8 +6041,8 @@ def calcul_aide_personnalisee_logement_foyer(calcul_aide_personnalisee_logement_
except EmptyError:
temp_n_nombre_parts_d832_25_1 = dead_value
raise NoValueProvided(SourcePosition(filename="examples/aides_logement/prologue.catala_fr",
start_line=619, start_column=19,
end_line=619, end_column=41,
start_line=619, start_column=21,
end_line=619, end_column=43,
law_headings=["Secteur logement-foyer",
"Calcul du montant de l'aide personnalisée au logement",
"Déclarations des champs d'application",
@ -6193,8 +6193,8 @@ def calcul_aide_personnalisee_logement_foyer(calcul_aide_personnalisee_logement_
except EmptyError:
temp_equivalence_loyer_minimale = dead_value
raise NoValueProvided(SourcePosition(filename="examples/aides_logement/prologue.catala_fr",
start_line=628, start_column=10,
end_line=628, end_column=36,
start_line=628, start_column=12,
end_line=628, end_column=38,
law_headings=["Secteur logement-foyer",
"Calcul du montant de l'aide personnalisée au logement",
"Déclarations des champs d'application",
@ -6336,8 +6336,8 @@ def calcul_aide_personnalisee_logement_foyer(calcul_aide_personnalisee_logement_
except EmptyError:
temp_aide_finale_formule_1 = dead_value
raise NoValueProvided(SourcePosition(filename="examples/aides_logement/prologue.catala_fr",
start_line=641, start_column=10,
end_line=641, end_column=29,
start_line=641, start_column=12,
end_line=641, end_column=31,
law_headings=["Secteur logement-foyer",
"Calcul du montant de l'aide personnalisée au logement",
"Déclarations des champs d'application",
@ -10499,8 +10499,8 @@ def calcul_aide_personnalisee_logement_accession_propriete(calcul_aide_personnal
raise EmptyError
temp_mensualite_minimale_9 = handle_default(SourcePosition(filename="examples/aides_logement/prologue.catala_fr",
start_line=680,
start_column=10,
end_line=680, end_column=29,
start_column=12,
end_line=680, end_column=31,
law_headings=["Secteur accession à la propriété",
"Calcul du montant de l'aide personnalisée au logement",
"Déclarations des champs d'application",
@ -10511,8 +10511,8 @@ def calcul_aide_personnalisee_logement_accession_propriete(calcul_aide_personnal
except EmptyError:
temp_mensualite_minimale_9 = dead_value
raise NoValueProvided(SourcePosition(filename="examples/aides_logement/prologue.catala_fr",
start_line=680, start_column=10,
end_line=680, end_column=29,
start_line=680, start_column=12,
end_line=680, end_column=31,
law_headings=["Secteur accession à la propriété",
"Calcul du montant de l'aide personnalisée au logement",
"Déclarations des champs d'application",
@ -10575,8 +10575,8 @@ def calcul_aide_personnalisee_logement_accession_propriete(calcul_aide_personnal
except EmptyError:
temp_mensualite_eligible = dead_value
raise NoValueProvided(SourcePosition(filename="examples/aides_logement/prologue.catala_fr",
start_line=679, start_column=10,
end_line=679, end_column=29,
start_line=679, start_column=12,
end_line=679, end_column=31,
law_headings=["Secteur accession à la propriété",
"Calcul du montant de l'aide personnalisée au logement",
"Déclarations des champs d'application",
@ -10651,8 +10651,8 @@ def calcul_aide_personnalisee_logement_accession_propriete(calcul_aide_personnal
except EmptyError:
temp_aide_finale_formule_2 = dead_value
raise NoValueProvided(SourcePosition(filename="examples/aides_logement/prologue.catala_fr",
start_line=711, start_column=10,
end_line=711, end_column=29,
start_line=711, start_column=12,
end_line=711, end_column=31,
law_headings=["Secteur accession à la propriété",
"Calcul du montant de l'aide personnalisée au logement",
"Déclarations des champs d'application",
@ -11314,8 +11314,8 @@ def eligibilite_aides_personnelle_logement(eligibilite_aides_personnelle_logemen
except EmptyError:
temp_eligibilite = dead_value
raise NoValueProvided(SourcePosition(filename="examples/aides_logement/prologue.catala_fr",
start_line=320, start_column=10,
end_line=320, end_column=21,
start_line=320, start_column=12,
end_line=320, end_column=23,
law_headings=["Éligibilité aux aides personnelles au logement",
"Déclarations des champs d'application",
"Prologue : aides au logement"]))
@ -11352,17 +11352,17 @@ def eligibilite_aides_personnelle_logement(eligibilite_aides_personnelle_logemen
except EmptyError:
raise NoValueProvided(SourcePosition(filename="examples/aides_logement/prologue.catala_fr",
start_line=324,
start_column=10,
start_column=12,
end_line=324,
end_column=28,
end_column=30,
law_headings=["Éligibilité aux aides personnelles au logement",
"Déclarations des champs d'application",
"Prologue : aides au logement"]))
except EmptyError:
temp_condition_2_r823_4 = dead_value
raise NoValueProvided(SourcePosition(filename="examples/aides_logement/prologue.catala_fr",
start_line=324, start_column=10,
end_line=324, end_column=28,
start_line=324, start_column=12,
end_line=324, end_column=30,
law_headings=["Éligibilité aux aides personnelles au logement",
"Déclarations des champs d'application",
"Prologue : aides au logement"]))
@ -11484,8 +11484,8 @@ def eligibilite_aides_personnelle_logement(eligibilite_aides_personnelle_logemen
except EmptyError:
temp_coefficents_enfants_garde_alternee_pris_en_compte_2 = dead_value
raise NoValueProvided(SourcePosition(filename="examples/aides_logement/prologue.catala_fr",
start_line=322, start_column=10,
end_line=322, end_column=59,
start_line=322, start_column=12,
end_line=322, end_column=61,
law_headings=["Éligibilité aux aides personnelles au logement",
"Déclarations des champs d'application",
"Prologue : aides au logement"]))
@ -11495,8 +11495,8 @@ def eligibilite_aides_personnelle_logement(eligibilite_aides_personnelle_logemen
except EmptyError:
temp_nombre_personnes_a_charge_prises_en_compte = dead_value
raise NoValueProvided(SourcePosition(filename="examples/aides_logement/prologue.catala_fr",
start_line=321, start_column=10,
end_line=321, end_column=52,
start_line=321, start_column=12,
end_line=321, end_column=54,
law_headings=["Éligibilité aux aides personnelles au logement",
"Déclarations des champs d'application",
"Prologue : aides au logement"]))
@ -11752,8 +11752,8 @@ def ressources_aides_personnelle_logement(ressources_aides_personnelle_logement_
except EmptyError:
temp_ressources_prises_en_compte_2 = dead_value
raise NoValueProvided(SourcePosition(filename="examples/aides_logement/prologue.catala_fr",
start_line=508, start_column=10,
end_line=508, end_column=37,
start_line=508, start_column=12,
end_line=508, end_column=39,
law_headings=["Prise en compte des ressources pour les aides personnelles au logement",
"Déclarations des champs d'application",
"Prologue : aides au logement"]))
@ -11819,8 +11819,8 @@ def eligibilite_prestations_familiales(eligibilite_prestations_familiales_in:Eli
except EmptyError:
temp_age_l512_3_2 = dead_value
raise NoValueProvided(SourcePosition(filename="examples/aides_logement/../prestations_familiales/prologue.catala_fr",
start_line=43, start_column=10,
end_line=43, end_column=22,
start_line=43, start_column=12,
end_line=43, end_column=24,
law_headings=["Prologue : prestations familiales"]))
age_l512_3_2 = temp_age_l512_3_2
try:
@ -11865,8 +11865,8 @@ def eligibilite_prestations_familiales(eligibilite_prestations_familiales_in:Eli
except EmptyError:
temp_regime_outre_mer_l751_1 = dead_value
raise NoValueProvided(SourcePosition(filename="examples/aides_logement/../prestations_familiales/prologue.catala_fr",
start_line=44, start_column=10,
end_line=44, end_column=33,
start_line=44, start_column=12,
end_line=44, end_column=35,
law_headings=["Prologue : prestations familiales"]))
regime_outre_mer_l751_1 = temp_regime_outre_mer_l751_1
try:
@ -11934,15 +11934,15 @@ def eligibilite_prestations_familiales(eligibilite_prestations_familiales_in:Eli
except EmptyError:
raise NoValueProvided(SourcePosition(filename="examples/aides_logement/../prestations_familiales/prologue.catala_fr",
start_line=41,
start_column=10,
start_column=12,
end_line=41,
end_column=29,
end_column=31,
law_headings=["Prologue : prestations familiales"]))
except EmptyError:
temp_conditions_hors_age = dead_value
raise NoValueProvided(SourcePosition(filename="examples/aides_logement/../prestations_familiales/prologue.catala_fr",
start_line=41, start_column=10,
end_line=41, end_column=29,
start_line=41, start_column=12,
end_line=41, end_column=31,
law_headings=["Prologue : prestations familiales"]))
conditions_hors_age = temp_conditions_hors_age
try:
@ -11999,15 +11999,15 @@ def eligibilite_prestations_familiales(eligibilite_prestations_familiales_in:Eli
except EmptyError:
raise NoValueProvided(SourcePosition(filename="examples/aides_logement/../prestations_familiales/prologue.catala_fr",
start_line=40,
start_column=10,
start_column=12,
end_line=40,
end_column=22,
end_column=24,
law_headings=["Prologue : prestations familiales"]))
except EmptyError:
temp_droit_ouvert = dead_value
raise NoValueProvided(SourcePosition(filename="examples/aides_logement/../prestations_familiales/prologue.catala_fr",
start_line=40, start_column=10,
end_line=40, end_column=22,
start_line=40, start_column=12,
end_line=40, end_column=24,
law_headings=["Prologue : prestations familiales"]))
droit_ouvert = temp_droit_ouvert
return EligibilitePrestationsFamiliales(droit_ouvert = droit_ouvert,
@ -12215,17 +12215,17 @@ def calcul_allocation_logement_locatif(calcul_allocation_logement_locatif_in:Cal
except EmptyError:
raise NoValueProvided(SourcePosition(filename="examples/aides_logement/prologue.catala_fr",
start_line=788,
start_column=10,
start_column=12,
end_line=788,
end_column=32,
end_column=34,
law_headings=["Secteur locatif",
"Calcul du montant de l'allocation logement",
"Prologue : aides au logement"]))
except EmptyError:
temp_traitement_aide_finale = dead_value
raise NoValueProvided(SourcePosition(filename="examples/aides_logement/prologue.catala_fr",
start_line=788, start_column=10,
end_line=788, end_column=32,
start_line=788, start_column=12,
end_line=788, end_column=34,
law_headings=["Secteur locatif",
"Calcul du montant de l'allocation logement",
"Prologue : aides au logement"]))
@ -12258,8 +12258,8 @@ def calcul_allocation_logement_locatif(calcul_allocation_logement_locatif_in:Cal
except EmptyError:
temp_aide_finale_formule_4 = dead_value
raise NoValueProvided(SourcePosition(filename="examples/aides_logement/prologue.catala_fr",
start_line=786, start_column=10,
end_line=786, end_column=29,
start_line=786, start_column=12,
end_line=786, end_column=31,
law_headings=["Secteur locatif",
"Calcul du montant de l'allocation logement",
"Prologue : aides au logement"]))
@ -12522,8 +12522,8 @@ def calcul_allocation_logement_foyer(calcul_allocation_logement_foyer_in:CalculA
raise EmptyError
temp_montant_forfaitaire_charges_4 = handle_default(SourcePosition(filename="examples/aides_logement/prologue.catala_fr",
start_line=932,
start_column=10,
end_line=932, end_column=37,
start_column=12,
end_line=932, end_column=39,
law_headings=["Secteur logement-foyer",
"Calcul du montant de l'allocation logement",
"Prologue : aides au logement"]), [temp_montant_forfaitaire_charges_3,
@ -12533,8 +12533,8 @@ def calcul_allocation_logement_foyer(calcul_allocation_logement_foyer_in:CalculA
except EmptyError:
temp_montant_forfaitaire_charges_4 = dead_value
raise NoValueProvided(SourcePosition(filename="examples/aides_logement/prologue.catala_fr",
start_line=932, start_column=10,
end_line=932, end_column=37,
start_line=932, start_column=12,
end_line=932, end_column=39,
law_headings=["Secteur logement-foyer",
"Calcul du montant de l'allocation logement",
"Prologue : aides au logement"]))
@ -12752,8 +12752,8 @@ def calcul_allocation_logement_foyer(calcul_allocation_logement_foyer_in:CalculA
raise EmptyError
temp_equivalence_loyer_16 = handle_default(SourcePosition(filename="examples/aides_logement/prologue.catala_fr",
start_line=931,
start_column=10,
end_line=931, end_column=27,
start_column=12,
end_line=931, end_column=29,
law_headings=["Secteur logement-foyer",
"Calcul du montant de l'allocation logement",
"Prologue : aides au logement"]), [temp_equivalence_loyer_14,
@ -12767,8 +12767,8 @@ def calcul_allocation_logement_foyer(calcul_allocation_logement_foyer_in:CalculA
except EmptyError:
temp_equivalence_loyer_16 = dead_value
raise NoValueProvided(SourcePosition(filename="examples/aides_logement/prologue.catala_fr",
start_line=931, start_column=10,
end_line=931, end_column=27,
start_line=931, start_column=12,
end_line=931, end_column=29,
law_headings=["Secteur logement-foyer",
"Calcul du montant de l'allocation logement",
"Prologue : aides au logement"]))
@ -12856,8 +12856,8 @@ def calcul_allocation_logement_foyer(calcul_allocation_logement_foyer_in:CalculA
except EmptyError:
temp_coefficient_prise_en_charge = dead_value
raise NoValueProvided(SourcePosition(filename="examples/aides_logement/prologue.catala_fr",
start_line=930, start_column=10,
end_line=930, end_column=37,
start_line=930, start_column=12,
end_line=930, end_column=39,
law_headings=["Secteur logement-foyer",
"Calcul du montant de l'allocation logement",
"Prologue : aides au logement"]))
@ -12890,8 +12890,8 @@ def calcul_allocation_logement_foyer(calcul_allocation_logement_foyer_in:CalculA
except EmptyError:
temp_loyer_minimal = dead_value
raise NoValueProvided(SourcePosition(filename="examples/aides_logement/prologue.catala_fr",
start_line=933, start_column=10,
end_line=933, end_column=23,
start_line=933, start_column=12,
end_line=933, end_column=25,
law_headings=["Secteur logement-foyer",
"Calcul du montant de l'allocation logement",
"Prologue : aides au logement"]))
@ -12930,8 +12930,8 @@ def calcul_allocation_logement_foyer(calcul_allocation_logement_foyer_in:CalculA
except EmptyError:
temp_aide_finale_formule_5 = dead_value
raise NoValueProvided(SourcePosition(filename="examples/aides_logement/prologue.catala_fr",
start_line=943, start_column=10,
end_line=943, end_column=29,
start_line=943, start_column=12,
end_line=943, end_column=31,
law_headings=["Secteur logement-foyer",
"Calcul du montant de l'allocation logement",
"Prologue : aides au logement"]))
@ -16452,8 +16452,8 @@ def calcul_allocation_logement_accession_propriete(calcul_allocation_logement_ac
except EmptyError:
temp_aide_finale_formule_6 = dead_value
raise NoValueProvided(SourcePosition(filename="examples/aides_logement/prologue.catala_fr",
start_line=876, start_column=10,
end_line=876, end_column=29,
start_line=876, start_column=12,
end_line=876, end_column=31,
law_headings=["Secteur accession à la propriété",
"Calcul du montant de l'allocation logement",
"Prologue : aides au logement"]))
@ -17899,9 +17899,9 @@ def calcul_aide_personnalisee_logement(calcul_aide_personnalisee_logement_in:Cal
except EmptyError:
raise NoValueProvided(SourcePosition(filename="examples/aides_logement/prologue.catala_fr",
start_line=746,
start_column=10,
start_column=12,
end_line=746,
end_column=32,
end_column=34,
law_headings=["Tous secteurs",
"Calcul du montant de l'aide personnalisée au logement",
"Déclarations des champs d'application",
@ -17909,8 +17909,8 @@ def calcul_aide_personnalisee_logement(calcul_aide_personnalisee_logement_in:Cal
except EmptyError:
temp_traitement_aide_finale_2 = dead_value
raise NoValueProvided(SourcePosition(filename="examples/aides_logement/prologue.catala_fr",
start_line=746, start_column=10,
end_line=746, end_column=32,
start_line=746, start_column=12,
end_line=746, end_column=34,
law_headings=["Tous secteurs",
"Calcul du montant de l'aide personnalisée au logement",
"Déclarations des champs d'application",
@ -17921,8 +17921,8 @@ def calcul_aide_personnalisee_logement(calcul_aide_personnalisee_logement_in:Cal
except EmptyError:
temp_aide_finale_formule_7 = dead_value
raise NoValueProvided(SourcePosition(filename="examples/aides_logement/prologue.catala_fr",
start_line=745, start_column=10,
end_line=745, end_column=29,
start_line=745, start_column=12,
end_line=745, end_column=31,
law_headings=["Tous secteurs",
"Calcul du montant de l'aide personnalisée au logement",
"Déclarations des champs d'application",
@ -18163,8 +18163,8 @@ def eligibilite_prime_de_demenagement(eligibilite_prime_de_demenagement_in:Eligi
except EmptyError:
temp_montant_prime_demenagement = dead_value
raise NoValueProvided(SourcePosition(filename="examples/aides_logement/prologue.catala_fr",
start_line=464, start_column=10,
end_line=464, end_column=36,
start_line=464, start_column=12,
end_line=464, end_column=38,
law_headings=["Éligibilité à la prime de déménagement",
"Déclarations des champs d'application",
"Prologue : aides au logement"]))
@ -18594,8 +18594,8 @@ def eligibilite_aide_personnalisee_logement(eligibilite_aide_personnalisee_logem
except EmptyError:
temp_coefficents_enfants_garde_alternee_pris_en_compte_3 = dead_value
raise NoValueProvided(SourcePosition(filename="examples/aides_logement/prologue.catala_fr",
start_line=372, start_column=10,
end_line=372, end_column=59,
start_line=372, start_column=12,
end_line=372, end_column=61,
law_headings=["Éligibilité à l'aide personnalisée au logement",
"Déclarations des champs d'application",
"Prologue : aides au logement"]))
@ -18605,8 +18605,8 @@ def eligibilite_aide_personnalisee_logement(eligibilite_aide_personnalisee_logem
except EmptyError:
temp_nombre_personnes_a_charge_prises_en_compte_1 = dead_value
raise NoValueProvided(SourcePosition(filename="examples/aides_logement/prologue.catala_fr",
start_line=371, start_column=10,
end_line=371, end_column=52,
start_line=371, start_column=12,
end_line=371, end_column=54,
law_headings=["Éligibilité à l'aide personnalisée au logement",
"Déclarations des champs d'application",
"Prologue : aides au logement"]))
@ -18624,8 +18624,8 @@ def eligibilite_aide_personnalisee_logement(eligibilite_aide_personnalisee_logem
except EmptyError:
temp_eligibilite_1 = dead_value
raise NoValueProvided(SourcePosition(filename="examples/aides_logement/prologue.catala_fr",
start_line=370, start_column=10,
end_line=370, end_column=21,
start_line=370, start_column=12,
end_line=370, end_column=23,
law_headings=["Éligibilité à l'aide personnalisée au logement",
"Déclarations des champs d'application",
"Prologue : aides au logement"]))
@ -18969,8 +18969,8 @@ def eligibilite_allocation_logement(eligibilite_allocation_logement_in:Eligibili
except EmptyError:
temp_coefficents_enfants_garde_alternee_pris_en_compte_4 = dead_value
raise NoValueProvided(SourcePosition(filename="examples/aides_logement/prologue.catala_fr",
start_line=414, start_column=10,
end_line=414, end_column=59,
start_line=414, start_column=12,
end_line=414, end_column=61,
law_headings=["Éligibilité aux allocations de logement",
"Déclarations des champs d'application",
"Prologue : aides au logement"]))
@ -18980,8 +18980,8 @@ def eligibilite_allocation_logement(eligibilite_allocation_logement_in:Eligibili
except EmptyError:
temp_nombre_personnes_a_charge_prises_en_compte_2 = dead_value
raise NoValueProvided(SourcePosition(filename="examples/aides_logement/prologue.catala_fr",
start_line=413, start_column=10,
end_line=413, end_column=52,
start_line=413, start_column=12,
end_line=413, end_column=54,
law_headings=["Éligibilité aux allocations de logement",
"Déclarations des champs d'application",
"Prologue : aides au logement"]))
@ -21578,9 +21578,9 @@ def calcul_allocation_logement(calcul_allocation_logement_in:CalculAllocationLog
except EmptyError:
raise NoValueProvided(SourcePosition(filename="examples/aides_logement/prologue.catala_fr",
start_line=991,
start_column=10,
start_column=12,
end_line=991,
end_column=32,
end_column=34,
law_headings=["Tous secteurs",
"Secteur logement-foyer",
"Calcul du montant de l'allocation logement",
@ -21588,8 +21588,8 @@ def calcul_allocation_logement(calcul_allocation_logement_in:CalculAllocationLog
except EmptyError:
temp_traitement_aide_finale_3 = dead_value
raise NoValueProvided(SourcePosition(filename="examples/aides_logement/prologue.catala_fr",
start_line=991, start_column=10,
end_line=991, end_column=32,
start_line=991, start_column=12,
end_line=991, end_column=34,
law_headings=["Tous secteurs",
"Secteur logement-foyer",
"Calcul du montant de l'allocation logement",
@ -21600,8 +21600,8 @@ def calcul_allocation_logement(calcul_allocation_logement_in:CalculAllocationLog
except EmptyError:
temp_aide_finale_formule_8 = dead_value
raise NoValueProvided(SourcePosition(filename="examples/aides_logement/prologue.catala_fr",
start_line=990, start_column=10,
end_line=990, end_column=29,
start_line=990, start_column=12,
end_line=990, end_column=31,
law_headings=["Tous secteurs",
"Secteur logement-foyer",
"Calcul du montant de l'allocation logement",
@ -21908,8 +21908,8 @@ def calculette_aides_au_logement(calculette_aides_au_logement_in:CalculetteAides
temp_coefficents_enfants_garde_alternee_pris_en_compte_5 = dead_value
raise NoValueProvided(SourcePosition(filename="examples/aides_logement/prologue.catala_fr",
start_line=1055,
start_column=10, end_line=1055,
end_column=59,
start_column=12, end_line=1055,
end_column=61,
law_headings=["Calculette globale",
"Prologue : aides au logement"]))
coefficents_enfants_garde_alternee_pris_en_compte_3 = temp_coefficents_enfants_garde_alternee_pris_en_compte_5
@ -21930,8 +21930,8 @@ def calculette_aides_au_logement(calculette_aides_au_logement_in:CalculetteAides
temp_eligibilite_3 = dead_value
raise NoValueProvided(SourcePosition(filename="examples/aides_logement/prologue.catala_fr",
start_line=1052,
start_column=10, end_line=1052,
end_column=21,
start_column=12, end_line=1052,
end_column=23,
law_headings=["Calculette globale",
"Prologue : aides au logement"]))
eligibilite_2 = temp_eligibilite_3
@ -21972,17 +21972,17 @@ def calculette_aides_au_logement(calculette_aides_au_logement_in:CalculetteAides
except EmptyError:
raise NoValueProvided(SourcePosition(filename="examples/aides_logement/prologue.catala_fr",
start_line=1054,
start_column=10,
start_column=12,
end_line=1054,
end_column=32,
end_column=34,
law_headings=["Calculette globale",
"Prologue : aides au logement"]))
except EmptyError:
temp_traitement_aide_finale_4 = dead_value
raise NoValueProvided(SourcePosition(filename="examples/aides_logement/prologue.catala_fr",
start_line=1054,
start_column=10, end_line=1054,
end_column=32,
start_column=12, end_line=1054,
end_column=34,
law_headings=["Calculette globale",
"Prologue : aides au logement"]))
traitement_aide_finale_3 = temp_traitement_aide_finale_4
@ -22018,8 +22018,8 @@ def calculette_aides_au_logement(calculette_aides_au_logement_in:CalculetteAides
temp_aide_finale_formule_9 = dead_value
raise NoValueProvided(SourcePosition(filename="examples/aides_logement/prologue.catala_fr",
start_line=1053,
start_column=10, end_line=1053,
end_column=29,
start_column=12, end_line=1053,
end_column=31,
law_headings=["Calculette globale",
"Prologue : aides au logement"]))
aide_finale_formule_8 = temp_aide_finale_formule_9
@ -22174,8 +22174,8 @@ def calculette_aides_au_logement_garde_alternee(calculette_aides_au_logement_gar
temp_eligibilite_4 = dead_value
raise NoValueProvided(SourcePosition(filename="examples/aides_logement/prologue.catala_fr",
start_line=1125,
start_column=10, end_line=1125,
end_column=21,
start_column=12, end_line=1125,
end_column=23,
law_headings=["Calculette avec garde alternée",
"Prologue : aides au logement"]))
eligibilite_3 = temp_eligibilite_4
@ -22208,8 +22208,8 @@ def calculette_aides_au_logement_garde_alternee(calculette_aides_au_logement_gar
temp_aide_finale_2 = dead_value
raise NoValueProvided(SourcePosition(filename="examples/aides_logement/prologue.catala_fr",
start_line=1126,
start_column=10, end_line=1126,
end_column=21,
start_column=12, end_line=1126,
end_column=23,
law_headings=["Calculette avec garde alternée",
"Prologue : aides au logement"]))
aide_finale = temp_aide_finale_2

56
french_law/python/src/allocations_familiales.py generated
View File

@ -503,8 +503,8 @@ def allocation_familiales_avril2008(allocation_familiales_avril2008_in:Allocatio
except EmptyError:
temp_age_minimum_alinea_1_l521_3 = dead_value
raise NoValueProvided(SourcePosition(filename="examples/allocations_familiales/prologue.catala_fr",
start_line=76, start_column=10,
end_line=76, end_column=37,
start_line=76, start_column=12,
end_line=76, end_column=39,
law_headings=["Allocations familiales",
"Champs d'applications",
"Prologue"]))
@ -533,8 +533,8 @@ def enfant_le_plus_age(enfant_le_plus_age_in:EnfantLePlusAgeIn):
except EmptyError:
temp_le_plus_age_1 = dead_value
raise NoValueProvided(SourcePosition(filename="examples/allocations_familiales/prologue.catala_fr",
start_line=80, start_column=10,
end_line=80, end_column=21,
start_line=80, start_column=12,
end_line=80, end_column=23,
law_headings=["Allocations familiales",
"Champs d'applications",
"Prologue"]))
@ -685,8 +685,8 @@ def smic(smic_in:SmicIn):
else:
raise EmptyError
temp_brut_horaire_12 = handle_default(SourcePosition(filename="examples/allocations_familiales/../smic/smic.catala_fr",
start_line=11, start_column=10,
end_line=11, end_column=22,
start_line=11, start_column=12,
end_line=11, end_column=24,
law_headings=["Prologue",
"Montant du salaire minimum de croissance"]), [temp_brut_horaire_11,
temp_brut_horaire_10,
@ -703,8 +703,8 @@ def smic(smic_in:SmicIn):
except EmptyError:
temp_brut_horaire_12 = dead_value
raise NoValueProvided(SourcePosition(filename="examples/allocations_familiales/../smic/smic.catala_fr",
start_line=11, start_column=10,
end_line=11, end_column=22,
start_line=11, start_column=12,
end_line=11, end_column=24,
law_headings=["Prologue",
"Montant du salaire minimum de croissance"]))
brut_horaire = temp_brut_horaire_12
@ -746,8 +746,8 @@ def base_mensuelle_allocations_familiales(base_mensuelle_allocations_familiales_
else:
raise EmptyError
temp_montant_6 = handle_default(SourcePosition(filename="examples/allocations_familiales/../base_mensuelle_allocations_familiales/bmaf.catala_fr",
start_line=6, start_column=10,
end_line=6, end_column=17,
start_line=6, start_column=12,
end_line=6, end_column=19,
law_headings=["Montant de la base mensuelle des allocations familiales"]), [temp_montant_5,
temp_montant_4, temp_montant_3,
temp_montant_2], temp_montant_1,
@ -755,8 +755,8 @@ def base_mensuelle_allocations_familiales(base_mensuelle_allocations_familiales_
except EmptyError:
temp_montant_6 = dead_value
raise NoValueProvided(SourcePosition(filename="examples/allocations_familiales/../base_mensuelle_allocations_familiales/bmaf.catala_fr",
start_line=6, start_column=10,
end_line=6, end_column=17,
start_line=6, start_column=12,
end_line=6, end_column=19,
law_headings=["Montant de la base mensuelle des allocations familiales"]))
montant = temp_montant_6
return BaseMensuelleAllocationsFamiliales(montant = montant)
@ -770,8 +770,8 @@ def prestations_familiales(prestations_familiales_in:PrestationsFamilialesIn):
except EmptyError:
temp_age_l512_3_2 = dead_value
raise NoValueProvided(SourcePosition(filename="examples/allocations_familiales/prologue.catala_fr",
start_line=60, start_column=10,
end_line=60, end_column=22,
start_line=60, start_column=12,
end_line=60, end_column=24,
law_headings=["Prestations familiales",
"Champs d'applications",
"Prologue"]))
@ -822,8 +822,8 @@ def prestations_familiales(prestations_familiales_in:PrestationsFamilialesIn):
except EmptyError:
temp_regime_outre_mer_l751_1 = dead_value
raise NoValueProvided(SourcePosition(filename="examples/allocations_familiales/prologue.catala_fr",
start_line=61, start_column=10,
end_line=61, end_column=33,
start_line=61, start_column=12,
end_line=61, end_column=35,
law_headings=["Prestations familiales",
"Champs d'applications",
"Prologue"]))
@ -895,17 +895,17 @@ def prestations_familiales(prestations_familiales_in:PrestationsFamilialesIn):
except EmptyError:
raise NoValueProvided(SourcePosition(filename="examples/allocations_familiales/prologue.catala_fr",
start_line=58,
start_column=10,
start_column=12,
end_line=58,
end_column=29,
end_column=31,
law_headings=["Prestations familiales",
"Champs d'applications",
"Prologue"]))
except EmptyError:
temp_conditions_hors_age = dead_value
raise NoValueProvided(SourcePosition(filename="examples/allocations_familiales/prologue.catala_fr",
start_line=58, start_column=10,
end_line=58, end_column=29,
start_line=58, start_column=12,
end_line=58, end_column=31,
law_headings=["Prestations familiales",
"Champs d'applications",
"Prologue"]))
@ -970,17 +970,17 @@ def prestations_familiales(prestations_familiales_in:PrestationsFamilialesIn):
except EmptyError:
raise NoValueProvided(SourcePosition(filename="examples/allocations_familiales/prologue.catala_fr",
start_line=57,
start_column=10,
start_column=12,
end_line=57,
end_column=22,
end_column=24,
law_headings=["Prestations familiales",
"Champs d'applications",
"Prologue"]))
except EmptyError:
temp_droit_ouvert = dead_value
raise NoValueProvided(SourcePosition(filename="examples/allocations_familiales/prologue.catala_fr",
start_line=57, start_column=10,
end_line=57, end_column=22,
start_line=57, start_column=12,
end_line=57, end_column=24,
law_headings=["Prestations familiales",
"Champs d'applications",
"Prologue"]))
@ -2927,8 +2927,8 @@ def allocations_familiales(allocations_familiales_in:AllocationsFamilialesIn):
except EmptyError:
temp_montant_verse = dead_value
raise NoValueProvided(SourcePosition(filename="examples/allocations_familiales/prologue.catala_fr",
start_line=100, start_column=10,
end_line=100, end_column=23,
start_line=100, start_column=12,
end_line=100, end_column=25,
law_headings=["Allocations familiales",
"Champs d'applications",
"Prologue"]))
@ -3107,8 +3107,8 @@ def interface_allocations_familiales(interface_allocations_familiales_in:Interfa
except EmptyError:
temp_i_montant_verse = dead_value
raise NoValueProvided(SourcePosition(filename="examples/allocations_familiales/epilogue.catala_fr",
start_line=79, start_column=10,
end_line=79, end_column=25,
start_line=79, start_column=12,
end_line=79, end_column=27,
law_headings=["Interface du programme",
"Épilogue"]))
i_montant_verse = temp_i_montant_verse

8
tests/test_scope/bad/scope_call_duplicate.catala_en
View File

@ -11,17 +11,17 @@ scope Toto:
declaration scope Titi:
output fizz content Toto
scope Titi:
definition fizz equals Toto of {--bar: 1 --baz: 2.1 -- bar: 3}
definition fizz equals output of Toto with {--bar: 1 --baz: 2.1 -- bar: 3}
```
```catala-test-inline
$ catala dcalc -s Titi
[ERROR] Duplicate definition of scope input variable 'bar'
┌─⯈ tests/test_scope/bad/scope_call_duplicate.catala_en:14.57-60:
┌─⯈ tests/test_scope/bad/scope_call_duplicate.catala_en:14.69-72:
└──┐
14 │ definition fizz equals Toto of {--bar: 1 --baz: 2.1 -- bar: 3}
│ ‾‾‾
14 │ definition fizz equals output of Toto with {--bar: 1 --baz: 2.1 -- bar: 3}
│ ‾‾‾
#return code 255#
```

8
tests/test_scope/bad/scope_call_extra.catala_en
View File

@ -11,17 +11,17 @@ scope Toto:
declaration scope Titi:
output fizz content Toto
scope Titi:
definition fizz equals Toto of {--biz: 1}
definition fizz equals output of Toto with {--biz: 1}
```
```catala-test-inline
$ catala dcalc -s Titi
[ERROR] Scope Toto has no input variable biz
┌─⯈ tests/test_scope/bad/scope_call_extra.catala_en:14.36-39:
┌─⯈ tests/test_scope/bad/scope_call_extra.catala_en:14.48-51:
└──┐
14 │ definition fizz equals Toto of {--biz: 1}
│ ‾‾‾
14 │ definition fizz equals output of Toto with {--biz: 1}
│ ‾‾‾
Scope Toto declared here

8
tests/test_scope/bad/scope_call_missing.catala_en
View File

@ -11,17 +11,17 @@ scope Toto:
declaration scope Titi:
output fizz content Toto
scope Titi:
definition fizz equals Toto of {--bar: 1}
definition fizz equals output of Toto with {--bar: 1}
```
```catala-test-inline
$ catala dcalc -s Titi
[ERROR] Definition of input variable 'baz' missing in this scope call
┌─⯈ tests/test_scope/bad/scope_call_missing.catala_en:14.25-43:
┌─⯈ tests/test_scope/bad/scope_call_missing.catala_en:14.25-55:
└──┐
14 │ definition fizz equals Toto of {--bar: 1}
│ ‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾
14 │ definition fizz equals output of Toto with {--bar: 1}
│ ‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾
Declaration of the missing input variable

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

@ -19,8 +19,8 @@ scope SubFoo:
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 }).z2
let results_foo equals output of SubFoo with { -- x: 1 -- y: 2 } in
results_foo.z1 + 1 * (output of SubFoo with { -- x: 10 -- y: 20 }).z2
else 0
```

4
tests/test_scope/good/scope_call2.catala_en
View File

@ -14,8 +14,8 @@ declaration scope Titi:
scope Titi:
definition toto.bar equals 44
definition fizz equals Toto of {}
definition fuzz equals Toto of {--bar: 111}
definition fizz equals output of Toto
definition fuzz equals output of Toto with {--bar: 111}
```
```catala-test-inline