org.jmlspecs.jml4.rac
Class RacOptions

java.lang.Object
  org.eclipse.jdt.internal.compiler.impl.CompilerOptions
      org.jmlspecs.jml4.rac.RacOptions

public class RacOptions
extends CompilerOptions

Specifies RAC-specific compilation options.

Author:

Yoonsik Cheon

Field Summary

static java.lang.String	OPTION_PrintRacCode
boolean	racPrintRacCode Print RAC code? If true the internal RAC code will be printed to a file named T.java.gen, where T is the name of the source code file.

Fields inherited from class org.eclipse.jdt.internal.compiler.impl.CompilerOptions

AccessEmulation, AccidentalBooleanAssign, ALL_STANDARD_TAGS, AnnotationSuperInterface, AssertUsedAsAnIdentifier, AutoBoxing, complianceLevel, DEFAULT, defaultEncoding, DISABLED, DiscouragedReference, DO_NOT_GENERATE, docCommentSupport, EmptyStatement, ENABLED, EnumUsedAsAnIdentifier, ERROR, errorThreshold, FallthroughCase, FieldHiding, FinallyBlockNotCompleting, FinalParameterBound, ForbiddenReference, GENERATE, generateClassFiles, IGNORE, IncompatibleNonInheritedInterfaceMethod, IncompleteEnumSwitch, IndirectStaticAccess, inlineJsrBytecode, InvalidJavadoc, isTaskCaseSensitive, jml2CheckerEnabled, jml2CompilerEnabled, jmlDbcEnabled, jmlDefaultIsNonNull, jmlEnabled, jmlEsc2CommandLineArgs, jmlEsc2EchoOutputEnabled, jmlEsc2Enabled, jmlEscEnabled, jmlEscGovernsRac, jmlEscProverStrategy, jmlFspvEnabled, jmlNewLoopSemanticsEnabled, jmlNullityCountsEnabled, jmlRacEnabled, jmlSimplifyPath, jmlSpecPath, LocalVariableHiding, MaskedCatchBlock, maxProblemsPerUnit, MethodWithConstructorName, MissingDeprecatedAnnotation, MissingJavadocComments, MissingJavadocTagDescription, MissingJavadocTags, MissingOverrideAnnotation, MissingSerialVersion, NO_TAG, NoEffectAssignment, NoImplicitStringConversion, NonExternalizedString, NonStaticAccessToStatic, NullReference, OPTIMIZE_OUT, OPTION_Compliance, OPTION_DocCommentSupport, OPTION_Encoding, OPTION_FatalOptionalError, OPTION_GenerateClassFiles, OPTION_InlineJsr, OPTION_LineNumberAttribute, OPTION_LocalVariableAttribute, OPTION_MaxProblemPerUnit, OPTION_PreserveUnusedLocal, OPTION_Process_Annotations, OPTION_ReportAnnotationSuperInterface, OPTION_ReportAssertIdentifier, OPTION_ReportAutoboxing, OPTION_ReportDeprecation, OPTION_ReportDeprecationInDeprecatedCode, OPTION_ReportDeprecationWhenOverridingDeprecatedMethod, OPTION_ReportDiscouragedReference, OPTION_ReportEmptyStatement, OPTION_ReportEnumIdentifier, OPTION_ReportFallthroughCase, OPTION_ReportFieldHiding, OPTION_ReportFinallyBlockNotCompletingNormally, OPTION_ReportFinalParameterBound, OPTION_ReportForbiddenReference, OPTION_ReportHiddenCatchBlock, OPTION_ReportIncompatibleNonInheritedInterfaceMethod, OPTION_ReportIncompleteEnumSwitch, OPTION_ReportIndirectStaticAccess, OPTION_ReportInvalidAnnotation, OPTION_ReportInvalidJavadoc, OPTION_ReportInvalidJavadocTags, OPTION_ReportInvalidJavadocTagsDeprecatedRef, OPTION_ReportInvalidJavadocTagsNotVisibleRef, OPTION_ReportInvalidJavadocTagsVisibility, OPTION_ReportLocalVariableHiding, OPTION_ReportMethodWithConstructorName, OPTION_ReportMissingAnnotation, OPTION_ReportMissingDeprecatedAnnotation, OPTION_ReportMissingJavadoc, OPTION_ReportMissingJavadocComments, OPTION_ReportMissingJavadocCommentsOverriding, OPTION_ReportMissingJavadocCommentsVisibility, OPTION_ReportMissingJavadocTagDescription, OPTION_ReportMissingJavadocTags, OPTION_ReportMissingJavadocTagsOverriding, OPTION_ReportMissingJavadocTagsVisibility, OPTION_ReportMissingOverrideAnnotation, OPTION_ReportMissingSerialVersion, OPTION_ReportNoEffectAssignment, OPTION_ReportNoImplicitStringConversion, OPTION_ReportNonExternalizedStringLiteral, OPTION_ReportNonStaticAccessToStatic, OPTION_ReportNullReference, OPTION_ReportOverridingMethodWithoutSuperInvocation, OPTION_ReportOverridingPackageDefaultMethod, OPTION_ReportParameterAssignment, OPTION_ReportPossibleAccidentalBooleanAssignment, OPTION_ReportPotentialNullReference, OPTION_ReportRawTypeReference, OPTION_ReportRedundantNullCheck, OPTION_ReportRedundantSuperinterface, OPTION_ReportSpecialParameterHidingField, OPTION_ReportSyntheticAccessEmulation, OPTION_ReportTypeParameterHiding, OPTION_ReportUncheckedTypeOperation, OPTION_ReportUndocumentedEmptyBlock, OPTION_ReportUnhandledWarningToken, OPTION_ReportUnnecessaryElse, OPTION_ReportUnnecessaryTypeCheck, OPTION_ReportUnqualifiedFieldAccess, OPTION_ReportUnusedDeclaredThrownException, OPTION_ReportUnusedDeclaredThrownExceptionExemptExceptionAndThrowable, OPTION_ReportUnusedDeclaredThrownExceptionIncludeDocCommentReference, OPTION_ReportUnusedDeclaredThrownExceptionWhenOverriding, OPTION_ReportUnusedImport, OPTION_ReportUnusedLabel, OPTION_ReportUnusedLocal, OPTION_ReportUnusedParameter, OPTION_ReportUnusedParameterIncludeDocCommentReference, OPTION_ReportUnusedParameterWhenImplementingAbstract, OPTION_ReportUnusedParameterWhenOverridingConcrete, OPTION_ReportUnusedPrivateMember, OPTION_ReportUnusedTypeArgumentsForMethodInvocation, OPTION_ReportUnusedWarningToken, OPTION_ReportVarargsArgumentNeedCast, OPTION_Source, OPTION_SourceFileAttribute, OPTION_SuppressWarnings, OPTION_TargetPlatform, OPTION_TaskCaseSensitive, OPTION_TaskPriorities, OPTION_TaskTags, OverriddenPackageDefaultMethod, OverridingMethodWithoutSuperInvocation, ParameterAssignment, parseLiteralExpressionsAsConstants, performMethodsFullRecovery, performStatementsRecovery, PotentialNullReference, PRESERVE, preserveAllLocalVariables, PRIVATE, processAnnotations, produceDebugAttributes, produceReferenceInfo, PROTECTED, PUBLIC, RawTypeReference, RedundantNullCheck, RedundantSuperinterface, reportDeprecationInsideDeprecatedCode, reportDeprecationWhenOverridingDeprecatedMethod, reportInvalidJavadocTags, reportInvalidJavadocTagsDeprecatedRef, reportInvalidJavadocTagsNotVisibleRef, reportInvalidJavadocTagsVisibility, reportMissingJavadocCommentsOverriding, reportMissingJavadocCommentsVisibility, reportMissingJavadocTagDescription, reportMissingJavadocTagsOverriding, reportMissingJavadocTagsVisibility, reportSpecialParameterHidingField, reportUnusedDeclaredThrownExceptionExemptExceptionAndThrowable, reportUnusedDeclaredThrownExceptionIncludeDocCommentReference, reportUnusedDeclaredThrownExceptionWhenOverriding, reportUnusedParameterIncludeDocCommentReference, reportUnusedParameterWhenImplementingAbstract, reportUnusedParameterWhenOverridingConcrete, RETURN_TAG, sourceLevel, storeAnnotations, subOptions, suppressWarnings, targetJDK, Task, taskPriorites, taskTags, treatOptionalErrorAsFatal, TypeHiding, UncheckedTypeOperation, UndocumentedEmptyBlock, UnhandledWarningToken, UnnecessaryElse, UnnecessaryTypeCheck, UnqualifiedFieldAccess, UnusedArgument, UnusedDeclaredThrownException, UnusedImport, UnusedLabel, UnusedLocalVariable, UnusedPrivateMember, UnusedTypeArguments, UnusedWarningToken, UsingDeprecatedAPI, VarargsArgumentNeedCast, verbose, VERSION_1_1, VERSION_1_2, VERSION_1_3, VERSION_1_4, VERSION_1_5, VERSION_1_6, VERSION_1_7, VERSION_CLDC1_1, VERSION_JSR14, WARNING, warningThreshold, warningTokens

