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