Uses of Class
org.eclipse.jdt.internal.compiler.impl.CompilerOptions

Packages that use CompilerOptions

org.eclipse.jdt.internal.codeassist.impl
org.eclipse.jdt.internal.compiler
org.eclipse.jdt.internal.compiler.batch
org.eclipse.jdt.internal.compiler.impl
org.eclipse.jdt.internal.compiler.lookup
org.eclipse.jdt.internal.compiler.parser.diagnose
org.eclipse.jdt.internal.compiler.problem
org.eclipse.jdt.internal.core.search.indexing
org.eclipse.jdt.internal.core.search.matching
org.eclipse.jdt.internal.eval
org.jmlspecs.eclipse.jdt.internal.esc2
org.jmlspecs.jml2.checker
org.jmlspecs.jml2.compiler
org.jmlspecs.jml4.compiler
org.jmlspecs.jml4.esc
org.jmlspecs.jml4.esc.provercoordinator.prover
org.jmlspecs.jml4.esc.provercoordinator.prover.cvc3
org.jmlspecs.jml4.esc.provercoordinator.prover.isabelle
org.jmlspecs.jml4.esc.provercoordinator.prover.simplify
org.jmlspecs.jml4.esc.provercoordinator.strategy
org.jmlspecs.jml4.fspv
org.jmlspecs.jml4.rac

Uses of CompilerOptions in org.eclipse.jdt.internal.codeassist.impl

Fields in org.eclipse.jdt.internal.codeassist.impl declared as CompilerOptions

CompilerOptions

Engine.compilerOptions

Uses of CompilerOptions in org.eclipse.jdt.internal.compiler

Fields in org.eclipse.jdt.internal.compiler declared as CompilerOptions

CompilerOptions

Compiler.options

Constructors in org.eclipse.jdt.internal.compiler with parameters of type CompilerOptions

Compiler(INameEnvironment environment, IErrorHandlingPolicy policy, CompilerOptions options, ICompilerRequestor requestor, IProblemFactory problemFactory)
Answer a new compiler using the given name environment and compiler options.

Compiler(INameEnvironment environment, IErrorHandlingPolicy policy, CompilerOptions options, ICompilerRequestor requestor, IProblemFactory problemFactory, java.io.PrintWriter out)
Deprecated.

Compiler(INameEnvironment environment, IErrorHandlingPolicy policy, CompilerOptions options, ICompilerRequestor requestor, IProblemFactory problemFactory, java.io.PrintWriter out, CompilationProgress progress)

DocumentElementParser(IDocumentElementRequestor requestor, IProblemFactory problemFactory, CompilerOptions options)

SourceElementParser(ISourceElementRequestor requestor, IProblemFactory problemFactory, CompilerOptions options, boolean reportLocalDeclarations, boolean optimizeStringLiterals)

SourceElementParser(ISourceElementRequestor requestor, IProblemFactory problemFactory, CompilerOptions options, boolean reportLocalDeclarations, boolean optimizeStringLiterals, boolean useSourceJavadocParser)

Uses of CompilerOptions in org.eclipse.jdt.internal.compiler.batch

Fields in org.eclipse.jdt.internal.compiler.batch declared as CompilerOptions

CompilerOptions

Main.compilerOptions

Uses of CompilerOptions in org.eclipse.jdt.internal.compiler.impl

Fields in org.eclipse.jdt.internal.compiler.impl declared as CompilerOptions

CompilerOptions

CompilerOptions.subOptions

Uses of CompilerOptions in org.eclipse.jdt.internal.compiler.lookup

Fields in org.eclipse.jdt.internal.compiler.lookup declared as CompilerOptions

CompilerOptions

LookupEnvironment.globalOptions

Methods in org.eclipse.jdt.internal.compiler.lookup that return CompilerOptions

CompilerOptions

Scope.compilerOptions() Finds the most specific compiler options

Constructors in org.eclipse.jdt.internal.compiler.lookup with parameters of type CompilerOptions

LookupEnvironment(ITypeRequestor typeRequestor, CompilerOptions globalOptions, ProblemReporter problemReporter, INameEnvironment nameEnvironment)

Uses of CompilerOptions in org.eclipse.jdt.internal.compiler.parser.diagnose

Constructors in org.eclipse.jdt.internal.compiler.parser.diagnose with parameters of type CompilerOptions

DiagnoseParser(Parser parser, int firstToken, int start, int end, CompilerOptions options)

DiagnoseParser(Parser parser, int firstToken, int start, int end, int[] intervalStartToSkip, int[] intervalEndToSkip, int[] intervalFlagsToSkip, CompilerOptions options)

