| iMatix home page
| << | < | > | >> 		SMT Logo SMT
Version 2.81
 

raise_exception

#include "smtlib.h"
void
raise_exception (event_t event)

Synopsis

Sets the exception_raised flag to TRUE and sets the exception event as specified. To raise an exception without setting the exception event, just do this: 'exception_raised = TRUE;'.

Source Code - (smtlib.c)

{
#if (defined (SMT_TRACE))
    trace ("raise_exception");
#endif
    _exception_raised    = TRUE;
    _the_exception_event = event;
}
| << | < | > | >> iMatix Copyright © 1996-99 iMatix Corporation