提交: b110f544a7c6bcb4163b3bf55be79a2937bc89ef - star (git)

Commit MetaInfo

• 修订版: b110f544a7c6bcb4163b3bf55be79a2937bc89ef (tree)
• 时间: 2019-03-14 18:40:23
• 作者: dhrname <dhrname@user...>
• Commiter: dhrname

Log Message

Modify the callback interface

更改概述

• modified: source_code/Makefile
• modified: source_code/orderedpair/list/tree/nodelist/class/class.h
• modified: source_code/shadowstar.c
• modified: source_code/shadowstar.h
• modified: source_code/shadowstar.o
• modified: source_code/star.o
• modified: source_code/startest.c
• modified: source_code/startest.o

差异

--- a/source_code/Makefile
+++ b/source_code/Makefile
@@ -1,4 +1,4 @@
-CC = gcc
+CC = clang
 DEBUGMODE = -Wall -std=c11 -O0 -g -pg
 NODEBUGMODE = -Wall -std=c11 -O2
 SHELL = /bin/sh

--- a/source_code/orderedpair/list/tree/nodelist/class/class.h
+++ b/source_code/orderedpair/list/tree/nodelist/class/class.h
@@ -11,13 +11,12 @@
  * 以下のサンプルコードでは、名前と乙が添数集合の元
  * すなわち、以下のような添数集合Λがあるとき、
  *　Λ = {名前, 乙}
- * 写像集合を元とするようなある集合族Aについて、
- * Λから集合族Aへの写像aを、クラスと考える
- * インスタンス化は、この集合族Aから、Aの元である写像集合B（A∍B)の元を集めた集合への写像bと考える
- * いわば、Bの選出である
- * メソッドの呼び出しは、写像aと写像bの関数合成、すなわち、
- * c = a ∘ b
- * を満たす写像cと考える（メソッドの名前集合はΛであることに注意せよ）
+ * Λによって添数づけられた写像集合系Aの元の族Cを、クラスと考える
+ * インスタンス化は、この集合系Aから、Aの元である写像集合B（A∍B)の元を集めた集合への写像bと考える
+ * このとき、インスタンス化を選出と呼ぶ
+ * メソッドの呼び出しは、集合族Cと写像bの関数合成、すなわち、
+ * a = C ∘ b
+ * を満たす写像aと考える（このとき、メソッドの名前集合はΛであることに注意せよ）
  * 
  * 
  * 継承は遺伝継承である（クラスの単一継承と多重継承の両方のメリットを生かす）

--- a/source_code/shadowstar.c
+++ b/source_code/shadowstar.c
@@ -1320,29 +1320,34 @@ uint_fast64_t ST_readFile(ST_Char *name, ST_File_Call callback)
         if (NULL == fp)
         {
             /*ファイルを開くことを失敗した場合*/
-            eprint_log("Fail to open that file\n");
+            eprint_log("Fail To Open That File\n");
             return ST_FILE_FAIL;
         }
         
         /*ファイルの長さ*/
         size_t filelength = fread(s, sizeof(ST_Char), ST_TEXT_LENGTH, fp);
-        
+        if ( (sizeof(ST_Char) == 0) || (0 == ST_TEXT_LENGTH) )
+        {
+            errno = EINVAL;
+            eprint_log("ST_Char or ST_TEXT_LENGTH is Zero Error on the fread:");
+            return ST_FILE_FAIL;
+        }
         if ( ferror(fp) )
         {
             /*ファイルの読み込みに失敗した場合*/
-            eprint_log("Fail to read that file\n");
+            eprint_log("Fail To Read That File\n");
             fclose(fp);
             return ST_FILE_FAIL;
         }
         else
         {
-            callback(s, (uint_fast64_t)filelength);
+            callback(name, s, (uint_fast64_t)filelength);
         }
         
         if ( EOF == fclose(fp) )
         {
             /*ファイルを閉じることに失敗した場合*/
-            eprint_log("Fail to close that file\n");
+            eprint_log("Fail To Close That File\n");
             return ST_FILE_FAIL;
         }
         
