transition.h

Go to the documentation of this file.

#ifndef ILANG_ILA_TRANSITION_H__
#define ILANG_ILA_TRANSITION_H__

#include <ilang/ila/instr.h>

namespace ilang {

class InstrTranEdge {
public:
  typedef std::shared_ptr<InstrTranEdge> ItEdgePtr;

  // ------------------------- CONSTRUCTOR/DESTRUCTOR ----------------------- //
  InstrTranEdge(const InstrPtr& src, const InstrPtr& dst, const ExprPtr& cnd);
  ~InstrTranEdge();

  // ------------------------- ACCESSORS/MUTATORS --------------------------- //
  const InstrPtr src() const;
  const InstrPtr dst() const;
  const ExprPtr cnd() const;

private:
  InstrPtr src_;
  InstrPtr dst_;
  ExprPtr cnd_;

}; // class InstrTranEdge

class InstrTranNode {
public:
  typedef std::shared_ptr<InstrTranNode> ItNodePtr;

  // ------------------------- CONSTRUCTOR/DESTRUCTOR ----------------------- //
  InstrTranNode(const InstrPtr& instr);
  ~InstrTranNode();

  // ------------------------- ACCESSORS/MUTATORS --------------------------- //
  const InstrPtr instr() const;

  size_t next_num() const;
  size_t prev_num() const;

  const ItNodePtr next(const size_t& i) const;
  const ItNodePtr prev(const size_t& i) const;

  // ------------------------- METHODS -------------------------------------- //
  void AddNext(const ItNodePtr& next);
  void AddPrev(const ItNodePtr& prev);

private:
  // ------------------------- MEMBERS -------------------------------------- //
  InstrPtr instr_;
  std::vector<ItNodePtr> next_;
  std::vector<ItNodePtr> prev_;

}; // class InstrTranNode

class InstrSeq {
public:
  typedef std::shared_ptr<InstrSeq> InstrSeqPtr;

  // ------------------------- CONSTRUCTOR/DESTRUCTOR ----------------------- //
  InstrSeq();
  ~InstrSeq();

  // ------------------------- ACCESSORS/MUTATORS --------------------------- //
  void clear();

  // ------------------------- HELPERS -------------------------------------- //
  static InstrSeqPtr New();

  // ------------------------- METHODS -------------------------------------- //
  void AddTran(const InstrPtr& src, const InstrPtr& dst, const ExprPtr& cnd);

  void set_root(const InstrPtr& i);

  InstrPtr root() const { return root_; }

private:
  typedef InstrTranEdge::ItEdgePtr ItEdgePtr;
  typedef InstrTranNode::ItNodePtr ItNodePtr;

  // ------------------------- MEMBERS -------------------------------------- //
  InstrPtr root_ = nullptr;
  std::set<ItEdgePtr> edges_;
  std::map<InstrPtr, ItNodePtr> nodes_;

}; // class InstrSeq

typedef InstrSeq::InstrSeqPtr InstrSeqPtr;

} // namespace ilang

#endif // ILANG_ILA_TRANSITION_H__