mirror of
https://github.com/CatalaLang/catala.git
synced 2024-11-08 07:51:43 +03:00
Fix all lines too long problems & update assets
This commit is contained in:
Denis Merigoux
parent
e5963e5381
commit
1c3d5b9a75
@ -174,6 +174,10 @@ let rec law_structure_to_html
|
||||
let t = pre_html t in
|
||||
if t = "" then () else Format.fprintf fmt "<div class='law-text'>%s</div>" t
|
||||
| A.CodeBlock (_, c, metadata) when not print_only_law ->
|
||||
let start_line = Pos.get_start_line (Marked.get_mark c) - 1 in
|
||||
let filename = Filename.basename (Pos.get_file (Marked.get_mark c)) in
|
||||
let block_content = Marked.unmark c in
|
||||
check_exceeding_lines start_line filename block_content;
|
||||
Format.fprintf fmt
|
||||
"<div class='code-wrapper%s'>\n<div class='filename'>%s</div>\n%s\n</div>"
|
||||
(if metadata then " code-metadata" else "")
|
||||
|
||||
@ -184,32 +184,6 @@ codes={\catcode`\$=3\catcode`\^=7}
|
||||
|
||||
(** {1 Weaving} *)
|
||||
|
||||
(** [check_exceeding_lines max_len start_line filename content] prints a warning
|
||||
message for each lines of [content] exceeding [max_len] characters. *)
|
||||
let check_exceeding_lines
|
||||
?(max_len = 80)
|
||||
(start_line : int)
|
||||
(filename : string)
|
||||
(content : string) =
|
||||
content
|
||||
|> String.split_on_char '\n'
|
||||
|> List.iteri (fun i s ->
|
||||
if
|
||||
Uutf.String.fold_utf_8 (fun (acc : int) _ _ -> acc + 1) 0 s > max_len
|
||||
then (
|
||||
Cli.warning_print "The line %s in %s is exceeding %s characters:"
|
||||
(Cli.with_style
|
||||
ANSITerminal.[Bold; yellow]
|
||||
"%d"
|
||||
(start_line + i + 1))
|
||||
(Cli.with_style ANSITerminal.[Bold; magenta] "%s" filename)
|
||||
(Cli.with_style ANSITerminal.[Bold; red] "%d" max_len);
|
||||
Cli.warning_print "%s%s" (String.sub s 0 max_len)
|
||||
(Cli.with_style
|
||||
ANSITerminal.[red]
|
||||
"%s"
|
||||
String.(sub s max_len (length s - max_len)))))
|
||||
|
||||
let rec law_structure_to_latex
|
||||
(language : C.backend_lang)
|
||||
(print_only_law : bool)
|
||||
|
||||
@ -99,3 +99,28 @@ let run_pandoc (s : string) (backend : [ `Html | `Latex ]) : string =
|
||||
Sys.remove tmp_file_in;
|
||||
Sys.remove tmp_file_out;
|
||||
tmp_file_as_string
|
||||
|
||||
let check_exceeding_lines
|
||||
?(max_len = 80)
|
||||
(start_line : int)
|
||||
(filename : string)
|
||||
(content : string) =
|
||||
content
|
||||
|> String.split_on_char '\n'
|
||||
|> List.iteri (fun i s ->
|
||||
let len_s =
|
||||
Uutf.String.fold_utf_8 (fun (acc : int) _ _ -> acc + 1) 0 s
|
||||
in
|
||||
if len_s > max_len then (
|
||||
Cli.warning_print "The line %s in %s is exceeding %s characters:"
|
||||
(Cli.with_style
|
||||
ANSITerminal.[Bold; yellow]
|
||||
"%d"
|
||||
(start_line + i + 1))
|
||||
(Cli.with_style ANSITerminal.[Bold; magenta] "%s" filename)
|
||||
(Cli.with_style ANSITerminal.[Bold; red] "%d" max_len);
|
||||
Cli.warning_print "%s%s" (String.sub s 0 max_len)
|
||||
(Cli.with_style
|
||||
ANSITerminal.[red]
|
||||
"%s"
|
||||
String.(sub s max_len (len_s - max_len)))))
|
||||
|
||||
@ -44,3 +44,7 @@ val get_language_extension : Cli.backend_lang -> string
|
||||
val run_pandoc : string -> [ `Html | `Latex ] -> string
|
||||
(** Runs the [pandoc] on a string to pretty-print markdown features into the
|
||||
desired format. *)
|
||||
|
||||
val check_exceeding_lines : ?max_len:int -> int -> string -> string -> unit
|
||||
(** [check_exceeding_lines ~max_len start_line filename content] prints a
|
||||
warning message for each lines of [content] exceeding [max_len] characters. *)
|
||||
|
||||
@ -246,7 +246,8 @@ A compter de 2021 57,28 € 5,88 % 32 %
|
||||
champ d'application AllocationsFamiliales sous condition résidence = Mayotte:
|
||||
|
||||
# Premier enfant
|
||||
exception mayotte définition montant_initial_base_premier_enfant sous condition
|
||||
exception mayotte définition montant_initial_base_premier_enfant
|
||||
sous condition
|
||||
date_courante >=@ |2011-01-01| et date_courante <=@ |2011-12-31| et
|
||||
non avait_enfant_à_charge_avant_1er_janvier_2012
|
||||
conséquence égal à
|
||||
@ -254,7 +255,8 @@ champ d'application AllocationsFamiliales sous condition résidence = Mayotte:
|
||||
alors bmaf.montant *€ 14,50 %
|
||||
sinon 0 €
|
||||
|
||||
exception mayotte définition montant_initial_base_premier_enfant sous condition
|
||||
exception mayotte définition montant_initial_base_premier_enfant
|
||||
sous condition
|
||||
date_courante >=@ |2012-01-01| et date_courante <=@ |2012-12-31| et
|
||||
non avait_enfant_à_charge_avant_1er_janvier_2012
|
||||
conséquence égal à
|
||||
@ -262,7 +264,8 @@ champ d'application AllocationsFamiliales sous condition résidence = Mayotte:
|
||||
alors bmaf.montant *€ 13,93 %
|
||||
sinon 0 €
|
||||
|
||||
exception mayotte définition montant_initial_base_premier_enfant sous condition
|
||||
exception mayotte définition montant_initial_base_premier_enfant
|
||||
sous condition
|
||||
date_courante >=@ |2013-01-01| et date_courante <=@ |2013-12-31| et
|
||||
non avait_enfant_à_charge_avant_1er_janvier_2012
|
||||
conséquence égal à
|
||||
@ -270,7 +273,8 @@ champ d'application AllocationsFamiliales sous condition résidence = Mayotte:
|
||||
alors bmaf.montant *€ 13,35 %
|
||||
sinon 0 €
|
||||
|
||||
exception mayotte définition montant_initial_base_premier_enfant sous condition
|
||||
exception mayotte définition montant_initial_base_premier_enfant
|
||||
sous condition
|
||||
date_courante >=@ |2014-01-01| et date_courante <=@ |2014-12-31| et
|
||||
non avait_enfant_à_charge_avant_1er_janvier_2012
|
||||
conséquence égal à
|
||||
@ -278,7 +282,8 @@ champ d'application AllocationsFamiliales sous condition résidence = Mayotte:
|
||||
alors bmaf.montant *€ 12,78 %
|
||||
sinon 0 €
|
||||
|
||||
exception mayotte définition montant_initial_base_premier_enfant sous condition
|
||||
exception mayotte définition montant_initial_base_premier_enfant
|
||||
sous condition
|
||||
date_courante >=@ |2015-01-01| et date_courante <=@ |2015-12-31| et
|
||||
non avait_enfant_à_charge_avant_1er_janvier_2012
|
||||
conséquence égal à
|
||||
@ -286,7 +291,8 @@ champ d'application AllocationsFamiliales sous condition résidence = Mayotte:
|
||||
alors bmaf.montant *€ 12,20 %
|
||||
sinon 0 €
|
||||
|
||||
exception mayotte définition montant_initial_base_premier_enfant sous condition
|
||||
exception mayotte définition montant_initial_base_premier_enfant
|
||||
sous condition
|
||||
date_courante >=@ |2016-01-01| et date_courante <=@ |2016-12-31| et
|
||||
non avait_enfant_à_charge_avant_1er_janvier_2012
|
||||
conséquence égal à
|
||||
@ -294,7 +300,8 @@ champ d'application AllocationsFamiliales sous condition résidence = Mayotte:
|
||||
alors bmaf.montant *€ 11,63 %
|
||||
sinon 0 €
|
||||
|
||||
exception mayotte définition montant_initial_base_premier_enfant sous condition
|
||||
exception mayotte définition montant_initial_base_premier_enfant
|
||||
sous condition
|
||||
date_courante >=@ |2017-01-01| et date_courante <=@ |2017-12-31| et
|
||||
non avait_enfant_à_charge_avant_1er_janvier_2012
|
||||
conséquence égal à
|
||||
@ -302,7 +309,8 @@ champ d'application AllocationsFamiliales sous condition résidence = Mayotte:
|
||||
alors bmaf.montant *€ 11,05 %
|
||||
sinon 0 €
|
||||
|
||||
exception mayotte définition montant_initial_base_premier_enfant sous condition
|
||||
exception mayotte définition montant_initial_base_premier_enfant
|
||||
sous condition
|
||||
date_courante >=@ |2018-01-01| et date_courante <=@ |2018-12-31| et
|
||||
non avait_enfant_à_charge_avant_1er_janvier_2012
|
||||
conséquence égal à
|
||||
@ -310,7 +318,8 @@ champ d'application AllocationsFamiliales sous condition résidence = Mayotte:
|
||||
alors bmaf.montant *€ 9,76 %
|
||||
sinon 0 €
|
||||
|
||||
exception mayotte définition montant_initial_base_premier_enfant sous condition
|
||||
exception mayotte définition montant_initial_base_premier_enfant
|
||||
sous condition
|
||||
date_courante >=@ |2019-01-01| et date_courante <=@ |2019-12-31| et
|
||||
non avait_enfant_à_charge_avant_1er_janvier_2012
|
||||
conséquence égal à
|
||||
@ -318,7 +327,8 @@ champ d'application AllocationsFamiliales sous condition résidence = Mayotte:
|
||||
alors bmaf.montant *€ 8,47 %
|
||||
sinon 0 €
|
||||
|
||||
exception mayotte définition montant_initial_base_premier_enfant sous condition
|
||||
exception mayotte définition montant_initial_base_premier_enfant
|
||||
sous condition
|
||||
date_courante >=@ |2020-01-01| et date_courante <=@ |2020-12-31| et
|
||||
non avait_enfant_à_charge_avant_1er_janvier_2012
|
||||
conséquence égal à
|
||||
@ -326,7 +336,8 @@ champ d'application AllocationsFamiliales sous condition résidence = Mayotte:
|
||||
alors bmaf.montant *€ 7,17%
|
||||
sinon 0 €
|
||||
|
||||
exception mayotte définition montant_initial_base_premier_enfant sous condition
|
||||
exception mayotte définition montant_initial_base_premier_enfant
|
||||
sous condition
|
||||
avait_enfant_à_charge_avant_1er_janvier_2012
|
||||
conséquence égal à
|
||||
si nombre de enfants_à_charge_droit_ouvert_prestation_familiale > 0
|
||||
@ -334,70 +345,80 @@ champ d'application AllocationsFamiliales sous condition résidence = Mayotte:
|
||||
sinon 0 €
|
||||
|
||||
# Deuxième enfant
|
||||
exception mayotte définition montant_initial_base_deuxième_enfant sous condition
|
||||
exception mayotte définition montant_initial_base_deuxième_enfant
|
||||
sous condition
|
||||
date_courante >=@ |2011-01-01| et date_courante <=@ |2011-12-31|
|
||||
conséquence égal à
|
||||
si nombre de enfants_à_charge_droit_ouvert_prestation_familiale > 1
|
||||
alors bmaf.montant *€ 23,2 %
|
||||
sinon 0 €
|
||||
|
||||
exception mayotte définition montant_initial_base_deuxième_enfant sous condition
|
||||
exception mayotte définition montant_initial_base_deuxième_enfant
|
||||
sous condition
|
||||
date_courante >=@ |2012-01-01| et date_courante <=@ |2012-12-31|
|
||||
conséquence égal à
|
||||
si nombre de enfants_à_charge_droit_ouvert_prestation_familiale > 1
|
||||
alors bmaf.montant *€ 23,79 %
|
||||
sinon 0 €
|
||||
|
||||
exception mayotte définition montant_initial_base_deuxième_enfant sous condition
|
||||
exception mayotte définition montant_initial_base_deuxième_enfant
|
||||
sous condition
|
||||
date_courante >=@ |2013-01-01| et date_courante <=@ |2013-12-31|
|
||||
conséquence égal à
|
||||
si nombre de enfants_à_charge_droit_ouvert_prestation_familiale > 1
|
||||
alors bmaf.montant *€ 24,37 %
|
||||
sinon 0 €
|
||||
|
||||
exception mayotte définition montant_initial_base_deuxième_enfant sous condition
|
||||
exception mayotte définition montant_initial_base_deuxième_enfant
|
||||
sous condition
|
||||
date_courante >=@ |2014-01-01| et date_courante <=@ |2014-12-31|
|
||||
conséquence égal à
|
||||
si nombre de enfants_à_charge_droit_ouvert_prestation_familiale > 1
|
||||
alors bmaf.montant *€ 24,96 %
|
||||
sinon 0 €
|
||||
|
||||
exception mayotte définition montant_initial_base_deuxième_enfant sous condition
|
||||
exception mayotte définition montant_initial_base_deuxième_enfant
|
||||
sous condition
|
||||
date_courante >=@ |2015-01-01| et date_courante <=@ |2015-12-31|
|
||||
conséquence égal à
|
||||
si nombre de enfants_à_charge_droit_ouvert_prestation_familiale > 1
|
||||
alors bmaf.montant *€ 25,55 %
|
||||
sinon 0 €
|
||||
|
||||
exception mayotte définition montant_initial_base_deuxième_enfant sous condition
|
||||
exception mayotte définition montant_initial_base_deuxième_enfant
|
||||
sous condition
|
||||
date_courante >=@ |2016-01-01| et date_courante <=@ |2016-12-31|
|
||||
conséquence égal à
|
||||
si nombre de enfants_à_charge_droit_ouvert_prestation_familiale > 1
|
||||
alors bmaf.montant *€ 26,13 %
|
||||
sinon 0 €
|
||||
|
||||
exception mayotte définition montant_initial_base_deuxième_enfant sous condition
|
||||
exception mayotte définition montant_initial_base_deuxième_enfant
|
||||
sous condition
|
||||
date_courante >=@ |2017-01-01| et date_courante <=@ |2017-12-31|
|
||||
conséquence égal à
|
||||
si nombre de enfants_à_charge_droit_ouvert_prestation_familiale > 1
|
||||
alors bmaf.montant *€ 26,72 %
|
||||
sinon 0 €
|
||||
|
||||
exception mayotte définition montant_initial_base_deuxième_enfant sous condition
|
||||
exception mayotte définition montant_initial_base_deuxième_enfant
|
||||
sous condition
|
||||
date_courante >=@ |2018-01-01| et date_courante <=@ |2018-12-31|
|
||||
conséquence égal à
|
||||
si nombre de enfants_à_charge_droit_ouvert_prestation_familiale > 1
|
||||
alors bmaf.montant *€ 28,04 %
|
||||
sinon 0 €
|
||||
|
||||
exception mayotte définition montant_initial_base_deuxième_enfant sous condition
|
||||
exception mayotte définition montant_initial_base_deuxième_enfant
|
||||
sous condition
|
||||
date_courante >=@ |2019-01-01| et date_courante <=@ |2019-12-31|
|
||||
conséquence égal à
|
||||
si nombre de enfants_à_charge_droit_ouvert_prestation_familiale > 1
|
||||
alors bmaf.montant *€ 29,36 %
|
||||
sinon 0 €
|
||||
|
||||
exception mayotte définition montant_initial_base_deuxième_enfant sous condition
|
||||
exception mayotte définition montant_initial_base_deuxième_enfant
|
||||
sous condition
|
||||
date_courante >=@ |2020-01-01| et date_courante <=@ |2020-12-31|
|
||||
conséquence égal à
|
||||
si nombre de enfants_à_charge_droit_ouvert_prestation_familiale > 1
|
||||
@ -405,70 +426,80 @@ champ d'application AllocationsFamiliales sous condition résidence = Mayotte:
|
||||
sinon 0 €
|
||||
|
||||
# Troisième enfant
|
||||
exception définition montant_initial_base_troisième_enfant_mayotte sous condition
|
||||
exception définition montant_initial_base_troisième_enfant_mayotte
|
||||
sous condition
|
||||
date_courante >=@ |2011-01-01| et date_courante <=@ |2011-12-31|
|
||||
conséquence égal à
|
||||
si nombre de enfants_à_charge_droit_ouvert_prestation_familiale > 2
|
||||
alors bmaf.montant *€ 4,63 %
|
||||
sinon 0 €
|
||||
|
||||
exception définition montant_initial_base_troisième_enfant_mayotte sous condition
|
||||
exception définition montant_initial_base_troisième_enfant_mayotte
|
||||
sous condition
|
||||
date_courante >=@ |2012-01-01| et date_courante <=@ |2012-12-31|
|
||||
conséquence égal à
|
||||
si nombre de enfants_à_charge_droit_ouvert_prestation_familiale > 2
|
||||
alors bmaf.montant *€ 5,39 %
|
||||
sinon 0 €
|
||||
|
||||
exception définition montant_initial_base_troisième_enfant_mayotte sous condition
|
||||
exception définition montant_initial_base_troisième_enfant_mayotte
|
||||
sous condition
|
||||
date_courante >=@ |2013-01-01| et date_courante <=@ |2013-12-31|
|
||||
conséquence égal à
|
||||
si nombre de enfants_à_charge_droit_ouvert_prestation_familiale > 2
|
||||
alors bmaf.montant *€ 6,15 %
|
||||
sinon 0 €
|
||||
|
||||
exception définition montant_initial_base_troisième_enfant_mayotte sous condition
|
||||
exception définition montant_initial_base_troisième_enfant_mayotte
|
||||
sous condition
|
||||
date_courante >=@ |2014-01-01| et date_courante <=@ |2014-12-31|
|
||||
conséquence égal à
|
||||
si nombre de enfants_à_charge_droit_ouvert_prestation_familiale > 2
|
||||
alors bmaf.montant *€ 6,90 %
|
||||
sinon 0 €
|
||||
|
||||
exception définition montant_initial_base_troisième_enfant_mayotte sous condition
|
||||
exception définition montant_initial_base_troisième_enfant_mayotte
|
||||
sous condition
|
||||
date_courante >=@ |2015-01-01| et date_courante <=@ |2015-12-31|
|
||||
conséquence égal à
|
||||
si nombre de enfants_à_charge_droit_ouvert_prestation_familiale > 2
|
||||
alors bmaf.montant *€ 7,66 %
|
||||
sinon 0 €
|
||||
|
||||
exception définition montant_initial_base_troisième_enfant_mayotte sous condition
|
||||
exception définition montant_initial_base_troisième_enfant_mayotte
|
||||
sous condition
|
||||
date_courante >=@ |2016-01-01| et date_courante <=@ |2016-12-31|
|
||||
conséquence égal à
|
||||
si nombre de enfants_à_charge_droit_ouvert_prestation_familiale > 2
|
||||
alors bmaf.montant *€ 8,42 %
|
||||
sinon 0 €
|
||||
|
||||
exception définition montant_initial_base_troisième_enfant_mayotte sous condition
|
||||
exception définition montant_initial_base_troisième_enfant_mayotte
|
||||
sous condition
|
||||
date_courante >=@ |2017-01-01| et date_courante <=@ |2017-12-31|
|
||||
conséquence égal à
|
||||
si nombre de enfants_à_charge_droit_ouvert_prestation_familiale > 2
|
||||
alors bmaf.montant *€ 9,18 %
|
||||
sinon 0 €
|
||||
|
||||
exception définition montant_initial_base_troisième_enfant_mayotte sous condition
|
||||
exception définition montant_initial_base_troisième_enfant_mayotte
|
||||
sous condition
|
||||
date_courante >=@ |2018-01-01| et date_courante <=@ |2018-12-31|
|
||||
conséquence égal à
|
||||
si nombre de enfants_à_charge_droit_ouvert_prestation_familiale > 2
|
||||
alors bmaf.montant *€ 10,89 %
|
||||
sinon 0 €
|
||||
|
||||
exception définition montant_initial_base_troisième_enfant_mayotte sous condition
|
||||
exception définition montant_initial_base_troisième_enfant_mayotte
|
||||
sous condition
|
||||
date_courante >=@ |2019-01-01| et date_courante <=@ |2019-12-31|
|
||||
conséquence égal à
|
||||
si nombre de enfants_à_charge_droit_ouvert_prestation_familiale > 2
|
||||
alors bmaf.montant *€ 12,59 %
|
||||
sinon 0 €
|
||||
|
||||
exception définition montant_initial_base_troisième_enfant_mayotte sous condition
|
||||
exception définition montant_initial_base_troisième_enfant_mayotte
|
||||
sous condition
|
||||
date_courante >=@ |2020-01-01| et date_courante <=@ |2020-12-31|
|
||||
conséquence égal à
|
||||
si nombre de enfants_à_charge_droit_ouvert_prestation_familiale > 2
|
||||
|
||||
@ -165,7 +165,8 @@ champ d'application AllocationsFamiliales :
|
||||
(ressources_ménage >€ plafond_I_d521_3) et
|
||||
(ressources_ménage <=€ plafond_I_d521_3 +€ allocation *€ 12,0 )
|
||||
conséquence égal à
|
||||
(plafond_I_d521_3 +€ allocation *€ 12,0 -€ ressources_ménage) *€ (1,0 /. 12,0)
|
||||
(plafond_I_d521_3 +€ allocation *€ 12,0 -€ ressources_ménage) *€
|
||||
(1,0 /. 12,0)
|
||||
|
||||
exception
|
||||
définition complément_dégressif de allocation
|
||||
@ -173,7 +174,8 @@ champ d'application AllocationsFamiliales :
|
||||
(ressources_ménage >€ plafond_II_d521_3) et
|
||||
(ressources_ménage <=€ plafond_II_d521_3 +€ allocation *€ 12,0)
|
||||
conséquence égal à
|
||||
(plafond_II_d521_3 +€ allocation *€ 12,0 -€ ressources_ménage) *€ (1,0 /. 12,0)
|
||||
(plafond_II_d521_3 +€ allocation *€ 12,0 -€ ressources_ménage) *€
|
||||
(1,0 /. 12,0)
|
||||
|
||||
# Dans les autres cas, le dépassement est nul
|
||||
définition complément_dégressif de allocations égal à 0 €
|
||||
@ -210,8 +212,8 @@ de calcul des allocations familiales par enfant ;
|
||||
|
||||
```catala
|
||||
# TODO Liane: la syntaxe de la phrase est très ambiguë, on a l'impression que
|
||||
# c'est la BMAF qui est "par enfant" et pas le montant de l'allocation forfaitaire
|
||||
# Erreur de rédaction ? Problème juridique ?
|
||||
# c'est la BMAF qui est "par enfant" et pas le montant de l'allocation
|
||||
# forfaitaire. Erreur de rédaction ? Problème juridique ?
|
||||
|
||||
champ d'application AllocationsFamiliales :
|
||||
définition montant_versé_forfaitaire_par_enfant sous condition
|
||||
@ -320,8 +322,8 @@ l'année civile de référence, par arrêté des ministres chargés de la sécur
|
||||
sociale, du budget et de l'agriculture.
|
||||
|
||||
```catala
|
||||
# Nota : ces montants sont en réalités remis à jour chaque année par des décrets,
|
||||
# voir decrets_divers.catala_fr
|
||||
# Nota : ces montants sont en réalités remis à jour chaque année par des
|
||||
# décrets, voir decrets_divers.catala_fr
|
||||
```
|
||||
|
||||
#### Livre 7 : Régimes divers - Dispositions diverses
|
||||
|
||||
@ -397,9 +397,9 @@ Les allocations familiales sont dues, pour tout enfant, à la personne qui a
|
||||
effectivement la charge de celui-ci.
|
||||
|
||||
```catala
|
||||
# TODO Liane: Angle mort, ici c'est marqué "effectivement la charge" mais dans l'article de
|
||||
# L521-2 il faut charge effective ET permanente. Pourquoi cette différence ?
|
||||
# Quelles conséquences pratiques ?
|
||||
# TODO Liane: Angle mort, ici c'est marqué "effectivement la charge" mais dans
|
||||
# l'article de L521-2 il faut charge effective ET permanente. Pourquoi
|
||||
# cette différence ? Quelles conséquences pratiques ?
|
||||
# Apparemment en 1987 il y avait encore des exceptions pour certains agents
|
||||
# publics d'outre-mer
|
||||
|
||||
|
||||
@ -13,9 +13,9 @@ ans sous réserve que leur rémunération n'excède pas le plafond fixé au deux
|
||||
alinéa du présent article.
|
||||
|
||||
```catala
|
||||
# Attention: ici la condition de ressources au dessous du plafond est une répétition
|
||||
# par rapport au texte de L512-3. On ne remet donc pas le code ici correspondant
|
||||
# à cette limitation.
|
||||
# Attention: ici la condition de ressources au dessous du plafond est une
|
||||
# répétition par rapport au texte de L512-3. On ne remet donc pas le code ici
|
||||
# correspondant à cette limitation.
|
||||
|
||||
champ d'application PrestationsFamiliales :
|
||||
définition âge_l512_3_2 égal à 20 an
|
||||
@ -173,7 +173,8 @@ alinéa de l'article R. 521-3.
|
||||
```catala
|
||||
# Le renvoi ci-dessus ne fait qu'annoncer qu'on va appliquer un système
|
||||
# de décote pour garde alternée au système de majorations.
|
||||
# Ce renvoi signifie que notre liste enfants_à_charge_droit_ouvert_prestation_familiale
|
||||
# Ce renvoi signifie que notre liste
|
||||
# enfants_à_charge_droit_ouvert_prestation_familiale
|
||||
# qui était utilisée pour la prestation de base est la même que la liste
|
||||
# d'enfant utilisée pour le calcul des majorations
|
||||
```
|
||||
|
||||
@ -91,7 +91,8 @@ deklaracja zakres PozyczkaLubDepozytNieprawidlowy:
|
||||
|
||||
zakres PozyczkaLubDepozytNieprawidlowy:
|
||||
definicja podatek wynosi
|
||||
kwota *$ stawka_podatku # TODO: extract somehow? this exists in every declaration
|
||||
kwota *$ stawka_podatku # TODO: extract somehow?
|
||||
# this exists in every declaration
|
||||
|
||||
zakres PozyczkaLubDepozytNieprawidlowy:
|
||||
definicja stawka_podatku wynosi 0.5%
|
||||
|
||||
@ -600,9 +600,9 @@ scope BasisForFineDetermination :
|
||||
# But then, how to account for the provision of the law that reverts the
|
||||
# mechanism canceling taxes for individuals earning less than $10,000 dollars?
|
||||
|
||||
# This is where the "context" concept comes into play. Indeed, we had annotated
|
||||
# the "income_tax" variable of "NewIncomeTaxComputationFixed" with the
|
||||
# "context" attribute. "context" is a variant of "input" that exposes the
|
||||
# This is where the "context" concept comes into play. Indeed, we had
|
||||
# annotated the "income_tax" variable of "NewIncomeTaxComputationFixed" with
|
||||
# the "context" attribute. "context" is a variant of "input" that exposes the
|
||||
# variable as an input of the scope. However, it is more permissive than
|
||||
# "input" because it lets you re-define the "context" variable inside its
|
||||
# own scope. Then, you're faced with a choice for the value of "income_tax":
|
||||
|
||||
@ -205,7 +205,8 @@ scope Section121SinglePerson:
|
||||
else $0
|
||||
|
||||
scope Section121TwoPersons:
|
||||
definition section121a_requirements_met equals section121Person1.requirements_met
|
||||
definition section121a_requirements_met equals
|
||||
section121Person1.requirements_met
|
||||
|
||||
definition income_excluded_from_gross_income_uncapped equals
|
||||
section121Person1.income_excluded_from_gross_income_uncapped
|
||||
@ -379,7 +380,8 @@ scope Section121TwoPasses under condition
|
||||
|
||||
definition first_pass.date_of_sale_or_exchange equals
|
||||
match return_type with pattern
|
||||
-- SingleReturnSurvivingSpouse of single_data: single_data.date_of_spouse_death
|
||||
-- SingleReturnSurvivingSpouse of single_data:
|
||||
single_data.date_of_spouse_death
|
||||
-- SingleReturn of return: date_of_sale_or_exchange # does not happen
|
||||
-- JointReturn of return: date_of_sale_or_exchange # does not happen
|
||||
|
||||
|
||||
114
french_law/js/french_law.js
generated
114
french_law/js/french_law.js
generated
File diff suppressed because one or more lines are too long
192
french_law/ocaml/law_source/allocations_familiales.ml
generated
192
french_law/ocaml/law_source/allocations_familiales.ml
generated
@ -940,8 +940,8 @@ let prestations_familiales (prestations_familiales_in: PrestationsFamilialesIn.t
|
||||
([||])
|
||||
(fun (_: _) -> (log_decision_taken
|
||||
{filename = "examples/allocations_familiales/securite_sociale_R.catala_fr";
|
||||
start_line=216; start_column=18;
|
||||
end_line=216; end_column=41;
|
||||
start_line=217; start_column=18;
|
||||
end_line=217; end_column=41;
|
||||
law_headings=["Article R755-0-2";
|
||||
"Chapitre 5 : Prestations familiales et prestations assimilées";
|
||||
"Titre 5 : Départements d'outre-mer";
|
||||
@ -1566,7 +1566,7 @@ let allocations_familiales (allocations_familiales_in: AllocationsFamilialesIn.t
|
||||
"Prologue"]} ([||])
|
||||
(fun (_: _) -> (log_decision_taken
|
||||
{filename = "examples/allocations_familiales/securite_sociale_D.catala_fr";
|
||||
start_line=291; start_column=14; end_line=291; end_column=35;
|
||||
start_line=293; start_column=14; end_line=293; end_column=35;
|
||||
law_headings=["Article D521-2";
|
||||
"Chapitre 1er : Allocations familiales";
|
||||
"Titre 2 : Prestations générales d'entretien";
|
||||
@ -1982,7 +1982,7 @@ let allocations_familiales (allocations_familiales_in: AllocationsFamilialesIn.t
|
||||
(fun (_: _) -> false) (fun (_: _) -> raise EmptyError))|])
|
||||
(fun (_: _) -> (log_decision_taken
|
||||
{filename = "examples/allocations_familiales/securite_sociale_D.catala_fr";
|
||||
start_line=311; start_column=14; end_line=311; end_column=31;
|
||||
start_line=313; start_column=14; end_line=313; end_column=31;
|
||||
law_headings=["Article D521-3";
|
||||
"Chapitre 1er : Allocations familiales";
|
||||
"Titre 2 : Prestations générales d'entretien";
|
||||
@ -2116,7 +2116,7 @@ let allocations_familiales (allocations_familiales_in: AllocationsFamilialesIn.t
|
||||
(fun (_: _) -> false) (fun (_: _) -> raise EmptyError))|])
|
||||
(fun (_: _) -> (log_decision_taken
|
||||
{filename = "examples/allocations_familiales/securite_sociale_D.catala_fr";
|
||||
start_line=301; start_column=14; end_line=301; end_column=30;
|
||||
start_line=303; start_column=14; end_line=303; end_column=30;
|
||||
law_headings=["Article D521-3";
|
||||
"Chapitre 1er : Allocations familiales";
|
||||
"Titre 2 : Prestations générales d'entretien";
|
||||
@ -2344,8 +2344,8 @@ let allocations_familiales (allocations_familiales_in: AllocationsFamilialesIn.t
|
||||
"Prologue"]} ([||])
|
||||
(fun (_: _) -> (log_decision_taken
|
||||
{filename = "examples/allocations_familiales/decrets_divers.catala_fr";
|
||||
start_line=409; start_column=5;
|
||||
end_line=409; end_column=69;
|
||||
start_line=431; start_column=5;
|
||||
end_line=431; end_column=69;
|
||||
law_headings=["Annexe";
|
||||
"Décret n°2002-423 du 29 mars 2002 relatif aux prestations familiales à Mayotte";
|
||||
"Dispositions spéciales relatives à Mayotte"]}
|
||||
@ -2372,8 +2372,8 @@ let allocations_familiales (allocations_familiales_in: AllocationsFamilialesIn.t
|
||||
"Prologue"]} ([||])
|
||||
(fun (_: _) -> (log_decision_taken
|
||||
{filename = "examples/allocations_familiales/decrets_divers.catala_fr";
|
||||
start_line=416; start_column=5;
|
||||
end_line=416; end_column=69;
|
||||
start_line=439; start_column=5;
|
||||
end_line=439; end_column=69;
|
||||
law_headings=["Annexe";
|
||||
"Décret n°2002-423 du 29 mars 2002 relatif aux prestations familiales à Mayotte";
|
||||
"Dispositions spéciales relatives à Mayotte"]}
|
||||
@ -2400,8 +2400,8 @@ let allocations_familiales (allocations_familiales_in: AllocationsFamilialesIn.t
|
||||
"Prologue"]} ([||])
|
||||
(fun (_: _) -> (log_decision_taken
|
||||
{filename = "examples/allocations_familiales/decrets_divers.catala_fr";
|
||||
start_line=423; start_column=5;
|
||||
end_line=423; end_column=69;
|
||||
start_line=447; start_column=5;
|
||||
end_line=447; end_column=69;
|
||||
law_headings=["Annexe";
|
||||
"Décret n°2002-423 du 29 mars 2002 relatif aux prestations familiales à Mayotte";
|
||||
"Dispositions spéciales relatives à Mayotte"]}
|
||||
@ -2428,8 +2428,8 @@ let allocations_familiales (allocations_familiales_in: AllocationsFamilialesIn.t
|
||||
"Prologue"]} ([||])
|
||||
(fun (_: _) -> (log_decision_taken
|
||||
{filename = "examples/allocations_familiales/decrets_divers.catala_fr";
|
||||
start_line=430; start_column=5;
|
||||
end_line=430; end_column=69;
|
||||
start_line=455; start_column=5;
|
||||
end_line=455; end_column=69;
|
||||
law_headings=["Annexe";
|
||||
"Décret n°2002-423 du 29 mars 2002 relatif aux prestations familiales à Mayotte";
|
||||
"Dispositions spéciales relatives à Mayotte"]}
|
||||
@ -2456,8 +2456,8 @@ let allocations_familiales (allocations_familiales_in: AllocationsFamilialesIn.t
|
||||
"Prologue"]} ([||])
|
||||
(fun (_: _) -> (log_decision_taken
|
||||
{filename = "examples/allocations_familiales/decrets_divers.catala_fr";
|
||||
start_line=437; start_column=5;
|
||||
end_line=437; end_column=69;
|
||||
start_line=463; start_column=5;
|
||||
end_line=463; end_column=69;
|
||||
law_headings=["Annexe";
|
||||
"Décret n°2002-423 du 29 mars 2002 relatif aux prestations familiales à Mayotte";
|
||||
"Dispositions spéciales relatives à Mayotte"]}
|
||||
@ -2484,8 +2484,8 @@ let allocations_familiales (allocations_familiales_in: AllocationsFamilialesIn.t
|
||||
"Prologue"]} ([||])
|
||||
(fun (_: _) -> (log_decision_taken
|
||||
{filename = "examples/allocations_familiales/decrets_divers.catala_fr";
|
||||
start_line=444; start_column=5;
|
||||
end_line=444; end_column=69;
|
||||
start_line=471; start_column=5;
|
||||
end_line=471; end_column=69;
|
||||
law_headings=["Annexe";
|
||||
"Décret n°2002-423 du 29 mars 2002 relatif aux prestations familiales à Mayotte";
|
||||
"Dispositions spéciales relatives à Mayotte"]}
|
||||
@ -2512,8 +2512,8 @@ let allocations_familiales (allocations_familiales_in: AllocationsFamilialesIn.t
|
||||
"Prologue"]} ([||])
|
||||
(fun (_: _) -> (log_decision_taken
|
||||
{filename = "examples/allocations_familiales/decrets_divers.catala_fr";
|
||||
start_line=451; start_column=5;
|
||||
end_line=451; end_column=69;
|
||||
start_line=479; start_column=5;
|
||||
end_line=479; end_column=69;
|
||||
law_headings=["Annexe";
|
||||
"Décret n°2002-423 du 29 mars 2002 relatif aux prestations familiales à Mayotte";
|
||||
"Dispositions spéciales relatives à Mayotte"]}
|
||||
@ -2540,8 +2540,8 @@ let allocations_familiales (allocations_familiales_in: AllocationsFamilialesIn.t
|
||||
"Prologue"]} ([||])
|
||||
(fun (_: _) -> (log_decision_taken
|
||||
{filename = "examples/allocations_familiales/decrets_divers.catala_fr";
|
||||
start_line=458; start_column=5;
|
||||
end_line=458; end_column=69;
|
||||
start_line=487; start_column=5;
|
||||
end_line=487; end_column=69;
|
||||
law_headings=["Annexe";
|
||||
"Décret n°2002-423 du 29 mars 2002 relatif aux prestations familiales à Mayotte";
|
||||
"Dispositions spéciales relatives à Mayotte"]}
|
||||
@ -2568,8 +2568,8 @@ let allocations_familiales (allocations_familiales_in: AllocationsFamilialesIn.t
|
||||
"Prologue"]} ([||])
|
||||
(fun (_: _) -> (log_decision_taken
|
||||
{filename = "examples/allocations_familiales/decrets_divers.catala_fr";
|
||||
start_line=465; start_column=5;
|
||||
end_line=465; end_column=69;
|
||||
start_line=495; start_column=5;
|
||||
end_line=495; end_column=69;
|
||||
law_headings=["Annexe";
|
||||
"Décret n°2002-423 du 29 mars 2002 relatif aux prestations familiales à Mayotte";
|
||||
"Dispositions spéciales relatives à Mayotte"]}
|
||||
@ -2596,8 +2596,8 @@ let allocations_familiales (allocations_familiales_in: AllocationsFamilialesIn.t
|
||||
"Prologue"]} ([||])
|
||||
(fun (_: _) -> (log_decision_taken
|
||||
{filename = "examples/allocations_familiales/decrets_divers.catala_fr";
|
||||
start_line=472; start_column=5;
|
||||
end_line=472; end_column=69;
|
||||
start_line=503; start_column=5;
|
||||
end_line=503; end_column=69;
|
||||
law_headings=["Annexe";
|
||||
"Décret n°2002-423 du 29 mars 2002 relatif aux prestations familiales à Mayotte";
|
||||
"Dispositions spéciales relatives à Mayotte"]}
|
||||
@ -2738,8 +2738,8 @@ let allocations_familiales (allocations_familiales_in: AllocationsFamilialesIn.t
|
||||
"Prologue"]} ([||])
|
||||
(fun (_: _) -> (log_decision_taken
|
||||
{filename = "examples/allocations_familiales/decrets_divers.catala_fr";
|
||||
start_line=250; start_column=5;
|
||||
end_line=251; end_column=53;
|
||||
start_line=251; start_column=5;
|
||||
end_line=252; end_column=53;
|
||||
law_headings=["Annexe";
|
||||
"Décret n°2002-423 du 29 mars 2002 relatif aux prestations familiales à Mayotte";
|
||||
"Dispositions spéciales relatives à Mayotte"]}
|
||||
@ -2771,8 +2771,8 @@ let allocations_familiales (allocations_familiales_in: AllocationsFamilialesIn.t
|
||||
"Prologue"]} ([||])
|
||||
(fun (_: _) -> (log_decision_taken
|
||||
{filename = "examples/allocations_familiales/decrets_divers.catala_fr";
|
||||
start_line=258; start_column=5;
|
||||
end_line=259; end_column=53;
|
||||
start_line=260; start_column=5;
|
||||
end_line=261; end_column=53;
|
||||
law_headings=["Annexe";
|
||||
"Décret n°2002-423 du 29 mars 2002 relatif aux prestations familiales à Mayotte";
|
||||
"Dispositions spéciales relatives à Mayotte"]}
|
||||
@ -2804,8 +2804,8 @@ let allocations_familiales (allocations_familiales_in: AllocationsFamilialesIn.t
|
||||
"Prologue"]} ([||])
|
||||
(fun (_: _) -> (log_decision_taken
|
||||
{filename = "examples/allocations_familiales/decrets_divers.catala_fr";
|
||||
start_line=266; start_column=5;
|
||||
end_line=267; end_column=53;
|
||||
start_line=269; start_column=5;
|
||||
end_line=270; end_column=53;
|
||||
law_headings=["Annexe";
|
||||
"Décret n°2002-423 du 29 mars 2002 relatif aux prestations familiales à Mayotte";
|
||||
"Dispositions spéciales relatives à Mayotte"]}
|
||||
@ -2837,8 +2837,8 @@ let allocations_familiales (allocations_familiales_in: AllocationsFamilialesIn.t
|
||||
"Prologue"]} ([||])
|
||||
(fun (_: _) -> (log_decision_taken
|
||||
{filename = "examples/allocations_familiales/decrets_divers.catala_fr";
|
||||
start_line=274; start_column=5;
|
||||
end_line=275; end_column=53;
|
||||
start_line=278; start_column=5;
|
||||
end_line=279; end_column=53;
|
||||
law_headings=["Annexe";
|
||||
"Décret n°2002-423 du 29 mars 2002 relatif aux prestations familiales à Mayotte";
|
||||
"Dispositions spéciales relatives à Mayotte"]}
|
||||
@ -2870,8 +2870,8 @@ let allocations_familiales (allocations_familiales_in: AllocationsFamilialesIn.t
|
||||
"Prologue"]} ([||])
|
||||
(fun (_: _) -> (log_decision_taken
|
||||
{filename = "examples/allocations_familiales/decrets_divers.catala_fr";
|
||||
start_line=282; start_column=5;
|
||||
end_line=283; end_column=53;
|
||||
start_line=287; start_column=5;
|
||||
end_line=288; end_column=53;
|
||||
law_headings=["Annexe";
|
||||
"Décret n°2002-423 du 29 mars 2002 relatif aux prestations familiales à Mayotte";
|
||||
"Dispositions spéciales relatives à Mayotte"]}
|
||||
@ -2903,8 +2903,8 @@ let allocations_familiales (allocations_familiales_in: AllocationsFamilialesIn.t
|
||||
"Prologue"]} ([||])
|
||||
(fun (_: _) -> (log_decision_taken
|
||||
{filename = "examples/allocations_familiales/decrets_divers.catala_fr";
|
||||
start_line=290; start_column=5;
|
||||
end_line=291; end_column=53;
|
||||
start_line=296; start_column=5;
|
||||
end_line=297; end_column=53;
|
||||
law_headings=["Annexe";
|
||||
"Décret n°2002-423 du 29 mars 2002 relatif aux prestations familiales à Mayotte";
|
||||
"Dispositions spéciales relatives à Mayotte"]}
|
||||
@ -2936,8 +2936,8 @@ let allocations_familiales (allocations_familiales_in: AllocationsFamilialesIn.t
|
||||
"Prologue"]} ([||])
|
||||
(fun (_: _) -> (log_decision_taken
|
||||
{filename = "examples/allocations_familiales/decrets_divers.catala_fr";
|
||||
start_line=298; start_column=5;
|
||||
end_line=299; end_column=53;
|
||||
start_line=305; start_column=5;
|
||||
end_line=306; end_column=53;
|
||||
law_headings=["Annexe";
|
||||
"Décret n°2002-423 du 29 mars 2002 relatif aux prestations familiales à Mayotte";
|
||||
"Dispositions spéciales relatives à Mayotte"]}
|
||||
@ -2969,8 +2969,8 @@ let allocations_familiales (allocations_familiales_in: AllocationsFamilialesIn.t
|
||||
"Prologue"]} ([||])
|
||||
(fun (_: _) -> (log_decision_taken
|
||||
{filename = "examples/allocations_familiales/decrets_divers.catala_fr";
|
||||
start_line=306; start_column=5;
|
||||
end_line=307; end_column=53;
|
||||
start_line=314; start_column=5;
|
||||
end_line=315; end_column=53;
|
||||
law_headings=["Annexe";
|
||||
"Décret n°2002-423 du 29 mars 2002 relatif aux prestations familiales à Mayotte";
|
||||
"Dispositions spéciales relatives à Mayotte"]}
|
||||
@ -3002,8 +3002,8 @@ let allocations_familiales (allocations_familiales_in: AllocationsFamilialesIn.t
|
||||
"Prologue"]} ([||])
|
||||
(fun (_: _) -> (log_decision_taken
|
||||
{filename = "examples/allocations_familiales/decrets_divers.catala_fr";
|
||||
start_line=314; start_column=5;
|
||||
end_line=315; end_column=53;
|
||||
start_line=323; start_column=5;
|
||||
end_line=324; end_column=53;
|
||||
law_headings=["Annexe";
|
||||
"Décret n°2002-423 du 29 mars 2002 relatif aux prestations familiales à Mayotte";
|
||||
"Dispositions spéciales relatives à Mayotte"]}
|
||||
@ -3035,8 +3035,8 @@ let allocations_familiales (allocations_familiales_in: AllocationsFamilialesIn.t
|
||||
"Prologue"]} ([||])
|
||||
(fun (_: _) -> (log_decision_taken
|
||||
{filename = "examples/allocations_familiales/decrets_divers.catala_fr";
|
||||
start_line=322; start_column=5;
|
||||
end_line=323; end_column=53;
|
||||
start_line=332; start_column=5;
|
||||
end_line=333; end_column=53;
|
||||
law_headings=["Annexe";
|
||||
"Décret n°2002-423 du 29 mars 2002 relatif aux prestations familiales à Mayotte";
|
||||
"Dispositions spéciales relatives à Mayotte"]}
|
||||
@ -3068,8 +3068,8 @@ let allocations_familiales (allocations_familiales_in: AllocationsFamilialesIn.t
|
||||
"Prologue"]} ([||])
|
||||
(fun (_: _) -> (log_decision_taken
|
||||
{filename = "examples/allocations_familiales/decrets_divers.catala_fr";
|
||||
start_line=330; start_column=5;
|
||||
end_line=330; end_column=49;
|
||||
start_line=341; start_column=5;
|
||||
end_line=341; end_column=49;
|
||||
law_headings=["Annexe";
|
||||
"Décret n°2002-423 du 29 mars 2002 relatif aux prestations familiales à Mayotte";
|
||||
"Dispositions spéciales relatives à Mayotte"]}
|
||||
@ -3110,8 +3110,8 @@ let allocations_familiales (allocations_familiales_in: AllocationsFamilialesIn.t
|
||||
([||])
|
||||
(fun (_: _) -> (log_decision_taken
|
||||
{filename = "examples/allocations_familiales/securite_sociale_D.catala_fr";
|
||||
start_line=362; start_column=5;
|
||||
end_line=363; end_column=71;
|
||||
start_line=364; start_column=5;
|
||||
end_line=365; end_column=71;
|
||||
law_headings=["Article D755-5";
|
||||
"Chapitre 5 : Prestations familiales et prestations assimilées";
|
||||
"Titre 5 : Départements d'outre-mer";
|
||||
@ -3126,7 +3126,7 @@ let allocations_familiales (allocations_familiales_in: AllocationsFamilialesIn.t
|
||||
bmaf_dot_montant_ *$ (decimal_of_string "0.0588")))|])
|
||||
(fun (_: _) -> (log_decision_taken
|
||||
{filename = "examples/allocations_familiales/securite_sociale_D.catala_fr";
|
||||
start_line=359; start_column=29; end_line=359; end_column=64;
|
||||
start_line=361; start_column=29; end_line=361; end_column=64;
|
||||
law_headings=["Article D755-5";
|
||||
"Chapitre 5 : Prestations familiales et prestations assimilées";
|
||||
"Titre 5 : Départements d'outre-mer";
|
||||
@ -3408,8 +3408,8 @@ let allocations_familiales (allocations_familiales_in: AllocationsFamilialesIn.t
|
||||
"Prologue"]} ([||])
|
||||
(fun (_: _) -> (log_decision_taken
|
||||
{filename = "examples/allocations_familiales/securite_sociale_D.catala_fr";
|
||||
start_line=173; start_column=5;
|
||||
end_line=174; end_column=68;
|
||||
start_line=174; start_column=5;
|
||||
end_line=175; end_column=68;
|
||||
law_headings=["Article D521-1";
|
||||
"Chapitre 1er : Allocations familiales";
|
||||
"Titre 2 : Prestations générales d'entretien";
|
||||
@ -3431,8 +3431,8 @@ let allocations_familiales (allocations_familiales_in: AllocationsFamilialesIn.t
|
||||
(fun (_: _) -> false) (fun (_: _) -> raise EmptyError))|])
|
||||
(fun (_: _) -> (log_decision_taken
|
||||
{filename = "examples/allocations_familiales/securite_sociale_D.catala_fr";
|
||||
start_line=179; start_column=14;
|
||||
end_line=179; end_column=34;
|
||||
start_line=181; start_column=14;
|
||||
end_line=181; end_column=34;
|
||||
law_headings=["Article D521-1";
|
||||
"Chapitre 1er : Allocations familiales";
|
||||
"Titre 2 : Prestations générales d'entretien";
|
||||
@ -3471,8 +3471,8 @@ let allocations_familiales (allocations_familiales_in: AllocationsFamilialesIn.t
|
||||
([||])
|
||||
(fun (_: _) -> (log_decision_taken
|
||||
{filename = "examples/allocations_familiales/securite_sociale_D.catala_fr";
|
||||
start_line=218; start_column=5;
|
||||
end_line=218; end_column=43;
|
||||
start_line=220; start_column=5;
|
||||
end_line=220; end_column=43;
|
||||
law_headings=["Article D521-2";
|
||||
"Chapitre 1er : Allocations familiales";
|
||||
"Titre 2 : Prestations générales d'entretien";
|
||||
@ -3492,8 +3492,8 @@ let allocations_familiales (allocations_familiales_in: AllocationsFamilialesIn.t
|
||||
([||])
|
||||
(fun (_: _) -> (log_decision_taken
|
||||
{filename = "examples/allocations_familiales/securite_sociale_D.catala_fr";
|
||||
start_line=232; start_column=5;
|
||||
end_line=233; end_column=46;
|
||||
start_line=234; start_column=5;
|
||||
end_line=235; end_column=46;
|
||||
law_headings=["Article D521-2";
|
||||
"Chapitre 1er : Allocations familiales";
|
||||
"Titre 2 : Prestations générales d'entretien";
|
||||
@ -3514,8 +3514,8 @@ let allocations_familiales (allocations_familiales_in: AllocationsFamilialesIn.t
|
||||
([||])
|
||||
(fun (_: _) -> (log_decision_taken
|
||||
{filename = "examples/allocations_familiales/securite_sociale_D.catala_fr";
|
||||
start_line=246; start_column=5;
|
||||
end_line=246; end_column=43;
|
||||
start_line=248; start_column=5;
|
||||
end_line=248; end_column=43;
|
||||
law_headings=["Article D521-2";
|
||||
"Chapitre 1er : Allocations familiales";
|
||||
"Titre 2 : Prestations générales d'entretien";
|
||||
@ -3673,8 +3673,8 @@ let allocations_familiales (allocations_familiales_in: AllocationsFamilialesIn.t
|
||||
"Prologue"]} ([||])
|
||||
(fun (_: _) -> (log_decision_taken
|
||||
{filename = "examples/allocations_familiales/decrets_divers.catala_fr";
|
||||
start_line=338; start_column=5;
|
||||
end_line=338; end_column=69;
|
||||
start_line=350; start_column=5;
|
||||
end_line=350; end_column=69;
|
||||
law_headings=["Annexe";
|
||||
"Décret n°2002-423 du 29 mars 2002 relatif aux prestations familiales à Mayotte";
|
||||
"Dispositions spéciales relatives à Mayotte"]}
|
||||
@ -3703,8 +3703,8 @@ let allocations_familiales (allocations_familiales_in: AllocationsFamilialesIn.t
|
||||
"Prologue"]} ([||])
|
||||
(fun (_: _) -> (log_decision_taken
|
||||
{filename = "examples/allocations_familiales/decrets_divers.catala_fr";
|
||||
start_line=345; start_column=5;
|
||||
end_line=345; end_column=69;
|
||||
start_line=358; start_column=5;
|
||||
end_line=358; end_column=69;
|
||||
law_headings=["Annexe";
|
||||
"Décret n°2002-423 du 29 mars 2002 relatif aux prestations familiales à Mayotte";
|
||||
"Dispositions spéciales relatives à Mayotte"]}
|
||||
@ -3733,8 +3733,8 @@ let allocations_familiales (allocations_familiales_in: AllocationsFamilialesIn.t
|
||||
"Prologue"]} ([||])
|
||||
(fun (_: _) -> (log_decision_taken
|
||||
{filename = "examples/allocations_familiales/decrets_divers.catala_fr";
|
||||
start_line=352; start_column=5;
|
||||
end_line=352; end_column=69;
|
||||
start_line=366; start_column=5;
|
||||
end_line=366; end_column=69;
|
||||
law_headings=["Annexe";
|
||||
"Décret n°2002-423 du 29 mars 2002 relatif aux prestations familiales à Mayotte";
|
||||
"Dispositions spéciales relatives à Mayotte"]}
|
||||
@ -3763,8 +3763,8 @@ let allocations_familiales (allocations_familiales_in: AllocationsFamilialesIn.t
|
||||
"Prologue"]} ([||])
|
||||
(fun (_: _) -> (log_decision_taken
|
||||
{filename = "examples/allocations_familiales/decrets_divers.catala_fr";
|
||||
start_line=359; start_column=5;
|
||||
end_line=359; end_column=69;
|
||||
start_line=374; start_column=5;
|
||||
end_line=374; end_column=69;
|
||||
law_headings=["Annexe";
|
||||
"Décret n°2002-423 du 29 mars 2002 relatif aux prestations familiales à Mayotte";
|
||||
"Dispositions spéciales relatives à Mayotte"]}
|
||||
@ -3793,8 +3793,8 @@ let allocations_familiales (allocations_familiales_in: AllocationsFamilialesIn.t
|
||||
"Prologue"]} ([||])
|
||||
(fun (_: _) -> (log_decision_taken
|
||||
{filename = "examples/allocations_familiales/decrets_divers.catala_fr";
|
||||
start_line=366; start_column=5;
|
||||
end_line=366; end_column=69;
|
||||
start_line=382; start_column=5;
|
||||
end_line=382; end_column=69;
|
||||
law_headings=["Annexe";
|
||||
"Décret n°2002-423 du 29 mars 2002 relatif aux prestations familiales à Mayotte";
|
||||
"Dispositions spéciales relatives à Mayotte"]}
|
||||
@ -3823,8 +3823,8 @@ let allocations_familiales (allocations_familiales_in: AllocationsFamilialesIn.t
|
||||
"Prologue"]} ([||])
|
||||
(fun (_: _) -> (log_decision_taken
|
||||
{filename = "examples/allocations_familiales/decrets_divers.catala_fr";
|
||||
start_line=373; start_column=5;
|
||||
end_line=373; end_column=69;
|
||||
start_line=390; start_column=5;
|
||||
end_line=390; end_column=69;
|
||||
law_headings=["Annexe";
|
||||
"Décret n°2002-423 du 29 mars 2002 relatif aux prestations familiales à Mayotte";
|
||||
"Dispositions spéciales relatives à Mayotte"]}
|
||||
@ -3853,8 +3853,8 @@ let allocations_familiales (allocations_familiales_in: AllocationsFamilialesIn.t
|
||||
"Prologue"]} ([||])
|
||||
(fun (_: _) -> (log_decision_taken
|
||||
{filename = "examples/allocations_familiales/decrets_divers.catala_fr";
|
||||
start_line=380; start_column=5;
|
||||
end_line=380; end_column=69;
|
||||
start_line=398; start_column=5;
|
||||
end_line=398; end_column=69;
|
||||
law_headings=["Annexe";
|
||||
"Décret n°2002-423 du 29 mars 2002 relatif aux prestations familiales à Mayotte";
|
||||
"Dispositions spéciales relatives à Mayotte"]}
|
||||
@ -3883,8 +3883,8 @@ let allocations_familiales (allocations_familiales_in: AllocationsFamilialesIn.t
|
||||
"Prologue"]} ([||])
|
||||
(fun (_: _) -> (log_decision_taken
|
||||
{filename = "examples/allocations_familiales/decrets_divers.catala_fr";
|
||||
start_line=387; start_column=5;
|
||||
end_line=387; end_column=69;
|
||||
start_line=406; start_column=5;
|
||||
end_line=406; end_column=69;
|
||||
law_headings=["Annexe";
|
||||
"Décret n°2002-423 du 29 mars 2002 relatif aux prestations familiales à Mayotte";
|
||||
"Dispositions spéciales relatives à Mayotte"]}
|
||||
@ -3913,8 +3913,8 @@ let allocations_familiales (allocations_familiales_in: AllocationsFamilialesIn.t
|
||||
"Prologue"]} ([||])
|
||||
(fun (_: _) -> (log_decision_taken
|
||||
{filename = "examples/allocations_familiales/decrets_divers.catala_fr";
|
||||
start_line=394; start_column=5;
|
||||
end_line=394; end_column=69;
|
||||
start_line=414; start_column=5;
|
||||
end_line=414; end_column=69;
|
||||
law_headings=["Annexe";
|
||||
"Décret n°2002-423 du 29 mars 2002 relatif aux prestations familiales à Mayotte";
|
||||
"Dispositions spéciales relatives à Mayotte"]}
|
||||
@ -3943,8 +3943,8 @@ let allocations_familiales (allocations_familiales_in: AllocationsFamilialesIn.t
|
||||
"Prologue"]} ([||])
|
||||
(fun (_: _) -> (log_decision_taken
|
||||
{filename = "examples/allocations_familiales/decrets_divers.catala_fr";
|
||||
start_line=401; start_column=5;
|
||||
end_line=401; end_column=69;
|
||||
start_line=422; start_column=5;
|
||||
end_line=422; end_column=69;
|
||||
law_headings=["Annexe";
|
||||
"Décret n°2002-423 du 29 mars 2002 relatif aux prestations familiales à Mayotte";
|
||||
"Dispositions spéciales relatives à Mayotte"]}
|
||||
@ -4268,7 +4268,7 @@ let allocations_familiales (allocations_familiales_in: AllocationsFamilialesIn.t
|
||||
"Prologue"]} ([||])
|
||||
(fun (_: _) -> (log_decision_taken
|
||||
{filename = "examples/allocations_familiales/securite_sociale_D.catala_fr";
|
||||
start_line=197; start_column=14; end_line=197; end_column=39;
|
||||
start_line=199; start_column=14; end_line=199; end_column=39;
|
||||
law_headings=["Article D521-2";
|
||||
"Chapitre 1er : Allocations familiales";
|
||||
"Titre 2 : Prestations générales d'entretien";
|
||||
@ -4328,8 +4328,8 @@ let allocations_familiales (allocations_familiales_in: AllocationsFamilialesIn.t
|
||||
"Prologue"]} ([||])
|
||||
(fun (_: _) -> (log_decision_taken
|
||||
{filename = "examples/allocations_familiales/securite_sociale_D.catala_fr";
|
||||
start_line=353; start_column=5;
|
||||
end_line=354; end_column=69;
|
||||
start_line=355; start_column=5;
|
||||
end_line=356; end_column=69;
|
||||
law_headings=["Article D755-5";
|
||||
"Chapitre 5 : Prestations familiales et prestations assimilées";
|
||||
"Titre 5 : Départements d'outre-mer";
|
||||
@ -4410,8 +4410,8 @@ let allocations_familiales (allocations_familiales_in: AllocationsFamilialesIn.t
|
||||
"Prologue"]} ([||])
|
||||
(fun (_: _) -> (log_decision_taken
|
||||
{filename = "examples/allocations_familiales/securite_sociale_D.catala_fr";
|
||||
start_line=376; start_column=5;
|
||||
end_line=380; end_column=57;
|
||||
start_line=378; start_column=5;
|
||||
end_line=382; end_column=57;
|
||||
law_headings=["Article D755-5";
|
||||
"Chapitre 5 : Prestations familiales et prestations assimilées";
|
||||
"Titre 5 : Départements d'outre-mer";
|
||||
@ -4458,8 +4458,8 @@ let allocations_familiales (allocations_familiales_in: AllocationsFamilialesIn.t
|
||||
"Prologue"]} ([||])
|
||||
(fun (_: _) -> (log_decision_taken
|
||||
{filename = "examples/allocations_familiales/securite_sociale_D.catala_fr";
|
||||
start_line=386; start_column=5;
|
||||
end_line=389; end_column=58;
|
||||
start_line=388; start_column=5;
|
||||
end_line=391; end_column=58;
|
||||
law_headings=["Article D755-5";
|
||||
"Chapitre 5 : Prestations familiales et prestations assimilées";
|
||||
"Titre 5 : Départements d'outre-mer";
|
||||
@ -4555,8 +4555,8 @@ let allocations_familiales (allocations_familiales_in: AllocationsFamilialesIn.t
|
||||
"Prologue"]} ([||])
|
||||
(fun (_: _) -> (log_decision_taken
|
||||
{filename = "examples/allocations_familiales/securite_sociale_D.catala_fr";
|
||||
start_line=265; start_column=5;
|
||||
end_line=267; end_column=42;
|
||||
start_line=267; start_column=5;
|
||||
end_line=269; end_column=42;
|
||||
law_headings=["Article D521-2";
|
||||
"Chapitre 1er : Allocations familiales";
|
||||
"Titre 2 : Prestations générales d'entretien";
|
||||
@ -4585,8 +4585,8 @@ let allocations_familiales (allocations_familiales_in: AllocationsFamilialesIn.t
|
||||
"Prologue"]} ([||])
|
||||
(fun (_: _) -> (log_decision_taken
|
||||
{filename = "examples/allocations_familiales/securite_sociale_D.catala_fr";
|
||||
start_line=275; start_column=5;
|
||||
end_line=277; end_column=41;
|
||||
start_line=277; start_column=5;
|
||||
end_line=279; end_column=41;
|
||||
law_headings=["Article D521-2";
|
||||
"Chapitre 1er : Allocations familiales";
|
||||
"Titre 2 : Prestations générales d'entretien";
|
||||
@ -4608,7 +4608,7 @@ let allocations_familiales (allocations_familiales_in: AllocationsFamilialesIn.t
|
||||
(fun (_: _) -> false) (fun (_: _) -> raise EmptyError))|])
|
||||
(fun (_: _) -> (log_decision_taken
|
||||
{filename = "examples/allocations_familiales/securite_sociale_D.catala_fr";
|
||||
start_line=283; start_column=14; end_line=283; end_column=55;
|
||||
start_line=285; start_column=14; end_line=285; end_column=55;
|
||||
law_headings=["Article D521-2";
|
||||
"Chapitre 1er : Allocations familiales";
|
||||
"Titre 2 : Prestations générales d'entretien";
|
||||
@ -4661,8 +4661,8 @@ let allocations_familiales (allocations_familiales_in: AllocationsFamilialesIn.t
|
||||
[||])
|
||||
(fun (_: _) -> (log_decision_taken
|
||||
{filename = "examples/allocations_familiales/securite_sociale_R.catala_fr";
|
||||
start_line=187; start_column=5;
|
||||
end_line=187; end_column=43;
|
||||
start_line=188; start_column=5;
|
||||
end_line=188; end_column=43;
|
||||
law_headings=["Article R521-4";
|
||||
"Chapitre 1er : Allocations familiales";
|
||||
"Titre 2 : Prestations générales d'entretien";
|
||||
@ -4773,7 +4773,7 @@ let allocations_familiales (allocations_familiales_in: AllocationsFamilialesIn.t
|
||||
"Prologue"]} ([||])
|
||||
(fun (_: _) -> (log_decision_taken
|
||||
{filename = "examples/allocations_familiales/securite_sociale_D.catala_fr";
|
||||
start_line=187; start_column=14; end_line=187; end_column=61;
|
||||
start_line=189; start_column=14; end_line=189; end_column=61;
|
||||
law_headings=["Article D521-1";
|
||||
"Chapitre 1er : Allocations familiales";
|
||||
"Titre 2 : Prestations générales d'entretien";
|
||||
@ -4798,7 +4798,7 @@ let allocations_familiales (allocations_familiales_in: AllocationsFamilialesIn.t
|
||||
"Prologue"]} ([||])
|
||||
(fun (_: _) -> (log_decision_taken
|
||||
{filename = "examples/allocations_familiales/securite_sociale_D.catala_fr";
|
||||
start_line=181; start_column=14; end_line=181; end_column=62;
|
||||
start_line=183; start_column=14; end_line=183; end_column=62;
|
||||
law_headings=["Article D521-1";
|
||||
"Chapitre 1er : Allocations familiales";
|
||||
"Titre 2 : Prestations générales d'entretien";
|
||||
|
||||
3961
french_law/python/src/aides_logement.py
generated
3961
french_law/python/src/aides_logement.py
generated
File diff suppressed because it is too large
Load Diff
46
french_law/python/src/allocations_familiales.py
generated
46
french_law/python/src/allocations_familiales.py
generated
@ -2165,7 +2165,11 @@ def allocations_familiales(allocations_familiales_in:AllocationsFamilialesIn):
|
||||
def temp_complement_degressif(param_8:Money):
|
||||
try:
|
||||
try:
|
||||
try:
|
||||
def temp_complement_degressif_1(_:Any):
|
||||
raise EmptyError
|
||||
def temp_complement_degressif_2(_:Any):
|
||||
return False
|
||||
def temp_complement_degressif_3(_:Any):
|
||||
if ((ressources_menage > plafond__i_i_d521_3) and
|
||||
(ressources_menage <= (plafond__i_i_d521_3 +
|
||||
(param_8 *
|
||||
@ -2177,7 +2181,7 @@ def allocations_familiales(allocations_familiales_in:AllocationsFamilialesIn):
|
||||
decimal_of_string("12.")))
|
||||
else:
|
||||
raise EmptyError
|
||||
except EmptyError:
|
||||
def temp_complement_degressif_4(_:Any):
|
||||
if ((ressources_menage > plafond__i_d521_3) and
|
||||
(ressources_menage <= (plafond__i_d521_3 +
|
||||
(param_8 *
|
||||
@ -2189,6 +2193,15 @@ def allocations_familiales(allocations_familiales_in:AllocationsFamilialesIn):
|
||||
decimal_of_string("12.")))
|
||||
else:
|
||||
raise EmptyError
|
||||
return handle_default(SourcePosition(filename="examples/allocations_familiales/prologue.catala_fr",
|
||||
start_line=134, start_column=11,
|
||||
end_line=134, end_column=31,
|
||||
law_headings=["Allocations familiales",
|
||||
"Champs d'applications",
|
||||
"Prologue"]), [temp_complement_degressif_4,
|
||||
temp_complement_degressif_3],
|
||||
temp_complement_degressif_2,
|
||||
temp_complement_degressif_1)
|
||||
except EmptyError:
|
||||
return money_of_cents_string("0")
|
||||
except EmptyError:
|
||||
@ -2749,41 +2762,52 @@ def allocations_familiales(allocations_familiales_in:AllocationsFamilialesIn):
|
||||
montant_initial_majoration = temp_montant_initial_majoration
|
||||
try:
|
||||
try:
|
||||
try:
|
||||
def temp_montant_verse_complement_pour_forfaitaire(_:Any):
|
||||
raise EmptyError
|
||||
def temp_montant_verse_complement_pour_forfaitaire_1(_:Any):
|
||||
return False
|
||||
def temp_montant_verse_complement_pour_forfaitaire_2(_:Any):
|
||||
if ((ressources_menage > plafond__i_i_d521_3) and
|
||||
(ressources_menage <= (plafond__i_i_d521_3 +
|
||||
(montant_verse_forfaitaire *
|
||||
decimal_of_string("12."))))):
|
||||
temp_montant_verse_complement_pour_forfaitaire = (((plafond__i_i_d521_3 +
|
||||
return (((plafond__i_i_d521_3 +
|
||||
(montant_verse_forfaitaire *
|
||||
decimal_of_string("12."))) - ressources_menage) *
|
||||
(decimal_of_string("1.") / decimal_of_string("12.")))
|
||||
else:
|
||||
temp_montant_verse_complement_pour_forfaitaire = dead_value
|
||||
raise EmptyError
|
||||
except EmptyError:
|
||||
def temp_montant_verse_complement_pour_forfaitaire_3(_:Any):
|
||||
if ((ressources_menage > plafond__i_d521_3) and
|
||||
(ressources_menage <= (plafond__i_d521_3 +
|
||||
(montant_verse_forfaitaire *
|
||||
decimal_of_string("12."))))):
|
||||
temp_montant_verse_complement_pour_forfaitaire = (((plafond__i_d521_3 +
|
||||
return (((plafond__i_d521_3 +
|
||||
(montant_verse_forfaitaire *
|
||||
decimal_of_string("12."))) - ressources_menage) *
|
||||
(decimal_of_string("1.") / decimal_of_string("12.")))
|
||||
else:
|
||||
temp_montant_verse_complement_pour_forfaitaire = dead_value
|
||||
raise EmptyError
|
||||
temp_montant_verse_complement_pour_forfaitaire_4 = handle_default(
|
||||
SourcePosition(filename="examples/allocations_familiales/prologue.catala_fr",
|
||||
start_line=136, start_column=11, end_line=136, end_column=52,
|
||||
law_headings=["Allocations familiales",
|
||||
"Champs d'applications",
|
||||
"Prologue"]), [temp_montant_verse_complement_pour_forfaitaire_3,
|
||||
temp_montant_verse_complement_pour_forfaitaire_2],
|
||||
temp_montant_verse_complement_pour_forfaitaire_1,
|
||||
temp_montant_verse_complement_pour_forfaitaire)
|
||||
except EmptyError:
|
||||
temp_montant_verse_complement_pour_forfaitaire = money_of_cents_string("0")
|
||||
temp_montant_verse_complement_pour_forfaitaire_4 = money_of_cents_string("0")
|
||||
except EmptyError:
|
||||
temp_montant_verse_complement_pour_forfaitaire = dead_value
|
||||
temp_montant_verse_complement_pour_forfaitaire_4 = dead_value
|
||||
raise NoValueProvided(SourcePosition(filename="examples/allocations_familiales/prologue.catala_fr",
|
||||
start_line=136, start_column=11,
|
||||
end_line=136, end_column=52,
|
||||
law_headings=["Allocations familiales",
|
||||
"Champs d'applications",
|
||||
"Prologue"]))
|
||||
montant_verse_complement_pour_forfaitaire = temp_montant_verse_complement_pour_forfaitaire
|
||||
montant_verse_complement_pour_forfaitaire = temp_montant_verse_complement_pour_forfaitaire_4
|
||||
try:
|
||||
temp_montant_avec_garde_alternee_base = (montant_initial_base *
|
||||
rapport_enfants_total_moyen)
|
||||
|
||||
Loading…
Reference in New Issue
Block a user