Commit Graph

57 Commits

Author SHA1 Message Date
Raphaël AMIARD
e5357ae48a RA22-015: cleanup method vs field emission 2020-03-27 16:46:10 +01:00
Pierre-Marie de Rodat
de58c96d16 Testsuite: factorize common lexers in the concrete syntax
TN: RA22-015
2020-03-16 10:41:18 +01:00
Pierre-Marie de Rodat
05ca4fbcb1 Slightly change lexer annotation syntax
Since @text, @trivia and @symbol take arguments, enforce parens for
them.

TN: RA22-015
2020-03-16 10:41:18 +01:00
Raphaël AMIARD
d49038c3f3 RA22-015: SymbolType -> Symbol in dsl_unparse 2020-03-12 14:37:52 +01:00
Raphaël AMIARD
a27dc927d5 RA22-015: Remove as_bool from unparser result 2020-03-12 14:37:52 +01:00
Pierre-Marie de Rodat
a5a0cb8509 Lkt: restore type-inferred list parser: list+(...)/list*(...)
TN: RA22-015
2020-03-06 11:42:49 +01:00
Romain Beguet
0612dde534 RA22-015: Make WithText the default token action. 2020-03-05 17:01:26 +01:00
Romain Beguet
7287f3f275 RA22-015: Fix syntax of token families. 2020-03-05 17:01:26 +01:00
Pierre-Marie de Rodat
7b274d372e Lkt: change the syntax for grammar pick expressions
TN: RA22-015
2020-02-27 18:17:42 +01:00
Pierre-Marie de Rodat
8d0ca9eb51 Lkt: change the syntax for grammar list expressions
TN: RA22-015
2020-02-27 18:17:42 +01:00
Raphaël AMIARD
3dfab64e9c RA22-015: Introduce enum classes 2020-02-27 17:05:43 +01:00
Pierre-Marie de Rodat
383670d486 Extend support for LKT grammars, transition tests
TN: RA22-015
2020-02-27 13:43:20 +01:00
Pierre-Marie de Rodat
402e45bf79 Change the naming convention in the DSL for enum alternative types
Update the concrete syntax grammar to support it.

TN: RA22-015
2020-02-27 13:43:20 +01:00
Romain Beguet
9467a5a42c RA22-015: Add lexer parser and unparser to concrete syntax. 2020-02-27 11:41:20 +01:00
Romain Beguet
e723071116 RA22-015: Unparse token names in lower case and avoid conflicts. 2020-02-26 17:06:07 +01:00
Pierre-Marie de Rodat
fed6874e3b dsl_unparse: change the naming convention for grammars
TN: RA22-015
2020-02-26 12:09:38 +01:00
Pierre-Marie de Rodat
03514cf10d Extend the concrete syntax to support List parsers' list_cls setting
TN: RA22-015
2020-02-26 12:09:38 +01:00
Pierre-Marie de Rodat
084cc1509f dsl_unparse: fix precedence issues with extract parsers
TN: RA22-015
2020-02-26 12:09:38 +01:00
Pierre-Marie de Rodat
d8e21b08ba dsl_unparse: fix unparsing of List parsers (switch + and *)
TN: RA22-015
2020-02-26 12:09:38 +01:00
Pierre-Marie de Rodat
5353f6da3a dsl_unparse: preserve grammar rules order
TN: RA22-015
2020-02-26 12:09:38 +01:00
Pierre-Marie de Rodat
fd82fc1d46 dsl_unparse: fix unparsing of booleanizing Opt parsers
TN: RA22-015
2020-02-26 12:09:38 +01:00
Pierre-Marie de Rodat
e586a93d9a dsl_unparse: unparse main grammar rules
TN: RA22-015
2020-02-26 12:09:38 +01:00
Pierre-Marie de Rodat
3237629d7d dsl_unparse: fix grammar name computation
Also use "Foo" as the short name for example libraries in testcases.

TN: RA22-015
2020-02-26 12:09:38 +01:00
Raphaël AMIARD
4e7b5f5890 RA22-015: Work on the parser and typer 2020-02-25 11:40:10 +01:00
Raphaël AMIARD
b85e638a68 RA22-015: Emit @abstract qualifiers for fields and classes 2020-02-25 11:40:10 +01:00