JJDocGlobals

java.lang.Object

org.javacc.jjdoc.JJDocGlobals

Direct Known Subclasses:: JJDoc, JJDocMain

public class JJDocGlobals extends Object

Global variables for JJDoc.

Field Summary

Fields

Modifier and Type

Field

Description

static Generator

generator

The Generator to create output with.

static String

input_file

The name of the input file.

static String

output_file

The name of the output file.
Constructor Summary

Constructors

Constructor

Description

JJDocGlobals()
Method Summary

Modifier and Type

Method

Description

static void

error(JJDocContext context, String message)

Log error messages.

static Generator

getGenerator(JJDocContext context)

The commandline option is either TEXT or not, but the generator might have been set to some other Generator using the setGenerator method.

static void

info(JJDocContext context, String message)

Log informational messages.

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details
- input_file
  
  public static String input_file
  
  The name of the input file.
- output_file
  
  public static String output_file
  
  The name of the output file.
- generator
  
  public static Generator generator
  
  The Generator to create output with.
Constructor Details
- JJDocGlobals
  
  public JJDocGlobals()
Method Details
- getGenerator
  
  public static Generator getGenerator(JJDocContext context)
  
  The commandline option is either TEXT or not, but the generator might have been set to some other Generator using the setGenerator method.
  
  Returns:
  
  the generator configured in options or set by setter.
- info
  
  public static void info(JJDocContext context, String message)
  
  Log informational messages.
  
  Parameters:
  
  message - the message to log
- error
  
  public static void error(JJDocContext context, String message)
  
  Log error messages.
  
  Parameters:
  
  message - the message to log