Enea Zaffanella wrote:
Yuriy Taraday wrote:
The JNI API guarantees that jobject is just a simple reference (weak or strong) to an object, without any overhead, all garbage collector stuff (reference counting etc.) must be performed explicitly with a corresponding calls. So jobject isn't larger than a pointer and it's safe to pass it by value.
Fine.
We are currently doing a whole pass through the Java interface glue code: this change will be included among others. I will notify you when we are ready, so that you will be able to give it a try.
ops ... I was almost forgetting about this notification.
We completed the pass on the Java interface. Notice that, differently from ppl-0.10.2, in the current git master branch the library has to be explicitly initialized (after loading it) by calling static method
Parma_Polyhedra_Library.initialize_library()
This function, besides appropriately setting the floating point rounding mode, will also load JNI class/field/method ID caches. As reported in the NEWS file, the Java interface now supports basic timeout facilities.
Please report to ppl-devel any residual issue you may notice.
Cheers, Enea Zaffanella.