- Feat: now symbols table store node on PUT
- Feat: call analyzer with callee resolving and arguments validate
- Feat: identifier analyzer
- Feat: analyzer utils (types compat, tok-to-type, type-to-string)

@@ -0,0 +93,4 @@
+fzl_an_res_t analyze_unarymath(fzl_analyzer_t *analyzer, fzl_node_t *unary);
+fzl_an_res_t analyze_condition(fzl_analyzer_t *analyzer, fzl_node_t *cond_node);
+fzl_an_res_t analyze_unarycond(fzl_analyzer_t *analyzer, fzl_node_t *unary);
+fzl_an_res_t analyze_assign(fzl_analyzer_t *analyzer, fzl_node_t *assign_node);

@@ -0,0 +3,4 @@
+#include <compiler/fzl_parser.h>
+#include <stdio.h>
+
+char asn_problem[256];

@@ -0,0 +6,4 @@
+char asn_problem[256];
+
+// defined in `compiler/analyzer/utility.c`
+extern bool an_is_compatible(fzl_type_t a, fzl_type_t b, char *ac, char *bc);

@@ -0,0 +17,4 @@
+
+  if (!assign_node || assign_node->type != FZL_NODETYPE_ASSIGN)
+  {
+    an_push_error(analyzer, NULL, "node is not typeof ASSIGN");

@@ -0,0 +35,4 @@
+      left->type != FZL_NODETYPE_IDENTIFIER && left->type != FZL_NODETYPE_FIELD)
+  {
+    an_push_error(analyzer, left->token,
+                  "this type of assignment left is not supported");

@@ -0,0 +3,4 @@
+#include <compiler/fzl_parser.h>
+
+// defined in `compiler/analyzer/utility.c`
+extern bool an_is_compatible(fzl_type_t a, fzl_type_t b, char *ac, char *bc);

@@ -0,0 +33,4 @@
+  if (left.type < FZL_TYPE_INT8)
+  {
+    an_push_error(analyzer, bin_node->binary_op.left->token,
+                  "left side is not an integer type");

@@ -0,0 +40,4 @@
+  if (right.type < FZL_TYPE_INT8)
+  {
+    an_push_error(analyzer, bin_node->binary_op.right->token,
+                  "right side is not an integer type");

@@ -0,0 +5,4 @@
+#include <stddef.h>
+#include <stdio.h>
+
+char block_problem[256];

@@ -0,0 +19,4 @@
+
+  if (!block_node || block_node->type != FZL_NODETYPE_BLOCK)
+  {
+    snprintf(block_problem, sizeof(block_problem), "node is not typeof BLOCK");

@@ -0,0 +32,4 @@
+  {
+    if (has_return)
+      an_push_warning(analyzer, block_node->list.entries[i]->token,
+                      "this node will never execute");

@@ -0,0 +66,4 @@
+      if (!has_return || block_node->list.entry_count < 1)
+      {
+        snprintf(block_problem, sizeof(block_problem),
+                 "expected 'return <%s>' in function because return type is %s",

@@ -0,0 +76,4 @@
+          block_node->list.entries[block_node->list.entry_count - 1];
+      if (last_node->type != FZL_NODETYPE_RETURN)
+      {
+        snprintf(block_problem, sizeof(block_problem),

@@ -0,0 +10,4 @@
+
+  if (!break_node || break_node->type != FZL_NODETYPE_BREAK)
+  {
+    an_push_error(analyzer, NULL, "node is not typeof BREAK");

@@ -0,0 +21,4 @@
+    return (char *)callee->token->value;
+
+  if (callee->type != FZL_NODETYPE_FIELD)
+    return NULL;

@@ -0,0 +78,4 @@
+    return (fzl_an_res_t){.error = true};
+  }
+
+  if (strcmp(callee_name, "printline") == 0 || strcmp(callee_name, "exit") == 0)

@@ -0,0 +106,4 @@
+        .error = false, .type = FZL_TYPE_NULL, .classname = NULL};
+  }
+
+  // fzl_an_res_t callee_res = analyze_common(analyzer, callee);

@@ -0,0 +148,4 @@
+    return (fzl_an_res_t){.error = true};
+  }
+
+  size_t start_i = is_method ? 1 : 0;

@@ -0,0 +152,4 @@
+  if ((sym.node->fn.args_count - start_i) != call_node->call.args_count)
+  {
+    snprintf(call_problem, sizeof(call_problem),
+             "expected %zu argument(s) while %zu is specified",

@@ -0,0 +188,4 @@
+    if (!an_is_compatible(req_type, got.type, req_classname, got.classname))
+    {
+      snprintf(call_problem, sizeof(call_problem),
+               "expect argument %zu to be %s, got '%s'", i + 1,