KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > org > javacc > jjdoc > JJDocOptions


1 package org.javacc.jjdoc;
2
3 import org.javacc.parser.Options;
4
5 /**
6  * The options, specific to JJDoc.
7  *
8  * @author Kees Jan Koster <kjkoster@kjkoster.org>
9  */
10 class JJDocOptions extends Options {
11
12     /**
13      * Limit subclassing to derived classes.
14      */
15     protected JJDocOptions() {
16         super();
17     }
18
19     /**
20      * Initialize the options.
21      */
22     public static void init() {
23         Options.init();
24
25         Options.optionValues.put("ONE_TABLE", Boolean.TRUE);
26         Options.optionValues.put("TEXT", Boolean.FALSE);
27
28         Options.optionValues.put("OUTPUT_FILE", "");
29     }
30
31     /**
32      * Find the one table value.
33      *
34      * @return The requested one table value.
35      */
36     public static boolean getOneTable() {
37         return booleanValue("ONE_TABLE");
38     }
39
40     /**
41      * Find the text value.
42      *
43      * @return The requested text value.
44      */
45     public static boolean getText() {
46         return booleanValue("TEXT");
47     }
48
49     /**
50      * Find the output file value.
51      *
52      * @return The requested output value.
53      */
54     public static String JavaDoc getOutputFile() {
55         return stringValue("OUTPUT_FILE");
56     }
57 }
Popular Tags