13 次程式碼提交
b142d94b11
...
42f38492f4
13 次程式碼提交
b142d94b11
...
42f38492f4
共有 6 個文件被更改，包括 1687 次插入 和 17 次删除
分割檢視
Diff Options
-
+1079 -0grammar_parser.meta
-
+196 -17minproto.leg
-
+73 -0rawMetaGrammar.leg
-
+78 -0rawgrammar.leg
-
+255 -0rawminproto.leg
-
+6 -0test.txt
+ 1079
- 0
grammar_parser.meta
文件差異過大導致無法顯示
查看文件
+ 196
- 17
minproto.leg
查看文件
+ 73
- 0
rawMetaGrammar.leg
查看文件
| @ -0,0 +1,73 @@ | |||
| statement = b:block { b; } | |||
| | e:expression SEMI { e; } | |||
| expression = p:primary | |||
| ( DOT i:id ASSIGN e:expression # { $$ = newSetProp(p, i, e) } | |||
| | LBRAK i:expression RBRAK ASSIGN e:expression { SetArray.new(object: p, index: i, value: e); } | |||
| ) | |||
| | i:id ASSIGN e:expression { SetVar.new(name: i, value: e); } | |||
| | pf:postfix { pf; } | |||
| postfix = p:primary | |||
| ( DOT i:id a:args !ASSIGN !LBRACE { p = Invoke.new(self: p, method: i, arguments: a); } | |||
| | DOT i:id !ASSIGN { p = GetProp.new(object: p, key: i); } | |||
| | a:args !ASSIGN !LBRACE { p = Call.new(function: p, arguments: a); } | |||
| ) * { p; } | |||
| args = LPAREN a:mklist | |||
| ( | |||
| ( k:id COLON e:expression { a[k] = e; } | |||
| | e:expression { a.push(e); } | |||
| ) | |||
| ( COMMA | |||
| ( k:id COLON e:expression { a[k] = e; } | |||
| | e:expression { a.push(e); } | |||
| ) | |||
| ) * | |||
| ) ? RPAREN { a; } | |||
| mklist = { Object.new(); } | |||
| primary = nil | number | var | subExpr | |||
| subExpr = LPAREN e:expression RPAREN { e; } | |||
| block = LBRACE b:mklist | |||
| ( e:statement { b.push(e); } | |||
| ) * RBRACE { Block.new(body: b); } | |||
| nil = NIL { nil; } | |||
| number = "-" n:unsign { Unyop.new(operation: __opNeg).push(n) } | |||
| | "+" n:number { n } | |||
| | n:unsign { n } | |||
| unsign = < DIGIT+ > - { yytext.asInteger(10); } | |||
| var = i:id { GetVar.new(name: i); } | |||
| id = < LETTER ALNUM* > - { intern(yytext); } | |||
| DIGIT = [0-9] | |||
| LETTER = [A-Za-z_] | |||
| ALNUM = LETTER | DIGIT | |||
| NIL = "nil" !ALNUM - | |||
| SEMI = ";" - | |||
| COMMA = "," - | |||
| LPAREN = "(" - | |||
| RPAREN = ")" - | |||
| LBRAK = "[" - | |||
| RBRAK = "]" - | |||
| LBRACE = "{" - | |||
| RBRACE = "}" - | |||
| COLON = ":" ![:] - | |||
| ASSIGN = "=" ![=] - | |||
| DOT = "." ![.] - | |||
| - = ( space | comment )* | |||
| space = ' ' | '\t' | end-of-line | |||
| comment = '//' ( !end-of-line . )* end-of-line | |||
| end-of-line = '\r\n' | '\n' | '\r' | |||
| end-of-file = !. | |||
+ 78
- 0
rawgrammar.leg
查看文件
| @ -0,0 +1,78 @@ | |||
| grammar = - | |||
| ( d:definition { set(d.name, d.expression); } | |||
| ) + end-of-file | |||
| definition = i:identifier ASSIGN e:expression SEMI? { Definition.new(name: i, expression: e); } | |||
| expression = s:sequence !BAR { s; } | |||
| | s1:sequence { s1 = Alternation.new().push(s1); } | |||
| ( BAR s2:sequence { s1.push(s2); } | |||
| ) * { s1; } | |||
| sequence = p:prefix { p = Sequence.new().push(p); } | |||
| ( q:prefix { p.push(q); } | |||
| ) * { p; } | |||
| prefix = AND a:action { ParseTimeAction.new(action: a); } | |||
| | | |||
| ( AND s:suffix { And.new(expression: s); } | |||
| | NOT s:suffix { Not.new(expression: s); } | |||
| | s:suffix { s; } | |||
| ) | |||
| suffix = p:primary | |||
| ( QUERY { p = Optional.new(expression: p); } | |||
| | STAR { p = Star.new(expression: p); } | |||
| | PLUS { p = Plus.new(expression: p); } | |||
| ) ? { p; } | |||
| primary = i1:identifier COLON i2:ruleCall !ASSIGN { Assignment.new(name: i1, rule: i2); } | |||
| | i:ruleCall !ASSIGN { i; } | |||
| | LPAREN e:expression RPAREN { e; } | |||
| | l:literal { l; } | |||
| | c:class { c; } | |||
| | DOT { Dot.new(); } | |||
| | a:action { a; } | |||
| | BEGIN { Begin.new(); } | |||
| | END { End.new(); } | |||
| identifier = < [-a-zA-Z_][-a-zA-Z_0-9]* > - { intern(yytext); } | |||
| ruleCall = n:identifier CCOLON r:identifier { NamespacedRuleCall.new(namespace: n, name: r); } | |||
| | i:identifier { RuleCall.new(name: i); } | |||
| literal = ['] < ( !['] char )* > ['] - { StringLiteral.new(string: yytext); } | |||
| | ["] < ( !["] char )* > ["] - { StringLiteral.new(string: yytext); } | |||
| class = '[' < ( !']' range )* > ']' - { CharacterClass.new(value: yytext); } | |||
| range = char '-' char | char | |||
| char = '\\' [abefnrtv'"\[\]\\] | |||
| | '\\' [0-3][0-7][0-7] | |||
| | '\\' [0-7][0-7]? | |||
| | !'\\' . | |||
| action = m:metaLanguage::block - { Action.new(parseTree: m); } | |||
| - = ( space | comment )* | |||
| space = ' ' | '\t' | end-of-line | |||
| comment = '#' ( !end-of-line . )* end-of-line | |||
| end-of-line = '\r\n' | '\n' | '\r' | |||
| end-of-file = !. | |||
| BAR = '|' - | |||
| NOT = '!' - | |||
| QUERY = '?' - | |||
| BEGIN = '<' - | |||
| END = '>' - | |||
| SEMI = ";" - | |||
| CCOLON = "::" - | |||
| LPAREN = "(" - | |||
| RPAREN = ")" - | |||
| ASSIGN = "=" ![=] - | |||
| AND = "&" ![&=] - | |||
| PLUS = "+" ![+=] - | |||
| STAR = "*" ![=] - | |||
| DOT = "." ![.] - | |||
| COLON = ":" ![:] - | |||
+ 255
- 0
rawminproto.leg
查看文件
| @ -0,0 +1,255 @@ | |||
| start = - ( s:stmt # { yysval = s } | |||
| | !. # { yysval = 0 } | |||
| | < (!EOL .)* > # { fatal("syntax error near: %s", yytext) } | |||
| ) | |||
| stmt = LET l:mklet k:id ASSIGN v:expr { l.keyvals.push(k); l.keyvals.push(v) } | |||
| ( COMMA k:id ASSIGN v:expr { l.keyvals.push(k); l.keyvals.push(v) } | |||
| )* SEMI { l } | |||
| | WHILE LPAREN c:expr RPAREN s:stmt { While.new(condition: c, body: s) } | |||
| | IF LPAREN c:expr RPAREN s:stmt | |||
| ( ELSE t:stmt { If.new(condition: c, consequent: s, alternate: t ) } | |||
| | { If.new(condition: c, consequent: s, alternate: nil) } | |||
| ) | |||
| | CONT EOS { Continue.new() } | |||
| | BREAK e:expr EOS { Break.new(value: e) } | |||
| | BREAK EOS { Break.new(value: nil) } | |||
| | RETURN e:expr EOS { Return.new(value: e) } | |||
| | RETURN EOS { Return.new(value: nil) } | |||
| | FOR LPAREN i:id IN e:expr RPAREN | |||
| s:stmt { ForIn.new(identifier: i, expression: e, body: s) } | |||
| | FOR LPAREN i:id FROM a:expr | |||
| TO b:expr RPAREN s:stmt { ForFromTo.new(identifier: i, first: a, last: b, body: s) } | |||
| | FOR LPAREN i:expr SEMI c:expr SEMI | |||
| u:expr RPAREN s:stmt { For.new(initialise: i, condition: c, update: u, body: s) } | |||
| | i:id p:params b:block { SetVar.new(name: i, value: Lambda.new(parameters: p, body: b)) } | |||
| | v:proto DOT i:id p:params b:block { SetProp.new(object: v, key: i, value: Lambda.new(parameters: p, body: b)) } | |||
| | v:proto CCOLON i:id p:params b:block { SetProp.new(object: v, key: i, value: Lambda.new(parameters: p, body: b)) } | |||
| | b:block { Block.new(body: b) } | |||
| | e:expr EOS { e } | |||
| mklet = { Let.new() } | |||
| proto = v:var ( DOT j:id !LPAREN { v = GetProp.new(object: v, key: j) } | |||
| )* { v } | |||
| EOS = SEMI+ | &RBRACE | &ELSE | |||
| expr = i:id ASSIGN e:expr { SetVar.new(name: i, value: e) } | |||
| | l:logor ( ASSIGN r:expr { l = assign(l, r) } | |||
| | PLUSEQ r:expr { l = newBinop(__opPreAdd, lvalue(l), r) } | |||
| | MINUSEQ r:expr { l = newBinop(__opPreSub, lvalue(l), r) } | |||
| | STAREQ r:expr { l = newBinop(__opPreMul, lvalue(l), r) } | |||
| | SLASHEQ r:expr { l = newBinop(__opPreDiv, lvalue(l), r) } | |||
| | PCENTEQ r:expr { l = newBinop(__opPreMod, lvalue(l), r) } | |||
| | SHLEQ r:expr { l = newBinop(__opPreShl, lvalue(l), r) } | |||
| | SHREQ r:expr { l = newBinop(__opPreShr, lvalue(l), r) } | |||
| | ANDEQ r:expr { l = newBinop(__opPreAnd, lvalue(l), r) } | |||
| | XOREQ r:expr { l = newBinop(__opPreXor, lvalue(l), r) } | |||
| | OREQ r:expr { l = newBinop(__opPreOr, lvalue(l), r) } | |||
| )? { l } | |||
| logor = l:logand ( BARBAR r:logand { l = newBinop(__opLogOr, l, r) } | |||
| )* { l } | |||
| logand = l:bitor ( ANDAND r:bitor { l = newBinop(__opLogAnd, l, r) } | |||
| )* { l } | |||
| bitor = l:bitxor ( OR r:bitxor { l = newBinop(__opBitOr, l, r) } | |||
| )* { l } | |||
| bitxor = l:bitand ( XOR r:bitand { l = newBinop(__opBitXor, l, r) } | |||
| )* { l } | |||
| bitand = l:eq ( AND r:eq { l = newBinop(__opBitAnd, l, r) } | |||
| )* { l } | |||
| eq = l:ineq ( EQ r:ineq { l = newBinop(__opEq, l, r) } | |||
| | NOTEQ r:ineq { l = newBinop(__opNotEq, l, r) } | |||
| )* { l } | |||
| ineq = l:shift ( LESS r:shift { l = newBinop(__opLess, l, r) } | |||
| | LESSEQ r:shift { l = newBinop(__opLessEq, l, r) } | |||
| | GRTREQ r:shift { l = newBinop(__opGrtrEq, l, r) } | |||
| | GRTR r:shift { l = newBinop(__opGrtr, l, r) } | |||
| )* { l } | |||
| shift = l:sum ( SHL r:sum { l = newBinop(__opShl, l, r) } | |||
| | SHR r:sum { l = newBinop(__opShr, l, r) } | |||
| )* { l } | |||
| sum = l:prod ( PLUS r:prod { l = newBinop(__opAdd, l, r) } | |||
| | MINUS r:prod { l = newBinop(__opSub, l, r) } | |||
| )* { l } | |||
| prod = l:range ( STAR r:range { l = newBinop(__opMul, l, r) } | |||
| | SLASH r:range { l = newBinop(__opDiv, l, r) } | |||
| | PCENT r:range { l = newBinop(__opMod, l, r) } | |||
| ) * { l } | |||
| range = i1:prefix ( DOTDOT i2:prefix { i1 = Range.new(start: i1, end: i2) } | |||
| ) ? { i1 } | |||
| prefix = PPLUS p:prefix { newBinop(__opPreAdd, lvalue(p), 1) } | |||
| | MMINUS p:prefix { newBinop(__opPreSub, lvalue(p), 1) } | |||
| | PLING p:prefix { Unyop.new(operation: __opNot).push(p) } | |||
| | MINUS p:prefix { Unyop.new(operation: __opNeg).push(p) } | |||
| | TILDE p:prefix { Unyop.new(operation: __opCom).push(p) } | |||
| | BQUOTE s:stmt { Unyop.new(operation: __opQuasiquote).push(s) } | |||
| | COMMAT e:expr { Unyop.new(operation: __opUnquote).push(e) } | |||
| | postfix | |||
| postfix = p:primary | |||
| ( LBRAK e:expr RBRAK { p = GetArray.new(object: p, index: e) } | |||
| | DOT i:id ( a:args !LBRACE { p = Invoke.new(self: p, method: i, arguments: a) } | |||
| | { p = GetProp.new(object: p, key: i) } | |||
| ) | |||
| | a:args !LBRACE { p = newApply(p, a) } | |||
| | CCOLON i:id { p = GetProp.new(object: p, key: i) } | |||
| )* | |||
| ( PPLUS { p = newBinop(__opPostAdd, lvalue(p), 1) } | |||
| | MMINUS { p = newBinop(__opPostAdd, lvalue(p), -1) } | |||
| )? { p } | |||
| args = LPAREN a:mkobj | |||
| ( RPAREN | |||
| | ( k:id COLON e:expr { a[k] = e } | |||
| | e:expr { a.push(e) } | |||
| ) | |||
| ( COMMA ( k:id COLON e:expr { a[k] = e } | |||
| | e:expr { a.push(e) } | |||
| ) )* RPAREN ) { a } | |||
| params = LPAREN p:mkobj | |||
| ( RPAREN | |||
| | i:id ( COLON e:expr { p[i] = e } | |||
| | { p.push(i) } | |||
| ) | |||
| ( COMMA i:id ( COLON e:expr { p[i] = e } | |||
| | { p.push(i) } | |||
| ) | |||
| )* RPAREN ) { p } | |||
| mkobj = { Object.new() } | |||
| primary = nil | number | string | symbol | var | lambda | subexpr | literal | |||
| lambda = p:params b:block { Lambda.new(parameters: p, body: b) } | |||
| subexpr = LPAREN e:expr RPAREN { e } | |||
| | b:block { Block.new(body: b) } | |||
| literal = LBRAK o:mkobj | |||
| ( RBRAK | |||
| | ( ( i:id COLON e:expr { o[i] = e } | |||
| | e:expr { o.push(e) } | |||
| ) ( COMMA ( i:id COLON e:expr { o[i] = e } | |||
| | e:expr { o.push(e) } | |||
| ) )* )? RBRAK ) { Literal.new(object: o) } | |||
| block = LBRACE b:mkobj | |||
| ( e:stmt { b.push(e) } | |||
| )* RBRACE { Block.new(body: b) } | |||
| nil = NIL { nil } | |||
| number = "-" n:unsign { Unyop.new(operation: __opNeg).push(n) } | |||
| | "+" n:number { n } | |||
| | n:unsign { n } | |||
| unsign = < DIGIT* '.' DIGIT+ EXP? > - { yytext.asFloat() } | |||
| | "0" [bB] < BIGIT+ > - { yytext.asInteger(2) } | |||
| | "0" [xX] < HIGIT+ > - { yytext.asInteger(16) } | |||
| | "0" < OIGIT* > - { yytext.asInteger(8) } | |||
| | < DIGIT+ > - { yytext.asInteger() } | |||
| string = '"' < ( !'"' char )* > '"' - { yytext.unescaped() } | |||
| | "'" < ( !"'" char )* > "'" - { yytext.unescaped() } | |||
| char = "\\" ( ["'\\abfnrtv] | |||
| | [xX] HIGIT* | |||
| | [0-7][0-7]?[0-7]? | |||
| ) | |||
| | . | |||
| symbol = HASH i:id { i } | |||
| var = i:id { GetVar.new(name: i) } | |||
| id = < LETTER ALNUM* > - { intern(yytext) } | |||
| BIGIT = [0-1] | |||
| OIGIT = [0-7] | |||
| DIGIT = [0-9] | |||
| HIGIT = [0-9A-Fa-f] | |||
| LETTER = [A-Za-z_] | |||
| ALNUM = LETTER | DIGIT | |||
| SIGN = [-+] | |||
| EXP = [eE] SIGN DIGIT+ | |||
| - = SPACE* | |||
| SPACE = [ \t] | EOL | '//' (!EOL .)* | |||
| EOL = [\n\r] # { ++lineno } | |||
| NIL = "nil" !ALNUM - | |||
| WHILE = "while" !ALNUM - | |||
| IF = "if" !ALNUM - | |||
| ELSE = "else" !ALNUM - | |||
| FOR = "for" !ALNUM - | |||
| IN = "in" !ALNUM - | |||
| FROM = "from" !ALNUM - | |||
| TO = "to" !ALNUM - | |||
| LET = "let" !ALNUM - | |||
| CONT = "continue" !ALNUM - | |||
| BREAK = "break" !ALNUM - | |||
| RETURN = "return" !ALNUM - | |||
| BQUOTE = "`" - | |||
| COMMAT = "@" - | |||
| HASH = "#" - | |||
| SEMI = ";" - | |||
| ASSIGN = "=" ![=] - | |||
| COMMA = "," - | |||
| COLON = ":" ![:] - | |||
| CCOLON = "::" - | |||
| LPAREN = "(" - | |||
| RPAREN = ")" - | |||
| LBRAK = "[" - | |||
| RBRAK = "]" - | |||
| LBRACE = "{" - | |||
| RBRACE = "}" - | |||
| BARBAR = "||" ![=] - | |||
| ANDAND = "&&" ![=] - | |||
| OR = "|" ![|=] - | |||
| OREQ = "|=" - | |||
| XOR = "^" ![=] - | |||
| XOREQ = "^=" - | |||
| AND = "&" ![&=] - | |||
| ANDEQ = "&=" - | |||
| EQ = "==" - | |||
| NOTEQ = "!=" - | |||
| LESS = "<" ![<=] - | |||
| LESSEQ = "<=" - | |||
| GRTREQ = ">=" - | |||
| GRTR = ">" ![=] - | |||
| SHL = "<<" ![=] - | |||
| SHLEQ = "<<=" - | |||
| SHR = ">>" ![=] - | |||
| SHREQ = ">>=" - | |||
| PLUS = "+" ![+=] - | |||
| PLUSEQ = "+=" - | |||
| PPLUS = "++" - | |||
| MINUS = "-" ![-=] - | |||
| MINUSEQ = "-=" - | |||
| MMINUS = "--" - | |||
| STAR = "*" ![=] - | |||
| STAREQ = "*=" - | |||
| SLASH = "/" ![/=] - | |||
| SLASHEQ = "/=" - | |||
| PCENT = "%" ![=] - | |||
| PCENTEQ = "%=" - | |||
| DOT = "." ![.] - | |||
| DOTDOT = ".." - | |||
| PLING = "!" ![=] - | |||
| TILDE = "~" - | |||