void RationalNumberArray::handleError() { if (m_error != 0) { m_error_handler(); } else { printf("no errors occured!\n\n"); } }
bool Listener::start(int32_t port) { asio::error_code ec; m_endpoint = asio::ip::tcp::endpoint(asio::ip::tcp::v4(),port); m_acceptor.open(m_endpoint.protocol(), ec); if (ec) { m_error_handler(ec); return false; } m_acceptor.bind(m_endpoint,ec); if (ec) { m_error_handler(ec); return false; } m_acceptor.listen(); await_connection(); return true; }
void context::invoke_error_handler(Z3_error_code c) { if (m_error_handler) { if (g_z3_log) { // error handler can do crazy stuff such as longjmp g_z3_log_enabled = true; } m_error_handler(reinterpret_cast<Z3_context>(this), c); } }
void Listener::await_connection() { m_acceptor.async_accept( m_next_connection.m_socket, m_next_connection.m_endpoint, [this](error_ref e) { if (e) { m_error_handler(e); } else { m_connection_handler(std::move(m_next_connection)); m_next_connection = Socket(*m_scheduler); await_connection(); } }); }
void unit_generator::handle_error( compiler_error const &error ) { m_error_handler(error); }