org.checkerframework.framework.util

Interface BaseContext

All Known Subinterfaces:

BaseTypeContext, CFContext

All Known Implementing Classes:

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

public interface BaseContext

A collection of references to javac components.

Method Summary

Modifier and Type	Method and Description
AnnotationProvider	getAnnotationProvider()
javax.lang.model.util.Elements	getElementUtils()
OptionConfiguration	getOptionConfiguration()
javax.annotation.processing.ProcessingEnvironment	getProcessingEnvironment()
Trees	getTreeUtils()
javax.lang.model.util.Types	getTypeUtils()

Method Detail

getProcessingEnvironment

javax.annotation.processing.ProcessingEnvironment getProcessingEnvironment()

getElementUtils

javax.lang.model.util.Elements getElementUtils()

getTypeUtils

javax.lang.model.util.Types getTypeUtils()

getTreeUtils

Trees getTreeUtils()

getAnnotationProvider

AnnotationProvider getAnnotationProvider()

getOptionConfiguration

OptionConfiguration getOptionConfiguration()