static struct isl_vec *interval_sample(struct isl_basic_set *bset)
{
int i;
isl_int t;
struct isl_vec *sample;
bset = isl_basic_set_simplify(bset);
if (!bset)
return NULL;
if (isl_basic_set_plain_is_empty(bset))
return empty_sample(bset);
if (bset->n_eq == 0 && bset->n_ineq == 0)
return zero_sample(bset);
sample = isl_vec_alloc(bset->ctx, 2);
if (!sample)
goto error;
if (!bset)
return NULL;
isl_int_set_si(sample->block.data[0], 1);
if (bset->n_eq > 0) {
isl_assert(bset->ctx, bset->n_eq == 1, goto error);
isl_assert(bset->ctx, bset->n_ineq == 0, goto error);
if (isl_int_is_one(bset->eq[0][1]))
isl_int_neg(sample->el[1], bset->eq[0][0]);
else {
isl_assert(bset->ctx, isl_int_is_negone(bset->eq[0][1]),
goto error);
isl_int_set(sample->el[1], bset->eq[0][0]);
}
isl_basic_set_free(bset);
return sample;
}
void Filesystem::info()
{
INFOLOG( QString( "Tmp dir : %1" ).arg( tmp_dir() ) );
INFOLOG( QString( "Images dir : %1" ).arg( img_dir() ) );
INFOLOG( QString( "Documentation dir : %1" ).arg( doc_dir() ) );
INFOLOG( QString( "Internationalization dir : %1" ).arg( i18n_dir() ) );
INFOLOG( QString( "Demos dir : %1" ).arg( demos_dir() ) );
INFOLOG( QString( "XSD dir : %1" ).arg( xsd_dir() ) );
INFOLOG( QString( "System drumkit dir : %1" ).arg( sys_drumkits_dir() ) );
INFOLOG( QString( "System wide core cfg file : %1" ).arg( sys_core_config() ) );
INFOLOG( QString( "System wide gui cfg file : %1" ).arg( sys_gui_config() ) );
INFOLOG( QString( "Empty sample : %1" ).arg( empty_sample() ) );
INFOLOG( QString( "Empty song : %1" ).arg( empty_song() ) );
INFOLOG( QString( "Click file : %1" ).arg( click_file() ) );
INFOLOG( QString( "User drumkit dir : %1" ).arg( usr_drumkits_dir() ) );
INFOLOG( QString( "Songs dir : %1" ).arg( songs_dir() ) );
INFOLOG( QString( "Patterns dir : %1" ).arg( patterns_dir() ) );
INFOLOG( QString( "Playlists dir : %1" ).arg( playlists_dir() ) );
INFOLOG( QString( "Cache dir : %1" ).arg( cache_dir() ) );
INFOLOG( QString( "Repositories cache dir : %1" ).arg( cache_dir() ) );
INFOLOG( QString( "User core cfg file : %1" ).arg( usr_core_config() ) );
INFOLOG( QString( "User gui cfg file : %1" ).arg( usr_gui_config() ) );
}
bool Filesystem::check_sys_paths()
{
if( !dir_readable( __sys_data_path ) ) return false;
if( !dir_readable( img_dir() ) ) return false;
if( !dir_readable( xsd_dir() ) ) return false;
if( !dir_readable( doc_dir() ) ) return false;
if( !dir_readable( i18n_dir() ) ) return false;
if( !dir_readable( demos_dir() ) ) return false;
if( !file_readable( click_file() ) ) return false;
if( !file_readable( empty_song() ) ) return false;
if( !file_readable( empty_sample() ) ) return false;
//@Jeremy: Please check if those files are obsolote
//if( !file_readable( sys_gui_config() ) ) return false;
//if( !file_readable( sys_core_config() ) ) return false;
//if( !file_readable( pattern_xsd() ) ) return false;
if( !dir_readable( sys_drumkits_dir() ) ) return false;
if( !file_readable( drumkit_xsd() ) ) return false;
if( !file_readable( drumkit_pattern_xsd() ) ) return false;
INFOLOG( QString( "system wide data path %1 is usable." ).arg( __sys_data_path ) );
return true;
}
