|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectpolyglot.main.Options
polyglot.ext.ibex.IbexOptions
This object encapsulates various polyglot options.
Field Summary | |
boolean |
checkMergeActions
True if the grammar should be analyzed to check that all necessary merge actions are implemented. |
Fields inherited from class polyglot.main.Options |
assertions, bootclasspath, classpath, default_classpath, disable_passes, dump_ast, error_count, extension, fully_qualified_names, global, keep_output_files, output_directory, output_ext, output_stdout, output_width, post_compiler, print_ast, serialize_type_info, source_ext, source_path, USAGE_FLAG_WIDTH, USAGE_SCREEN_WIDTH, USAGE_SUBSECTION_INDENT |
Constructor Summary | |
IbexOptions(ExtensionInfo extension)
Constructor |
Method Summary | |
protected int |
parseCommand(java.lang.String[] args,
int index,
java.util.Set source)
Parse a command |
void |
setDefaultValues()
Set default values for options |
void |
usage(java.io.PrintStream out)
Print usage information |
Methods inherited from class polyglot.main.Options |
constructFullClasspath, constructPostCompilerClasspath, parseCommandLine, printSpaces, usageForFlag, usageSubsection |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
public boolean checkMergeActions
Constructor Detail |
public IbexOptions(ExtensionInfo extension)
Method Detail |
public void setDefaultValues()
setDefaultValues
in class Options
protected int parseCommand(java.lang.String[] args, int index, java.util.Set source) throws UsageError
parseCommand
in class Options
UsageError
public void usage(java.io.PrintStream out)
usage
in class Options
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |