TypeConverter.hpp

Go to the documentation of this file.

//
//  CeresEngine - A game development framework
//
//  Created by Rogiel Sulzbach.
//  Copyright (c) 2018-2022 Rogiel Sulzbach. All rights reserved.
//
 
#pragma once
 
#include "Visitor.hpp"
 
#include "CeresEngine/Foundation/Function.hpp"
#include "CeresEngine/Foundation/Container/Set.hpp"
 
#include <functional>
 
namespace CeresEngine::ShaderCompiler {
 
 
    // Helper class to update the type denoters of all 'TypedAST' nodes, whose type denoters have been reset.
    class TypeConverter : public Visitor {
    public:
        // Callback interface for each variable declaration, which returns true if its type has changed (i.e. type denoter has been reset).
        using OnVisitVarDeclaration = Function<bool(VarDeclaration& varDeclaration) const>;
 
    private:
        OnVisitVarDeclaration mOnVisitVarDeclaration;
 
        bool mResetExpressionTypes = false; // If true, all expression types must be reset.
        Set<AST*> mConvertedSymbols; // List of all symbols, whose type denoters have been reset.
 
    public:
        // Converts the type denoters in the specified AST.
        void convert(Program& program, const OnVisitVarDeclaration& onVisitVarDeclaration);
 
    private:
        void convertExpressionType(Expression* expression);
        void convertExpression(const ExpressionPtr& expression);
 
    private: // Visitor implementation
        DECLARATION_VISIT_PROC(VarDeclaration);
 
        DECLARATION_VISIT_PROC(ForLoopStatement);
        DECLARATION_VISIT_PROC(WhileLoopStatement);
        DECLARATION_VISIT_PROC(DoWhileLoopStatement);
        DECLARATION_VISIT_PROC(IfStatement);
        DECLARATION_VISIT_PROC(SwitchStatement);
        DECLARATION_VISIT_PROC(ExpressionStatement);
        DECLARATION_VISIT_PROC(ReturnStatement);
 
        DECLARATION_VISIT_PROC(SequenceExpression);
        DECLARATION_VISIT_PROC(TernaryExpression);
        DECLARATION_VISIT_PROC(BinaryExpression);
        DECLARATION_VISIT_PROC(UnaryExpression);
        DECLARATION_VISIT_PROC(PostUnaryExpression);
        DECLARATION_VISIT_PROC(CallExpression);
        DECLARATION_VISIT_PROC(BracketExpression);
        DECLARATION_VISIT_PROC(CastExpression);
        DECLARATION_VISIT_PROC(ObjectExpression);
        DECLARATION_VISIT_PROC(AssignExpression);
        DECLARATION_VISIT_PROC(ArrayExpression);
        DECLARATION_VISIT_PROC(InitializerExpression);
    };
 
} // namespace CeresEngine::ShaderCompiler