X-Git-Url: http://nitlanguage.org diff --git a/src/ffi/java.nit b/src/ffi/java.nit index 9191141..4894846 100644 --- a/src/ffi/java.nit +++ b/src/ffi/java.nit @@ -105,7 +105,7 @@ class JavaLanguage jni_signature_alt = mclass_type.jni_signature_alt return_type = mclass_type else - params.add "recv" + params.add "self" if signature.return_mtype != null then var ret_mtype = signature.return_mtype ret_mtype = ret_mtype.resolve_for(mclass_type, mclass_type, mmodule, true) @@ -165,6 +165,9 @@ class JavaLanguage redef fun compile_to_files(mmodule, compdir) do + var ffi_ccu = ffi_ccu + assert ffi_ccu != null + # Make sure we have a .java file mmodule.ensure_java_files @@ -172,7 +175,7 @@ class JavaLanguage mmodule.insert_compiler_options # Enable linking C callbacks to java native methods - mmodule.ensure_linking_callback_methods(ffi_ccu.as(not null)) + mmodule.ensure_linking_callback_methods(ffi_ccu) # Java implementation code var java_file = mmodule.java_file @@ -193,8 +196,8 @@ end redef class MModule private var callbacks_used_from_java = new ForeignCallbackSet - # Pure java class source file - private var java_file: nullable JavaClassTemplate = null + # Java source file extracted from user FFI code with generated structure + var java_file: nullable JavaClassTemplate = null # Set up the templates of the Java implementation class private fun ensure_java_files @@ -220,6 +223,9 @@ redef class MModule for cb in callbacks do jni_methods.add_all(cb.jni_methods_declaration(self)) end + for cb in callbacks_used_from_java.types do + jni_methods.add_all(cb.jni_methods_declaration(self)) + end var cf = new CFunction("void nit_ffi_with_java_register_natives(JNIEnv* env, jclass jclazz)") cf.exprs.add """ @@ -242,8 +248,7 @@ redef class MModule # Tell the C compiler where to find jni.h and how to link with libjvm private fun insert_compiler_options do - c_compiler_options = "{c_compiler_options} -I $(JAVA_HOME)/include/ -I $(JAVA_HOME)/include/linux/" - c_linker_options = "{c_linker_options} -L $(JNI_LIB_PATH) -ljvm" + cflags.add_one("", "-I $(JAVA_HOME)/include/ -I $(JAVA_HOME)/include/linux/") end # Name of the generated Java class where to store all implementation methods of this module @@ -296,7 +301,7 @@ redef class AMethPropdef assert sys_class != null var sys_jni_env_meth = modelbuilder.try_get_mproperty_by_name2(self, mmodule, sys_class.mclass_type, "jni_env") if sys_jni_env_meth == null or not sys_jni_env_meth isa MMethod then - toolcontext.error(self.location, "Java FFI error: you must import the `java` module when using the FFI with Java") + toolcontext.error(self.location, "Java FFI Error: you must import the `java` module when using the FFI with Java") return end @@ -341,7 +346,7 @@ class JavaClassTemplate fun write_to_files(compdir: String): ExternFile do var filename = "{java_class_name}.java" - var filepath = "{compdir}/{filename}" + var filepath = compdir/filename write_to_file filepath @@ -362,8 +367,11 @@ end class JavaFile super ExternFile - redef fun makefile_rule_name do return "{filename.basename(".java")}.class" - redef fun makefile_rule_content do return "javac {filename.basename("")} -d ." + # Full Java class name: package and class + fun full_name: String do return filename.basename(".java") + + redef fun makefile_rule_name do return full_name.replace(".", "/") + ".class" + redef fun makefile_rule_content do return "javac {filename} -d ." redef fun add_to_jar do return true end @@ -424,7 +432,7 @@ redef class MExplicitCall var csignature = mproperty.build_c_implementation_signature(recv_mtype, mmodule, "___indirect", long_signature, from_java_call_context) var cf = new CFunction("JNIEXPORT {csignature}") cf.exprs.add "\t{mproperty.build_ccall(recv_mtype, mainmodule, null, long_signature, from_java_call_context, null)}\n" - ccu.add_local_function cf + ccu.add_non_static_local_function cf # In Java, declare the extern method as a private static local method var java_signature = mproperty.build_csignature(recv_mtype, mainmodule, null, short_signature, java_call_context) @@ -458,7 +466,7 @@ redef class MType # JNI type name (in C) # # So this is a C type, usually defined in `jni.h` - private fun jni_type: String do return "jint" + private fun jni_type: String do return "long" # JNI short type name (for signatures) # @@ -471,6 +479,38 @@ redef class MType # Used by `JavaLanguage::compile_extern_method` when calling JNI's `CallStatic*Method`. # This strategy is used by JNI to type the return of callbacks to Java. private fun jni_signature_alt: String do return "Int" + + redef fun compile_callback_to_java(mmodule, mainmodule, ccu) + do + var java_file = mmodule.java_file + if java_file == null then return + + for variation in ["incr", "decr"] do + var friendly_name = "{mangled_cname}_{variation}_ref" + + # C + var csignature = "void {mmodule.impl_java_class_name}_{friendly_name}(JNIEnv *env, jclass clazz, jint object)" + var cf = new CFunction("JNIEXPORT {csignature}") + cf.exprs.add "\tnitni_global_ref_{variation}((void*)(long)object);" + ccu.add_non_static_local_function cf + + # Java + java_file.class_content.add "private native static void {friendly_name}(int object);\n" + end + end + + redef fun jni_methods_declaration(from_mmodule) + do + var arr = new Array[String] + for variation in ["incr", "decr"] do + var friendly_name = "{mangled_cname}_{variation}_ref" + var jni_format = "(I)V" + var cname = "{from_mmodule.impl_java_class_name}_{friendly_name}" + arr.add """{"{{{friendly_name}}}", "{{{jni_format}}}", {{{cname}}}}""" + end + + return arr + end end redef class MClassType @@ -480,9 +520,15 @@ redef class MClassType if ftype isa ForeignJavaType then return ftype.java_type. replace('/', ".").replace('$', ".").replace(' ', "").replace('\n',"") if mclass.name == "Bool" then return "boolean" - if mclass.name == "Char" then return "char" + if mclass.name == "Char" then return "int" if mclass.name == "Int" then return "long" if mclass.name == "Float" then return "double" + if mclass.name == "Byte" then return "byte" + if mclass.name == "Int8" then return "byte" + if mclass.name == "Int16" then return "short" + if mclass.name == "UInt16" then return "short" + if mclass.name == "Int32" then return "int" + if mclass.name == "UInt32" then return "int" return super end @@ -491,9 +537,15 @@ redef class MClassType var ftype = mclass.ftype if ftype isa ForeignJavaType then return "jobject" if mclass.name == "Bool" then return "jboolean" - if mclass.name == "Char" then return "jchar" + if mclass.name == "Char" then return "jint" if mclass.name == "Int" then return "jlong" if mclass.name == "Float" then return "jdouble" + if mclass.name == "Byte" then return "jbyte" + if mclass.name == "Int8" then return "jbyte" + if mclass.name == "Int16" then return "jshort" + if mclass.name == "UInt16" then return "jshort" + if mclass.name == "Int32" then return "jint" + if mclass.name == "UInt32" then return "jint" return super end @@ -518,23 +570,65 @@ redef class MClassType else break end + # Change `float[]` to `[float` + if jni_type.has('[') then + var depth = jni_type.chars.count('[') + var java_type = jni_type.replace("[]", "") + var short + + if java_type == "boolean" then + short = "Z" + else if java_type == "byte" then + short = "B" + else if java_type == "char" then + short = "C" + else if java_type == "short" then + short = "S" + else if java_type == "int" then + short = "I" + else if java_type == "long" then + short = "J" + else if java_type == "float" then + short = "F" + else if java_type == "double" then + short = "D" + else + short = "L{java_type};" + end + + return "["*depth + short + end + return "L{jni_type};" end if mclass.name == "Bool" then return "Z" - if mclass.name == "Char" then return "C" + if mclass.name == "Char" then return "I" if mclass.name == "Int" then return "J" if mclass.name == "Float" then return "D" + if mclass.name == "Byte" then return "B" + if mclass.name == "Int8" then return "B" + if mclass.name == "Int16" then return "S" + if mclass.name == "UInt16" then return "S" + if mclass.name == "Int32" then return "I" + if mclass.name == "UInt32" then return "I" return super end redef fun jni_signature_alt do var ftype = mclass.ftype + if ftype isa ForeignJavaType then return "Object" if mclass.name == "Bool" then return "Boolean" - if mclass.name == "Char" then return "Char" + if mclass.name == "Char" then return "Int" if mclass.name == "Int" then return "Long" if mclass.name == "Float" then return "Double" + if mclass.name == "Byte" then return "Byte" + if mclass.name == "Int8" then return "Byte" + if mclass.name == "Int16" then return "Short" + if mclass.name == "UInt16" then return "Short" + if mclass.name == "Int32" then return "Int" + if mclass.name == "UInt32" then return "Int" return super end end @@ -573,7 +667,7 @@ redef class MMethod else format.add "V" end - return format.join("") + return format.join end # Similar to `build_c_signature` but adapted to create the signature expected by JNI for C functions @@ -607,7 +701,7 @@ redef class MMethod cparams.add "jclass clazz" if not self.is_init then - cparams.add "{call_context.name_mtype(recv_mtype)} recv" + cparams.add "{call_context.name_mtype(recv_mtype)} self" end for p in signature.mparameters do var param_mtype = p.mtype.resolve_for(recv_mtype, recv_mtype, from_mmodule, true) @@ -621,3 +715,17 @@ end private fun java_call_context: JavaCallContext do return new JavaCallContext private fun to_java_call_context: ToJavaCallContext do return new ToJavaCallContext private fun from_java_call_context: FromJavaCallContext do return new FromJavaCallContext + +redef class CCompilationUnit + # Similar to `add_local_function` but not `static` + # + # Used when the signature contains a visibility attribute. + private fun add_non_static_local_function(c_function: CFunction) + do + body_decl.add c_function.signature + body_decl.add ";\n" + + body_impl.add "\n" + body_impl.add c_function.to_writer + end +end