Syoch value toka wo simplize sitayo

.vscode/settings.json

@@ -4,14 +4,15 @@
             {
                 // "cmd": "python3 autotool/auto/autoc.py \"make; ./MineCode -c demo/test\"",
                 // "cmd": "meson .. .",
-                "cmd": "ninja",
+                "cmd": "ninja; src/minecodec -c ../demo/debug",
                 "isAsync": true,
                 "silent": true
             }
         ]
     },
     "files.associations": {
         "*.mc": "json",
+        "*.meson": "meson",
         "array": "cpp",
         "atomic": "cpp",
         "hash_map": "cpp",
@@ -79,7 +80,31 @@
         "regex": "cpp",
         "shared_mutex": "cpp",
         "valarray": "cpp",
-        "cassert": "cpp"
+        "cassert": "cpp",
+        "__bit_reference": "cpp",
+        "__functional_base": "cpp",
+        "__memory": "cpp",
+        "filesystem": "cpp",
+        "__locale": "cpp",
+        "*.def": "cpp",
+        "*.inc": "cpp",
+        "*.gen": "cpp",
+        "hash_set": "cpp",
+        "__config": "cpp",
+        "__debug": "cpp",
+        "__errc": "cpp",
+        "__hash_table": "cpp",
+        "__mutex_base": "cpp",
+        "__node_handle": "cpp",
+        "__nullptr": "cpp",
+        "__split_buffer": "cpp",
+        "__string": "cpp",
+        "__threading_support": "cpp",
+        "__tree": "cpp",
+        "__tuple": "cpp",
+        "locale": "cpp",
+        "queue": "cpp",
+        "stack": "cpp"
     },
     "todo-tree.tree.showBadges": true,
     "todo-tree.tree.showCountsInTree": true,

docs/reference-ja.md

@@ -0,0 +1,98 @@
+# MineCode リフェレンス
+## MineCodeについて
+MineCodeは主にWii Uのチートコード（機械語）を作成するためのツールです
+
+## 型の概念
+MineCodeには型の概念がなく、すべて整数型として処理されます。
+floatなどの少数型は現時点では、サポートしていません(今度のアップデートで対応する可能性)。
+文字列型はその文字列へのポインタ（整数）になって格納されます。
+
+## mcl
+MineCodeでは色々な情報をjsonで記述できるmclというシステムがあります。
+mclの例はこのリポジトリのmclsディレクトリにあるのでそこを参考にしてください。
+構造は以下のとおりです。
+```jsonc
+{
+  "name": "そのmclの名前",
+  "ver": 1, // 現時点では1を指定してください
+  // ストリームのような機能を提供できます
+  "put": {
+    "label": {
+      "type": "asm",  // アセンブラであることを示します
+                      // "asm" の他に "MineCode"も使用できます。
+      "proc": "$arg:" // $arg には渡されたものが入ります
+    },
+    // 木構造で書くこともできます
+    "a": {
+      "b": {
+        "type": "asm",
+        "proc": "hello:" // $argが使われてなくてもエラーにはなりませんが推奨しません
+      }
+    }
+  },
+  // ポインタの宣言
+  // 上から順に処理されるので、依存関係順に書いてください
+  "pointers": [
+    ["ポインタの名前", "ポインタ式"],
+    // 例
+    ["manager", "[0x20000000]"]
+  ],
+  // 関数の宣言
+  "functions": { // これもまた木構造でもかけます
+    "exit": {
+      "addr": 33554432, // json の制約上10進数で書く必要があります
+      "args": [ // 現時点では無視されます
+        {
+          // 引数の型です
+          // 使える識別子は
+          // int, cstr, wstr, ptr
+          // cstrとwstrはstd::stringとstd::wstringの違いと同じです
+          "T": "int",
+          // デフォルトで渡される値の式です
+          "default": "0"
+        }
+      ]
+    }
+  }
+}
+```
+
+## 変数
+MineCodeは変数をサポートしています。
+この変数は型が無いため（すべて整数）型チェックができないという欠点があります。
+
+### 特徴
+MineCodeの型はC系の言語と違い、自動的に変数が宣言されます。
+なので以下のようなソースがエラーなく動作します。
+```
+a = 1
+b = a + 1
+```  
+
+## 関数
+MineCodeでは型の概念がないため関数の定義が非常に簡単です。
+ユーザー関数はまだまだ未熟ですが例を以下に示します
+```
+// int とか 実引数名は現時点では見ていません
+func hoge(int a, int b){
+}
+```
+アドレス指定関数呼び出しは他の言語より簡単に呼べます。  
+※型チェックが行われないためクラッシュする可能性があります。
+例を以下に示します
+```
+func[0x02000000](0) // 0x02000000にある関数を呼べる
+```
+
+## フロー制御
+### For (特定の範囲だけのループ)
+MineCodeには範囲を指定してループできる構文が有ります。
+それを以下に示します。
+```
+for i in 0...10{
+
+}
+```
+
+### If / While
+多言語と同じなので略。

meson.build

@@ -1,2 +1,2 @@
-project('minecode', 'cpp')
+project('minecode', 'cpp',default_options : ['c_std=c11', 'cpp_std=c++17'])
 subdir('src')

