--- /dev/null
+/*
+ * Copyright (c) 2012, Takeyuki Nagao
+ * All rights reserved.
+ *
+ * Redistribution and use in source and binary forms, with or
+ * without modification, are permitted provided that the
+ * following conditions are met:
+ *
+ * * Redistributions of source code must retain the above
+ * copyright notice, this list of conditions and the
+ * following disclaimer.
+ * * Redistributions in binary form must reproduce the above
+ * copyright notice, this list of conditions and the
+ * following disclaimer in the documentation and/or other
+ * materials provided with the distribution.
+ *
+ * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND
+ * CONTRIBUTORS "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES,
+ * INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF
+ * MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
+ * DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR
+ * CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
+ * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
+ * BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
+ * SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
+ * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY,
+ * WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
+ * NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE
+ * USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY
+ * OF SUCH DAMAGE.
+ */
+
+package jp.sourceforge.dvibrowser.dvi2epub.cmd;
+
+import java.io.PrintWriter;
+import java.util.ArrayList;
+import java.util.List;
+import java.util.Set;
+import java.util.TreeSet;
+
+public class OptionPrinter {
+ protected static class Record {
+ private String optionName;
+ private String description;
+ }
+
+ private final PrintWriter writer;
+ private Set<String> records = new TreeSet<String>();
+ private List<Record> list = new ArrayList<Record>();
+
+ public OptionPrinter(PrintWriter writer)
+ {
+ this.writer = writer;
+ }
+
+ public void begin()
+ {
+ }
+
+ public void end()
+ {
+ PrintWriter writer = getWriter();
+
+ int width = 2;
+ for (Record rec : list) {
+ width = Math.max(width, rec.optionName.length());
+ }
+ for (Record rec : list) {
+ writer.printf(" %-" + width + "s %s\n", rec.optionName, rec.description);
+ writer.flush();
+ }
+ }
+
+ public void print(String optionName, String description)
+ {
+ if (!records.contains(optionName))
+ {
+ Record rec = new Record();
+ rec.optionName = optionName;
+ rec.description = description;
+ list.add(rec);
+ records.add(optionName);
+ }
+ }
+
+ public PrintWriter getWriter() {
+ return writer;
+ }
+
+ public void print(Option option) {
+ String s = option.getShortNameForHelp();
+ if (s != null) {
+ print("-" + s, option.getDescription());
+ }
+ s = option.getLongNameForHelp();
+ if (s != null) {
+ print("--" + s, option.getDescription());
+ }
+ }
+}