jif
Class JifOptions

java.lang.Object
  extended by polyglot.main.Options
      extended by jif.JifOptions

public class JifOptions
extends polyglot.main.Options

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

noRobustness

public boolean noRobustness
Should the checking for the robustness condition be disabled?


explainErrors

public boolean explainErrors
Provide more detailed explanation of solver error messages?

Constructor Detail

JifOptions

public JifOptions(ExtensionInfo extension)
Constructor

Method Detail

setDefaultValues

public void setDefaultValues()
Set default values for options

Overrides:
setDefaultValues in class polyglot.main.Options

parseCommand

protected int parseCommand(java.lang.String[] args,
                           int index,
                           java.util.Set source)
                    throws polyglot.main.UsageError
Parse a command

Overrides:
parseCommand in class polyglot.main.Options
Returns:
the next index to process. That is, if calling this method processes two commands, then the return value should be index+2
Throws:
polyglot.main.UsageError

usage

public void usage(java.io.PrintStream out)
Print usage information

Overrides:
usage in class polyglot.main.Options

constructJifClasspath

public java.lang.String constructJifClasspath()

constructRuntimeClassPath

protected java.lang.String constructRuntimeClassPath()

constructOutputExtClasspath

public java.lang.String constructOutputExtClasspath()

constructPostCompilerClasspath

public java.lang.String constructPostCompilerClasspath()
Overrides:
constructPostCompilerClasspath in class polyglot.main.Options