PropWriteTypeSafetyPass.cpp

Go to the documentation of this file.

 
#include "PropWriteTypeSafetyPass.hpp"
#include "../../frontend/Tokenizer.hpp"
#include "../../utils/EnumName.hpp"
#include "../framework/AnalysisError.hpp"
#include "../framework/AnalysisManager.hpp"
 
#include <format>
#include <map>
#include <string>
 
namespace analysis {
 
PropWriteTypeSafetyPass::Result
PropWriteTypeSafetyPass::run(const std::vector<Token>& tokens,
                             [[maybe_unused]] AnalysisManager& am) {
    std::map<std::string, std::pair<PropWriteType, int>> prop_types;
 
    for (size_t i = 0; i < tokens.size(); ++i) {
        const auto& token = tokens[i];
        if (token.type == TokenType::PropStore) {
            const auto& payload =
                std::get<TokenPayloadPropStore>(token.payload);
            const auto& prop_name = payload.prop_name;
            const auto& prop_type = payload.type;
 
            auto it = prop_types.find(prop_name);
            if (it != prop_types.end()) {
                auto& stored_type = it->second.first;
                if (stored_type != prop_type) {
                    // DELETE can co-exist with other types.
                    if (stored_type == PropWriteType::Delete) {
                        stored_type = prop_type;
                        it->second.second = static_cast<int>(i);
                    } else if (prop_type != PropWriteType::Delete) {
                        throw AnalysisError(
                            std::format(
                                "Inconsistent types used for property '{}'. "
                                "Previous type: {} (idx: {}), current type: {} "
                                "(idx: {}).",
                                prop_name, enum_name(stored_type),
                                it->second.second,
                                enum_name(prop_type), static_cast<int>(i)),
                            static_cast<int>(i));
                    }
                }
            } else {
                prop_types[prop_name] =
                    std::make_pair(prop_type, static_cast<int>(i));
            }
        }
    }
 
    return {};
}
 
} // namespace analysis