polyglot.ext.ibex
Class IbexOptions

java.lang.Object
  extended bypolyglot.main.Options
      extended bypolyglot.ext.ibex.IbexOptions

public class IbexOptions
extends Options

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

checkMergeActions

public boolean checkMergeActions
True if the grammar should be analyzed to check that all necessary merge actions are implemented.

Constructor Detail

IbexOptions

public IbexOptions(ExtensionInfo extension)
Constructor

Method Detail

setDefaultValues

public void setDefaultValues()
Set default values for options

Overrides:
setDefaultValues in class Options

parseCommand

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

Overrides:
parseCommand in class 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:
UsageError

usage

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

Overrides:
usage in class Options