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
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
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
const char*
Utils_StripPath(
const char* pathfname
)
- Returns pathname without path prefix
- Side Effects None
boolean
Utils_file_exists_in_directory(
const char* filename,
char* directory
)
- Checks for the existence of a file within a directory.
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.
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.
void
Utils_pkg_init(
)
- Initializes the utils package
- Side Effects None
void
Utils_pkg_quit(
)
- De-initializes the utils package
- Side Effects None
void
Utils_print_timer(
const char* name,
const char* msg
)
- The timer must be already existing. msg can be NULL
void
Utils_reset_timer(
const char* name
)
- The timer must be already existing.
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.
void
Utils_stop_timer(
const char* name
)
- The timer must be already existing and running.
void
Utils_str_escape_xml_file(
const char* str,
FILE* file
)
- Escapes all characters in given string, and dumps them
into the xml file
int
Utils_strcasecmp(
const char* s1,
const char* s2
)
- Compares the two strings s1 and s2,
ignoring the case of the characters.