#ifndef QLOW_SEM_TYPEVISITOR_H
#define QLOW_SEM_TYPEVISITOR_H

#include "Visitor.h"
#include "Semantic.h"

namespace qlow
{
    namespace sem
    {
        class TypeVisitor;
    }
}


class qlow::sem::TypeVisitor :
    public Visitor<
        std::unique_ptr<qlow::sem::Type>,
        const sem::SymbolTable<sem::Class>,
        
        sem::Expression,
        sem::UnaryOperation,
        sem::BinaryOperation,
        sem::FeatureCallExpression,
        sem::IntConst
    >
{
    
public:
    std::unique_ptr<qlow::sem::Type> visit(sem::Expression& expr, const sem::SymbolTable<sem::Class>& classes) override;
    std::unique_ptr<qlow::sem::Type> visit(sem::UnaryOperation& expr, const sem::SymbolTable<sem::Class>& classes) override;
    std::unique_ptr<qlow::sem::Type> visit(sem::BinaryOperation& expr, const sem::SymbolTable<sem::Class>& classes) override;
    std::unique_ptr<qlow::sem::Type> visit(sem::FeatureCallExpression& expr, const sem::SymbolTable<sem::Class>& classes) override;
    std::unique_ptr<qlow::sem::Type> visit(sem::IntConst& expr, const sem::SymbolTable<sem::Class>& classes) override;
};

#endif // QLOW_SEM_TYPEVISITOR_H