void
Utils_FreeListOfLists(
lsList list_of_lists
)
- This function can be used to destroy lists of list. The
contained set of lists is removed from memory as the top level list.
More than two levels are not handled at the moment.
- Side Effects Lists are deallocated
- See Also
lsDestroy
- Defined in
utils.c
void
Utils_StripPathNoExtension(
const char* fpathname,
char* filename
)
- Example: given "~/.../test.smv", "test" will be returned.
filename must be a string whose length is large enought to contain the "pure"
filename
- Side Effects the string pointed by 'filename' changes
- Defined in
utils.c
void
Utils_StripPathNoFilenameNoExtension(
const char* fpathname,
char* dirname
)
- dirname must be a string whose length is large enough to
contain the directory part
- Side Effects The string pointed to by 'dirname' changes
- See Also
Utils_StripPathNoExtension
Utils_StripPath
- Defined in
utils.c
const char*
Utils_StripPath(
const char* pathfname
)
- Returns pathname without path prefix
- Side Effects None
- Defined in
utils.c
boolean
Utils_file_exists_in_directory(
const char* filename,
char* directory
)
- Checks for the existence of a file within a directory.
- Defined in
utils.c
boolean
Utils_file_exists_in_paths(
const char* filename,
const char* paths,
const char* delimiters
)
- The list of directories (delimited by the charaters given)
are checked for the existence of the file.
- Defined in
utils.c
int
Utils_log2_round(
unsigned long long int a
)
- This function can be used to calculate the number of
bits needed to represent a value.
- Defined in
utils.c
void
Utils_pkg_init(
)
- Initializes the utils package
- Side Effects None
- Defined in
utils.c
void
Utils_pkg_quit(
)
- De-initializes the utils package
- Side Effects None
- Defined in
utils.c
void
Utils_print_timer(
const char* name,
const char* msg
)
- The timer must be already existing. msg can be NULL
- Defined in
utils.c
void
Utils_reset_timer(
const char* name
)
- The timer must be already existing.
- Defined in
utils.c
void
Utils_start_timer(
const char* name
)
- If the timer does not exist, it will be created and
started. If already started an error occurs.
- Defined in
utils.c
void
Utils_stop_timer(
const char* name
)
- The timer must be already existing and running.
- Defined in
utils.c
void
Utils_str_escape_xml_file(
const char* str,
FILE* file
)
- Escapes all characters in given string, and dumps them
into the xml file
- Defined in
utils.c
int
Utils_strcasecmp(
const char* s1,
const char* s2
)
- Compares the two strings s1 and s2,
ignoring the case of the characters.
- Defined in
utils.c
static void
freeListOfLists_aux(
lsList list
)
- Private service for Utils_FreeListOfLists
- See Also
Utils_FreeListOfLists
- Defined in
utils.c
static void
hash_timers_init(
)
- Initializes the hash_timers hash
- Defined in
utils.c
static void
hash_timers_insert(
const char* key,
TimerBench_ptr val
)
- Inserts into the hash_timers hash
- Defined in
utils.c
static TimerBench_ptr
hash_timers_lookup(
const char* key
)
- Looks up in the hash_timers hash
- Defined in
utils.c
static enum st_retval
hash_timers_quit_fun_aux(
char* k,
char* e,
char* a
)
-
- Defined in
utils.c
static void
hash_timers_quit_fun(
hash_timers_DESTROY fun
)
- Deinitializes the hash_timers hash
- Defined in
utils.c
(
)
- This functions gets a template parameter for the file
name, with 6 'X' that will be substituted by an unique id. See
mkstemp for further info. Ensures that the filename is not already
in use in the given directory. If NULL is passed as the directory,
then the standard temporary directory is used instead. Returned
string must be freed. Returtns NULL if the filename cannot be found
or if we do not have write priviledges in the specified directory.
- Defined in
utils.c