include/basix/exception.hpp File Reference

#include <basix/syntactic.hpp>

Go to the source code of this file.

Classes

class exception

Namespaces

namespace mmx

Defines

#define STRINGIFY(x) #x
#define TOSTRING(x) STRINGIFY(x)
#define ERROR(msg) throw mmx::error_message (__FILE__ ":" TOSTRING(__LINE__) ": " msg);
#define ASSERT(expr, msg) if (!(expr)) ERROR (msg);
#define VERIFY(expr, msg) ASSERT(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)
exception as_exception (const generic &x)
Make an exception from x.
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)

exception error_message (const char *msg)
Make an exception from msg.
exception error_message (const string &msg)

Detailed Description

Definition in file exception.hpp.

Define Documentation

#define ASSERT	(	expr,
		msg		)	if (!(expr)) ERROR (msg);

Definition at line 81 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::big(), mmx::big_dicho(), mmx::binary_assemble_generic(), mmx::binary_map(), mmx::binary_read_generic(), mmx::cAr(), mmx::car(), mmx::cDr(), mmx::cdr(), mmx::change_precision(), composed_routine_rep::composed_routine_rep(), mmx::composite_port(), mmx::connect_to_server(), mmx::cons(), mmx::cpp_demangle(), sqrt_op::def(), div_op::def(), mmx::dot(), mmx::eval_system(), mmx::exec(), mmx::exponent(), int_floor_sqrt_helper< I >::floor_sqrt(), mmx::foreach(), generic::generic(), mmx::generic_as_literal(), mmx::generic_as_string(), mmx::generic_as_vector(), mmx::get_file_source(), mmx::get_interactive_source(), heap_rep< C >::Get_top(), mmx::identity_routine(), mmx::init_system(), mmx::insert(), mmx::inside_append(), mmx::list_map(), mmx::list_map_2(), mmx::list_map_n(), mmx::magnitude(), mmx::map(), mmx::mmc_load(), mmx::new_type_id(), vector< C, V >::operator<<(), string::operator>>(), list< cleaner >::operator[](), heap< C >::operator[](), chain< C >::operator[](), mmx::precision(), mmx::prefix_dir(), heap_rep< C >::Pull(), mmx::range(), input_output_string_port_rep::read(), input_string_port_rep::read(), composite_port_rep::read(), unsigned_int_reconstruct_helper< U >::reconstruct(), int_reconstruct_helper< I >::reconstruct(), mmx::restore_evaluator(), heap_rep< C >::Set_top(), mmx::store_interactive_number(), mmx::store_interactive_source(), mmx::string_as_charcode(), 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 ) throw mmx::error_message (__FILE__ ":" TOSTRING(__LINE__) ": " msg);

Definition at line 79 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(), iterator_rep< iterator< T > >::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(), iterator_rep< iterator< T > >::is_init(), generic_object_rep::make_abstract_vector(), generic_object_rep::make_concrete_vector(), routine_rep::meanings(), mmx::mmc_load_directory(), mmx::mmc_parse(), mmx::mmc_unliteral(), solve_matrix_lde_op::op(), solve_vector_lde_op::op(), routine_rep::overload(), nil_function_rep::Quote_apply(), iterator_rep< iterator< T > >::regress(), mmx::replace_lf(), mmx::scheme_to_tm(), routine_rep::signature(), and mmx::texmacs_to_scheme().

#define STRINGIFY ( x ) #x

Definition at line 77 of file exception.hpp.

#define TOSTRING ( x ) STRINGIFY(x)

Definition at line 78 of file exception.hpp.

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

Definition at line 89 of file exception.hpp.

Referenced by inspector< C >::access(), inspector< compound >::access(), mmx::apply(), mmx::extend(), vector< observer >::operator[](), sparse_vector< C, T, V >::operator[](), mmx::range(), mmx::raw_read(), vector< observer >::scalar(), mmx::seg(), and vector_rep< C, vector_fixed< V, S > >::vector_rep().

#define XVERIFY	(	expr,
		msg,
		x	)

Value:

if (!(expr)) mmerr << "failed for instance " << x << "\n";      \
  ASSERT(expr,msg)

Definition at line 90 of file exception.hpp.