提交: f8c49f238412be17cb30e42e98db350b6d2fbe77 - star (git)

Commit MetaInfo

• 修订版: f8c49f238412be17cb30e42e98db350b6d2fbe77 (tree)
• 时间: 2018-11-25 20:30:52
• 作者: dhrname <dhrname@user...>
• Commiter: dhrname

Log Message

Modify the ST_parse and Move an interface for the ST_getBoundVariable

更改概述

• modified: source_code/orderedpair/list/tree/nodelist/ntree.h
• modified: source_code/shadowstar.c
• modified: source_code/shadowstar.h
• modified: source_code/shadowstar.o
• modified: source_code/startest.o

差异

--- a/source_code/orderedpair/list/tree/nodelist/ntree.h
+++ b/source_code/orderedpair/list/tree/nodelist/ntree.h
@@ -103,3 +103,9 @@ typedef ST_Node (*ST_Node2Node)(ST_Node);
 /*ST_setItemNode 関数
  * C言語でラムダ計算のchurch数を部分的に再現するための関数(ノード用)*/
 ST_Node ST_setItemNode (uint_fast32_t length, ST_Node2Node f, ST_Node node);
+
+
+/*ST_getBoundVariable 関数
+ * 関数抽象ノードabstractionの束縛変数(Bound Variable)を数値化したものを取得する
+ * ここでいう束縛変数とは、λx.Mのときの、変数xを指す*/
+ST_First_Type ST_getBoundVariable (ST_Ordered_Pair *);

--- a/source_code/shadowstar.c
+++ b/source_code/shadowstar.c
@@ -462,9 +462,6 @@ ST_Node ST_parse(ST_Node freetree, ST_Token_Mode *array, size_t length, ST_Order
     ST_Ordered_Pair *null;
     null = ST_EMPTY;
 
-    /*前回のキャッシュしておいた変数の値*/
-    ST_Ordered_Pair *cache_v = v;
-
     /*束縛変数、すなわち、()内の変数の値を格納したスタックリスト*/
     ST_Stack_List bound_vstacklist = &null;
 
@@ -499,8 +496,6 @@ ST_Node ST_parse(ST_Node freetree, ST_Token_Mode *array, size_t length, ST_Order
                     /*変数ノードには、変数の値だけがノード値として格納される*/
                     ST_setNodeValue(seq, v);
                 }
-                /*後述する関数抽象の終わりのために、変数をキャッシュしておく*/
-                cache_v = v;
                 v = ST_second(v);
                 break;
             case ST_KAGIKAKKO_END_TOKEN:
@@ -515,7 +510,7 @@ ST_Node ST_parse(ST_Node freetree, ST_Token_Mode *array, size_t length, ST_Order
                 /*ノード型を関数抽象型とする*/
                 seq->nodeType = ST_LAMBDA_ABSTRACTION_NODE;
                 /*あらかじめキャッシュしておいた変数cache_vは、「の後で、一番目に出てくる変数*/
-                ST_setNodeValue(seq, ST_pairTree(ST_popTree(bound_vstacklist), cache_v));
+                ST_setNodeValue(seq, ST_popTree(bound_vstacklist));
                 break;
             default:
                 break;
@@ -910,9 +905,9 @@ ST_Binary_Tree ST_getListItem (ST_Binary_Tree list, uint_fast32_t num)
 /*ST_getBoundVariable 関数
  * 二分木リストとして表現された関数抽象abstractionの束縛変数(Bound Variable)を数値化したものを取得する
  * ここでいう束縛変数とは、λx.Mのときの、変数xを指す*/
-ST_First_Type ST_getBoundVariable (ST_Binary_Tree abstraction)
+ST_First_Type ST_getBoundVariable (ST_Ordered_Pair *abstraction)
 {
-	return ST_first(ST_getFirstTree(abstraction));
+	return ST_first(abstraction);
 }
 
 /*ST_freetree 関数

--- a/source_code/shadowstar.h
+++ b/source_code/shadowstar.h
@@ -52,8 +52,3 @@ typedef struct ST_Text_Code {
         ST_Token_Mode* array; /*トークンモードの配列*/
         uint_fast32_t pos;    /*現在のソースコードの位置*/
 } ST_Text_Code;
-
-/*ST_getBoundVariable 関数
- * 二分木リストとして表現された関数抽象abstractionの束縛変数(Bound Variable)を数値化したものを取得する
- * ここでいう束縛変数とは、λx.Mのときの、変数xを指す*/
-ST_First_Type ST_getBoundVariable (ST_Binary_Tree);

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

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