src/include/cond/and.hpp

@@ -0,0 +1,13 @@
+
+#pragma once
+
+#include <inttypes.h>
+
+#include <vector>
+
+#include "primary.hpp"
+namespace parserTypes {
+struct condAnd {
+  std::vector<struct condChild> conds;
+};
+}  // namespace parserTypes

src/include/cond/cond.hpp

@@ -0,0 +1,3 @@
+#include "and.hpp"
+#include "or.hpp"
+#include "primary.hpp"

src/include/cond/or.hpp

@@ -0,0 +1,14 @@
+
+#pragma once
+
+#include <inttypes.h>
+
+#include <vector>
+
+#include "and.hpp"
+
+namespace parserTypes {
+struct cond {
+  std::vector<struct condAnd> conds;
+};
+}  // namespace parserTypes

src/include/cond/primary.hpp

@@ -0,0 +1,34 @@
+
+#pragma once
+
+#include <inttypes.h>
+
+#include <expr/expr_t.hpp>
+#include <primary/primary.hpp>
+#include <vector>
+
+#include "or.hpp"
+namespace parserTypes {
+struct condChild {
+  enum Type {
+    COND,
+
+    SINGLE,  // var (to val1)
+    SINGLE_INV,
+
+    EQU,  // ==
+    NEQ,  // !=
+    LT,   // <
+    GT,   // >
+    GE,   // <=
+    LE    // >=
+  };
+
+  struct cond child;
+  primary::BasePrimary *single;
+
+  expr val1;
+  Type op;
+  expr val2;
+};
+}  // namespace parserTypes

src/include/eval.h

@@ -3,26 +3,26 @@
 #define EVAL_H
 #include <string>
 
-namespace parserTypes
-{
-    class expr;
-    class expo;
-    class term;
-    class power;
+namespace parserTypes {
+class expr;
+class expo;
+class term;
 
-    class ptr;
+class ptr;
+namespace primary {
+class BasePrimary;
 }
+}  // namespace parserTypes
 class parserCore;
-namespace eval
-{
-    using namespace parserTypes;
-    void Expr(parserCore *that, expr val, int dest = 13);
-    void Expo(parserCore *that, expo val, int dest = 13);
-    void Term(parserCore *that, term val, int dest = 13);
-    void Power(parserCore *that, power val, int dest = 13);
-    void Ptr(parserCore *that, ptr val, int dest = 13);
-    void Var(parserCore *that, std::wstring obj, int dest);
-    void Ptr_Addr(parserCore *that, ptr obj, int dest);
-} // namespace eval
+namespace eval {
+using namespace parserTypes;
+void Expr(parserCore *that, expr val, int dest = 13);
+void Expo(parserCore *that, expo val, int dest = 13);
+void Term(parserCore *that, term val, int dest = 13);
+void Power(parserCore *that, primary::BasePrimary &val, int dest = 13);
+void Ptr(parserCore *that, ptr val, int dest = 13);
+void Var(parserCore *that, std::wstring obj, int dest);
+void Ptr_Addr(parserCore *that, ptr obj, int dest);
+}  // namespace eval
 
 #endif

src/include/expr/expo.hpp

@@ -0,0 +1,10 @@
+#pragma once
+
+#include <primary/primary.hpp>
+#include <vector>
+namespace parserTypes {
+struct expo {
+  std::vector<primary::BasePrimary*> parts;
+  bool isSingle();
+};
+}  // namespace parserTypes

src/include/expr/expo_wrap.hpp

@@ -0,0 +1,13 @@
+#pragma once
+
+#include <vector>
+
+#include "expo.hpp"
+namespace parserTypes {
+struct expo_wrap {
+  enum Type { MUL, DIV, MOD };
+
+  Type type;
+  struct expo value;
+};
+}  // namespace parserTypes

src/include/expr/expr.hpp

@@ -0,0 +1,9 @@
+#pragma once
+
+#include <primary/primary.hpp>
+
+#include "expo.hpp"
+#include "expo_wrap.hpp"
+#include "expr.hpp"
+#include "ptr.hpp"
+#include "term.hpp"

src/include/expr/expr_t.hpp

@@ -0,0 +1,13 @@
+#pragma once
+
+#include <vector>
+
+#include "term.hpp"
+
+namespace parserTypes {
+// TODO: rename this to Expr
+struct expr {
+  std::vector<struct term> parts;
+  bool isSingle();
+};
+}  // namespace parserTypes

src/include/expr/ptr.hpp

@@ -0,0 +1,17 @@
+#pragma once
+
+#include <memory>
+
+namespace parserTypes {
+class expr;
+class ptr {
+  std::shared_ptr<expr> base;
+
+ public:
+  ptr(expr &_base);
+  ptr(expr *_base);
+  ptr();
+
+  expr getBase();
+};
+}  // namespace parserTypes

src/include/expr/term.hpp

@@ -0,0 +1,11 @@
+#pragma once
+
+#include <vector>
+
+#include "expo_wrap.hpp"
+namespace parserTypes {
+struct term {
+  std::vector<struct expo_wrap> parts;
+  bool isSingle();
+};
+}  // namespace parserTypes