ErrorTag.h

#ifndef ROSE_BinaryAnalysis_ModelChecker_ErrorTag_H
#define ROSE_BinaryAnalysis_ModelChecker_ErrorTag_H
#include <featureTests.h>
#ifdef ROSE_ENABLE_MODEL_CHECKER
#include <Rose/BinaryAnalysis/ModelChecker/Tag.h>
 
#include <Rose/BinaryAnalysis/InstructionSemantics/BaseSemantics/BasicTypes.h>
#include <Rose/BinaryAnalysis/SymbolicExpression.h>
 
namespace Rose {
namespace BinaryAnalysis {
namespace ModelChecker {
 
class ErrorTag: public NameTag {
public:
    using Ptr = ErrorTagPtr;
 
protected:
    const std::string mesg_;                                       // error message
    SgAsmInstruction* const insn_;                                 // instruction where the error occurs (optional)
    Sawyer::Optional<uint64_t> concrete_;                          // optional concrete value
    const SymbolicExpression::Ptr symbolic_;                       // optional symbolic value
    const InstructionSemantics::BaseSemantics::SValuePtr svalue_;  // optional semantic value
    Sawyer::Message::Importance importance_ = Sawyer::Message::ERROR;
 
protected:
    ErrorTag() = delete;
    ErrorTag(size_t nodeStep, const std::string &name, const std::string &mesg, SgAsmInstruction*,
             const Sawyer::Optional<uint64_t>&);
    ErrorTag(size_t nodeStep, const std::string &name, const std::string &mesg, SgAsmInstruction*,
             const SymbolicExpression::Ptr&);
    ErrorTag(size_t nodeStep, const std::string &name, const std::string &mesg, SgAsmInstruction*,
             const InstructionSemantics::BaseSemantics::SValuePtr&);
 
public:
    ~ErrorTag();
 
    static Ptr instance(size_t nodeStep, const std::string &name, const std::string &mesg, SgAsmInstruction*);
    static Ptr instance(size_t nodeStep, const std::string &name, const std::string &mesg, SgAsmInstruction*,
                        uint64_t);
    static Ptr instance(size_t nodeStep, const std::string &name, const std::string &mesg, SgAsmInstruction*,
                        const SymbolicExpression::Ptr&);
    static Ptr instance(size_t nodeStep, const std::string &name, const std::string &mesg, SgAsmInstruction*,
                        const InstructionSemantics::BaseSemantics::SValuePtr&);
    std::string message() const;
 
    Sawyer::Message::Importance importance() const;
    void importance(Sawyer::Message::Importance);
public:
    void print(std::ostream &out, const std::string &prefix) const override;
    void toYaml(std::ostream &out, const std::string &prefix) const override;
    Sarif::ResultPtr toSarif(const Sarif::AnalysisPtr&) const override;
};
 
} // namespace
} // namespace
} // namespace
 
#endif
#endif