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

Go to the documentation of this file.

/******************************************************************************
* MODULE     : lisp_printer.cpp
* DESCRIPTION: Printing lisp expressions
* COPYRIGHT  : (C) 2005  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/lisp_syntax.hpp>
#include <basix/literal.hpp>
#include <basix/compound.hpp>
namespace mmx {

static void
as_lisp (string& out, const generic& g, bool quote_flag, bool fun_flag) {
  if (is<literal> (g)) {
    if (quote_flag && !fun_flag) out << quote (literal_to_string (g));
    else out << literal_to_string (g);
  }
  else if (is<compound> (g)) {
    nat i, n= N (g);
    out << "(";
    if (n>0) as_lisp (out, g[0], quote_flag, true);
    for (i=1; i<n; i++) {
      out << " ";
      as_lisp (out, g[i], quote_flag, false);
    }
    out << ")";
  }
  else {
    generic f= as_generic (flatten (g));
    as_lisp (out, f, quote_flag, fun_flag);
  }
}

string
as_lisp (const generic& g, bool quote_flag) {
  string out;
  as_lisp (out, g, quote_flag, false);
  return out;
}

string
flatten_as_lisp (const generic& g) {
  generic f= as_generic (flatten (g));
  return as_lisp (f);
}

} // namespace mmx