From ddedc416185954051ff2a826c24fc1cc608204f1 Mon Sep 17 00:00:00 2001 From: Cori Barker Date: Thu, 5 Feb 2026 09:32:20 +0000 Subject: Written some class declarations for the semantics, updated README --- include/semantic/semantic_analyzer.h | 46 ++++++++++++++++++++++++++++++++++++ 1 file changed, 46 insertions(+) create mode 100644 include/semantic/semantic_analyzer.h (limited to 'include/semantic/semantic_analyzer.h') diff --git a/include/semantic/semantic_analyzer.h b/include/semantic/semantic_analyzer.h new file mode 100644 index 0000000..0d56599 --- /dev/null +++ b/include/semantic/semantic_analyzer.h @@ -0,0 +1,46 @@ +#pragma once + +class SemanticAnalyzer { +public: + explicit SemanticAnalyzer(); + bool analyze(ASTNode* ast); + std::vector getErrors(); + std::vector 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 errors; + std::vector warnings; + FunctionDeclNode* current_function; + std::string current_function_return_type; + bool has_main_function; +}; -- cgit v1.2.3