PropWriteTypeSafetyPass.hpp

Go to the documentation of this file.

 
#ifndef LLVMEXPR_ANALYSIS_PROP_WRITE_TYPE_SAFETY_PASS_HPP
#define LLVMEXPR_ANALYSIS_PROP_WRITE_TYPE_SAFETY_PASS_HPP
 
#include "../framework/Pass.hpp"
 
namespace analysis {
 
struct PropWriteTypeSafetyResult {};

class PropWriteTypeSafetyPass
    : public AnalysisPass<PropWriteTypeSafetyPass, PropWriteTypeSafetyResult> {
  public:
    using Result = PropWriteTypeSafetyResult;
 
    [[nodiscard]] const char* getName() const override {
        return "Prop Write Type Safety Pass";
    }
 
    Result run(const std::vector<Token>& tokens, AnalysisManager& am) override;
};
 
} // namespace analysis
 
#endif // LLVMEXPR_ANALYSIS_PROP_WRITE_TYPE_SAFETY_PASS_HPP