symbolicVariable.hpp

Go to the documentation of this file.

 
/*
**  Copyright (C) - Triton
**
**  This program is under the terms of the Apache License 2.0.
*/
 
#ifndef TRITON_SYMBOLICVARIABLE_H
#define TRITON_SYMBOLICVARIABLE_H
 
#include <memory>
#include <string>
 
#include <triton/dllexport.hpp>
#include <triton/symbolicEnums.hpp>
#include <triton/tritonTypes.hpp>
 
 
 
namespace triton {
  namespace engines {
    namespace symbolic {
      class SymbolicVariable;
 
      using SharedSymbolicVariable = std::shared_ptr<triton::engines::symbolic::SymbolicVariable>;
 
      using WeakSymbolicVariable = std::weak_ptr<triton::engines::symbolic::SymbolicVariable>;
 
      class SymbolicVariable {
        protected:
          triton::engines::symbolic::variable_e type;
 
          std::string alias;
 
          std::string comment;
 
          std::string name;
 
          triton::usize id;
 
          triton::uint64 origin;
 
          triton::uint32 size;
 
        public:
          TRITON_EXPORT SymbolicVariable(triton::engines::symbolic::variable_e type,
                                         triton::uint64 origin,
                                         triton::usize id,
                                         triton::uint32 size,
                                         const std::string& alias);
 
          TRITON_EXPORT SymbolicVariable(const SymbolicVariable& other);
 
          TRITON_EXPORT SymbolicVariable& operator=(const SymbolicVariable& other);
 
          TRITON_EXPORT triton::engines::symbolic::variable_e getType(void) const;
 
          TRITON_EXPORT const std::string& getAlias(void) const;
 
          TRITON_EXPORT const std::string& getComment(void) const;
 
          TRITON_EXPORT const std::string& getName(void) const;
 
          TRITON_EXPORT triton::usize getId(void) const;
 
          TRITON_EXPORT triton::uint64 getOrigin(void) const;
 
          TRITON_EXPORT triton::uint32 getSize(void) const;
 
          TRITON_EXPORT void setAlias(const std::string& alias);
 
          TRITON_EXPORT void setComment(const std::string& comment);
      };
 
      TRITON_EXPORT std::ostream& operator<<(std::ostream& stream, const SymbolicVariable& symVar);
 
      TRITON_EXPORT std::ostream& operator<<(std::ostream& stream, const SymbolicVariable* symVar);
 
      TRITON_EXPORT bool operator<(const SymbolicVariable& symvar1, const SymbolicVariable& symvar2);
 
    };
  };
};
 
#endif /* TRITON_SYMBOLICVARIABLE_H */