99 static char buffer[
sizeof(
void *)*2+4];
102 (void) sprintf(&
buffer[1],
"%p", v);
bool variable_equal(Variable v1, Variable v2)
package vecteur - routines sur les variables
char * variable_default_name(Variable v)
char * variable_default_name(Variable v): returns the name of variable v
void reset_variable_debug_name(void)
Variable variable_make(char *name)
Variable variable_make(char * name): defines a new variable of a given name.
char * variable_dump_name(Variable v)
variable_dump_name() returns an unambiguous name for variable v, based on the pointer used to really ...
void init_variable_debug_name(char *(*name)(Variable))
This function is mostly intended for use from within gdb.
char *(* variable_debug_name)(Variable)
Debug support: pointer to the function used by debug print outs.
void * Variable
arithmetique is a requirement for vecteur, but I do not want to inforce it in all pips files....