From e9e8d7bdac8ff71e8a9051264fabc13ce8964f61 Mon Sep 17 00:00:00 2001 From: Jari Vetoniemi Date: Wed, 26 Sep 2018 17:43:47 +0300 Subject: More parsing fixes for the fspec files I have --- src/compiler/compiler.lm | 34 ++++++++++++++++++++-------------- src/compiler/expr.lm | 22 +++++++++++----------- 2 files changed, 31 insertions(+), 25 deletions(-) diff --git a/src/compiler/compiler.lm b/src/compiler/compiler.lm index 4ed772b..052d4f7 100644 --- a/src/compiler/compiler.lm +++ b/src/compiler/compiler.lm @@ -76,8 +76,8 @@ context fspec literal `select def item - [expr:expr::paren::type `) data:declaration::type] - | [expr:`* `) data:declaration::type] + [`* `) data:declaration::type] + | [expr:expr::paren::type `) data:declaration::type] def type name:str @@ -93,7 +93,7 @@ context fspec context declaration lex ignore / '//' [^\n]* '\n' | space+ / - literal `; `| `[ `] + literal `: `[ `] `| `; token VISUAL / 'nul' | 'dec' | 'hex' | 'str' / end @@ -106,11 +106,12 @@ context fspec [`| function:reference::function::type] def length - [`[ expr:expr::bracket::type `]] + [`[ expr:expr::bracket::type `: slice:expr::bracket::type `]] + | [`[ expr:expr::bracket::type `]] def extra length:collapser::collapsed - [length* filter:filter* visual:visual?] { + [length* filter:filter* visual:visual? endianess:endianess?] { f:str = '' for l:length in repeat(r1) { if (f != '') @@ -127,11 +128,11 @@ context fspec def type # enum name name ; - [cref:`enum WS+ parent:name::type WS+ primitive:primitive::type WS+ name:name::type extra:extra `;] commit + [cref:`enum WS+ parent:name::type WS+ primitive:primitive::type WS+ name:name::type extra:extra `;] # struct name name ; - | [cref:`struct WS+ parent:name::type WS+ name:name::type extra:extra `;] commit + | [cref:`struct WS+ parent:name::type WS+ name:name::type extra:extra `;] # name ; - | [primitive:primitive::type WS+ name:name::type extra:extra `;] commit + | [primitive:primitive::type WS+ name:name::type extra:extra `;] # select ((thing)) { ... } ; INVALID | [container::select::type extra `;] commit { reject } # select ((thing)) { ... } name ; INVALID @@ -139,12 +140,12 @@ context fspec # struct (optional) { ... } name ; INVALID | [container::strukt::type primitive::type WS+ name::type extra `;] commit { reject } # enum (optional) { ... } name ; - | [container:container::type primitive:primitive::type WS+ name:name::type extra:extra `;] commit + | [container:container::type primitive:primitive::type WS+ name:name::type extra:extra `;] # select ((expr)) { ... } name ; # struct (optional) { ... } name ; | [container:container::type name:name::type extra:extra `;] - # (enum|struct) name { ... }; - | [container:container::type `;] + # (enum|struct) name { ... } <(le|be)>; + | [container:container::type endianess:endianess? `;] end def source @@ -280,7 +281,7 @@ walk(s:fspec::container::type) insert($s.data.type, s.data.name, s) if ($s.data.type == 'enum') { for i:fspec::container::enum::item in repeat(s.data.items) { - print('constant `', $i.name, '` = ', $i.value, '\n') + print('constant `', $i.name, '` is ', $i.value, '\n') insert('variable', $i.name, i) } } else if ($s.data.type == 'struct') { @@ -294,14 +295,19 @@ walk(s:fspec::container::type) pop_scope() } else if ($s.data.type == 'select') { push_scope() + print('━━━━ start of (', $s.data.select, ') ━━━━\n') for d:fspec::container::select::item in repeat(s.data.items) { - print('━━━━ ', $d.expr, ' ━━━━\n') + if (d.expr) + print('━━━━ (', $d.expr, ')\n') + else + print('━━━━ DEFAULT\n') + if (d.data.name) print_declaration(d.data) if (d.data.container) walk(d.data.container) } - print('━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━\n') + print('━━━━ end of (', $s.data.select, ') ━━━━\n') pop_scope() } } diff --git a/src/compiler/expr.lm b/src/compiler/expr.lm index f758723..1bf6746 100644 --- a/src/compiler/expr.lm +++ b/src/compiler/expr.lm @@ -11,11 +11,11 @@ global RTYPE_STRING:int = 2 context expr context enum - token EXPR / (any - [,}])+ / + token EXPR / (any - [,}]) / def type collapsed:collapser::collapsed - [EXPR] { + [EXPR+] { lhs.collapsed = collapser::collapsestr($r1) if (!lhs.collapsed) reject } @@ -23,29 +23,29 @@ context expr context paren literal `( `) - token EXPR / (any - [()])+ / + token EXPR / (any - [()]) / def syntax [EXPR] | [`( syntax `)] def type collapsed:collapser::collapsed - [syntax] { + [syntax+] { lhs.collapsed = collapser::collapsestr($r1) if (!lhs.collapsed) reject } end context bracket - literal `[ `] - token EXPR / (any - '[' - ']')+ / + literal `[ `] `? `: + token EXPR / (any - '[' - ']' - ':') / def syntax - [EXPR] | [`[ syntax `]] + [EXPR] | [`[ syntax `]] | [syntax `? syntax `: syntax] def type collapsed:collapser::collapsed - [syntax] { + [syntax+] { lhs.collapsed = collapser::collapsestr($r1) if (!lhs.collapsed) reject } @@ -53,14 +53,14 @@ context expr context arg literal `( `) - token EXPR / (any - [(),])+ / + token EXPR / (any - [(),]) / def syntax [EXPR] | [`( syntax `)] def type collapsed:collapser::collapsed - [syntax] { + [syntax+] { lhs.collapsed = collapser::collapsestr($r1) if (!lhs.collapsed) reject } @@ -372,7 +372,7 @@ context collapser | [`) WS* value] commit { reject } | [`] WS* value] commit { reject } | [lparen tok+ rparen] commit - | [lsquare WS* rsquare] commit + | [lsquare tok+ rsquare] commit | [tok+ question tok+ colon tok+] commit | [otherops] { stack_op(r1.op) } | [value] { stack_value($r1) } -- cgit v1.2.3