/Users/mourrain/Devel/mmx/basix/src/alias.cpp

Go to the documentation of this file.

/******************************************************************************
* MODULE     : alias.cpp
* DESCRIPTION: Syntactic alias type constructor
* COPYRIGHT  : (C) 2006  Joris van der Hoeven
*******************************************************************************
* This software falls under the GNU general public license and comes WITHOUT
* ANY WARRANTY WHATSOEVER. See the file $TEXMACS_PATH/LICENSE for more details.
* If you don't have this file, write to the Free Software Foundation, Inc.,
* 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
******************************************************************************/

#include <basix/alias.hpp>
#include <basix/table.hpp>
#include <basix/routine.hpp>
namespace mmx {

void
alias_type_info (nat& id, int& mode) {
  static table<nat,nat> t (0);
  static table<nat,nat> u (0);
  static table<nat,nat> v (0);
  if (mode == 0) {
    mode= t->contains (id)? 1: 0;
    id= read (t, id);
  }
  else if (mode == 1) {
    mode= u->contains (id)? 1: 0;
    id= read (u, id);
  }
  else if (mode == 2) {
    if (u->contains (id)) id= u[id];
    else {
      nat new_id= new_type_id ();
      t[new_id]= id;
      u[id]= new_id;
      id= new_id;
    }
  }
  else if (mode == 3) {
    if (v->contains (id)) id= v[id];
    else {
      nat new_id= new_type_id ();
      t[new_id]= id;
      v[id]= new_id;
      id= new_id;
    }
  }
  else ERROR ("wrong mode");
}

void
alias_specializer (nat id, routine& r) {
  static table<routine,nat> t;
  if (is_nil (r)) r= read (t, id);
  else t[id]= r;
}

generic
specialize_alias (const generic& a) {
  generic val= get_alias (as<alias<generic> > (a));
  routine r;
  alias_specializer (type (val), r);
  return r->apply (a);
}

void
alias_getter (nat id, routine& r) {
  static table<routine,nat> t;
  if (is_nil (r)) r= read (t, id);
  else t[id]= r;
}

generic
get_alias (const generic& a) {
  routine r;
  alias_getter (type (a), r);
  return r->apply (a);
}

void
alias_setter (nat id, routine& r) {
  static table<routine,nat> t;
  if (is_nil (r)) r= read (t, id);
  else t[id]= r;
}

generic
set_alias (const generic& a, const generic& val) {
  routine r;
  alias_setter (type (a), r);
  return r->apply (a, val);
}

} // namespace mmx