Commit: 01478f7b3711aa3d6e202a8b63fbe000fccad011 - star (git)

Commit MetaInfo

• Revisão: 01478f7b3711aa3d6e202a8b63fbe000fccad011 (tree)
• Hora: 2017-04-04 22:32:21
• Autor: dhrname <dhrname@user...>
• Commiter: dhrname

Mensagem de Log

Add the alpha conversation

Mudança Sumário

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

Diff

--- a/source_code/Makefile
+++ b/source_code/Makefile
@@ -1,21 +1,21 @@
 CC = gcc
-DEBUGMODE = -O0 -g
+DEBUGMODE = -O0 -g -pg
 NODEBUGMODE = -O2
 all : startest star
 .PHONY : all
 
 star.o: star.c
-	$(CC) -fopenmp -Wall -std=c11 $(NODEBUGMODE) -c star.c
+	$(CC) -Wall -std=c11 $(NODEBUGMODE) -c star.c
 
 shadowstar.o: shadowstar.c
-	$(CC) -fopenmp -Wall -std=c11 $(NODEBUGMODE) -c shadowstar.c
+	$(CC) -Wall -std=c11 $(NODEBUGMODE) -c shadowstar.c
 
 star: shadowstar.o star.o
 	$(CC) -Wall -std=c11 $(NODEBUGMODE) -o ../star shadowstar.o star.o
 
 
 startest.o: startest.c
-	$(CC) -fopenmp -Wall -std=c11 $(NODEBUGMODE) -c startest.c
+	$(CC) -Wall -std=c11 $(NODEBUGMODE) -c startest.c
 
 startest: shadowstar.o startest.o
 	$(CC) -Wall -std=c11 $(NODEBUGMODE) -o ../startest shadowstar.o startest.o 

--- a/source_code/shadowstar.c
+++ b/source_code/shadowstar.c
@@ -292,15 +292,44 @@ ST_Ordered_Pair *ST_tokenize(const int_least8_t *text, ST_Token_Mode *array)
  * 「ARR01-C. 配列のサイズを求めるときに sizeof 演算子をポインタに適用しない」
  * http://www.jpcert.or.jp/sc-rules/c-arr01-c.html
  * 実行処理のみ実装*/
+/* 1, λx.x y
+ * 2, y x.xλ
+ * 3, 「ワイをエックス」（エックス）*/
 bool ST_parse(ST_Token_Mode *array, size_t length, ST_Ordered_Pair *list)
 {
     if (ST_isEmpty(list))
     {
         return false;
     }
+    
+    /*衝突しそうな変数は前もってアルファ変換をしておく
+     * listの値を変更することになるので、テストをすること
+     * ex:
+     *  λx.λx.x ->α λx.λy.y
+     * 「「甲」（甲）」（甲) ->α 「「乙」（乙)」（甲）
+     * あるいは、
+     * 「甲」（甲）「甲」（甲） ->α 「乙」（乙）「甲」（甲）*/
+     
+    /*トークンモードの数値*/
+    ST_Token_Mode mode = ST_UNKNOWN_TOKEN;
+    
+    /*探すべき変数の値*/
+    double varcode = 0.0;
+    
+    /*リストの現在のヘッダー*/
+    ST_Ordered_Pair *head = list;
+    
+#pragma omp parallel for 
     for (int_fast32_t i = length-1; i >= 0; i--)
     {
-        
+        mode = array[i];
+        if (mode == ST_VARIABLE_TOKEN)
+        {
+            double code = ST_first(head);
+            /*ここでリストの値を書き換えていることに注意*/
+            head->first = code / (double) rand();
+            head = ST_second(head);
+        }
     }
     return true;
 }

--- a/source_code/shadowstar.h
+++ b/source_code/shadowstar.h
@@ -39,8 +39,6 @@ extern "C" {
 
 
 
-
-
 /** Run modes for the basic interface. */
 typedef enum {
   CU_BRM_NORMAL = 0,  /**< Normal mode - failures and run summary are printed [default]. */

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

--- a/source_code/startest.c
+++ b/source_code/startest.c
@@ -237,12 +237,20 @@ int main(int argc, char **argv)
     assert(ST_parse(tokens, length, &ST_EMPTY) == false);
     varlist = ST_tokenize(u8"aBa愛", tokens);
     assert(ST_parse(tokens, length, varlist) == true);
+    ST_freelist(varlist);
     init_token(tokens1);
     length = sizeof(tokens1)/sizeof(tokens1[0]);
     ST_parse(tokens1, length, &ST_EMPTY);
     assert(ST_parse(tokens1, length, &ST_EMPTY) == false);
     varlist = ST_tokenize(u8"aBa愛", tokens1);
     assert(ST_parse(tokens1, length, varlist) == true);
+    ST_freelist(varlist);
+    init_token(tokens1);
+    varlist = ST_tokenize(u8"（愛あ）（愛）", tokens1);
+    assert(ST_parse(tokens1, length, varlist) == true);
+    assert(ST_first(ST_second(varlist)) != ST_first(varlist));
+    ST_freelist(varlist);
+    
     
     
     ST_Token_Mode tokenmode = ST_FUNCTION_APPLY_TOKEN;

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