org.checkerframework.framework.util

Interface OptionConfiguration

All Known Implementing Classes:

AbstractNullnessChecker, AggregateChecker, AliasingChecker, BaseTypeChecker, ClassValChecker, CompilerMessagesChecker, FenumChecker, FormatterChecker, GuiEffectChecker, I18nChecker, I18nFormatterChecker, I18nSubchecker, IndexChecker, InitializationChecker, InterningChecker, KeyForSubchecker, LinearChecker, LocalizableKeyChecker, Locations, LockChecker, LowerBoundChecker, MethodValChecker, NullnessChecker, NullnessRawnessChecker, PropertyKeyChecker, PurityChecker, RegexChecker, ReportChecker, SameLenChecker, SearchIndexChecker, SignatureChecker, SignednessChecker, SourceChecker, SubstringIndexChecker, SubtypingChecker, TaintingChecker, TypeOutputtingChecker, UnitsChecker, UpperBoundChecker, ValueChecker

public interface OptionConfiguration

Provides methods for querying the Checker's options.

Method Summary

Modifier and Type	Method and Description
java.lang.String	getOption(java.lang.String name)
java.lang.String	getOption(java.lang.String name, java.lang.String def)
java.util.Map<java.lang.String,java.lang.String>	getOptions()
java.util.Set<java.lang.String>	getSupportedOptions()
boolean	hasOption(java.lang.String name)

Method Detail

getOption

java.lang.String getOption(java.lang.String name)

getOptions

java.util.Map<java.lang.String,java.lang.String> getOptions()

hasOption

boolean hasOption(java.lang.String name)

getOption

java.lang.String getOption(java.lang.String name,
                           java.lang.String def)

getSupportedOptions

java.util.Set<java.lang.String> getSupportedOptions()