#include <basix/syntactic.hpp>

Classes

class exception

Namespaces

namespace mmx

Defines

#define ERROR(msg) assert(false)
#define ASSERT(expr, msg) assert(expr)
#define VERIFY(expr, msg)
#define XVERIFY(expr, msg, x)

Functions

nat hash (const exception &e)
nat exact_hash (const exception &e)
nat hard_hash (const exception &e)
bool operator== (const exception &e1, const exception &e2)
bool operator!= (const exception &e1, const exception &e2)
bool exact_eq (const exception &e1, const exception &e2)
bool exact_neq (const exception &e1, const exception &e2)
bool hard_eq (const exception &e1, const exception &e2)
bool hard_neq (const exception &e1, const exception &e2)
syntactic flatten (const exception &e)
generic std_exception (const string &msg, const generic &where)
generic std_exception (const string &msg, const generic &a, const generic &w)
generic user_exception (const vector< generic > &msg, const generic &where)
generic wrong_nr_args (const generic &where)
generic type_mismatch (const generic &expect, const generic &where)
generic trace_push (const generic &exc, const generic &where)
generic trace_pull (const generic &exc)
generic trace_top (const generic &exc)
generic trace_bottom (const generic &exc, nat n=1)
bool has_trace (const generic &exc)
volatile void fatal_error (char *message, char *routine, char *file)
Print message coming from routine in file. Exit with 1.
string cpp_demangle (const char *name)

Detailed Description

Definition in file exception.hpp.

Define Documentation

#define ASSERT	(	expr,
		msg
	)	assert(expr)

Definition at line 85 of file exception.hpp.

Referenced by socket_port_rep::accept(), binary_helper< vector< C, V > >::access(), mmx::add_indentation(), mmx::append(), composed_routine_rep::apply(), identity_routine_rep::apply(), quintary_routine_rep< void, S1, S2, S3, S4, S5 >::apply(), quintary_routine_rep< D, S1, S2, S3, S4, S5 >::apply(), quaternary_routine_rep< void, S1, S2, S3, S4 >::apply(), quaternary_routine_rep< D, S1, S2, S3, S4 >::apply(), ternary_routine_rep< void, S1, S2, S3 >::apply(), ternary_routine_rep< D, S1, S2, S3 >::apply(), binary_routine_rep< void, S1, S2 >::apply(), binary_routine_rep< D, S1, S2 >::apply(), unary_routine_rep< void, S1 >::apply(), unary_routine_rep< D, S1 >::apply(), nullary_routine_rep< void >::apply(), mmx::as_generic(), mmx::binary_assemble_generic(), mmx::binary_map(), mmx::binary_read_generic(), mmx::cAr(), mmx::car(), mmx::cDr(), mmx::cdr(), composed_routine_rep::composed_routine_rep(), mmx::composite_port(), mmx::cons(), sqrt_op::def(), div_op::def(), mmx::dot(), mmx::exponent(), mmx::get_file_source(), mmx::get_interactive_source(), mmx::identity_routine(), mmx::insert(), mmx::inside_append(), mmx::list_map(), mmx::list_map_2(), mmx::list_map_n(), mmx::magnitude(), mmx::map(), mmx::new_type_id(), vector< C, V >::operator<<(), list< cleaner >::operator[](), heap< C >::operator[](), mmx::precision(), mmx::range(), input_output_string_port_rep::read(), input_string_port_rep::read(), composite_port_rep::read(), mmx::restore_evaluator(), mmx::store_interactive_number(), mmx::store_interactive_source(), mmx::texmacs_to_scheme(), mmx::threads_set_number(), mmx::tokenize(), mmx::trace_pull(), mmx::trace_push(), mmx::trace_top(), mmx::unary_set(), mmx::user_dir(), mmx::vector_map(), mmx::vector_map_2(), mmx::vector_map_n(), mmx::WRAP_WRAPPED_IMPL(), and void_binary_helper< table< C, T, V > >::write().

#define ERROR ( msg ) assert(false)

Definition at line 84 of file exception.hpp.

Referenced by port_rep::accept(), binary_helper< triple< C1, C2, C3 > >::access(), binary_helper< generic >::access(), binary_helper< pair< C1, C2 > >::access(), mmx::alias_type_info(), routine_rep::apply(), mmx::as_texmacs(), generic_object_rep::binary_disassemble(), mmx::binary_test(), generic_object_rep::binary_type(), generic_object_rep::binary_write(), mmx::call_glue(), routine_rep::clone(), port_rep::component(), formatting_port_rep::component(), composite_port_rep::component(), vector_as_helper< C >::concrete(), mmx::detach(), mmx::dl_link(), posix_port_rep::feed(), mmx::file_last_modified(), port_rep::format(), vector_as_helper< C >::generic(), generic_object_rep::get_child(), generic_object_rep::make_abstract_vector(), generic_object_rep::make_concrete_vector(), routine_rep::meanings(), solve_matrix_lde_op::op(), solve_vector_lde_op::op(), routine_rep::overload(), port_rep::read(), mmx::REP_STRUCT_1(), mmx::replace_lf(), mmx::scheme_to_tm(), routine_rep::signature(), mmx::texmacs_to_scheme(), and port_rep::write().

#define VERIFY	(	expr,
		msg
	)

Definition at line 94 of file exception.hpp.

Referenced by inspector< C >::access(), inspector< compound >::access(), mmx::apply(), mmx::extend(), vector< observer >::operator[](), mmx::range(), mmx::raw_read(), mmx::REP_STRUCT_1(), vector< observer >::scalar(), and mmx::seg().

#define XVERIFY	(	expr,
		msg,
		x
	)

Definition at line 95 of file exception.hpp.