25 #include "pips_config.h"
74 string pgm_wd, file_name_in_database;
77 file_name_in_database =
81 return file_name_in_database;
92 user_log(
"No current module; select a module\n");
void user_log(const char *format,...)
string db_get_current_module_name(void)
Also used to check whether set...
const char * module_name(const char *s)
Return the module part of an entity name.
bool displayable_file_p(const char *name)
rather approximated.
string concatenate(const char *,...)
Return the concatenation of the given strings.
#define db_get_file_resource
string db_get_current_workspace_name(void)
the function is used to check that there is some current workspace...
bool safe_make(const char *res_n, const char *module_n)
void print_type(type)
For debugging.
static string get_view_file(const char *print_type, bool displayable)
returns the allocated full path name.
string get_dont_build_view_file(const char *print_type)
string build_view_file(const char *print_type)
view.c