diff options
Diffstat (limited to 'generator/generator_java.ml')
-rw-r--r-- | generator/generator_java.ml | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/generator/generator_java.ml b/generator/generator_java.ml index 5a2afe94..66da8659 100644 --- a/generator/generator_java.ml +++ b/generator/generator_java.ml @@ -176,6 +176,29 @@ public class GuestFS { ); pr " }\n"; pr "\n"; + + (* Generate an overloaded method that has no optargs argument, + * and make it call the method above with 'null' for the last + * arg. + *) + if optargs <> [] then ( + pr " "; + generate_java_prototype ~public:true ~semicolon:false + name (ret, args, []); + pr "\n"; + pr " {\n"; + (match ret with + | RErr -> pr " " + | _ -> pr " return " + ); + pr "%s (" name; + List.iter (fun arg -> pr "%s, " (name_of_argt arg)) args; + pr "null);\n"; + pr " }\n"; + pr "\n" + ); + + (* Prototype for the native method. *) pr " "; generate_java_prototype ~privat:true ~native:true name style; pr "\n"; |