Class JJDocOptions

java.lang.Object
org.javacc.parser.Options
org.javacc.jjdoc.JJDocOptions

public class JJDocOptions extends Options
The options, specific to JJDoc.
Author:
Kees Jan Koster <kjkoster@kjkoster.org>
  • Constructor Details

    • JJDocOptions

      protected JJDocOptions()
      Limit subclassing to derived classes.
  • Method Details

    • init

      public static void init()
      Initialize the options.
    • getOneTable

      public static boolean getOneTable()
      Find the one table value.
      Returns:
      The requested one table value.
    • getCSS

      public static String getCSS()
      Find the CSS value.
      Returns:
      The requested CSS value.
    • getText

      public static boolean getText()
      Find the text value.
      Returns:
      The requested text value.
    • getXText

      public static boolean getXText()
    • getBNF

      public static boolean getBNF()
      Find the BNF value.
      Returns:
      The requested text value.
    • getOutputFile

      public static String getOutputFile()
      Find the output file value.
      Returns:
      The requested output value.