Tag.h

#ifndef ROSE_BinaryAnalysis_ModelChecker_Tag_H
#define ROSE_BinaryAnalysis_ModelChecker_Tag_H
#include <featureTests.h>
#ifdef ROSE_ENABLE_MODEL_CHECKER
 
#include <Rose/BinaryAnalysis/ModelChecker/BasicTypes.h>
#include <Rose/Sarif/BasicTypes.h>
 
namespace Rose {
namespace BinaryAnalysis {
namespace ModelChecker {
 
// Base class
 
class Tag: public std::enable_shared_from_this<Tag> {
public:
    using Ptr = TagPtr;
 
private:
    const size_t nodeStep_;                             // index of the step of the node to which this tag applies
 
protected:
    Tag(size_t nodeStep);
public:
    virtual ~Tag();
 
public:
    size_t nodeStep() const;
 
    virtual std::string name() const = 0;
 
    virtual std::string printableName() const = 0;
 
    virtual void print(std::ostream&, const std::string &prefix) const = 0;
 
    virtual void toYaml(std::ostream&, const std::string &prefix) const = 0;
 
    virtual Sarif::ResultPtr toSarif(const Sarif::AnalysisPtr&) const = 0;
};
 
// ThrowableTag
 
struct ThrownTag {
    Tag::Ptr tag;
};
 
// NameTag
 
class NameTag: public Tag {
public:
    using Ptr = NameTagPtr;
 
protected:
    const std::string name_;
 
protected:
    explicit NameTag(size_t nodeStep, const std::string &name);
 
public:
    static Ptr instance(size_t nodeStep, const std::string &name);
 
public:
    virtual std::string name() const override;
    virtual std::string printableName() const override;
    virtual void print(std::ostream&, const std::string &prefix) const override;
    virtual void toYaml(std::ostream&, const std::string &prefix) const override;
    virtual Sarif::ResultPtr toSarif(const Sarif::AnalysisPtr&) const override;
};
 
} // namespace
} // namespace
} // namespace
 
#endif
#endif