31 Commits

Author SHA1 Message Date
Raphaël AMIARD
3eef9cdc25 RA22-015: make Node a base class rt. a trait 2020-06-30 15:43:53 +02:00
Raphaël AMIARD
119379f643 RA22-015 dsl_unparse: Unparse @with_lexer annotation 2020-06-30 15:43:53 +02:00
Pierre-Marie de Rodat
71f773e0ff Rename SymbolNode to TokenNode
TN: RA22-015
2020-06-17 11:45:07 +02:00
Raphaël AMIARD
2060a7c36d RA22-015: make token_node/root_node traits 2020-06-16 15:19:35 +02:00
Pierre-Marie de Rodat
b72147bbb7 Testsuite: add types_from_lkt=True wherever possible
TN: RA22-015
2020-06-11 14:37:13 +02:00
Pierre-Marie de Rodat
770513f43d Generate and interpret the @token_node node annotation
TN: RA22-015
2020-06-11 14:37:13 +02:00
Pierre-Marie de Rodat
2b9b33d6a0 Remove __future__ imports and adjust stylechecks
TN: T511-017
2020-05-26 12:33:48 +02: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
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
8d0ca9eb51 Lkt: change the syntax for grammar list expressions
TN: RA22-015
2020-02-27 18:17:42 +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
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
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
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
Raphaël AMIARD
faf6dd126c RA22-015: Dont emit generic list types 2020-02-06 17:03:04 +01:00
Raphaël AMIARD
524ce95fed RA22-015: Properly parse comments and doc comments
Properly unparse doc comments
2020-02-06 17:03:04 +01:00
Raphaël AMIARD
375b5d2a8e RA22-015: switch to braces
We want to have a block based functional language and braces are a
common choice for that.
2020-01-14 16:58:05 +01:00