From: Tan Kian-ting Date: Thu, 28 Sep 2023 15:43:32 +0000 (+0800) Subject: fix issue #1 X-Git-Url: https://git.kianting.info/?a=commitdiff_plain;h=3441b825eb0f2be5ea74227fb1eaa90df236e563;p=uann fix issue #1 --- diff --git a/src/index.js b/src/index.js index c4e40d8..71b98d9 100644 --- a/src/index.js +++ b/src/index.js @@ -187,6 +187,7 @@ function matchAny(m) { } exports.matchAny = matchAny; /** + * Danger : Maybe it's not enough to work. * @description repeating matching function `f` * zero or more times, like the asterisk `*` in regex `f*` . * @param f : the function to be repeated 0+ times. @@ -239,9 +240,6 @@ let circumfix = (f, signal) => (x) => { } return a; }; -/** - * TODO: 12(13)(14) only parsed with only 12(13) - */ /** single1 = tInt | "(" expr ")"*/ let single1 = circumfix((x) => thenDo(thenDo(thenDo(tk.toSome(x), tLParen), expr), tRParen), "fac1"); let single2 = tInt; @@ -252,27 +250,91 @@ let single = orDo(single1, single2); * func = single | func_aux ( int ) * */ -/** fac = single ["(" single ")"]? | single */ -let fac1Appliee = circumfix((x) => thenDo(thenDo(thenDo(tk.toSome(x), tLParen), tInt), tRParen), "fac1"); +/** callees = "(" args ")" | "(" ")" */ +let callees1 = circumfix((x) => thenDo(thenDo(thenDo(tk.toSome(x), tLParen), tInt), tRParen), "callees1"); +let callees2 = (x) => { + let ret = thenDo(thenDo(tk.toSome(x), tLParen), tRParen); + if (ret._tag == "Some") { + let new_ast = [[]]; + ret.value.ast = new_ast; + } + return ret; +}; +let callees = orDo(callees1, callees2); +/** %apply R combinating token */ +let applyToken = { + text: "%apply", + type: tk.TokenType.ID, + col: 0, + ln: 0, +}; +/** facAux = callees facAux | callees */ +let facAux1 = (x) => { + var ret = thenDo(thenDo(tk.toSome(x), callees), facAux); + if (ret._tag == "Some") { + console.log("1232345" + repr(tkTreeToSExp(ret.value.ast[ret.value.ast.length - 1]))); + let last1 = ret.value.ast[ret.value.ast.length - 1]; + let last2 = ret.value.ast[ret.value.ast.length - 2]; + let b = [applyToken]; + ret.value.ast = [b.concat([last2, last1])]; + console.log("11111" + repr(tkTreeToSExp(ret.value.ast))); + } + ; + return ret; +}; +let facAux2 = callees; +let facAux = orDo(facAux1, facAux2); +/** fac = single facAux | single + * Issue1 to be fixed. + */ let fac1 = (x) => { - let raw = thenDo(thenDo(toSome(x), single), OnceOrMoreDo(fac1Appliee)); - if (raw._tag == "Some") { - var result = raw.value.ast[0]; - let applyToken = { text: '%apply', ln: 0, col: 0 }; - for (var i = 1; i < raw.value.ast.length; i++) { - result = [applyToken, result, raw.value.ast[i]]; - } - if (!Array.isArray(result)) { - raw.value.ast = [result]; - } - else { - raw.value.ast = result; - } + var ret = thenDo(thenDo(tk.toSome(x), single), facAux); + if (ret._tag == "Some") { + console.log("777" + repr(tkTreeToSExp(ret.value.ast))); + ret.value.ast = [applyToken, ret.value.ast[ret.value.ast.length - 2], + ret.value.ast[ret.value.ast.length - 1]]; + ret.value.ast; + rearrangeTree(ret.value.ast); + console.log("888" + repr(tkTreeToSExp(ret.value.ast))); } - return raw; + return ret; }; let fac2 = single; let fac = orDo(fac1, fac2); +/** + * rearrangeTree : for applyToken subtree from right-combination to + * left-combination + * @input x a ast + * @return another ast + */ +function rearrangeTree(x) { + if (x !== undefined) { + for (var i = 1; i < x.length; i++) { + rearrangeTree(x[i]); + } + console.log("@@" + repr(x[0])); + if (x[0] == applyToken) { + if (Array.isArray(x[2]) && x[2][0] == applyToken) { + let rl = rearrangeTree(x[2][1]); + let rr = rearrangeTree(x[2][2]); + let l = rearrangeTree(x[1]); + x[0] = applyToken; + x[1] = [applyToken, l, rl]; + x[2] = rr; + console.log("@@==" + repr(x)); + return x; + } + else { + x[0] = applyToken; + x[1] = rearrangeTree(x[1]); + x[2] = rearrangeTree(x[2]); + console.log("@@==" + repr(x)); + return x; + } + } + return x; + } +} /** * * term1 = fac (MUL | DIV) fac @@ -303,7 +365,7 @@ let expr = orDo(expr1, expr2); let tokens = tk.tokenize("1"); let tokens2 = tk.tokenize("1(2)"); let tokens3 = tk.tokenize("1(2)(3)"); -let tokens4 = tk.tokenize("(3(2))*2+1"); +let tokens4 = tk.tokenize("2()"); //let tokens = tk.tokenize("(4-(3/4))"); //tk.tokenize(argv[2]); let tokensFiltered = tokens4.filter((x) => { @@ -316,6 +378,7 @@ let beta = expr({ ast: [] }); if (beta._tag == "Some") { + beta.value.ast = rearrangeTree(beta.value.ast); console.log(tkTreeToSExp(beta.value.ast)); } console.log("RESULT=" + repr(beta)); diff --git a/src/index.ts b/src/index.ts index 599d32a..90cdad4 100644 --- a/src/index.ts +++ b/src/index.ts @@ -261,9 +261,6 @@ let circumfix = (f : Function, signal? : string) => (x : TokenMatcheePair)=>{ return a; } -/** - * TODO: 12(13)(14) only parsed with only 12(13) - */ /** single1 = tInt | "(" expr ")"*/ let single1 = circumfix((x : TokenMatcheePair) => thenDo(thenDo(thenDo(tk.toSome(x), tLParen), expr), tRParen), "fac1"); @@ -277,42 +274,116 @@ let single = orDo(single1, single2); * */ +/** callees = "(" args ")" | "(" ")" */ -/** fac = single ["(" single ")"]? | single - * Issue1 to be fixed. - */ -let fac1Appliee = circumfix((x : TokenMatcheePair) => thenDo(thenDo(thenDo(tk.toSome(x), tLParen), tInt), tRParen), "fac1"); -let fac1 = (x : TokenMatcheePair) => - { - let raw = thenDo(thenDo(toSome(x), single), OnceOrMoreDo(fac1Appliee)); - - - if (raw._tag == "Some"){ +let callees1 = circumfix((x : TokenMatcheePair) => + thenDo(thenDo(thenDo(tk.toSome(x), tLParen), tInt), tRParen), "callees1"); +let callees2 = (x: TokenMatcheePair)=>{ + let ret = thenDo(thenDo(tk.toSome(x), tLParen), tRParen); + if (ret._tag == "Some"){ + let new_ast : tkTree[] = [[]]; + ret.value.ast = new_ast; + } + + return ret}; +let callees = orDo(callees1, callees2); - var result : tkTree = raw.value.ast[0]; - let applyToken : tk.Token = {text: '%apply', ln:0, col:0}; - for (var i=1; i{ + var ret = thenDo(thenDo(tk.toSome(x), callees), facAux); + if (ret._tag == "Some"){ + console.log("1232345"+repr(tkTreeToSExp(ret.value.ast[ret.value.ast.length-1]))); + let last1 = ret.value.ast[ret.value.ast.length-1]; + let last2 = ret.value.ast[ret.value.ast.length-2]; - - return raw; + let b : tkTree[] = [applyToken]; + ret.value.ast = [b.concat([last2, last1])]; + console.log("11111"+repr(tkTreeToSExp(ret.value.ast))); + }; + +return ret;} +let facAux2 = callees; +let facAux = orDo(facAux1, facAux2); + + + +/** fac = single facAux | single + * Issue1 to be fixed. + */ +let fac1 = (x: TokenMatcheePair)=>{ + var ret = thenDo(thenDo(tk.toSome(x), single),facAux); + if(ret._tag == "Some"){ + console.log("777"+repr(tkTreeToSExp(ret.value.ast))); + ret.value.ast = [applyToken, ret.value.ast[ret.value.ast.length-2], + ret.value.ast[ret.value.ast.length-1]]; + ret.value.ast; + rearrangeTree(ret.value.ast); + console.log("888"+repr(tkTreeToSExp(ret.value.ast))); + + } + + return ret;}; let fac2 = single; let fac = orDo(fac1, fac2); +/** + * rearrangeTree : for applyToken subtree from right-combination to + * left-combination + * @input x a ast + * @return another ast + */ +function rearrangeTree(x: any) : any { + + if (x !== undefined){ + for (var i=1;i