提交: 2c88c8ad05a46d02c9cf97b76b8c9cf7fa829f4e - star (git)

Commit MetaInfo

• 修订版: 2c88c8ad05a46d02c9cf97b76b8c9cf7fa829f4e (tree)
• 时间: 2017-09-15 23:42:29
• 作者: dhrname <dhrname@user...>
• Commiter: dhrname

Log Message

Modify the ST_parse function

更改概述

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

差异

--- a/source_code/shadowstar.c
+++ b/source_code/shadowstar.c
@@ -377,7 +377,7 @@ static inline void alphaconvert(ST_Token_Mode *array, size_t length, ST_Ordered_
 /*ST_parse関数
  * トークン配列arrayでパーサ解析
  *  連結リストのlistは束縛変数の値を格納している
- * 返却値は解析リスト
+ * 返却値は解析された二分木を収納した隣接リスト
  * arrayの長さとして、引数にlengthを用いる理由は以下を参照のこと
  * 「ARR01-C. 配列のサイズを求めるときに sizeof 演算子をポインタに適用しない」
  * http://www.jpcert.or.jp/sc-rules/c-arr01-c.html
@@ -403,17 +403,19 @@ ST_Binary_Tree  ST_parse(ST_Token_Mode *array, size_t length, ST_Ordered_Pair *l
      * 「甲」（甲）「甲」（甲） ->α 「乙」（乙）「甲」（甲）*/
     alphaconvert(array, length, list);
     
+    /*関数抽象を表す木構造*/
+    ST_Binary_Tree tree = ST_pairTree(list, ST_second(ST_second(list)));
     
-    return true;
+    /*隣接リストの親ルート。このリストの右側の枝に、関数抽象treeを格納*/
+    ST_Binary_Tree root = ST_pairTree(&ST_EMPTY, tree);
+    
+    return root;
 }
 
 /*ベータ簡約を用いて、解析木の評価を行う*/
 ST_Ordered_Pair *ST_eval()
 {
-    /*前もって、簡単なベータ簡約を実施しておく
-     * listの値を変更することになるので、テストをすること
-     * 甲を「乙」（乙) ->β 甲
-     * 実際には、甲を「甲」（乙）と残しておく*/
+
 }
 
 /*以下の連結リスト構造については数学の集合とラムダ計算と項書き換え系を参照のこと
@@ -673,7 +675,7 @@ static inline bool is_Branch_From_Outer(ST_Binary_Tree first, ST_Binary_Tree sec
 }
 
 /*ST_pairTree 関数
- * 二つのST_Ordered_Pair型を用いて、二分木を作成する
+ * 引数で指定された二つのST_Ordered_Pair型を用いて、二分木を作成する
  * それぞれ、左の枝と右の枝にぶら下げられる*/
 ST_Binary_Tree ST_pairTree(ST_Binary_Tree first, ST_Binary_Tree second)
 {

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

--- a/source_code/star.h
+++ b/source_code/star.h
@@ -136,7 +136,7 @@ ST_Binary_Tree ST_getSecondTree(ST_Binary_Tree);
 
 /*ST_pairTree 関数
  * 二つのST_Ordered_Pair型を用いて、二分木を作成する
- * それぞれ、左の枝と右の枝にぶら下げられる*/
+ * それぞれ、一番目の左の枝と、二番目の右の枝にぶら下げられる*/
 ST_Binary_Tree ST_pairTree(ST_Binary_Tree, ST_Binary_Tree);
 
 /*ST_freetree 関数

--- a/source_code/startest.c
+++ b/source_code/startest.c
@@ -300,8 +300,11 @@ int main(int argc, char **argv)
     
     init_token_length(tokens5, length);
     varlist = ST_tokenize(u8"謎は「愛を愛する」（愛）", tokens5);
-    assert(ST_parse(tokens5, length, varlist) == true);
-    
+    ST_Binary_Tree btr = ST_parse(tokens5, length, varlist);
+    assert(ST_isEmpty(ST_getFirstTree(btr)));
+    assert(ST_first(ST_getFirstTree(ST_getSecondTree(btr))) == ST_first(varlist));
+    ST_freelist(btr);
+    ST_freelist(varlist);
     
     ST_Token_Mode tokenmode = ST_FUNCTION_APPLY_TOKEN;
     assert(tokenmode == 1);

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