-
-static void
- smx_ctx_java_resume(smx_context_t old_context, smx_context_t new_context);
-
-
-/* callback: context fetching */
-static ex_ctx_t *xbt_ctx_java_ex_ctx(void)
-{
- return simix_global->current_process->context->exception;
-}
-
-/* callback: termination */
-static void xbt_ctx_java_ex_terminate(xbt_ex_t * e)
-{
- xbt_ex_display(e);
- abort();
-}