|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object polyglot.main.Options jif.JifOptions
public class JifOptions
This object encapsulates various polyglot options.
Field Summary | |
---|---|
java.util.List |
addSigcp
Additional classpath entries for Jif signatures. |
boolean |
explainErrors
Provide more detailed explanation of solver error messages? |
boolean |
nonRobustness
Should the checking for the robustness condition be disabled? |
java.lang.String |
sigcp
The classpath for the Jif signatures of java.lang objects. |
boolean |
solveGlobally
Use a single Solver to infer labels globally, or solve on a class by class basis. |
Fields inherited from class polyglot.main.Options |
---|
assertions, bootclasspath, class_output_directory, 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_classpath, output_directory, output_ext, output_stdout, output_width, post_compiler, precise_compiler_generated_positions, print_ast, serialize_type_info, source_ext, source_path, USAGE_FLAG_WIDTH, USAGE_SCREEN_WIDTH, USAGE_SUBSECTION_INDENT, use_simple_code_writer |
Constructor Summary | |
---|---|
JifOptions(ExtensionInfo extension)
Constructor |
Method Summary | |
---|---|
java.lang.String |
constructJifClasspath()
|
java.lang.String |
constructOutputExtClasspath()
|
java.lang.String |
constructPostCompilerClasspath()
|
java.lang.String |
constructSignatureClasspath()
|
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 nonRobustness
public boolean solveGlobally
public boolean explainErrors
public java.lang.String sigcp
public java.util.List addSigcp
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 constructSignatureClasspath()
public java.lang.String constructJifClasspath()
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 |