Uses of CompilerOptions in org.eclipse.jdt.internal.compiler.problem

Fields in org.eclipse.jdt.internal.compiler.problem declared as CompilerOptions

CompilerOptions

ProblemHandler.options

Constructors in org.eclipse.jdt.internal.compiler.problem with parameters of type CompilerOptions

ProblemHandler(IErrorHandlingPolicy policy, CompilerOptions options, IProblemFactory problemFactory)

ProblemReporter(IErrorHandlingPolicy policy, CompilerOptions options, IProblemFactory problemFactory)

Uses of CompilerOptions in org.eclipse.jdt.internal.core.search.indexing

Constructors in org.eclipse.jdt.internal.core.search.indexing with parameters of type CompilerOptions

IndexingParser(ISourceElementRequestor requestor, IProblemFactory problemFactory, CompilerOptions options, boolean reportLocalDeclarations, boolean optimizeStringLiterals, boolean useSourceJavadocParser)

Uses of CompilerOptions in org.eclipse.jdt.internal.core.search.matching

Fields in org.eclipse.jdt.internal.core.search.matching declared as CompilerOptions

CompilerOptions

MatchLocator.options

Uses of CompilerOptions in org.eclipse.jdt.internal.eval

Constructors in org.eclipse.jdt.internal.eval with parameters of type CompilerOptions

CodeSnippetCompiler(INameEnvironment environment, IErrorHandlingPolicy policy, CompilerOptions compilerOptions, ICompilerRequestor requestor, IProblemFactory problemFactory, EvaluationContext evaluationContext, int codeSnippetStart, int codeSnippetEnd)
Creates a new code snippet compiler initialized with a code snippet parser.

Uses of CompilerOptions in org.jmlspecs.eclipse.jdt.internal.esc2

Methods in org.jmlspecs.eclipse.jdt.internal.esc2 with parameters of type CompilerOptions

void	ESC2Wrapper.getOptionsMap(CompilerOptions options, java.util.Map optionsMap)
void	ESC2Wrapper.optionsToBuffer(CompilerOptions options, java.lang.StringBuffer buf)
void	ESC2Wrapper.setOptionsMap(CompilerOptions options, java.util.Map optionsMap)

Uses of CompilerOptions in org.jmlspecs.jml2.checker

Methods in org.jmlspecs.jml2.checker with parameters of type CompilerOptions

void	JML2CheckerWrapper.getOptionsMap(CompilerOptions options, java.util.Map optionsMap)
void	JML2CheckerWrapper.optionsToBuffer(CompilerOptions options, java.lang.StringBuffer buf)
void	JML2CheckerWrapper.setOptionsMap(CompilerOptions options, java.util.Map optionsMap)

Uses of CompilerOptions in org.jmlspecs.jml2.compiler

Methods in org.jmlspecs.jml2.compiler with parameters of type CompilerOptions

void	JML2CompilerWrapper.getOptionsMap(CompilerOptions options, java.util.Map optionsMap)
void	JML2CompilerWrapper.optionsToBuffer(CompilerOptions options, java.lang.StringBuffer buf)
void	JML2CompilerWrapper.setOptionsMap(CompilerOptions options, java.util.Map optionsMap)

Uses of CompilerOptions in org.jmlspecs.jml4.compiler

Subclasses of CompilerOptions in org.jmlspecs.jml4.compiler

class

JmlCompilerOptions

Methods in org.jmlspecs.jml4.compiler with parameters of type CompilerOptions

void	JmlCompilerExtension.getOptionsMap(CompilerOptions options, java.util.Map optionsMap)
void	ICompilerExtension.getOptionsMap(CompilerOptions options, java.util.Map optionsMap)
void	DefaultCompilerExtension.getOptionsMap(CompilerOptions options, java.util.Map optionsMap)
static boolean	CompilerExtensionManager.getOptionsMap(CompilerOptions options, java.util.Map optionsMap)
void	JmlCompilerExtension.initCompilerOptions(CompilerOptions o)
void	ICompilerExtension.initCompilerOptions(CompilerOptions options)
void	DefaultCompilerExtension.initCompilerOptions(CompilerOptions options)
static void	CompilerExtensionManager.initCompilerOptions(CompilerOptions options)
void	JmlCompilerExtension.optionsToBuffer(CompilerOptions options, java.lang.StringBuffer buf)
void	ICompilerExtension.optionsToBuffer(CompilerOptions options, java.lang.StringBuffer buf)
abstract void	DefaultCompilerExtension.optionsToBuffer(CompilerOptions options, java.lang.StringBuffer buf)
static void	CompilerExtensionManager.optionsToBuffer(CompilerOptions options, java.lang.StringBuffer buf)
void	JmlCompilerExtension.setOptionsMap(CompilerOptions options, java.util.Map optionsMap)
void	ICompilerExtension.setOptionsMap(CompilerOptions options, java.util.Map optionsMap)
void	DefaultCompilerExtension.setOptionsMap(CompilerOptions options, java.util.Map optionsMap)
static void	CompilerExtensionManager.setOptionsMap(CompilerOptions options, java.util.Map optionsMap)

