Merge: Java FFI: add GC pinning support
authorJean Privat <jean@pryen.org>
Mon, 9 Nov 2015 15:39:14 +0000 (10:39 -0500)
committerJean Privat <jean@pryen.org>
Mon, 9 Nov 2015 15:39:14 +0000 (10:39 -0500)
commitea741018abbec0125e641e26433cce8fb3fcbbd9
tree1076b1f65bb73de388873752392dc8d428d57b1d
parent883a6deafab95f0c7cc675094e66add5a4e45779
parent9e614d0c84a4bd23e997294cfd8603a2a41c985e
Merge: Java FFI: add GC pinning support

Adds a missing features to the Java FFI: pinning references to Nit objects from Java. Both services, `..._incr_ref` and `..._decr_ref`, are "simple" redirections from Java to the nitni service in C through the JNI.

Pull-Request: #1820
Reviewed-by: Jean Privat <jean@pryen.org>