1 #ifndef ROSE_BinaryAnalysis_ModelChecker_ErrorTag_H
2 #define ROSE_BinaryAnalysis_ModelChecker_ErrorTag_H
3 #include <featureTests.h>
4 #ifdef ROSE_ENABLE_BINARY_ANALYSIS
5 #include <Rose/BinaryAnalysis/ModelChecker/Tag.h>
7 #include <Rose/BinaryAnalysis/InstructionSemantics2/BaseSemantics/Types.h>
8 #include <Rose/BinaryAnalysis/SymbolicExpr.h>
11 namespace BinaryAnalysis {
12 namespace ModelChecker {
21 using Ptr = ErrorTagPtr;
24 const std::string mesg_;
74 void print(std::ostream &out,
const std::string &prefix)
const override;
75 void toYaml(std::ostream &out,
const std::string &prefix)
const override;
static Ptr instance(size_t nodeStep, const std::string &name, const std::string &mesg, SgAsmInstruction *)
Allocating constructor.
std::string message() const
Property: Error message.
Base class for machine instructions.
void toYaml(std::ostream &out, const std::string &prefix) const override
Print multi-line information about the tag in YAML format.
Error messages that indicate an abnormal situation from which the program was able to at least partia...
Main namespace for the ROSE library.
Tag that describes a model checker abnormal condition.
Sawyer::Message::Importance importance() const
Property: Importance.
size_t nodeStep() const
Property: Node step.
Importance
Level of importance for a message.
void print(std::ostream &out, const std::string &prefix) const override
Print multi-line information about the tag.