Laurent Thévenoux
042d578dd5
U920-002: avoid mismatched type error on root node
...
As the LexicalEnv.get method always return an array of root nodes
while the root node is defined in user code, we need to turn the Node
and LexicalEnv classes into generic traits and instantiate them using
the actual root node.
To make this works, root node declaration has to be changed from
`class FooNode : Node` to `class FooNode implements Node[FooNode]`,
which required to refactor a bit almost all the lkt tests.
2021-09-27 17:39:36 +02:00
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
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
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
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
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
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
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
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
491b238315
RA22-015: Properly unparse string literal tokens in grammars
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
