Displaying 2 results from an estimated 2 matches for "8b0d12f".
Did you mean:
830d12a
2015 Feb 10
3
[PATCH 1/3] generator: add a simple HTML escaping function
---
generator/utils.ml | 8 +++++++-
generator/utils.mli | 3 +++
2 files changed, 10 insertions(+), 1 deletion(-)
diff --git a/generator/utils.ml b/generator/utils.ml
index b24ba8c..3a62084 100644
--- a/generator/utils.ml
+++ b/generator/utils.ml
@@ -360,4 +360,10 @@ let args_of_optargs optargs =
| OInt64 n -> Int64 n
| OString n -> String n
| OStringList n ->
2015 Feb 10
0
[PATCH 3/3] java: add @Deprecated annotation for deprecated methods
---
generator/java.ml | 9 +++++++--
1 file changed, 7 insertions(+), 2 deletions(-)
diff --git a/generator/java.ml b/generator/java.ml
index 8b0d12f..81faff1 100644
--- a/generator/java.ml
+++ b/generator/java.ml
@@ -280,7 +280,11 @@ public class GuestFS {
pr " */\n";
);
pr " ";
- generate_java_prototype ~public:true ~semicolon:false f.name f.style;
+ let deprecated =
+ match f with...