|
API functions start by calling
api_bb_begin and end by calling
api_bb_end. The API
api_bb_begin turns auto-checkpointing off;
api_bb_end turns auto-checkpointing on.
|
|
|
When auto-checkpointing is off, the system adds bulletins to the current bulletin board rather than creating new bulletin boards. Because auto-checkpointing is turned off at the beginning of each API function, nested API functions do not create new bulletin boards.
|
|
|
Auto-checkpointing is an accumulating option. For example, if auto-checkpointing is on, then turned off three times by calls of
api_bb_begin, it is not turned on until three calls have been made to
api_bb_end.
|
|
|
If an API call fails, the current bulletin board is preserved to make it available for debugging. At the next call to an API function, the model is rolled back to the state before the API call failed.
|