ExecutionLocation.h

#ifndef ROSE_BinaryAnalysis_Concolic_ExecutionLocation_H
#define ROSE_BinaryAnalysis_Concolic_ExecutionLocation_H
#include <featureTests.h>
#ifdef ROSE_ENABLE_CONCOLIC_TESTING
#include <Rose/BinaryAnalysis/Concolic/BasicTypes.h>
 
namespace Rose {
namespace BinaryAnalysis {
namespace Concolic {
 
class ExecutionLocation {
private:
    uint64_t primary_ = 0;
    uint64_t secondary_ = 0;
    When when_ = When::POST;
 
public:
    ExecutionLocation() {}
 
    ExecutionLocation(uint64_t primary, uint64_t secondary, When when = When::PRE)
        : primary_(primary), secondary_(secondary), when_(when) {}
 
public:
    uint64_t primary() const {
        return primary_;
    }
 
    uint64_t secondary() const {
        return secondary_;
    }
 
    When when() const {
        return when_;
    }
 
    ExecutionLocation nextPrimary() const;
 
    ExecutionLocation nextSecondary(When) const;
 
    std::string toString() const;
 
    void print(std::ostream&) const;
 
    bool operator<(const ExecutionLocation &other) const;
 
    static bool isSorted(const ExecutionLocation &a, const ExecutionLocation &b);
};
 
std::ostream& operator<<(std::ostream&, const ExecutionLocation&);
 
} // namespace
} // namespace
} // namespace
 
#endif
#endif