SemanticAnalyzer.h

Go to the documentation of this file.

 
#pragma once
#include "../runner/common/Setup.h"
#include "Symbol.h"
#include "SymbolFactory.h"
#include "SyntaxNode.h"
#include "TypeDescriptor.h"
 
namespace mana
{
    class StringPool;
 
    class SemanticAnalyzer : Noncopyable
    {
    public:
        explicit SemanticAnalyzer(
            const std::shared_ptr<SymbolFactory>& symbolFactory,
            const std::shared_ptr<TypeDescriptorFactory>& typeDescriptorFactory,
            const std::shared_ptr<StringPool>& stringPool);
 
        virtual ~SemanticAnalyzer() = default;
 
        static void SetCurrentFileInformation(const std::shared_ptr<SyntaxNode>& node);
            
        bool SearchSymbolFromName(const std::shared_ptr<SyntaxNode>& node);
            
        void ResolveTypeDescription(const std::shared_ptr<SyntaxNode>& node);
 
        std::shared_ptr<TypeDescriptor> ResolveVariableSize(const std::shared_ptr<SyntaxNode>& node);
 
        void ResolveDeclarator(const std::shared_ptr<SyntaxNode>& node, const bool isStaticVariable);
 
        void ResolveVariableDescription(const std::shared_ptr<SyntaxNode>& node, const Symbol::MemoryTypeId memoryTypeId, const bool isStaticVariable);
 
        static void ResolveTypeFromChildNode(const std::shared_ptr<SyntaxNode>& node);
 
    protected:
        struct ConstValue
        {
            std::shared_ptr<TypeDescriptor> type;
            int32_t intValue = 0;
            float floatValue = 0.0f;
            std::string_view stringValue;
        };
 
        [[nodiscard]] std::shared_ptr<Symbol> Lookup(const std::string_view name) const;
        bool EvaluateConstExpression(const std::shared_ptr<SyntaxNode>& node, ConstValue& value);
        bool IsConstTypeCompatible(const std::shared_ptr<TypeDescriptor>& declaredType, const std::shared_ptr<TypeDescriptor>& expressionType) const;
        std::shared_ptr<Symbol> CreateConstSymbol(const std::string_view name, const std::shared_ptr<TypeDescriptor>& declaredType, const ConstValue& value);
 
        const std::shared_ptr<SymbolFactory>& GetSymbolFactory() const;
        const std::shared_ptr<StringPool>& GetStringPool() const;
        const std::shared_ptr<TypeDescriptorFactory>& GetTypeDescriptorFactory() const;
 
    private:
        std::shared_ptr<SymbolFactory> mSymbolFactory;
        std::shared_ptr<StringPool> mStringPool;
        std::shared_ptr<TypeDescriptorFactory> mTypeDescriptorFactory;
    };
}