|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectpolyglot.main.Options
jif.JifOptions
public class JifOptions
This object encapsulates various polyglot options.
Field Summary | |
---|---|
boolean |
explainErrors
Provide more detailed explanation of solver error messages? |
boolean |
noRobustness
Should the checking for the robustness condition be disabled? |
Fields inherited from class polyglot.main.Options |
---|
assertions, bootclasspath, classpath, compile_command_line_only, default_classpath, default_output_classpath, disable_passes, dump_ast, error_count, extension, fully_qualified_names, global, ignore_mod_times, keep_output_files, output_ambiguous_nodes, output_classpath, 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 | |
---|---|
JifOptions(ExtensionInfo extension)
Constructor |
Method Summary | |
---|---|
java.lang.String |
constructJifClasspath()
|
java.lang.String |
constructOutputExtClasspath()
|
java.lang.String |
constructPostCompilerClasspath()
|
protected java.lang.String |
constructRuntimeClassPath()
|
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, 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 noRobustness
public boolean explainErrors
Constructor Detail |
---|
public JifOptions(ExtensionInfo extension)
Method Detail |
---|
public void setDefaultValues()
setDefaultValues
in class polyglot.main.Options
protected int parseCommand(java.lang.String[] args, int index, java.util.Set source) throws polyglot.main.UsageError
parseCommand
in class polyglot.main.Options
polyglot.main.UsageError
public void usage(java.io.PrintStream out)
usage
in class polyglot.main.Options
public java.lang.String constructJifClasspath()
protected java.lang.String constructRuntimeClassPath()
public java.lang.String constructOutputExtClasspath()
public java.lang.String constructPostCompilerClasspath()
constructPostCompilerClasspath
in class polyglot.main.Options
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |