ModelChecker/Variables.h

#ifndef ROSE_BinaryAnalysis_ModelChecker_Variables_H
#define ROSE_BinaryAnalysis_ModelChecker_Variables_H
#include <featureTests.h>
#ifdef ROSE_ENABLE_MODEL_CHECKER
 
#include <Rose/BinaryAnalysis/Partitioner2/BasicTypes.h>
#include <Rose/BinaryAnalysis/Variables.h>
 
namespace Rose {
namespace BinaryAnalysis {
namespace ModelChecker {
 
class FoundVariable {
    AddressInterval where_;                              // addresses for the variable
    Variables::GlobalVariable gvar_;                     // global variable if found
    Variables::StackVariable lvar_;                      // local variable if found and no global variable
 
public:
    ~FoundVariable();
 
    FoundVariable();
 
    explicit FoundVariable(const Variables::GlobalVariable&);
 
    FoundVariable(const AddressInterval&, const Variables::StackVariable&);
 
    const AddressInterval& where() const;
 
    const Variables::StackVariable& stackVariable() const;
 
    const Variables::GlobalVariable& globalVariable() const;
 
    Partitioner2::FunctionPtr function() const;
 
    bool isValid() const;
    explicit operator bool() const;
    bool operator!() const;
 
    void print(std::ostream&) const;
 
    std::string toString() const;
};
 
std::ostream&
operator<<(std::ostream&, const FoundVariable&);
 
} // namespace
} // namespace
} // namespace
 
#endif
#endif