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, 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
String	getOption(String name)
String	getOption(String name, String def)
Map<String,String>	getOptions()
Set<String>	getSupportedOptions()
boolean	hasOption(String name)

Method Detail

getOption

String getOption(String name)

getOptions

Map<String,String> getOptions()

hasOption

boolean hasOption(String name)

getOption

String getOption(String name,
                 String def)

getSupportedOptions

Set<String> getSupportedOptions()