exp.hh

//
// This file is part of Nolimips, a MIPS simulator with unlimited registers
// Copyright (C) 2003, 2004 Benoit Perrot <benoit@lrde.epita.fr>
//
// Nolimips is free software; you can redistribute it and/or modify
// it under the terms of the GNU General Public License as published by
// the Free Software Foundation; either version 2 of the License, or
// (at your option) any later version.
// 
// Nolimips is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
// GNU General Public License for more details.
// 
// You should have received a copy of the GNU General Public License
// along with this program; if not, write to the Free Software
// Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
//
#ifndef INST_EXP_HH
# define INST_EXP_HH

# include <iostream>

# include "misc/contract.hh"
# include "misc/counted_ptr.hh"
# include "misc/unique_string.hh"

# include "inst/exp-visitor.hh"

namespace inst
{

  class Exp
  {
  public:
    Exp():
      immediate_(-2097) // Caracteristic initial value
    {
    }
    virtual ~Exp();
  
  public:
    virtual void	print(std::ostream& ostr) const;

    virtual void        accept (ConstExpVisitor& v) const = 0;
    virtual void        accept (ExpVisitor& v) = 0;

  public:
    operator int () const
    {
      return immediate_;
    }
    int		get_immediate()
    {
      return immediate_;
    }
    void	set_immediate(int i)
    {
      immediate_ = i;
    }
  protected:
    int		immediate_;
  };
  inline std::ostream&
  operator<<(std::ostream& ostr, const Exp& e)
  {
    e.print(ostr);
    return ostr;
  }

  typedef misc::counted_ptr<Exp> CountedExp;

  class IntExp:
    public Exp
  {
  public: 
    IntExp(int integer):
      integer_(integer)
    {
    }
    virtual ~IntExp();
    
  public:
    virtual void        accept (ConstExpVisitor& v) const;
    virtual void        accept (ExpVisitor& v);

  public:
    int			get_integer() const
    {
      return integer_;
    }
    
  public:
    virtual void	print(std::ostream& ostr) const;

  protected:
    int		integer_;
  };

  class LabelExp:
    public Exp
  {
  public: 
    LabelExp(const misc::unique_string &name):
      name_(name)
    {}
    virtual ~LabelExp();
    
  public:
    virtual void        accept (ConstExpVisitor& v) const;
    virtual void        accept (ExpVisitor& v);

  public:
    const misc::unique_string &get_name() const
    {
      return name_;
    }

  public:
    virtual void	print(std::ostream& ostr) const;

  protected:
    const misc::unique_string	&name_;
  };


  class OpExp:
    public Exp
  {
  public:
    enum kind_type { add, sub, mul, div };
  public: 
    OpExp(const CountedExp &left, kind_type kind, const CountedExp &right):
      kind_(kind), left_(left), right_(right)
    {
      // assertion(left && right);
    }
    virtual ~OpExp();

  public:
    virtual void        accept (ConstExpVisitor& v) const;
    virtual void        accept (ExpVisitor& v);
    
  public:
    const Exp& get_left() const
    {
      return *left_;
    }
    Exp& get_left()
    {
      return *left_;
    }

    const Exp& get_right() const
    {
      return *right_;
    }
    Exp& get_right()
    {
      return *right_;
    }

  public:
    virtual void	print(std::ostream& ostr) const;
    
  public:
    const kind_type	kind_;
  protected:
    CountedExp	left_;
    CountedExp	right_;
  };

} // namespace inst

#endif // !INST_EXP_HH