data_file.cpp

Go to the documentation of this file.

// data_file.cpp
//
// Anton Betten
//
//
// October 13, 2011
//
//
// 
//
//
 
#include "foundations.h"
 
using namespace std;
 
 
namespace orbiter {
namespace layer1_foundations {
namespace data_structures {
 
 
data_file::data_file()
{
    null();
}
 
data_file::~data_file()
{
    freeself();
}
 
void data_file::null()
{
    nb_cases = -1;
    set_sizes = NULL;
    sets = NULL;
    casenumbers = NULL;
    Ago_ascii = NULL;
    Aut_ascii = NULL;
    f_has_candidates = FALSE;
    nb_candidates = NULL;
    candidates = NULL;
}
 
void data_file::freeself()
{
    int i;
    
    cout << "data_file::freeself" << endl;
    if (nb_cases >= 0) {
        for (i = 0; i < nb_cases; i++) {
            FREE_lint(sets[i]);
            FREE_char(Ago_ascii[i]);
            FREE_char(Aut_ascii[i]);
            }
        FREE_int(set_sizes);
        FREE_plint(sets);
        FREE_int(casenumbers);
        FREE_pchar(Ago_ascii);
        FREE_pchar(Aut_ascii);
        if (f_has_candidates) {
            FREE_int(nb_candidates);
            for (i = 0; i < nb_cases; i++) {
                FREE_int(candidates[i]);
                }
            FREE_pint(candidates);
            }
        }
    null();
    cout << "data_file::freeself done" << endl;
}
 
void data_file::read(std::string &fname,
        int f_casenumbers, int verbose_level)
{
    int f_v = (verbose_level >= 1);
    orbiter_kernel_system::file_io Fio;
 
    if (f_v) {
        cout << "data_file::read trying to read file "
                << fname << " of size " << Fio.file_size(fname) << endl;
        cout << "f_casenumbers=" << f_casenumbers << endl;
        }
    data_file::fname.assign(fname);
    
    Fio.read_and_parse_data_file_fancy(fname,
        f_casenumbers, 
        nb_cases, 
        set_sizes, sets, Ago_ascii, Aut_ascii, 
        casenumbers, 
        verbose_level);
    if (f_v) {
        cout << "data_file::read finished" << endl;
        }   
}
 
void data_file::read_candidates(std::string &candidates_fname,
        int verbose_level)
{
    int f_v = (verbose_level >= 1);
    int i, cnt, a, b;
    orbiter_kernel_system::file_io Fio;
 
    if (f_v) {
        cout << "data_file::read_candidates trying to read "
                "candidates file " << candidates_fname << " of size "
                << Fio.file_size(candidates_fname) << endl;
        }
 
    nb_candidates = NEW_int(nb_cases);
    candidates = NEW_pint(nb_cases);
    {
    ifstream fp(candidates_fname);
    cnt = 0;
    while (TRUE) {
        fp >> a;
        if (a == -1) {
            break;
            }
        for (i = 0; i < a; i++) {
            fp >> b;
            }
        fp >> b;
        if (b != -1) {
            cout << "data_file::read_candidates b != -1" << endl;
            exit(1);
            }
        fp >> nb_candidates[cnt];
        candidates[cnt] = NEW_int(nb_candidates[cnt]);
        for (i = 0; i < nb_candidates[cnt]; i++) {
            fp >> candidates[cnt][i];
            }
        fp >> b; // read final -1
        cnt++;
        if (cnt > nb_cases) {
            cout << "data_file::read_candidates cnt > nb_cases" << endl;
            exit(1);
            }
        }
    if (cnt != nb_cases) {
        cout << "data_file::read_candidates cnt != nb_cases" << endl;
        exit(1);
        }
    }
    f_has_candidates = TRUE;
    if (f_v) {
        cout << "data_file::read_candidates finished" << endl;
        }   
}
 
}}}