buddy/src/kernel.c

114 static bddinthandler  err_handler;     /* Error handler */
115 static bddgbchandler  gbc_handler;     /* Garbage collection handler */
116 static bdd2inthandler resize_handler;  /* Node-table-resize handler */
405 SHORT {* set a handler for error conditions *}
406 PROTO {* bddinthandler bdd_error_hook(bddinthandler handler) *}
408         see if an error handler is supplied by the user and if such exists
410 	with an error code in the variable {\tt errcode}. The handler may
413 	This function sets the handler to be {\tt handler}. If a {\tt NULL}
415 	Possible error codes are found in {\tt bdd.h}. The default handler
419 	Any handler should be defined like this:
426 RETURN {* The previous handler *}
429 bddinthandler bdd_error_hook(bddinthandler handler)
432    err_handler = handler;
444 	   the current error handler is called and an internal error flag
448 	   not be especially usefull since the default error handler exits
462 SHORT {* set a handler for garbage collections *}
463 PROTO {* bddgbchandler bdd_gbc_hook(bddgbchandler handler) *}
465          see if a handler for this event is supplied by the user and if such
468 	 the handler, which will be one before garbage collection and zero
471 	 This function sets the handler to be {\tt handler}. If a {\tt
476 	 collection. The default handler is {\tt bdd\_default\_gbchandler}.
478 	 Any handler should be defined like this:
485 RETURN {* The previous handler *}
487 bddgbchandler bdd_gbc_hook(bddgbchandler handler)
490    gbc_handler = handler;
498 SHORT {* set a handler for nodetable resizes *}
499 PROTO {* bdd2inthandler bdd_resize_hook(bdd2inthandler handler) *}
502 	 if a handler is supllied by the user for this event. If so then
506 	 This function sets the handler to be {\tt handler}. If a {\tt NULL}
508 	 is done. No default handler is supplied.
510 	 Any handler should be defined like this:
517 RETURN {* The previous handler *}
520 bdd2inthandler bdd_resize_hook(bdd2inthandler handler)
522    bdd2inthandler tmp = handler;
523    resize_handler = handler;
561 	 handler being called until some nodes are deallocated.
781   Error handler