@@ -1357,7 +1362,7 @@ uint_fast64_t ST_readFile(ST_Char *name, ST_File_Call callback)
         if ( ST_FILE_FAIL == fd )
         {
             /*ファイルを開くことを失敗した場合*/
-            eprint_log("Fail to open that file\n");
+            eprint_log("Fail To Open That File" name "\n");
             return ST_FILE_FAIL;
         }
         
@@ -1367,19 +1372,19 @@ uint_fast64_t ST_readFile(ST_Char *name, ST_File_Call callback)
         if (ST_FILE_FAIL == filelength)
         {
             /*ファイルの読み込みを失敗した場合*/
-            eprint_log("Fail to read that file\n");
+            eprint_log("Fail To Read That File\n");
             close(fd);
             return ST_FILE_FAIL;
         }
         else
         {
-            callback(s, (uint_fast64_t)filelength);
+            callback(name, s, (uint_fast64_t)filelength);
         }
         
         if ( ST_FILE_FAIL == close(fd) )
         {
             /*ファイルを閉じることを失敗した場合*/
-            eprint_log("Fail to close that file\n");
+            eprint_log("Fail To Close That File" name "\n");
             return ST_FILE_FAIL;
         }
         
@@ -1396,6 +1401,7 @@ static inline ST_Token_Mode* alloca_tokens(uint_fast64_t filelength)
     return s;
 }
 
+/*ゲーデル数の一種である自然数のペアのコード化関数*/
 static inline uint64_t pair (uint64_t x, uint64_t y)
 {
     return (((x+y) * (x+y+1) / 2 ) + x + 1);
@@ -1405,7 +1411,7 @@ static inline uint64_t pair (uint64_t x, uint64_t y)
  * 引数sはソースコードの文字列。
  * 引数filelengthはsの長さ
  * 上記のST_readFile関数のコールバック関数として使用*/
-void ST_main(ST_Char* s, uint_fast64_t filelength)
+void ST_main(ST_Char* name, ST_Char* s, uint_fast64_t filelength)
 {
     if (filelength > STAR_TOKEN_LENGTH_MAX)
     {

--- a/source_code/shadowstar.h
+++ b/source_code/shadowstar.h
@@ -69,7 +69,7 @@ typedef struct ST_Text_Code {
 
 /*callback用の関数型
  * ST_readFile 関数で使う*/
-typedef void (*ST_File_Call)(ST_Char*, uint_fast64_t);
+typedef void (*ST_File_Call)(ST_Char*, ST_Char*, uint_fast64_t);
 
 /*ST_readFile 関数
  * 引数nameで指定された名前のファイルの読み込みを行う*/
@@ -79,4 +79,4 @@ uint_fast64_t ST_readFile(ST_Char*, ST_File_Call);
  * 引数sはソースコードの文字列。
  * 引数filelengthはsの長さ
  * 上記のST_readFile関数のコールバック関数として使用*/
-void ST_main(ST_Char*, uint_fast64_t);
+void ST_main(ST_Char*, ST_Char*, uint_fast64_t);

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

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

--- a/source_code/startest.c
+++ b/source_code/startest.c
@@ -33,9 +33,10 @@ int tests_invalid(void);
 static uint_fast64_t tests_file_length = 0;
 
 /*ST_readFile 関数のテストに使うコールバック用の関数*/
-void tests_callback_file(ST_Char *s, uint_fast64_t n)
+void tests_callback_file(ST_Char* name, ST_Char *s, uint_fast64_t n)
 {
     tests_file_length = n;
+    printf("FileName: %s\n", name);
     printf("%d\n", n);
     printf("%s\n", s);
 }
@@ -926,8 +927,8 @@ int tests_invalid() {
     
     assert(ST_FILE_FAIL == ST_readFile(NULL, tests_callback_file));
     
-    ST_main(u8"w\np\n", 1048577);
-    ST_main(u8"w\np\n", 0);
+    ST_main(u8"error", u8"w\np\n", 1048577);
+    ST_main(u8"error", u8"w\np\n", 0);
     
     printf("ended error test...\n");
     

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