jltools.main
Class Options

java.lang.Object
  |
  +--jltools.main.Options

public final class Options

extends java.lang.Object

This object encapsulates various jltools options. Extensions to jltools must define their own objects for encapsulating options.

Field Summary

int	error_count
ExtensionInfo	extension
boolean	fully_qualified_names
static Options	global The global object containing compiler options.
boolean	keep_output_files keep output files
boolean	no_source_check
java.io.File	output_directory
java.lang.String	output_ext
boolean	output_stdout
int	output_width
java.lang.String	post_compiler
static java.util.Map	report
boolean	serialize_type_info Inject type information in serialized form into output file?
java.lang.String	source_ext
java.util.Collection	source_path

Constructor Summary

Options()

Method Summary

int	level(java.lang.String name)
void	usage()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

global

public static Options global

The global object containing compiler options. Access to compiler options via the Compiler object, rather than through this static variable, is encouraged for future extensibility.

error_count

public int error_count

source_path

public java.util.Collection source_path

output_directory

public java.io.File output_directory

source_ext

public java.lang.String source_ext

output_ext

public java.lang.String output_ext

output_stdout

public boolean output_stdout

no_source_check

public boolean no_source_check

post_compiler

public java.lang.String post_compiler

output_width

public int output_width

fully_qualified_names

public boolean fully_qualified_names

serialize_type_info

public boolean serialize_type_info

Inject type information in serialized form into output file?

keep_output_files

public boolean keep_output_files

keep output files

extension

public ExtensionInfo extension

report

public static java.util.Map report

Constructor Detail

Options

public Options()

Method Detail

level

public int level(java.lang.String name)

usage

public void usage()