Uses of CompilerOptions in org.jmlspecs.jml4.esc

Methods in org.jmlspecs.jml4.esc with parameters of type CompilerOptions

void	Esc.optionsToBuffer(CompilerOptions options, java.lang.StringBuffer buf)

Constructors in org.jmlspecs.jml4.esc with parameters of type CompilerOptions

GcTranslator(CompilerOptions options, ProblemReporter problemReporter)

PostProcessor(CompilerOptions options, ProblemReporter problemReporter, Counter counter)

ProverCoordinator(CompilerOptions options, ProblemReporter problemReporter, CachedVcs cachedVcs)

VcGenerator(CompilerOptions options, ProblemReporter problemReporter)

Uses of CompilerOptions in org.jmlspecs.jml4.esc.provercoordinator.prover

Constructors in org.jmlspecs.jml4.esc.provercoordinator.prover with parameters of type CompilerOptions

ProverAdapter(CompilerOptions options, ProblemReporter problemReporter)

Uses of CompilerOptions in org.jmlspecs.jml4.esc.provercoordinator.prover.cvc3

Constructors in org.jmlspecs.jml4.esc.provercoordinator.prover.cvc3 with parameters of type CompilerOptions

Cvc3Adapter(CompilerOptions options, ProblemReporter problemReporter)

Uses of CompilerOptions in org.jmlspecs.jml4.esc.provercoordinator.prover.isabelle

Constructors in org.jmlspecs.jml4.esc.provercoordinator.prover.isabelle with parameters of type CompilerOptions

IsabelleAdapter(CompilerOptions options, ProblemReporter problemReporter)

Uses of CompilerOptions in org.jmlspecs.jml4.esc.provercoordinator.prover.simplify

Constructors in org.jmlspecs.jml4.esc.provercoordinator.prover.simplify with parameters of type CompilerOptions

SimplifyAdapter(CompilerOptions options, ProblemReporter problemReporter)

Uses of CompilerOptions in org.jmlspecs.jml4.esc.provercoordinator.strategy

Methods in org.jmlspecs.jml4.esc.provercoordinator.strategy with parameters of type CompilerOptions

static IProverStrategy

ProverStrategyFactory.make(java.lang.String jmlEscProverStrategy, CompilerOptions options, ProblemReporter problemReporter, CachedVcs cachedVcs)

Constructors in org.jmlspecs.jml4.esc.provercoordinator.strategy with parameters of type CompilerOptions

ProveEntireVC(CompilerOptions options, ProblemReporter problemReporter, CachedVcs cachedVcs)

ProveVcPiecewise(CompilerOptions options, ProblemReporter problemReporter, CachedVcs cachedVcs)

Uses of CompilerOptions in org.jmlspecs.jml4.fspv

Methods in org.jmlspecs.jml4.fspv with parameters of type CompilerOptions

void	Fspv.getOptionsMap(CompilerOptions options, java.util.Map optionsMap)
void	Fspv.optionsToBuffer(CompilerOptions options, java.lang.StringBuffer buf)
void	Fspv.setOptionsMap(CompilerOptions options, java.util.Map optionsMap)

Uses of CompilerOptions in org.jmlspecs.jml4.rac

Subclasses of CompilerOptions in org.jmlspecs.jml4.rac

class

RacOptions Specifies RAC-specific compilation options.

Constructors in org.jmlspecs.jml4.rac with parameters of type CompilerOptions

RacCompiler(INameEnvironment environment, IErrorHandlingPolicy policy, CompilerOptions options, ICompilerRequestor requestor, IProblemFactory problemFactory)
Creates a new compiler using the given name environment and compiler options.

RacCompiler(INameEnvironment environment, IErrorHandlingPolicy policy, CompilerOptions options, ICompilerRequestor requestor, IProblemFactory problemFactory, java.io.PrintWriter out, CompilationProgress progress)
Creates a new compiler using the given parameters.