Fixed bug#71811 "AJDoc: should be able to set encoding like javadoc"

1 files changed, 19 insertions, 1 deletions

diff --git a/ajdoc/testsrc/org/aspectj/tools/ajdoc/CoverageTestCase.java b/ajdoc/testsrc/org/aspectj/tools/ajdoc/CoverageTestCase.java
index a7dd01974..25182eaf7 100644
--- a/ajdoc/testsrc/org/aspectj/tools/ajdoc/CoverageTestCase.java
+++ b/ajdoc/testsrc/org/aspectj/tools/ajdoc/CoverageTestCase.java
@@ -36,6 +36,24 @@ public class CoverageTestCase extends TestCase {
 	 
 	File outdir = new File("testdata/coverage/doc");
 	
+	public void testOptions() {
+		outdir.delete();
+		String[] args = { 
+			"-private",
+			"-encoding",
+			"EUCJIS",
+			"-docencoding",
+			"EUCJIS",
+			"-charset",
+			"UTF-8",
+			"-d", 
+			outdir.getAbsolutePath(),
+			file0.getAbsolutePath(), 
+		};
+		org.aspectj.tools.ajdoc.Main.main(args);
+	    assertTrue(true);
+	}
+	
 	public void testCoverage() {
 		outdir.delete();
 		String[] args = { 
@@ -59,7 +77,7 @@ public class CoverageTestCase extends TestCase {
 		};
 		org.aspectj.tools.ajdoc.Main.main(args);
 	}
-
+	
 	public void testCoveragePublicMode() {
 		outdir.delete();
 		String[] args = {