bad_record_index(const string &filename, const int record_idx, const int nb_record_max, const string &source_file, const int source_line) (defined in bad_record_index) | bad_record_index | [inline] |
what() const | bad_record_index | [inline, virtual] |
~bad_record_index() (defined in bad_record_index) | bad_record_index | [inline] |