add callee multi arguments

diff --git a/README.md b/README.md
index 5ecc2688ca7d2b9a61a6ce068e7b2cf58c6a53a0..acdf46621c0125494a789281dd5011c1038e8764 100644 (file)
--- a/README.md
+++ b/README.md
@@ -21,4 +21,5 @@ License: MIT
     FuncCallee ::= "(" ")" | "(" ARGS ")"
     ARGS = SINGLE "," ARGS | SINGLE
     ```
- - 20230928：basically fix `issue1`。其他ê物件猶著做。
\ No newline at end of file
+ - 20230928：basically fix `issue1`。其他ê物件猶著做。
+ - 20230929：add multi args parsing for `callee`.
\ No newline at end of file

diff --git a/src/index.js b/src/index.js
index 71b98d97f49e59efd1eb9a667b6f0afa9c595911..23f1346ce00294099d48f116437815a9a1c1baf3 100644 (file)
--- a/src/index.js
+++ b/src/index.js
@@ -124,6 +124,7 @@ let tMul = m1TType(tk.TokenType.I_MUL);
 let tDiv = m1TType(tk.TokenType.I_DIV);
 let tLParen = m1TType(tk.TokenType.L_PAREN);
 let tRParen = m1TType(tk.TokenType.R_PAREN);
+let tComma = m1TType(tk.TokenType.COMMA);
 let toSome = tk.toSome;
 node_process_1.argv.forEach((val, index) => {
     console.log(`${index}=${val}`);
@@ -233,27 +234,40 @@ let midfix = (f, signal) => (x) => {
 let circumfix = (f, signal) => (x) => {
     var a = f(x);
     if (a._tag == "Some") {
+        console.log("$$$" + repr(a.value.ast));
         let inner = a.value.ast[a.value.ast.length - 2];
-        let ast_middle = [inner];
+        var ast_middle;
+        if (Array.isArray(inner)) {
+            ast_middle = inner;
+        }
+        else {
+            ast_middle = [inner];
+        }
         let new_ast = [ast_middle];
         a.value.ast = new_ast;
     }
     return a;
 };
 /** single1 = tInt | "(" expr ")"*/
-let single1 = circumfix((x) => thenDo(thenDo(thenDo(tk.toSome(x), tLParen), expr), tRParen), "fac1");
+let single1 = circumfix((x) => thenDo(thenDo(thenDo(toSome(x), tLParen), expr), tRParen), "fac1");
 let single2 = tInt;
 let single = orDo(single1, single2);
-/** func = single | single "(" single ")"
- * i.e.
- *
- * func = single |  func_aux ( int )
- *
-*/
+/** args = single "," args | single */
+let args1 = (x) => {
+    var ret = thenDo(thenDo(thenDo(toSome(x), single), tComma), args);
+    if (ret._tag == "Some") {
+        let retLength = ret.value.ast.length;
+        ret.value.ast = [[ret.value.ast[retLength - 3]].concat(ret.value.ast[retLength - 1])];
+        console.log("$$" + repr(ret.value.ast));
+    }
+    return ret;
+};
+let args2 = single;
+let args = orDo(args1, args2);
 /** callees = "(" args ")" | "(" ")" */
-let callees1 = circumfix((x) => thenDo(thenDo(thenDo(tk.toSome(x), tLParen), tInt), tRParen), "callees1");
+let callees1 = circumfix((x) => thenDo(thenDo(thenDo(toSome(x), tLParen), args), tRParen), "callees1");
 let callees2 = (x) => {
-    let ret = thenDo(thenDo(tk.toSome(x), tLParen), tRParen);
+    let ret = thenDo(thenDo(toSome(x), tLParen), tRParen);
     if (ret._tag == "Some") {
         let new_ast = [[]];
         ret.value.ast = new_ast;
@@ -270,7 +284,7 @@ let applyToken = {
 };
 /** facAux = callees facAux |  callees */
 let facAux1 = (x) => {
-    var ret = thenDo(thenDo(tk.toSome(x), callees), facAux);
+    var ret = thenDo(thenDo(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];
@@ -288,7 +302,7 @@ let facAux = orDo(facAux1, facAux2);
  * Issue1 to be fixed.
  */
 let fac1 = (x) => {
-    var ret = thenDo(thenDo(tk.toSome(x), single), facAux);
+    var ret = thenDo(thenDo(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],
@@ -339,7 +353,7 @@ function rearrangeTree(x) {
  *
  * term1 = fac (MUL | DIV) fac
  */
-let term1 = midfix((x) => thenDo(thenDo(thenDo(tk.toSome(x), fac), orDo(tMul, tDiv)), fac), "term1");
+let term1 = midfix((x) => thenDo(thenDo(thenDo(toSome(x), fac), orDo(tMul, tDiv)), fac), "term1");
 /**
  *
  * term2 = int MUL int
@@ -353,7 +367,7 @@ let term = orDo(term1, term2);
  *
  * expr1 = term ADD term
  */
-let expr1 = midfix((x) => thenDo(thenDo(thenDo(tk.toSome(x), term), orDo(tAdd, tSub)), term), "expr1");
+let expr1 = midfix((x) => thenDo(thenDo(thenDo(toSome(x), term), orDo(tAdd, tSub)), term), "expr1");
 /**
  * expr2 = term
  */
@@ -365,7 +379,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("2()");
+let tokens4 = tk.tokenize("2()(4)");
 //let tokens = tk.tokenize("(4-(3/4))");
 //tk.tokenize(argv[2]);
 let tokensFiltered = tokens4.filter((x) => {

diff --git a/src/index.ts b/src/index.ts
index 90cdad4698b3734aeda9cb9582e57e42daade80a..3bf281fddc0d462beb6ab89500def42091181a13 100644 (file)
--- a/src/index.ts
+++ b/src/index.ts
@@ -129,7 +129,7 @@ let tMul  = m1TType(tk.TokenType.I_MUL);
 let tDiv = m1TType(tk.TokenType.I_DIV);
 let tLParen = m1TType(tk.TokenType.L_PAREN);
 let tRParen = m1TType(tk.TokenType.R_PAREN);
-
+let tComma = m1TType(tk.TokenType.COMMA);
 let toSome = tk.toSome;
 
 
@@ -219,7 +219,6 @@ export function OnceOrMoreDo(f: Function): (x: TokenMatcheePair) =>
 
         };
 
-
         if (counter <= 0){
             return { _tag: "None"};
         }
@@ -253,8 +252,15 @@ let midfix = (f : Function, signal? : string) => (x : TokenMatcheePair)=>{
 let circumfix = (f : Function, signal? : string) => (x : TokenMatcheePair)=>{
     var a = f(x);
     if (a._tag == "Some"){
+        console.log("$$$"+repr(a.value.ast));
         let inner = a.value.ast[a.value.ast.length-2];
-        let ast_middle : tkTree[] = [inner];
+        var ast_middle : tkTree[];
+        if (Array.isArray(inner)){
+            ast_middle = inner;
+        }
+        else{
+            ast_middle = [inner];
+        }
         let new_ast = [ast_middle];
         a.value.ast = new_ast;
     }
@@ -263,24 +269,33 @@ let circumfix = (f : Function, signal? : string) => (x : TokenMatcheePair)=>{
 
 /** single1 = tInt | "(" expr ")"*/
 let single1 = circumfix((x : TokenMatcheePair) =>
-    thenDo(thenDo(thenDo(tk.toSome(x), tLParen), expr), tRParen), "fac1");
+    thenDo(thenDo(thenDo(toSome(x), tLParen), expr), tRParen), "fac1");
 let single2= tInt;
 let single = orDo(single1, single2);
 
-/** func = single | single "(" single ")" 
- * i.e.
- * 
- * func = single |  func_aux ( int )
- * 
-*/
+/** args = single "," args | single */
+let args1 = (x: TokenMatcheePair)=>{
+    var ret = thenDo(thenDo(thenDo(toSome(x), single), tComma), args);
+    if (ret._tag == "Some"){
+        let retLength = ret.value.ast.length;
+        ret.value.ast = [[ret.value.ast[retLength-3]].concat(ret.value.ast[retLength-1])];
+        console.log("$$"+repr(ret.value.ast));
+    }
+    return ret;
+};
+
+let args2 = single;
+
+let args = orDo(args1, args2);
+
 
 /** callees = "(" args ")" | "(" ")" */
 
 
 let callees1 = circumfix((x : TokenMatcheePair) =>
-    thenDo(thenDo(thenDo(tk.toSome(x), tLParen), tInt), tRParen), "callees1");
+    thenDo(thenDo(thenDo(toSome(x), tLParen), args), tRParen), "callees1");
 let callees2 = (x: TokenMatcheePair)=>{
-    let ret = thenDo(thenDo(tk.toSome(x), tLParen), tRParen);
+    let ret = thenDo(thenDo(toSome(x), tLParen), tRParen);
     if (ret._tag == "Some"){
         let new_ast : tkTree[] = [[]];
         ret.value.ast = new_ast;
@@ -302,7 +317,7 @@ let applyToken = {
 
 /** facAux = callees facAux |  callees */
 let facAux1 = (x: TokenMatcheePair)=>{
-    var ret = thenDo(thenDo(tk.toSome(x), callees), facAux);
+    var ret = thenDo(thenDo(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];
@@ -325,7 +340,7 @@ let facAux =  orDo(facAux1, facAux2);
  * Issue1 to be fixed.
  */
 let fac1 = (x: TokenMatcheePair)=>{
-    var ret = thenDo(thenDo(tk.toSome(x), single),facAux);
+    var ret = thenDo(thenDo(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],
@@ -391,7 +406,7 @@ function rearrangeTree(x: any) : any {
  */
 
 let term1 = midfix((x : TokenMatcheePair)=>
-            thenDo(thenDo(thenDo(tk.toSome(x), fac), orDo(tMul,tDiv)), fac), "term1");
+            thenDo(thenDo(thenDo(toSome(x), fac), orDo(tMul,tDiv)), fac), "term1");
 
             
 /**
@@ -411,7 +426,7 @@ let term = orDo(term1, term2);
  * expr1 = term ADD term
  */
 let expr1 = midfix((x : TokenMatcheePair)=>
-                thenDo(thenDo(thenDo(tk.toSome(x), term), orDo(tAdd,tSub)), term), "expr1");
+                thenDo(thenDo(thenDo(toSome(x), term), orDo(tAdd,tSub)), term), "expr1");
 /**
  * expr2 = term
  */
@@ -427,7 +442,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("2()");
+let tokens4 = tk.tokenize("2()(4)");
 
 //let tokens = tk.tokenize("(4-(3/4))");
 //tk.tokenize(argv[2]);