mirror of
https://github.com/CatalaLang/catala.git
synced 2024-11-08 07:51:43 +03:00
Clean allocations_familiales with help of lints
This commit is contained in:
Denis Merigoux
parent
16ab1b310d
commit
3932da6648
@ -37,15 +37,6 @@ déclaration énumération VersementAllocations:
|
||||
-- Normal
|
||||
-- AllocationVerséeAuxServicesSociaux
|
||||
|
||||
déclaration énumération ÉlémentPrestationsFamiliales:
|
||||
-- PrestationAccueilJeuneEnfant
|
||||
-- AllocationsFamiliales
|
||||
-- ComplémentFamilial
|
||||
-- AllocationLogement
|
||||
-- AllocationÉducationEnfantHandicapé
|
||||
-- AllocationSoutienFamilial
|
||||
-- AllocationRentréeScolaire
|
||||
-- AllocationJournalièrePresenceParentale
|
||||
```
|
||||
|
||||
## Champs d'applications
|
||||
@ -60,7 +51,6 @@ déclaration champ d'application PrestationsFamiliales:
|
||||
résultat âge_l512_3_2 contenu durée
|
||||
résultat régime_outre_mer_l751_1 condition
|
||||
entrée date_courante contenu date
|
||||
entrée prestation_courante contenu ÉlémentPrestationsFamiliales
|
||||
entrée résidence contenu Collectivité
|
||||
smic champ d'application Smic
|
||||
|
||||
@ -95,7 +85,7 @@ déclaration champ d'application AllocationsFamiliales:
|
||||
interne enfants_à_charge_droit_ouvert_prestation_familiale
|
||||
contenu collection Enfant
|
||||
interne prise_en_compte contenu PriseEnCompte dépend de enfant contenu Enfant
|
||||
interne versement contenu VersementAllocations dépend de enfant contenu Enfant
|
||||
résultat versement contenu VersementAllocations dépend de enfant contenu Enfant
|
||||
|
||||
résultat montant_versé contenu argent
|
||||
|
||||
@ -148,7 +138,6 @@ déclaration champ d'application AllocationsFamiliales:
|
||||
bmaf champ d'application BaseMensuelleAllocationsFamiliales
|
||||
|
||||
# Plafonds, âges limites et autres constantes
|
||||
interne nombre_enfants_l521_1 contenu entier
|
||||
interne âge_minimum_alinéa_1_l521_3 contenu durée
|
||||
dépend de enfant contenu Enfant
|
||||
interne nombre_enfants_alinéa_2_l521_3 contenu entier
|
||||
@ -158,8 +147,6 @@ déclaration champ d'application AllocationsFamiliales:
|
||||
interne plafond_II_d521_3 contenu argent
|
||||
|
||||
champ d'application AllocationsFamiliales:
|
||||
définition prestations_familiales.prestation_courante égal à
|
||||
AllocationsFamiliales
|
||||
définition prestations_familiales.date_courante égal à
|
||||
date_courante
|
||||
définition prestations_familiales.résidence égal à
|
||||
|
||||
@ -291,7 +291,7 @@ l'article L. 521-1 est fixé à trois.
|
||||
|
||||
```catala
|
||||
champ d'application AllocationsFamiliales :
|
||||
définition nombre_enfants_l521_1 égal à 3
|
||||
définition nombre_enfants_alinéa_2_l521_3 égal à 3
|
||||
```
|
||||
|
||||
####### Article D521-3|LEGIARTI000030678079
|
||||
|
||||
@ -112,7 +112,7 @@ ou des enfants.
|
||||
# ce programme.
|
||||
```
|
||||
|
||||
###### Article R521-3|LEGIARTI000006750610
|
||||
###### Article R521-3 | LEGIARTI000006750610
|
||||
|
||||
Sous réserve de l'article R. 521-4, dans les situations visées aux 1° et 2° de
|
||||
l'article R. 521-2 , la prestation due à chacun des parents est égale au
|
||||
|
||||
@ -350,89 +350,6 @@ champ d'application Test14:
|
||||
|
||||
```catala-test-inline
|
||||
$ catala Typecheck
|
||||
[WARNING] In scope "PrestationsFamiliales", the variable "prestation_courante" is never used anywhere; maybe it's unnecessary?
|
||||
|
||||
┌─⯈ examples/allocations_familiales/tests/../prologue.catala_fr:63.9-28:
|
||||
└──┐
|
||||
63 │ entrée prestation_courante contenu ÉlémentPrestationsFamiliales
|
||||
│ ‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾
|
||||
└┬ Prologue
|
||||
└┬ Champs d'applications
|
||||
└─ Prestations familiales
|
||||
[WARNING] In scope "AllocationsFamiliales", the variable "versement" is never used anywhere; maybe it's unnecessary?
|
||||
|
||||
┌─⯈ examples/allocations_familiales/tests/../prologue.catala_fr:98.10-19:
|
||||
└──┐
|
||||
98 │ interne versement contenu VersementAllocations dépend de enfant contenu Enfant
|
||||
│ ‾‾‾‾‾‾‾‾‾
|
||||
└┬ Prologue
|
||||
└┬ Champs d'applications
|
||||
└─ Allocations familiales
|
||||
[WARNING] In scope "AllocationsFamiliales", the variable "nombre_enfants_l521_1" is never used anywhere; maybe it's unnecessary?
|
||||
|
||||
┌─⯈ examples/allocations_familiales/tests/../prologue.catala_fr:151.10-31:
|
||||
└───┐
|
||||
151 │ interne nombre_enfants_l521_1 contenu entier
|
||||
│ ‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾
|
||||
└┬ Prologue
|
||||
└┬ Champs d'applications
|
||||
└─ Allocations familiales
|
||||
[WARNING] The constructor "PrestationAccueilJeuneEnfant" of enumeration "ÉlémentPrestationsFamiliales" is never used; maybe it's unnecessary?
|
||||
|
||||
┌─⯈ examples/allocations_familiales/tests/../prologue.catala_fr:41.5-33:
|
||||
└──┐
|
||||
41 │ -- PrestationAccueilJeuneEnfant
|
||||
│ ‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾
|
||||
└┬ Prologue
|
||||
└─ Types de données manipulées par le programme
|
||||
[WARNING] The constructor "ComplémentFamilial" of enumeration "ÉlémentPrestationsFamiliales" is never used; maybe it's unnecessary?
|
||||
|
||||
┌─⯈ examples/allocations_familiales/tests/../prologue.catala_fr:43.5-23:
|
||||
└──┐
|
||||
43 │ -- ComplémentFamilial
|
||||
│ ‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾
|
||||
└┬ Prologue
|
||||
└─ Types de données manipulées par le programme
|
||||
[WARNING] The constructor "AllocationLogement" of enumeration "ÉlémentPrestationsFamiliales" is never used; maybe it's unnecessary?
|
||||
|
||||
┌─⯈ examples/allocations_familiales/tests/../prologue.catala_fr:44.5-23:
|
||||
└──┐
|
||||
44 │ -- AllocationLogement
|
||||
│ ‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾
|
||||
└┬ Prologue
|
||||
└─ Types de données manipulées par le programme
|
||||
[WARNING] The constructor "AllocationÉducationEnfantHandicapé" of enumeration "ÉlémentPrestationsFamiliales" is never used; maybe it's unnecessary?
|
||||
|
||||
┌─⯈ examples/allocations_familiales/tests/../prologue.catala_fr:45.5-39:
|
||||
└──┐
|
||||
45 │ -- AllocationÉducationEnfantHandicapé
|
||||
│ ‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾
|
||||
└┬ Prologue
|
||||
└─ Types de données manipulées par le programme
|
||||
[WARNING] The constructor "AllocationSoutienFamilial" of enumeration "ÉlémentPrestationsFamiliales" is never used; maybe it's unnecessary?
|
||||
|
||||
┌─⯈ examples/allocations_familiales/tests/../prologue.catala_fr:46.5-30:
|
||||
└──┐
|
||||
46 │ -- AllocationSoutienFamilial
|
||||
│ ‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾
|
||||
└┬ Prologue
|
||||
└─ Types de données manipulées par le programme
|
||||
[WARNING] The constructor "AllocationRentréeScolaire" of enumeration "ÉlémentPrestationsFamiliales" is never used; maybe it's unnecessary?
|
||||
|
||||
┌─⯈ examples/allocations_familiales/tests/../prologue.catala_fr:47.5-30:
|
||||
└──┐
|
||||
47 │ -- AllocationRentréeScolaire
|
||||
│ ‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾
|
||||
└┬ Prologue
|
||||
└─ Types de données manipulées par le programme
|
||||
[WARNING] The constructor "AllocationJournalièrePresenceParentale" of enumeration "ÉlémentPrestationsFamiliales" is never used; maybe it's unnecessary?
|
||||
|
||||
┌─⯈ examples/allocations_familiales/tests/../prologue.catala_fr:48.5-43:
|
||||
└──┐
|
||||
48 │ -- AllocationJournalièrePresenceParentale
|
||||
│ ‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾
|
||||
└┬ Prologue
|
||||
└─ Types de données manipulées par le programme
|
||||
[RESULT] Typechecking successful!
|
||||
```
|
||||
|
||||
|
||||
@ -53,7 +53,6 @@ déclaration champ d'application Test1:
|
||||
|
||||
champ d'application Test1:
|
||||
définition f.date_courante égal à |2020-05-01|
|
||||
définition f.prestation_courante égal à AllocationsFamiliales
|
||||
définition f.résidence égal à Métropole
|
||||
assertion (f.droit_ouvert de données.enfant1)
|
||||
assertion (non (f.droit_ouvert de données.enfant2))
|
||||
|
||||
Loading…
Reference in New Issue
Block a user