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

change 'zawartosc' which means 'content' to 'typu' which means 'of the type..'

Browse Source
This commit is contained in:
Bartosz Woźniak 2021-05-12 19:42:40 +02:00
parent c4e39f159f
commit f70e3e4296
4 changed files with 16 additions and 16 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

24
examples/polish_taxes/podatek_od_czynnosci_cywilnoprawnych/rozdzial_3.catala_pl
View File

@ -12,9 +12,9 @@ a) nieruchomości, rzeczy ruchomych, prawa użytkowania wieczystego, własności
```catala
deklaracja zakres UmowaSprzedazy:
kontekst kwota zawartosc pieniadze
kontekst stawka zawartosc dziesietna
kontekst podatek zawartosc pieniadze
kontekst kwota typu pieniadze
kontekst stawka typu dziesietna
kontekst podatek typu pieniadze
kontekst inne_prawa_majatkowe warunek
zakres UmowaSprzedazy:
@ -43,9 +43,9 @@ mieszkalnego, spółdzielczego prawa do lokalu użytkowego oraz wynikających z
```catala
deklaracja zakres UmowaZamianyLubDarowizny:
kontekst kwota zawartosc pieniadze
kontekst stawka zawartosc dziesietna
kontekst podatek zawartosc pieniadze
kontekst kwota typu pieniadze
kontekst stawka typu dziesietna
kontekst podatek typu pieniadze
kontekst inne_prawa_majatkowe warunek
zakres UmowaZamianyLubDarowizny:
@ -71,9 +71,9 @@ zakres UmowaZamianyLubDarowizny:
```catala
deklaracja zakres OdplatneUzytkowanie:
kontekst kwota zawartosc pieniadze
kontekst stawka zawartosc dziesietna
kontekst podatek zawartosc pieniadze
kontekst kwota typu pieniadze
kontekst stawka typu dziesietna
kontekst podatek typu pieniadze
zakres OdplatneUzytkowanie:
definicja podatek wynosi
@ -87,9 +87,9 @@ zakres OdplatneUzytkowanie:
```catala
deklaracja zakres PozyczkaLubDepozytNieprawidlowy:
kontekst kwota zawartosc pieniadze
kontekst stawka zawartosc dziesietna
kontekst podatek zawartosc pieniadze
kontekst kwota typu pieniadze
kontekst stawka typu dziesietna
kontekst podatek typu pieniadze
zakres PozyczkaLubDepozytNieprawidlowy:
definicja podatek wynosi

4
src/catala/surface/lexer_pl.ml
View File

@ -53,7 +53,7 @@ let token_list : (string * token) list =
("jezeli", IF);
("wtedy", THEN);
("inaczej", ELSE);
("zawartosc", CONTENT);
("typu", CONTENT);
("struktura", STRUCT);
("asercja", ASSERTION);
("rozna", VARIES);
@ -204,7 +204,7 @@ let rec lex_code (lexbuf : lexbuf) : token =
| "warunek" ->
L.update_acc lexbuf;
CONDITION
| "zawartosc" ->
| "typu" ->
L.update_acc lexbuf;
CONTENT
| "struktura" ->

2
syntax_highlighting/pl/catala_pl.iro
View File

@ -213,7 +213,7 @@ code : context {
}
: pattern {
regex \= \b(zakres|zalezy\s+od|deklaracja|kolekcja|zawartosc|opcjonalny|struktura|enumeracja|kontekst|zasada|pod\s+warunkuem|czas|konsekwencja|spelnione|wynosi|asercja|definicja|etykieta|wyjatek)\b
regex \= \b(zakres|zalezy\s+od|deklaracja|kolekcja|typu|opcjonalny|struktura|enumeracja|kontekst|zasada|pod\s+warunkuem|czas|konsekwencja|spelnione|wynosi|asercja|definicja|etykieta|wyjatek)\b
styles [] = .keyword_rule ;
}

2
syntax_highlighting/pl/pygments/catala_pl_lexer/lexer.py
View File

@ -25,7 +25,7 @@ class CatalaPlLexer(RegexLexer):
(u'(\\s*\\#.*$)', bygroups(Comment.Single)),
(u'(kontekst)(\\s+)([a-z\u0105\u0107\u0119\u0142\u0144\xf3\u015b\u017c\u017a][a-z\u0105\u0107\u0119\u0142\u0144\xf3\u015b\u017c\u017aA-Z\u0104\u0106\u0118\u0141\u0143\xd3\u015a\u017b\u01790-9_\\\']*)', bygroups(Keyword.Declaration, Text, Name.Variable)),
(u'\\b(pasuje|ze\\s+wzorem|staloprzecinkowa|przez|malejacy|rosnacy|rozna|wraz z|mamy|w|takich ze|istnieje|dla|wszystkie|z|jezeli|wtedy|inaczej|poczatkowy)\\b', bygroups(Keyword.Reserved)),
(u'\\b(zakres|zalezy\\s+od|deklaracja|kolekcja|zawartosc|opcjonalny|struktura|enumeracja|kontekst|zasada|pod\\s+warunkuem|czas|konsekwencja|spelnione|wynosi|asercja|definicja|etykieta|wyjatek)\\b', bygroups(Keyword.Declaration)),
(u'\\b(zakres|zalezy\\s+od|deklaracja|kolekcja|typu|opcjonalny|struktura|enumeracja|kontekst|zasada|pod\\s+warunkuem|czas|konsekwencja|spelnione|wynosi|asercja|definicja|etykieta|wyjatek)\\b', bygroups(Keyword.Declaration)),
(u'(\\|[0-9]+/[0-9]+/[0-9]+\\|)', bygroups(Number.Integer)),
(u'\\b(prawda|falsz)\\b', bygroups(Keyword.Constant)),
(u'\\b([0-9]+(,[0.9]*|))\\b', bygroups(Number.Integer)),