AccrueJL5TranslationExtensionInfo.AccrueJL5TranslationOptions

java.lang.Object
- polyglot.main.Options
- - polyglot.ext.jl5.JL5Options
  - - accrue.jl5.AccrueJL5TranslationExtensionInfo.AccrueJL5TranslationOptions

Field Summary
- Fields inherited from class polyglot.ext.jl5.JL5Options
  enumImplClass, enumSetImplClass, leaveCovariantReturns, morePermissiveCasts, morePermissiveInference, removeJava5isms, skip524checks, translateEnums
- Fields inherited from class polyglot.main.Options
  arguments, assertions, bootclasspath, bootclasspath_given, class_output, classpath, classpath_given, compile_command_line_only, disable_passes, dump_ast, error_count, extension, flags, fully_qualified_names, generate_debugging_info, global, ignore_mod_times, keep_output_files, merge_strings, noOutputToFS, output_ext, output_source_only, output_stdout, output_width, post_compiler, post_compiler_opts, precise_compiler_generated_positions, print_args, print_ast, serialize_type_info, source_ext, source_output, source_path, sourcepath_directories, USAGE_FLAG_WIDTH, USAGE_SCREEN_WIDTH, USAGE_SUBSECTION_INDENT, use_simple_code_writer

Constructors
Constructor and Description
`AccrueJL5TranslationExtensionInfo.AccrueJL5TranslationOptions(AccrueJL5TranslationExtensionInfo extInfo)` Create the Options by passing in the extension info an setting it into the `Options` for the info flow pass

Methods
Modifier and Type	Method and Description
`protected void`	`handleArg(polyglot.main.OptFlag.Arg<?> arg)`
`protected void`	`populateFlags(java.util.Set<polyglot.main.OptFlag<?>> flags)`
`protected void`	`postApplyArgs()`
`void`	`usage(java.io.PrintStream out)`

Methods inherited from class polyglot.main.Options
addBootCP, addDisablePass, addDumpAST, addPrintAST, addReportTopic, addSourceExtension, applyArgs, arguments, bootclasspathDirectories, classOutputDirectory, classOutputLocation, classpathDirectories, constructPostCompilerClasspath, defaultPlatformClasspath, filterArgs, flags, handleSourceArg, jvmbootclasspath, outputLocation, parseCommand, parseCommandLine, parseSourceArg, printCommandLine, printSpaces, processArguments, sccast, setAssertions, setBootclasspath, setClassOutput, setClasspath, setCommandLineOnly, setDebugPositions, setDefaultValues, setErrorCount, setFullyQualifiedNames, setGenerateDebugInfo, setIgnoreModTimes, setMergeStrings, setNoOutput, setNoSerializedTypes, setOutputExtension, setOutputOnly, setOutputStdOut, setOutputWidth, setPostCompiler, setPostCompilerOpts, setSimpleOutput, setSourceOutput, setSourcepath, setVerbose, sourceOutputDirectory, usage, usageForFlag, usageHeader, usageSubsection, validateArgs

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Class AccrueJL5TranslationExtensionInfo.AccrueJL5TranslationOptions