/Users/magix/mmx/mmxlight/src/output.cpp

Go to the documentation of this file.

/******************************************************************************
* MODULE     : input.cpp
* DESCRIPTION: mathemagix shell input and completion functions
* COPYRIGHT  : (C) 2007  Gregoire Lecerf
*******************************************************************************
* 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.
******************************************************************************/

#ifdef MMX_SUPPORTS_READLINE
#include <readline/readline.h>
#include <readline/history.h>
#endif // MMX_SUPPORTS_READLINE
#include <mmxlight/environment.hpp>
#include <mmxlight/shell.hpp>
#include <basix/syntactic.hpp>
#include <basix/list.hpp>
#include <basix/string.hpp>
#include <basix/evaluator.hpp>
#include <basix/math_syntax.hpp>
#include <basix/parse_tools.hpp>
#include <basix/literal.hpp>

namespace mmx {

  /*
   * Normal output
   */

void
shell_terminal_output (const generic& g, const generic& t) {
  if (math_mode) mmout << flatten_as_texmacs_scheme (g);
  else mmout << g;
  if (exact_neq (t, "None") && exact_neq (t, "Document"))
    mmout << ": " << t;
  mmout << "\n";
}

  /*
   * Error output
   */

bool 
shell_terminal_print_parse_errors (const list<generic>& errors) {
  bool raise_error= false;
  iterator<generic> it = iterate (reverse (errors));
  for (; busy(it); ++it) {
    generic err= *it;
    string  msg= literal_to_string ((*as<exception> (err)) [1]);
    if (!starts (msg, "warning")) raise_error = true;
    shell_terminal_print_exception (err);
  }
  return raise_error;
}

bool
shell_terminal_print_exception (const generic& g) {
  nat i;
  string s;
  generic err;
  source_location l;

  ASSERT (is <exception> (g), "invalid exception");
  if (has_trace (g)) {
    shell_terminal_print_exception (trace_pull (g));
    shell_terminal_print_exception (trace_top (g));
    return true;
  }
  err = *as <exception> (g);
  ASSERT (is <compound> (err), "invalid error message");
  ASSERT (N(err) > 2, "invalid error message");
  source_locate (err[N(err)-1], l);
  if (is_nil (l)) mmerr << "Inside " << err[N(err)-1] << ": ";
  else {
    if (l.file_name != "")
      mmerr << l.file_name << ":";
    mmerr << l.begin.line+1 << ":" 
          << l.begin.column+1 << ": ";
  }
  if (err[1] == "error") mmerr << err[0] << ", ";
  else if (err[1] == "warning") mmerr << "warning, ";
  else {
    mmerr << err[0] << ", ";
    mmerr << err[1] << " ";
  }
  for (i = 2; i+1 < N(err); i++)
    mmerr << err[i] << " ";
  mmerr << "\n";
  mmerr << source_underlined (err[N(err)-1]);
  return true;
}
  
} // namespace mmx