type-resolver.hpp

#pragma once
 
#include <gyoji-mir.hpp>
#include <gyoji-frontend.hpp>
 
namespace Gyoji::frontend::lowering {
    
    class TypeResolver {
    public:
    TypeResolver(
        Gyoji::context::CompilerContext & _compiler_context,
        const Gyoji::frontend::tree::TranslationUnit & _translation_unit,
        Gyoji::mir::MIR & _mir);
    ~TypeResolver();
 
    void resolve();
    
    const Gyoji::mir::Type * extract_from_type_specifier(const Gyoji::frontend::tree::TypeSpecifier & type_specifier);
    private:
    Gyoji::mir::MIR & mir;
    Gyoji::context::CompilerContext & compiler_context;
    const Gyoji::frontend::tree::TranslationUnit & translation_unit;
    
    const Gyoji::mir::Type* extract_from_type_specifier_simple(const Gyoji::frontend::tree::TypeSpecifierSimple & type_specifier);
    const Gyoji::mir::Type* extract_from_type_specifier_template(const Gyoji::frontend::tree::TypeSpecifierTemplate & type_specifier);
    const Gyoji::mir::Type* extract_from_type_specifier_function_pointer(const Gyoji::frontend::tree::TypeSpecifierFunctionPointer & type_specifier);
    const Gyoji::mir::Type* extract_from_type_specifier_pointer_to(const Gyoji::frontend::tree::TypeSpecifierPointerTo & type_specifier);
    const Gyoji::mir::Type* extract_from_type_specifier_reference_to(const Gyoji::frontend::tree::TypeSpecifierReferenceTo & type_specifier);
    const Gyoji::mir::Type* extract_from_type_specifier_array(const Gyoji::frontend::tree::TypeSpecifierArray & type_specifier);
    
    void extract_from_class_declaration(const Gyoji::frontend::tree::ClassDeclaration & declaration);
    void extract_from_class_members(Gyoji::mir::Type & type, const Gyoji::frontend::tree::ClassDefinition & definition);
    void extract_from_class_definition(const Gyoji::frontend::tree::ClassDefinition & definition);
    void extract_from_enum_definition(const Gyoji::frontend::tree::EnumDefinition & enum_definition);
    void extract_from_type_definition(const Gyoji::frontend::tree::TypeDefinition & type_definition);
    void extract_from_namespace(const Gyoji::frontend::tree::FileStatementNamespace & namespace_declaration);
    void extract_types(const std::vector<Gyoji::owned<Gyoji::frontend::tree::FileStatement>> & statements);
    
    void extract_from_function_specifications(
        const Gyoji::frontend::tree::Terminal & name,
        const Gyoji::frontend::tree::TypeSpecifier & type_specifier,
        const Gyoji::frontend::tree::FunctionDefinitionArgList & arguments
        );
    
    void extract_from_function_definition(const Gyoji::frontend::tree::FileStatementFunctionDefinition & function_definition);
    void extract_from_function_declaration(const Gyoji::frontend::tree::FileStatementFunctionDeclaration & function_declaration);
    
    Gyoji::mir::Type *get_or_create(
        std::string pointer_name,
        Gyoji::mir::Type::TypeType type_type,
        bool complete,
        const Gyoji::context::SourceReference & source_ref
        );
    
    // Move to analysis
    void check_complete_type(Gyoji::mir::Type *type) const;
    
    };
};