public class JifOptions
extends polyglot.main.Options
Modifier and Type | Class and Description |
---|---|
static class |
JifOptions.JifLocations |
Modifier and Type | Field and Description |
---|---|
protected boolean |
authFromProvider
Whether to use the provider label for authorization checks when downgrading policies.
|
boolean |
dependencyGraph
Output a dependency graph to help the diagnosing of type error?
|
boolean |
explainErrors
Provide more detailed explanation of solver error messages?
|
boolean |
fatalExceptions
Should uncaught exceptions be made fatal?
|
boolean |
nonRobustness
Should the checking for the robustness condition be disabled?
|
protected boolean |
noWarnings
Suppress compile-time warnings, such as those for fail-on-exception.
|
java.util.List<java.io.File> |
sigcp
The classpath for the Jif signatures of java.lang objects.
|
boolean |
skipLabelChecking
Should we skip label checks entirely?
|
boolean |
solveGlobally
Use a single Solver to infer labels globally, or solve on a class
by class basis.
|
boolean |
trustedProviders
Whether the providers of the sources being compiled are trusted.
|
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
Constructor and Description |
---|
JifOptions(ExtensionInfo extension)
Constructor
|
Modifier and Type | Method and Description |
---|---|
boolean |
authFromProvider() |
protected void |
handleArg(polyglot.main.OptFlag.Arg<?> arg) |
boolean |
noWarnings() |
protected void |
populateFlags(java.util.Set<polyglot.main.OptFlag<?>> flags) |
addBootCP, addDisablePass, addDumpAST, addPrintAST, addReportTopic, addSourceExtension, applyArgs, arguments, bootclasspathDirectories, classOutputDirectory, classOutputLocation, classpathDirectories, constructPostCompilerClasspath, defaultPlatformClasspath, filterArgs, flags, handleSourceArg, jvmbootclasspath, outputLocation, parseCommand, parseCommandLine, parseSourceArg, postApplyArgs, 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, usage, usageForFlag, usageHeader, usageSubsection, validateArgs
public boolean nonRobustness
public boolean fatalExceptions
public boolean skipLabelChecking
public boolean solveGlobally
public boolean explainErrors
public boolean trustedProviders
public final java.util.List<java.io.File> sigcp
public boolean dependencyGraph
protected boolean noWarnings
protected boolean authFromProvider
public JifOptions(ExtensionInfo extension)
protected void populateFlags(java.util.Set<polyglot.main.OptFlag<?>> flags)
populateFlags
in class polyglot.main.Options
protected void handleArg(polyglot.main.OptFlag.Arg<?> arg) throws polyglot.main.UsageError
handleArg
in class polyglot.main.Options
polyglot.main.UsageError
public boolean noWarnings()
public boolean authFromProvider()