BinaryAnalysis/Concolic/I386Linux/BasicTypes.h

#ifndef ROSE_BinaryAnalysis_Concolic_I386Linux_BasicTypes_H
#define ROSE_BinaryAnalysis_Concolic_I386Linux_BasicTypes_H
#include <featureTests.h>
#ifdef ROSE_ENABLE_CONCOLIC_TESTING

#include <Sawyer/SharedPointer.h>

namespace Rose {
namespace BinaryAnalysis {
namespace Concolic {
namespace I386Linux {

class Architecture;
using ArchitecturePtr = Sawyer::SharedPointer<Architecture>;

class ExitStatusExecutor;
using ExitStatusExecutorPtr = Sawyer::SharedPointer<ExitStatusExecutor>;

class ExitStatusManager;
using ExitStatusManagerPtr = Sawyer::SharedPointer<ExitStatusManager>;

class ExitStatusResult;
using ExitStatusResultPtr = Sawyer::SharedPointer<ExitStatusResult>;

class TracingExecutor;
using TracingExecutorPtr = Sawyer::SharedPointer<TracingExecutor>;

class TracingResult;
using TracingResultPtr = Sawyer::SharedPointer<TracingResult>;

} // namespace
} // namespace
} // namespace
} // namespace

#endif
#endif