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