XBT_PUBLIC(void) xbt_context_start(xbt_context_t context);
XBT_PUBLIC(void) xbt_context_yield(void);
XBT_PUBLIC(void) xbt_context_schedule(xbt_context_t context);
+
+void xbt_context_set_jprocess(xbt_context_t context, void *jp);
+void* xbt_context_get_jprocess(xbt_context_t context);
+
+void xbt_context_set_jmutex(xbt_context_t context,void *jm);
+void* xbt_context_get_jmutex(xbt_context_t context);
+
+void xbt_context_set_jcond(xbt_context_t context,void *jc);
+void* xbt_context_get_jcond(xbt_context_t context);
+
+void xbt_context_set_jenv(xbt_context_t context,void* je);
+void* xbt_context_get_jenv(xbt_context_t context);
+
/* @} */
#endif /* _XBT_CONTEXT_H */