commit ddedc416185954051ff2a826c24fc1cc608204f1
parent 44eb8234648bfd6c4607d4fd0d804bbfb9168589
Author: Cori Barker <coribarker2@gmail.com>
Date: Thu, 5 Feb 2026 09:32:20 +0000
Written some class declarations for the semantics, updated README
Diffstat:
7 files changed, 147 insertions(+), 12 deletions(-)
diff --git a/README b/README
@@ -0,0 +1,8 @@
+bl-compiler
+
+Written as A-Level project, compiler toolchain for the bl-language.
+
+Build requirements:
+- CMake 3.x
+- C++ 17 compatablie compiler (eg. gcc)
+- Make
diff --git a/README.md b/README.md
@@ -1,12 +0,0 @@
-# bl-compiler
-
-## Requirements
-
-### Build Requirements
-- CMake 3.x or higher
-- C++17 compatible compiler
-- Make or Ninja build system
-
-### Runtime Requirements
-- Operating System: x86 Linux
-
diff --git a/include/semantic/scope.h b/include/semantic/scope.h
@@ -0,0 +1,23 @@
+#pragma once
+
+#include <string>
+#include <memory>
+
+class Scope {
+public:
+ explicit Scope(std::string name, int level, std::unique_ptr<Scope> parent);
+ std::string getScopeName();
+ int getScopeLevel();
+ std::unique_ptr<Scope> getParentScope();
+ void define(Symbol symbol);
+ std::unique_ptr<Symbol> lookup(std::string name);
+ bool isDeclared(std::string name);
+ std::unordered_map<std::string, Symbol> getAllSymbols();
+ std::string toString();
+
+private:
+ std::string scope_name;
+ int scope_level
+ std::unique_ptr<Scope> parent_scope;
+ std::unordered_map<std::string, Symbol>;
+};
diff --git a/include/semantic/semantic_analyzer.h b/include/semantic/semantic_analyzer.h
@@ -0,0 +1,46 @@
+#pragma once
+
+class SemanticAnalyzer {
+public:
+ explicit SemanticAnalyzer();
+ bool analyze(ASTNode* ast);
+ std::vector<Error> getErrors();
+ std::vector<Error> getWarnings();
+ bool hasErrors();
+
+ // Main visitor method
+ std::string visit(ASTNode* ast);
+
+ // Visitor methods for program structure
+ std::string visitProgram(ProgramNode* node);
+ std::string visitFunctionDecl(FunctionDeclNode* node);
+ std::string visitParameter(ParameterNode*);
+
+ // Visitor methods for statements
+ std::string visitVarDeclaration(VarDeclNode* node);
+ std::string visitAssignment(AssignmentNode* node);
+ std::string visitIfStatement(IfStatementNode* node);
+ std::string visitWhileStatement(WhileStatementNode* node);
+ std::string visitForStatement(ForStatementNode* node);
+ std::string visitReturnStatement(ReturnStatementNode* node);
+ std::String visitExpressionStatement(ExpressionStatementNode* node);
+
+ // Visitor methods for expressions
+ std::string visitBinaryExpression(BinaryExprNode* node);
+ std::string visitUnaryExpression(UnaryExprNode* node);
+ std::string visitFunctionCall(FunctionCallNode* node);
+ std::string visitIdentifier(IdentifierNode* node);
+ std::string visitLiteral(LiteralNode* node);
+
+ // Type checking helper methods
+ bool checkTypeCompatibility(std::string target, std::string source);
+ std::string inferBinaryOpType(std::string op, std::string left, std::string right);
+
+private:
+ SymbolTable symbol_table;
+ std::vector<Error> errors;
+ std::vector<Error> warnings;
+ FunctionDeclNode* current_function;
+ std::string current_function_return_type;
+ bool has_main_function;
+};
diff --git a/include/semantic/symbol.h b/include/semantic/symbol.h
@@ -0,0 +1,38 @@
+#pragma once
+
+#include <string>
+#include <vector>
+
+#include "types.h"
+
+class Symbol {
+public:
+ explicit Symbol(std::string name, SymbolType type, std::string data_type, int scope);
+ std::string getName();
+ SymbolType getSymbolType();
+ std::string getDataType();
+ int getScopeLevel();
+ bool isInitialized();
+ void setInitialized(bool init);
+ bool isParameter();
+ void setParameter(bool is_param);
+ std::vector<std::string> getParameterTypes();
+ void setParameterTypes(std::vector<std::string> types);
+ std::string getReturnType();
+ void setReturnType(std::string type);
+ int getLineDeclared();
+ void setLineDeclared(int line);
+ std::string toString();
+
+private:
+ std::string name;
+ SymbolType symbol_type
+ std::string data_type
+ int scope_level
+ bool is_initialized
+ bool is_parameter
+ std::vector<std::string> parameter_types
+ std::string return_type
+ int line_declared
+ int column_declared
+};
diff --git a/include/semantic/symbol_table.h b/include/semantic/symbol_table.h
@@ -0,0 +1,25 @@
+#pragma once
+
+class SymbolTable {
+public:
+ explicit SymbolTable();
+ ~SymbolTable() = default;
+ void enterScope(std::string scope_name);
+ void exitScope();
+ Scope* getCurrentScope();
+ Scope* getGlobalScope();
+ int getScopeLevel();
+ void insert(Symbol symbol);
+ Symbol* lookup(std::string name);
+ Symbol* lookupCurrentScope(std::string name);
+ bool isDeclared(std::string name);
+ bool isDeclaredInCurrentScope(std::string name);
+ void display();
+ std::string toString();
+
+private:
+ std::vector<std::unique_ptr<Scope>> scopes;
+ Scope* current_scope;
+ int scope_level;
+ Scope* global_scope;
+};
diff --git a/include/semantic/symbol_type.h b/include/semantic/symbol_type.h
@@ -0,0 +1,7 @@
+#pragma once
+
+enum class SymbolType {
+ VARIABLE,
+ FUNCTION,
+ PARAMETER,
+};
