Commit: 58e95d8ee866ba4a8c5bd42e28e646aa05649667 - star (git)

Commit MetaInfo

• Revisão: 58e95d8ee866ba4a8c5bd42e28e646aa05649667 (tree)
• Hora: 2017-07-11 23:27:58
• Autor: dhrname <dhrname@user...>
• Commiter: dhrname

Mensagem de Log

Add the header file

Mudança Sumário

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

Diff

--- a/source_code/Makefile
+++ b/source_code/Makefile
@@ -11,9 +11,9 @@ all : startest star
 %.o : %.c
 	$(CC) -Wall -std=c11 $(NODEBUGMODE) -c $< -o $@
 
-star.o: star.c shadowstar.h
+star.o: star.c shadowstar.h star.h
 
-shadowstar.o: shadowstar.c shadowstar.h
+shadowstar.o: shadowstar.c shadowstar.h star.h
 
 star: shadowstar.o star.o
 	$(CC) -Wall -std=c11 $(NODEBUGMODE) -o ../$@ shadowstar.o star.o

--- a/source_code/shadowstar.c
+++ b/source_code/shadowstar.c
@@ -311,6 +311,7 @@ static inline bool isoutofPARENTHESES (int_fast32_t index, ST_Token_Mode *array,
 
 /*alphaconvert関数
  * 引数から与えられたトークン配列をもとに、引数のリストのアルファ変換をする
+ * 目的は衝突を避けるため
  * リストの構造体に指定された値は変更される*/
 static inline void alphaconvert(ST_Token_Mode *array, size_t length, ST_Ordered_Pair *list)
 {    /*トークンモードの数値*/
@@ -382,7 +383,8 @@ static inline void alphaconvert(ST_Token_Mode *array, size_t length, ST_Ordered_
 /* 文法に関しては、ラムダ計算をひっくり返したものを日本語化したものを用いる
  * 1, λx.x y
  * 2, y x.xλ
- * 3, 「ワイをエックス」（エックス）*/
+ * 3, 「y x」（x)
+ * 4,「ワイをエックス」（エックス）*/
 bool ST_parse(ST_Token_Mode *array, size_t length, ST_Ordered_Pair *list)
 {
     if (ST_isEmpty(list))
@@ -399,15 +401,10 @@ bool ST_parse(ST_Token_Mode *array, size_t length, ST_Ordered_Pair *list)
      * 「甲」（甲）「甲」（甲） ->α 「乙」（乙）「甲」（甲）*/
     alphaconvert(array, length, list);
     
-    /*関数の引数を受容体として考える。また、関数そのものを、その受容体へ送る信号と考えて、
-     * ベータ簡約する
-     * どのような評価戦略を下すかは、受容体よりけり
-     * λxy.x y　の場合
-     * 関数x(y)と考えたとき、関数xを信号、引数yを受容体とする　-> (x)y
-     * λxyz.x y zの場合
-     * -> ( (x)y ) z
-     * λxyz.x (y z)の場合
-     * -> (x)(y)z*/
+    /*甲「乙を乙に」（乙) ->β 「甲を甲に」*/
+    
+    
+    
     
     return true;
 }

--- a/source_code/shadowstar.h
+++ b/source_code/shadowstar.h
@@ -9,15 +9,7 @@
 #include "star.h"
 
 
-/*ST_OrderdPair 構造体
- * 順序対を作るための構造体
- * ただし、属性fだけは操作として、next関数で使われる*/
-struct ST_OrderedPair {
-    double first;      /*対となる一番目*/
-    ST_Ordered_Pair *second;     /*対となる二番目*/
-    int32_t lifepoint; /*参照カウンタ*/
-};
-
+#define ST_CHAR_CODE_MAP_MAX 92
 
 /*UTF8用のマップ
  * このマップをもとに、文字列のパターンを照合する*/

--- a/source_code/star.c
+++ b/source_code/star.c
@@ -5,7 +5,7 @@
  * 
  */
 
-#include "star.h"
+#include "shadowstar.h"
 
 int main(void)
 {

--- a/source_code/star.h
+++ b/source_code/star.h
@@ -33,7 +33,11 @@ typedef struct ST_OrderedPair ST_Ordered_Pair;
 /*ST_OrderdPair 構造体
  * 順序対を作るための構造体
  * ただし、属性fだけは操作として、next関数で使われる*/
-
+struct ST_OrderedPair {
+    double first;      /*対となる一番目*/
+    ST_Ordered_Pair *second;     /*対となる二番目*/
+    int32_t lifepoint; /*参照カウンタ*/
+};
 
 /*ST_EMPTY
  * 空リストを表現する構造体
@@ -119,15 +123,6 @@ typedef enum {
   ST_WHITESPACES_TOKEN        /*空白文字類用のトークン*/
 } ST_Token_Mode;
 
-#define ST_CHAR_CODE_MAP_MAX 92
-
-/*UTF8用のマップ
- * このマップをもとに、文字列のパターンを照合する*/
-struct ST_UTF8_Char_Code;
-
-/*tokenizeで使われるデータ形式をまとめたもの
- * posはtextの現在位置となる*/
-struct ST_Text_Code;
 
 /*tokenize 関数
  * 文字列をトークン化処理して、入力した配列にトークン番号を割り当てる。入力値はトークン化したい文章と配列*/

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