Commit: f0b4560b44f9ea5af16823d2341aac4c10c33f5b - star (git)

Commit MetaInfo

• Revisão: f0b4560b44f9ea5af16823d2341aac4c10c33f5b (tree)
• Hora: 2017-04-18 22:55:24
• Autor: dhrname <dhrname@user...>
• Commiter: dhrname

Mensagem de Log

Modify the ST_parse

Mudança Sumário

• modified: source_code/shadowstar.c
• modified: source_code/shadowstar.o
• modified: source_code/startest.c
• modified: source_code/startest.o

Diff

--- a/source_code/shadowstar.c
+++ b/source_code/shadowstar.c
@@ -360,6 +360,14 @@ bool ST_parse(ST_Token_Mode *array, size_t length, ST_Ordered_Pair *list)
     /*リストの現在のヘッダー*/
     ST_Ordered_Pair *head = list;
     
+    /*スタックリスト*/
+    ST_Ordered_Pair *stacklist;
+    ST_Ordered_Pair *stacklistafter;
+    stacklist = &ST_EMPTY;
+    stacklistafter = &ST_EMPTY;
+    /*stacklistの解放用変数*/
+    ST_Ordered_Pair *stackfree = NULL;
+    
 #pragma omp parallel for 
     for (int_fast32_t i = length-1; i >= 0; i--)
     {
@@ -368,26 +376,53 @@ bool ST_parse(ST_Token_Mode *array, size_t length, ST_Ordered_Pair *list)
         {
             if (isoutofPARENTHESES(i, array, length))
             {
-                /*変数がカッコの外であれば、*/
                 if (varcode == ST_first(head))
                 {
-                    /*ここでリストの値を書き換えている*/
+                    /*リストの値を書き換えている*/
                     head->first = aftervarcode;
                 }
             }
             else
             {
                 /*変数がカッコ内であれば、*/
+
+                /*前もって、varcodeやaftervarcodeの値をスタックに積んでキャッシュしておく*/
+                stacklist = ST_pair(varcode, stacklist);
+                stacklistafter = ST_pair(aftervarcode, stacklistafter);
+                
                 varcode = ST_first(head);
                 aftervarcode = i;
                 head->first = aftervarcode;
             }
             head = ST_second(head);
         }
+        else if (mode == ST_KAGIKAKKO_BEGIN_TOKEN)
+        {
+            stackfree = stacklist;
+            /*スタックからデータを取り出す*/
+            varcode = ST_first(stacklist);
+            stacklist = ST_second(stacklist);
+            free(stackfree);
+            stackfree = NULL;
+
+            stackfree = stacklistafter;
+            aftervarcode = ST_first(stacklistafter);
+            stacklistafter = ST_second(stacklistafter);
+            free(stackfree);
+            stackfree = NULL;
+        }
     }
     return true;
 }
 
+/*以下の連結リスト構造については数学とラムダ計算と項書き換え系を参照のこと
+ * ここでは、:=を定義とする
+ * 空集合 := {}
+ * 順序対 あるいは、Ordered Pair := (a, b)
+ * (a, b) := { a, {a, b} }
+ * n項組　あるいは、n組、n-tupples := [a, b, c, ... ]
+ * [a, b, c] := (a, ( b, (c, {}) ) )*/
+
 /*ST_EMPTY
  * 空リストを表現する構造体
  * クロージャのある他の言語では、関数で実装する*/
@@ -504,7 +539,7 @@ ST_Ordered_Pair *ST_setChurchNumber (uint_fast32_t length, Ord2ST_Ordered_Pair f
 }
 
 /*ST_getItem 関数
- * 入力されたリストの頭からnum番目にある項目の値を取り出す*/
+ * 入力されたリストの最後からnum番目にある項目の値を取り出す(num >= 0)*/
 ST_Ordered_Pair *ST_getItem (ST_Ordered_Pair *list, uint_fast32_t num) {
     return ST_setChurchNumber(num, ST_second, list);
 }

Binary files a/source_code/shadowstar.o and b/source_code/shadowstar.o differ

--- a/source_code/startest.c
+++ b/source_code/startest.c
@@ -275,6 +275,14 @@ int main(int argc, char **argv)
     assert(ST_first(ST_second(varlist)) == ST_first(varlist));
     ST_freelist(varlist);
     
+    ST_Token_Mode tokens3[12] = {0};
+    length = sizeof(tokens3) / sizeof(tokens3[0]);
+    varlist = ST_tokenize(u8"「愛「愛」（愛）」（愛）", tokens3);
+    assert(ST_parse(tokens3, length, varlist) == true);
+    assert(ST_first(ST_second(varlist)) != ST_first(varlist));
+    assert(ST_first(ST_getItem(varlist, 1)) != ST_first(varlist));
+    assert(ST_first(ST_getItem(varlist, 0)) == ST_first(varlist));
+    ST_freelist(varlist);
     
     
     ST_Token_Mode tokenmode = ST_FUNCTION_APPLY_TOKEN;
@@ -341,6 +349,10 @@ int main(int argc, char **argv)
     
     assert(ST_getNumber(ppp, dummy) == 1);
     assert(ST_getNumber(ST_second(ppp), dummy) == 0);
+    assert(ST_first(ST_getItem(ppp, 0)) == 3);
+    assert(ST_first(ST_getItem(ppp, 1)) == 2);
+    assert(ST_first(ST_getItem(ppp, 2)) == 1);
+    assert(ST_getItem(ppp, 3) == &ST_EMPTY);
     ST_freelist(ppp);
     
     eprint_log("Error!\n");

Binary files a/source_code/startest.o and b/source_code/startest.o differ