void RationalNumberArray::handleError() {
	if (m_error != 0) {
		m_error_handler();
	} else {
		printf("no errors occured!\n\n");
	}
}
Exemple #2
0
    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;
    }
Exemple #3
0
 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);
     }
 }
Exemple #4
0
 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();
             }
     });
 }
Exemple #5
0
	void unit_generator::handle_error(
		compiler_error const &error
		)
	{
		m_error_handler(error);
	}