Assignment.hh

Go to the documentation of this file.

#ifndef ASSIGNMENT_H_
#define ASSIGNMENT_H_

#include<stdexcept>
#include<diades/utils/Exceptions.hh>
#include<diades/utils/Assertion.hh>
#include<iostream>
#include<diades/sdmdl/Variable.hh>


namespace Diades
{
  namespace Sdmdl
  {
        
        class Assignment
        {
        public:
          typedef Diades::Utils::Exception<Assignment> Exception;
          static  string typeName() { return "Sdmdl::Assignment"; }
        
        private:
          Variable _variable;
          Value _value;
        
        
        public:
          Assignment(): _variable(), _value() {}

          bool valid() const { return (_variable.valid()) && (_value.valid())  && (_variable.containsValue(_value)); }

          Assignment(const Variable & var, const Value & val);

          Assignment(const Assignment & assignment): _variable(assignment._variable), _value(assignment._value) {}


          virtual ~Assignment(){}

          void setVariable(const Variable & var);


          void setValue(const Value & val);

          const Variable & variable() const
          {
                return _variable;
          }


          const Value &  value() const
          {
                return _value;
          }


          Assignment & operator=(const Assignment & assign)
          { 
                if(&assign != this) 
                  {
                        _variable = assign._variable;
                        _value = assign._value;
                  }
                return *this;
          } 

          bool operator == (const Assignment & assignment) const 
          {
                return (!valid() && !assignment.valid())
                  || (valid() && assignment.valid() && (_variable == assignment._variable) && (_value == assignment._value));
          }
        
          bool operator <  (const Assignment & assignment) const;
        
          void unvalidate() { _variable = Variable(); _value = Value(); }


          friend ostream & operator << (ostream & os, const Assignment & assign);
        };

  };
};

#endif /*ASSIGNMENT_H_*/