+ file_out.write " in \"Java\" `\{\n{comment}\t\tself.{jmethod_id}({java_params});\n{comment}\t`\}\n"
+ end
+ end
+
+ # Generate getter and setter to access an attribute, of field
+ private fun generate_getter_setter(java_class: JavaClass, java_id: String, java_type: JavaType)
+ do
+ var nit_type = model.java_to_nit_type(java_type)
+ var nit_id = java_id.to_nit_method_name
+ nit_id = java_class.nit_name_for(nit_id, [java_type], false)
+
+ var c = ""
+ if not nit_type.is_known then c = "#"
+
+ file_out.write """
+ # Java getter: {{{java_class}}}.{{{java_id}}}
+{{{c}}} fun {{{nit_id}}}: {{{nit_type}}} in "Java" `{
+{{{c}}} return self.{{{java_id}}};
+{{{c}}} `}
+
+ # Java setter: {{{java_class}}}.{{{java_id}}}
+{{{c}}} fun {{{nit_id}}}=(value: {{{nit_type}}}) in "Java" `{
+{{{c}}} self.{{{java_id}}} = value;
+{{{c}}} `}
+
+"""
+ end
+
+ # Generate getter and setter to access an attribute, of field
+ private fun generate_constructor(java_class: JavaClass, constructor: JavaConstructor, name: String)
+ do
+ var c = ""
+ var nit_params_s = ""
+ var java_params_s = ""
+
+ if constructor.params.not_empty then
+ var nit_params = new Array[String]
+ var java_params = new Array[String]
+ var param_id = 'a'
+ for java_type in constructor.params do
+
+ java_params.add "{java_type.param_cast}{param_id}"
+
+ var nit_type = model.java_to_nit_type(java_type)
+ nit_params.add "{param_id}: {nit_type}"
+ param_id = param_id.successor(1)
+
+ if not nit_type.is_known then c = "#"
+ end
+
+ nit_params_s = "(" + nit_params.join(", ") + ")"
+ java_params_s = java_params.join(", ")