Commit: b2cc74fe1e0d6ba07b7ed0bc28244824aa4a7358 - star (git)

Commit MetaInfo

• Revisão: b2cc74fe1e0d6ba07b7ed0bc28244824aa4a7358 (tree)
• Hora: 2020-01-27 22:50:34
• Autor: dhrname <dhrname@user...>
• Commiter: dhrname

Mensagem de Log

Modify the Exception

Mudança Sumário

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

Diff

--- a/source_code/orderedpair/exception.h
+++ b/source_code/orderedpair/exception.h
@@ -1,7 +1,7 @@
 /*
  *  Star - A Programing language.
  * 
- *  Copyright (C) 2017 dhrname <[e-mail]>
+ *  Copyright (C) 2017 dhrname <[e-mail]>
  */
 
 #pragma once

--- a/source_code/orderedpair/list/tree/nodelist/class/class.h
+++ b/source_code/orderedpair/list/tree/nodelist/class/class.h
@@ -13,7 +13,6 @@
  *　Λ = {名前, 乙}
  * Λによって添数づけられた写像集合系Aの元の族Cを、クラスと考える
  * インスタンス化は、この集合系Aから、Aの元である写像集合B（A∍B)の元を集めた集合への写像bと考える
- * このとき、インスタンス化を選出と呼ぶ
  * メソッドの呼び出しは、集合族Cと写像bの関数合成、すなわち、
  * a = C ∘ b
  * を満たす写像aと考える（このとき、メソッドの名前集合はΛであることに注意せよ）
@@ -27,36 +26,42 @@
  * したがって、遺伝継承は、単一継承のように一つのメソッドをたどっていくと、一つのクラスにたどり着く
  * また、数世代の遺伝継承によって、多重継承を実現する
  * 
+ * 
  * 予約語
- * 集合族　継承　名前空間　自分　自己　自身　我　俺　私　小生　余　拙者
+ * クラス　継承　名前空間　自分　自己　自身　我　俺　私　小生　余　拙者
  * 
  * この予約語、あるいはこの予約語に関数適用されない束縛変数は、すべて添数とみなす
  * 
- * また、選出は遺伝継承をたどっていった始祖の添数である
- *
  * 
  *　サンプルのソースコード
  * 
+ * 
  * 「　「内容」（甲）を名前として、
  * 　　「内容」（甲）を乙
- * 　」（インスタンス変数）を丙の集合族とする
- *　丙と「集合族の内容」（変数）を継承した子供の集合族
- *  丙と子供を継承した孫という集合族
+ * 　」（インスタンス変数）を丙のクラスとする。
+ * 
+ *　丙と「クラスの内容」（変数）を継承した子供のクラス
  * 
+ *  丙と子供を継承した孫というクラス
+ *
  * 孫
  * 「甲は乙する」（甲）
  * 
- * サンプルという名前空間
  * */
 
 
-/*グローバル集合族*/
-ST_Node ST_Global_Family_Of_Sets;
+/*ハッシュ表で使う素数*/
+
+#define ST_M 2
+
+/*グローバルクラスを格納した配列の派生型*/
+typedef ST_Node ST_Global_Family_Of_Sets[ST_M];
 
 /*ST_initClass 関数
  * クラスの初期化
- * 戻り値はグローバル集合族ノード*/
-ST_Node ST_initClass();
+ * 戻り値は初期化されたグローバルクラスノードの配列
+ * グローバル変数を初期化するので注意*/
+ST_Global_Family_Of_Sets ST_initClass();
 
 /*ST_parseClass 関数
  * 引数のノードからクラスの文法を処理する*/

--- a/source_code/shadowstar.c
+++ b/source_code/shadowstar.c
@@ -1385,7 +1385,8 @@ static inline ST_Token_Mode* alloca_tokens(uint_fast64_t filelength)
     return s;
 }
 
-/*ゲーデル数の一種である自然数のペアのコード化関数*/
+/*ゲーデル数の一種である自然数のペアのコード化関数
+ * 参照：「C言語による計算の理論」（鹿島実）*/
 static inline uint64_t pair (uint64_t x, uint64_t y)
 {
     return (((x+y) * (x+y+1) / 2 ) + x + 1);
@@ -1420,41 +1421,7 @@ void ST_main(ST_Char* name, ST_Char* s, uint_fast64_t filelength)
     ST_Node btr = ST_parse(freetree, tokens, filelength, varlist);
     free(tokens);
     ST_Node evalresult = ST_eval(varlist, btr);
-    ST_parseClass(evalresult);
-    
+   
     ST_freelist(varlist);
     ST_freenode(freetree);
 }
-
-/*ST_initClass 関数
- * クラスの初期化
- * 戻り値はグローバル集合族ノード*/
-ST_Node ST_initClass()
-{
-}
-
-/*ST_parseClass 関数
- * 引数のノードからクラスの意味を解析処理する*/
-ST_Node ST_parseClass(ST_Node node)
-{
-    
-    if ( (NULL == node) || ST_isEmptyNode(node) )
-    {
-        return ST_EMPTY_NODE;
-    }
-    
-    ST_Char *keywords = u8"集合族　継承 名前空間　自分　自己　自身　我　俺　私　小生　余　拙者";
-    
-    ST_Ordered_Pair *varlist = ST_tokenize(keywords, alloca_tokens(strlen(keywords)*10));
-    
-    ST_First_Type num = ST_first(varlist);
-    
-    for (ST_Node a = node;ST_isEmptyNode(a);a = ST_getPreviousNode(a))
-    {
-        if (ST_getBoundVariable(ST_getNodeValue(a)) == num)
-        {
-        }
-    }
-    
-    return ST_EMPTY_NODE;
-}

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

--- a/source_code/star.h
+++ b/source_code/star.h
@@ -32,5 +32,3 @@
 #include "orderedpair/list/item.h"
 
 #include "orderedpair/list/tree/nodelist/ntree.h"
-
-#include "orderedpair/list/tree/nodelist/class/class.h"

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

--- a/source_code/startest.c
+++ b/source_code/startest.c
@@ -795,9 +795,7 @@ printf("\n%d\n", i);
     
 
     ST_freenode(freelist);
-    
-    ST_main("test", u8"集合族", 100);
-    ST_initClass();
+
     
     /*以下のtests_file_lengthのアサーションは評価が値呼びであることを前提にしている*/
     tests_file_length = 0;
@@ -937,9 +935,7 @@ int tests_invalid() {
     
     ST_Char *chee = "testsuite/eeucjp.st";
     ST_readFile(chee, ST_main);
-    
-    assert( ST_isEmptyNode(ST_parseClass(ST_EMPTY_NODE)) );
-    assert( ST_isEmptyNode(ST_parseClass(NULL)) );
+
 
     
     printf("ended error test...\n");

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