Package org.javacc.jjdoc
Class JJDocGlobals
- java.lang.Object
-
- org.javacc.jjdoc.JJDocGlobals
-
-
Field Summary
Fields Modifier and Type Field Description static GeneratorgeneratorThe Generator to create output with.static java.lang.Stringinput_fileThe name of the input file.static java.lang.Stringoutput_fileThe name of the output file.
-
Constructor Summary
Constructors Constructor Description JJDocGlobals()
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static voiderror(JJDocContext context, java.lang.String message)Log error messages.static GeneratorgetGenerator(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 voidinfo(JJDocContext context, java.lang.String message)Log informational messages.
-
-
-
Field Detail
-
input_file
public static java.lang.String input_file
The name of the input file.
-
output_file
public static java.lang.String output_file
The name of the output file.
-
generator
public static Generator generator
The Generator to create output with.
-
-
Method Detail
-
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, java.lang.String message)
Log informational messages.- Parameters:
message- the message to log
-
error
public static void error(JJDocContext context, java.lang.String message)
Log error messages.- Parameters:
message- the message to log
-
-