Added support for --case-sensitive option (attribute casesensitive).

1 files changed, 17 insertions, 0 deletions

diff --git a/java/ant/Slice2XsdTask.java b/java/ant/Slice2XsdTask.java
index f71b0624552..6e75380034c 100644
--- a/java/ant/Slice2XsdTask.java
+++ b/java/ant/Slice2XsdTask.java
@@ -33,6 +33,7 @@ import java.io.FileOutputStream;
  *   tagdir - The directory in which tag files are located (default: ".").
  *   outputdir - The value for the --output-dir translator option.
  *   package - The value for the --package translator option.
+ *   casesensitive - The value for the --case-sensitive translator option.
  *
  * Nested elements:
  *
@@ -71,6 +72,7 @@ public class Slice2XsdTask extends org.apache.tools.ant.Task
         _package = null;
         _includePath = null;
         _fileSet = null;
+	_caseSensitive = false;
     }
 
     public void
@@ -97,6 +99,12 @@ public class Slice2XsdTask extends org.apache.tools.ant.Task
         _package = pkg;
     }
 
+    public void
+    setCaseSensitive(boolean c)
+    {
+	_caseSensitive = c;
+    }
+
     public Path
     createIncludePath()
     {
@@ -212,6 +220,14 @@ public class Slice2XsdTask extends org.apache.tools.ant.Task
                 cmd.append(_package);
             }
 
+	    //
+	    // Add --case-sensitive
+	    //
+	    if(_caseSensitive)
+	    {
+		cmd.append(" --case-sensitive");
+	    }
+
             //
             // Add include directives
             //
@@ -285,4 +301,5 @@ public class Slice2XsdTask extends org.apache.tools.ant.Task
     private String _package;
     private Path _includePath;
     private FileSet _fileSet;
+    private boolean _caseSensitive;
 }