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

Go to the documentation of this file.

/******************************************************************************
* MODULE     : exception.cpp
* DESCRIPTION: Syntactic exception type constructors
* 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/mmx_syntax.hpp>
namespace mmx {

exception::exception (const string& msg, const generic& where):
  rep (gen (GEN_EXCEPTION, msg, where)) {}

generic
std_exception (const string& msg, const generic& where) {
  return as<generic> (exception (gen (GEN_EXCEPTION, msg, where)));
}

generic
std_exception (const string& msg, const generic& a, const generic& where) {
  exception exc (gen (GEN_EXCEPTION, msg * flatten_as_mmx (a), where));
  return as<generic> (exc);
}

generic
user_exception (const vector<generic>& msg, const generic& w) {
  return as<generic> (exception (gen (GEN_EXCEPTION, as<generic> (msg), w)));
}

generic
wrong_nr_args (const generic& where) {
  return std_exception ("wrong number of arguments", where);
}

generic
type_mismatch (const generic& expect, const generic& where) {
  return std_exception ("expected ", expect, where);
}

generic
trace_push (const generic& exc, const generic& where) {
  generic msg= *as<exception> (exc);
  ASSERT (is_func (msg, GEN_EXCEPTION, 2), "invalid exception");
  generic w= gen (GEN_BACKTRACE, where, msg[2]);
  return as<generic> (exception (gen (msg[0], msg[1], w)));
}

generic
trace_pull (const generic& exc) {
  generic msg= *as<exception> (exc);
  ASSERT (is_func (msg, GEN_EXCEPTION, 2), "invalid exception");
  ASSERT (is_func (msg[2], GEN_BACKTRACE, 2), "backtrace expected");
  return as<generic> (exception (gen (msg[0], msg[1], msg[2][2])));
}

generic
trace_top (const generic& exc) {
  generic msg= *as<exception> (exc);
  ASSERT (is_func (msg, GEN_EXCEPTION, 2), "invalid exception");
  ASSERT (is_func (msg[2], GEN_BACKTRACE, 2), "backtrace expected");
  return as<generic> (exception (gen (msg[0], "backtrace", msg[2][1])));
}

nat
trace_depth (const generic& exc) {
  if (has_trace (exc)) return trace_depth (trace_pull (exc)) + 1;
  else return 1;
}

generic
trace_bottom (const generic& exc, nat n) {
  generic g= exc;
  nat d= trace_depth (exc);
  for (nat i=n; i<d; i++) g= trace_pull (g);
  return g;
}

bool
has_trace (const generic& exc) {
  if (!is<exception> (exc)) return false;
  generic msg= *as<exception> (exc);
  return
    is_func (msg, GEN_EXCEPTION, 2) &&
    is_func (msg[2], GEN_BACKTRACE, 2);
}

} // namespace mmx