BuDDy: fdd_file

bddfilehandler fdd_file_hook ( bddfilehandler )

Specifies a printing callback handler.

A printing callback handler for use with FDDs is used to convert the FDD integer identifier into something readable by the end user. Typically the handler will print a string name instead of the identifier. A handler could look like this:

 void * printhandler(FILE *o, int var) 
 { 
   extern char **names; 
   fprintf(o, "%s", names[var]); 
 }

The handler can then be passed to BuDDy like this:

 fdd_file_hook(printhandler)

No default handler is supplied. The argument handler may be NULL if no handler is needed.

Returns:: The old handler.

See also:: fdd_printset, bdd_file_hook