grammar-well 1.3.2 → 2.0.0

package/src/generator/grammars/v1.well

@@ -0,0 +1,422 @@
+lexer {
+	start: "start"
+
+	[start]
+		- import string, js, ws, comment, l_scolon, l_star
+		- when r:{lexer(?![a-zA-Z\d_])} tag "T_WORD" highlight "type" goto lexer
+		- when r:{grammar(?![a-zA-Z\d_])} tag "T_WORD" highlight "type" goto grammar
+		- when r:{config(?![a-zA-Z\d_])} tag "T_WORD" highlight "type" goto config
+		- import kv
+
+	[config]
+		- import ws, l_colon
+		- when "{{" tag "L_TEMPLATEL" set config_inner
+
+	[config_inner]
+		- import comment, kv
+		- when "}}" tag "L_TEMPLATER" pop
+
+	[grammar]
+		- import ws, l_colon
+		- when "{{" tag "L_TEMPLATEL" set grammar_inner
+
+	[grammar_inner]
+		- import comment, js, js_template, ws, regex, l_qmark, l_plus, l_star, kv, l_colon, l_comma, l_pipe, l_parenl, l_parenr, l_arrow, l_dsign, l_dash
+		- when "}}" tag "L_TEMPLATER" pop
+
+	[lexer]
+		- import ws, l_colon
+		- when "{{" tag "L_TEMPLATEL" set lexer_inner
+
+	[lexer_inner]
+		- import ws, comment, regex, l_comma, l_arrow, l_dash, kv, js
+		- when "}}" tag "L_TEMPLATER" pop
+
+	[js]
+		- when "${" tag "L_JSL" goto js_wrap
+
+	[js_wrap]
+		default: tag "T_JSBODY";
+		unmatched: tag "T_JSBODY";
+		- import jsignore
+		- when "{" tag "T_JSBODY" goto js_literal
+		- when "}" tag "L_JSR" pop
+
+	[js_literal]
+		default: tag "T_JSBODY";
+		unmatched: tag "T_JSBODY";
+		- import jsignore
+		- when "{" tag "T_JSBODY" goto js_literal
+		- when "}" tag "T_JSBODY" pop
+
+	[js_template]
+		- when "{{" tag "L_TEMPLATEL" goto js_template_inner
+
+	[js_template_inner]
+		default: tag "T_JSBODY";
+		unmatched: tag "T_JSBODY";
+		- import jsignore
+		- when "{" tag "T_JSBODY" goto js_literal
+		- when "}}" tag "L_TEMPLATER" pop
+
+	[kv]
+		- import string, ws, word, l_colon, integer
+
+	[jsignore]
+		- when r:{"(?:[^"\\\r\n]|\\.)*"} tag "T_JSBODY"
+		- when r:{'(?:[^'\\\r\n]|\\.)*'} tag "T_JSBODY"
+		- when r:{`(?:[^`\\]|\\.)*`} tag "T_JSBODY"
+		- when r:{/(?:[^/\\\r\n]|\\.)+/[gmiyu]*} tag "T_JSBODY"
+		- when r:{//[^\n]*} tag "T_JSBODY"
+		- when r:{/\*.*\*/} tag "T_JSBODY"
+
+	[string]
+		- when r:{"(?:[^"\\\r\n]|\\.)*"} tag "T_STRING" highlight "string"
+
+	[string2]
+		- when r:{'(?:[^'\\\r\n]|\\.)*'} tag "T_STRING" highlight "string"
+
+	[string3]
+		- when r:{`(?:[^`\\]|\\.)*`} tag "T_STRING" highlight "string"
+
+	[regex]
+		- when r:{\/(?:[^\/\\\r\n]|\\.)+\/} tag "T_REGEX" highlight "regexp"
+
+	[integer]
+		- when r:{\d+} tag "T_INTEGER" highlight "number"
+
+	[word]
+		- when r:{[a-zA-Z_][a-zA-Z_\d]*} tag "T_WORD"
+
+	[ws]
+		- when r:{\s+} tag "T_WS"
+
+	[l_colon]
+		- when ":" tag "L_COLON" highlight "keyword"
+
+	[l_scolon]
+		- when ";" tag "L_SCOLON"
+
+	[l_qmark]
+		- when "?" tag "L_QMARK"
+
+	[l_plus]
+		- when "+" tag "L_PLUS"
+
+	[l_star]
+		- when "*" tag "L_STAR"
+
+	[l_comma]
+		- when "," tag "L_COMMA"
+
+	[l_pipe]
+		- when "|" tag "L_PIPE" highlight "keyword"
+
+	[l_parenl]
+		- when "(" tag "L_PARENL"
+
+	[l_parenr]
+		- when ")" tag "L_PARENR"
+
+	[l_templatel]
+		- when "{{" tag "L_TEMPLATEL"
+
+	[l_templater]
+		- when "}}" tag "L_TEMPLATER"
+
+	[l_arrow]
+		- when "->" tag "L_ARROW" highlight "keyword"
+
+	[l_dsign]
+		- when "$" tag "L_DSIGN"
+
+	[l_dash]
+		- when "-" tag "L_DASH"
+
+	[comment]
+		- when r:{//[^\n]*} tag "T_COMMENT" highlight "comment"
+
+	[commentmulti]
+		- when r:{/\*.*\*/} tag "T_COMMENT" highlight "comment"
+
+}
+
+grammar {
+
+	[main]
+		| _ section_list _ => ( $1 )
+
+	[section_list]
+		| section => ( [$0] )
+		| section T_WS section_list => ( [$0].concat($2) )
+
+	[section]
+		| K_CONFIG _ L_COLON _ L_TEMPLATEL _ kv_list@list _ L_TEMPLATER => ( { config: Object.assign(...$list) } )
+		| K_IMPORT _ L_STAR _ K_FROM __ T_WORD@import _ L_SCOLON => ( { import: $import } )
+		| K_IMPORT _ L_STAR _ K_FROM __ T_STRING@import _ L_SCOLON => ( { import: $import, path: true } )
+		| K_IMPORT _ L_STAR _ "as" _ T_WORD@alias _ K_FROM __ T_WORD@import _ L_SCOLON => ( { import: $import, alias: $alias} )
+		| K_IMPORT _ L_STAR _ "as" _ T_WORD@alias _ K_FROM __ T_STRING@import _ L_SCOLON => ( { import: $import, path: true, alias: $alias} )
+		| K_LEXER _ L_COLON _ L_TEMPLATEL _ lexer@lexer _ L_TEMPLATER => ( { lexer: Object.assign(...$lexer) } )
+		| K_GRAMMAR _ L_COLON _ L_TEMPLATEL _ grammar@grammar _ L_TEMPLATER => ( { grammar: $grammar } )
+		| K_BODY _ L_COLON _ T_JS@js => ( { lifecycle: "new", js: $js } )
+		| K_BODY _ L_COLON _ T_STRING@js => ( { lifecycle: "new", js: $js, path: true } )
+		| K_HEAD _ L_COLON _ T_JS@js => ( { lifecycle:"import", "js": $js } )
+		| K_HEAD _ L_COLON _ T_STRING@js => ( { lifecycle:"import", "js": $js, path: true } )
+
+	[lexer]
+		| kv_list _ state_list => ( $0.concat({ states: $2 }) )
+		| state_list => ( [{ states: $0 }] )
+
+	[state_list]
+		| state => ( [$0] )
+		| state _ state_list => ( [$0].concat($2) )
+
+	[state]
+		| state_declare _ state_definition => ( { name: $0, state: $2 } )
+
+	[state_declare]
+		| T_WORD _ L_ARROW => ( $0 )
+
+	[state_definition]
+		| state_definition_kv_list _ token_list => ( Object.assign(...$0, { rules: $2 }) )
+		| token_list => ( { rules: $0 } )
+
+	[state_definition_kv_list]
+		| state_definition_kv => ( data )
+		| state_definition_kv _ state_definition_kv_list => ( [$0].concat($2) )
+
+	[state_definition_kv] => ( { tag: $4 } )
+		| "default" _ ":" _ T_WORD
+		| "default" _ ":" _ T_STRING
+		| "unmatched" _ ":" _ T_WORD
+		| "unmatched" _ ":" _ T_STRING
+
+	[token_list]
+		| token => ( data )
+		| token _ token_list => ( [$0].concat($2) )
+
+	[token]
+		| L_DASH _ K_IMPORT _ L_COLON _ word_list => ( { import: $6 } )
+		| L_DASH _ token_definition_list => ( Object.assign(...$2) )
+
+	[token_definition_list]
+		| token_definition => ( data )
+		| token_definition _ token_definition_list => ( [$0].concat($2) )
+
+	[token_definition]
+		| K_TAG _ L_COLON _ string_list => ( { tag: $4 } )
+		| K_WHEN _ L_COLON _ T_STRING => ( { when: $4 } )
+		| K_WHEN _ L_COLON _ T_REGEX => ( { when: $4 } )
+		| K_OPEN _ L_COLON _ T_STRING => ( { open: $4 } )
+		| K_CLOSE _ L_COLON _ T_STRING => ( { close: $4 } )
+		| K_BEFORE _ L_COLON _ T_STRING => ( { when: $4, before: true } )
+		| K_BEFORE _ L_COLON _ T_REGEX => ( { when: $4, before: true } )
+		| K_POP => ( { pop: 1 } )
+		| K_POP _ L_COLON _ T_INTEGER => ( { pop: parseInt($4) } )
+		| K_POP _ L_COLON _ K_ALL => ( { pop: "all" } )
+		| K_HIGHLIGHT _ L_COLON _ T_STRING => ( { highlight: $4 } )
+		| K_EMBED _ L_COLON _ T_STRING => ( { embed: $4 } )
+		| K_UNEMBED => ( { unembed: true } )
+		| K_INSET => ( { inset: 1 } )
+		| K_INSET _ L_COLON _ T_INTEGER => ( { inset: parseInt($4) } )
+		| K_SET _ L_COLON _ T_WORD => ( { set: $4 } )
+		| K_GOTO _ L_COLON _ T_WORD => ( { goto: $4 } )
+		| K_TYPE _ L_COLON _ T_STRING => ( { type: $4 } )
+
+	[grammar]
+		| kv_list _ grammar_rule_list => ( { config: Object.assign(...$0), rules: $2 } )
+		| grammar_rule_list => ( { rules: $0 } )
+
+	[grammar_rule_list]
+		| grammar_rule => ( [$0] )
+		| grammar_rule _ grammar_rule_list => ( [$0].concat($2) )
+
+	[grammar_rule]
+		| T_WORD _ L_ARROW _ expression_list => ( { name: $0, expressions: $4 } )
+		| T_WORD __ L_COLON _ T_JS@js _ L_ARROW _ expression_list@expressions => ( { name: $0, expressions: $expressions, postprocess: $js } )
+		| T_WORD __ L_COLON _ T_GRAMMAR_TEMPLATE@template _ L_ARROW _ expression_list@expressions => ( { name: $0, expressions: $expressions, postprocess: $template } )
+
+	[expression_list]
+		| expression
+		| expression_list _ L_PIPE _ expression => ( $0.concat([$4]) )
+
+	[expression]
+		| expression_symbol_list => ( { symbols: $0 } )
+		| expression_symbol_list __ L_COLON _ T_JS@js => ( { symbols: $0, postprocess: $js } )
+		| expression_symbol_list __ L_COLON _ T_GRAMMAR_TEMPLATE@template => ( { symbols: $0, postprocess: $template } )
+
+	[expression_symbol_list]
+		| expression_symbol
+		| expression_symbol_list T_WS expression_symbol => ( $0.concat([$2]) )
+
+	[expression_symbol]
+		| expression_symbol_match => ( $0 )
+		| expression_symbol_match L_COLON T_WORD => ( { ...$0,  alias: $2 } )
+		| expression_symbol_match expression_repeater => ( { expression: $0, repeat: $1 } )
+		| expression_symbol_match expression_repeater L_COLON T_WORD => ( { expression: $0, repeat: $1, alias: $4 } )
+
+	[expression_symbol_match]
+		| T_WORD => ( { rule: $0 } )
+		| T_STRING "i"? => ( { literal: $0, insensitive: !!$1 } )
+		| L_DSIGN T_WORD => ( { token: $1} )
+		| L_DSIGN T_STRING => ( { token: $1} )
+		| T_REGEX => ( $0 )
+		| L_PARENL _ expression_list _ L_PARENR => ( { subexpression: $2 } )
+		| T_JS => ( $0 )
+
+	[expression_repeater] => ( $0[0].value )
+		| L_QMARK
+		| L_PLUS
+		| L_STAR
+
+	[kv_list]
+		| kv => ( data )
+		| kv _ kv_list => ( [$0].concat($2) )
+
+	[kv]
+		| T_WORD _ L_COLON _ (T_WORD | T_STRING | T_INTEGER | T_JS | T_GRAMMAR_TEMPLATE) => ( { [$0]: $4[0] } )
+
+	[string_list]
+		| T_STRING => ( [$0] )
+		| T_STRING _ L_COMMA _ string_list => ( [$0].concat($4) )
+
+	[word_list]
+		| T_WORD => ( [$0] )
+		| T_WORD _ L_COMMA _ word_list => ( [$0].concat($4) )
+
+	[_]
+		| (T_WS | T_COMMENT)* => ( null )
+
+	[__]
+		| (T_WS | T_COMMENT)+ => ( null )
+
+	[L_COLON]
+		| <L_COLON>
+
+	[L_SCOLON]
+		| <L_SCOLON>
+
+	[L_QMARK]
+		| <L_QMARK>
+
+	[L_PLUS]
+		| <L_PLUS>
+
+	[L_STAR]
+		| <L_STAR>
+
+	[L_COMMA]
+		| <L_COMMA>
+
+	[L_PIPE]
+		| <L_PIPE>
+
+	[L_PARENL]
+		| <L_PARENL>
+
+	[L_PARENR]
+		| <L_PARENR>
+
+	[L_TEMPLATEL]
+		| <L_TEMPLATEL>
+
+	[L_TEMPLATER]
+		| <L_TEMPLATER>
+
+	[L_ARROW]
+		| <L_ARROW>
+
+	[L_DSIGN]
+		| <L_DSIGN>
+
+	[L_DASH]
+		| <L_DASH>
+
+	[K_ALL]
+		| "all"
+
+	[K_TAG]
+		| "tag"
+
+	[K_FROM]
+		| "from"
+
+	[K_TYPE]
+		| "type"
+
+	[K_WHEN]
+		| "when"
+
+	[K_POP]
+		| "pop"
+
+	[K_BEFORE]
+		| "before"
+
+	[K_OPEN]
+		| "open"
+
+	[K_CLOSE]
+		| "close"
+
+	[K_HIGHLIGHT]
+		| "highlight"
+
+	[K_EMBED]
+		| "embed"
+
+	[K_UNEMBED]
+		| "unembed"
+
+	[K_INSET]
+		| "inset"
+
+	[K_SET]
+		| "set"
+
+	[K_GOTO]
+		| "goto"
+
+	[K_CONFIG]
+		| "config"
+
+	[K_LEXER]
+		| "lexer"
+
+	[K_GRAMMAR]
+		| "grammar"
+
+	[K_IMPORT]
+		| "import"
+
+	[K_BODY]
+		| "body"
+
+	[K_HEAD]
+		| "head"
+
+	[T_JS]
+		| <L_JSL> <T_JSBODY>* <L_JSR> => ( { js: $1.map(v=>v.value).join('') } )
+
+	[T_GRAMMAR_TEMPLATE]
+		| <L_TEMPLATEL> _ <T_JSBODY>* _ <L_TEMPLATER> => ( { template: '(' + $2.map(v=>v.value).join('').trim() + ')' } )
+
+	[T_STRING]
+		| <T_STRING> => ( JSON.parse($0.value) )
+
+	[T_WORD]
+		| <T_WORD> => ( $0.value )
+
+	[T_REGEX]
+		| <T_REGEX> r:{[gmiuy]}* => ( { regex: $0.value.slice(1,-1), flags: $1.map(v=>v.value).join('').trim() } )
+
+	[T_COMMENT]
+		| <T_COMMENT>
+
+	[T_INTEGER]
+		| <T_INTEGER> => ( $0.value )
+
+	[T_WS]
+		| <T_WS> => ( null )
+
+}