exp.hh

Go to the documentation of this file.

#ifndef TRANSLATE_EXP_HH
# define TRANSLATE_EXP_HH

# include <iosfwd>
# include <tree/all.hh>
# include <temp/fwd.hh>
# include <frame/frame.hh>


namespace translate
{

  /*------.
  | Exp.  |
  `------*/

  class Exp
  {
  public:
    virtual ~Exp() {}
    virtual std::ostream& dump(std::ostream&) const = 0;

    virtual tree::rExp un_ex() = 0;

    virtual tree::rStm un_nx() = 0;

    virtual tree::rStm un_cx(const temp::Label& t, const temp::Label& f) = 0;
  };

  typedef misc::ref<Exp> rExp;

  std::ostream& operator<< (std::ostream& ostr, const Exp& exp);


  /*-----.
  | Cx.  |
  `-----*/

  class Cx : public Exp
  {
  public:
    Cx(tree::Cjump::Relop op,
       const tree::rExp& left, const tree::rExp& right);

    virtual tree::rExp un_ex() override;
    virtual tree::rStm un_nx() override;
    virtual tree::rStm un_cx(const temp::Label& t,
                            const temp::Label& f) override;

    virtual std::ostream& dump(std::ostream& ostr) const override;

  private:
    tree::Cjump::Relop op_;
    tree::rExp left_;
    tree::rExp right_;
  };

  typedef misc::ref<Cx> rCx;


  /*-----.
  | Ex.  |
  `-----*/

  class Ex : public Exp
  {
  public:
    Ex(const tree::rExp& exp);

    virtual tree::rExp un_ex() override;
    virtual tree::rStm un_nx() override;
    virtual tree::rStm un_cx(const temp::Label& t,
                            const temp::Label& f) override;

    virtual std::ostream& dump(std::ostream& ostr) const override;

  private:
    tree::rExp exp_;
  };

  typedef misc::ref<Ex> rEx;


  /*-----.
  | Nx.  |
  `-----*/

  class Nx : public Exp
  {
  public:
    Nx(const tree::rStm& stm);

    virtual tree::rExp un_ex() override;
    virtual tree::rStm un_nx() override;
    virtual tree::rStm un_cx(const temp::Label&,
                            const temp::Label&) override;

    virtual std::ostream& dump(std::ostream& ostr) const override;

  private:
    tree::rStm stm_;
  };

  typedef misc::ref<Nx> rNx;


  /*-----.
  | Ix.  |
  `-----*/

  class Ix : public Exp
  {
  public:
    Ix(rExp& cond, rExp& iftrue, rExp& iffalse);

    virtual tree::rExp un_ex() override;
    virtual tree::rStm un_nx() override;
    virtual tree::rStm un_cx(const temp::Label& t_outer,
                            const temp::Label& f_outer) override;

    virtual std::ostream& dump(std::ostream& ostr) const override;

  private:
    rExp cond_;
    rExp iftrue_;
    rExp iffalse_;
  };

  typedef misc::ref<Ix> rIx;

}


# include <translate/exp.hxx>

#endif // !TRANSLATE_EXP_HH