/Users/mourrain/Devel/mmx/basix/include/basix/mmx_syntax.hpp

Go to the documentation of this file.

/******************************************************************************
* MODULE     : mmx_syntax.hpp
* DESCRIPTION: Parser and pretty printer for Mathemagix
* COPYRIGHT  : (C) 2000  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.
******************************************************************************/

#ifndef __MMX_SYNTAX_HPP
#define __MMX_SYNTAX_HPP
#include <basix/string.hpp>
#include <basix/list.hpp>
#include <basix/identifiers.hpp>
#include <basix/parse_tools.hpp>


namespace mmx {

extern bool new_lambda_style;
extern bool mmx_abbreviate_coerce;

int mmx_lex (generic* lval, parse_instance* obj);
  // lexicographic analyzer

generic mmx_parse (const string &file_name, nat input_number,
                   const string& s, list<generic>& errors);
  // Parse s.
  // input_number is relevant in the interactive mode only.
  // file_name == "" means stdin.

generic mmx_parse (const string &file_name, const string& s);
  // Simplified parse routine of the file 'file_name' with contents 's'.
  // Returns an exception in case of errors.

string as_mmx (const generic& g);
string flatten_as_mmx (const generic& g);
string output_as_mmx (const generic& g);
string string_as_mmx (const string& s);

generic texmacs_expand (const generic& g);
  // Crude expansion of documents with TeXmacs macros

}
#endif // __MMX_SYNTAX_HPP