Constructor Summary

RacOptions()
Initializing the compiler options with defaults

RacOptions(java.util.Map<?,?> settings)
Initializing the compiler options with external settings

Method Summary

void	set(java.util.Map optionsMap) Sets this options with the given option map.

Methods inherited from class org.eclipse.jdt.internal.compiler.impl.CompilerOptions

getMap, getSeverity, getSeverityString, getVisibilityString, optionKeyFromIrritant, optionKeyToIrritant, toString, updateSeverity, useNonNullTypeSystem, versionFromJdkLevel, versionToJdkLevel, warningOptionNames, warningTokenFromIrritant, warningTokenToIrritants

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

OPTION_PrintRacCode

public static final java.lang.String OPTION_PrintRacCode

See Also:

Constant Field Values

racPrintRacCode

public boolean racPrintRacCode

Print RAC code? If true the internal RAC code will be printed to a file named T.java.gen, where T is the name of the source code file.

CAUTION: do not add an initializer, as it will override the value set by the set(Map) method called during super call.

Constructor Detail

RacOptions

public RacOptions()

Initializing the compiler options with defaults

RacOptions

public RacOptions(java.util.Map<?,?> settings)

Initializing the compiler options with external settings

Method Detail

set

public void set(java.util.Map optionsMap)

Sets this options with the given option map. This method is overridden here to handle RAC-specific options.

Overrides:

set in class CompilerOptions