assert.hpp File Reference


Detailed Description

Some assert macros to strengthen you code.

Author:
Julien Jorge

Definition in file assert.hpp.

#include <iostream>
#include <sstream>
#include <cstdlib>

Go to the source code of this file.

Defines

#define CLAW_ASSERT(b, s)
 Print a message on std::cerr and stop the program if a condition is not true.
#define CLAW_PRECOND(b)
 Stop the program if a precondition is not true.
#define CLAW_POSTCOND(b)
 Stop the program if a postcondition is not true.


Define Documentation

CLAW_ASSERT ( b,
 ) 

Print a message on std::cerr and stop the program if a condition is not true.

Parameters:
b Condition to verify.
s An error message.

Definition at line 93 of file assert.hpp.

Referenced by claw::arguments::add_argument(), claw::graphic::pcx::reader::rle_pcx_output_buffer::copy(), claw::arguments::get_integer(), claw::arguments::get_real(), claw::arguments::get_string(), claw::graphic::pcx::writer::file_output_buffer::raw(), and claw::arguments::split_argument().

CLAW_POSTCOND (  ) 

Stop the program if a postcondition is not true.

Parameters:
b Condition to verify.

Definition at line 95 of file assert.hpp.

Referenced by claw::graphic::image::base_iterator< Image, Pixel >::base_iterator().

CLAW_PRECOND (  ) 

Stop the program if a precondition is not true.

Parameters:
b Condition to verify.

Definition at line 94 of file assert.hpp.

Referenced by claw::graphic::png::reader::check_if_png(), claw::graphic::targa::reader::check_if_targa(), claw__graphic__jpeg__destination_manager__empty_output_buffer(), claw__graphic__jpeg__destination_manager__term_destination(), claw__graphic__jpeg__source_manager__fill_input_buffer(), claw__graphic__jpeg__source_manager__skip_input_data(), claw::socket_traits_win32::connect(), claw::socket_traits_unix::connect(), claw::net::basic_socketbuf< CharT, Traits >::connect(), claw::graphic::png::writer::copy_pixel_line(), claw::graphic::png::reader::copy_pixel_line(), claw::graphic::jpeg::writer::copy_pixel_line(), claw::net::basic_socketbuf< CharT, Traits >::create_buffers(), claw::automaton< State, Edge, StateComp, EdgeComp >::edges(), claw::graphic::pcx::reader::rle_pcx_output_buffer::fill(), claw::multi_type_map_wrapper< ValueType, Map >::last_call::get(), claw::arguments_table::get_integer(), claw::arguments_table::get_real(), claw::arguments_table::get_string(), claw::socket_traits_win32::listen(), claw::socket_traits_unix::listen(), claw::graphic::xbm::reader::load(), claw::graphic::targa::reader::load(), claw::graphic::png::reader::load(), claw::graphic::pcx::reader::load(), claw::graphic::jpeg::reader::load(), claw::graphic::bitmap::reader::load(), claw::automaton< State, Edge, StateComp, EdgeComp >::match_aux(), claw::graphic::pcx::reader::converter_true_color::operator()(), claw::graphic::pcx::reader::converter_256::operator()(), claw::graphic::pcx::reader::converter_16::operator()(), claw::graphic::pcx::reader::converter_mono::operator()(), claw::graphic::image::base_iterator< Image, Pixel >::operator*(), claw::graphic::image::base_iterator< Image, Pixel >::operator++(), claw::graphic::image::base_iterator< Image, Pixel >::operator+=(), claw::graphic::image::base_iterator< Image, Pixel >::operator-(), claw::graphic::image::base_iterator< Image, Pixel >::operator--(), claw::graphic::image::base_iterator< Image, Pixel >::operator-=(), claw::graphic::image::base_iterator< Image, Pixel >::operator->(), claw::net::basic_socketbuf< CharT, Traits >::overflow(), claw::configuration_file::process_line(), claw::automaton< State, Edge, StateComp, EdgeComp >::reachables(), claw::graphic::png::reader::read_image(), claw::graphic::png::reader::read_interlaced_image(), claw::graphic::png::reader::read_sequential_image(), claw::graphic::xbm::writer::save(), claw::graphic::png::writer::save(), claw::graphic::jpeg::writer::save(), claw::graphic::png::writer::save_image(), claw::socket_traits_win32::select_read(), claw::socket_traits_unix::select_read(), claw::graphic::png::writer::set_options(), claw::graphic::jpeg::reader::source_manager::skip_input_data(), claw::graphic::png::reader::source_manager::source_manager(), claw::automaton< State, Edge, StateComp, EdgeComp >::state_is_final(), claw::automaton< State, Edge, StateComp, EdgeComp >::state_is_initial(), claw::net::basic_socketbuf< CharT, Traits >::sync(), claw::graphic::png::writer::target_manager::target_manager(), and claw::net::basic_socketbuf< CharT, Traits >::underflow().


Generated on Thu Jun 26 09:35:04 2008 for CLAW Library (a C++ Library Absolutely Wonderful) by  doxygen 1.5.6