org.checkerframework.framework.util

Interface BaseContext

All Known Subinterfaces:

BaseTypeContext, CFContext

All Known Implementing Classes:

AccumulationChecker, AggregateChecker, AliasingChecker, AnnotationStatistics, BaseTypeChecker, CalledMethodsChecker, ClassValChecker, CompilerMessagesChecker, FenumChecker, FormatterChecker, GuiEffectChecker, I18nChecker, I18nFormatterChecker, I18nSubchecker, IndexChecker, InitializationChecker, InitializedFieldsChecker, InterningChecker, JavaCodeStatistics, KeyForSubchecker, LessThanChecker, LocalizableKeyChecker, LockChecker, LowerBoundChecker, MethodValChecker, NullnessChecker, OptionalChecker, PropertyKeyChecker, PurityChecker, RegexChecker, ReportChecker, ReturnsReceiverChecker, 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()
Elements	getElementUtils()
OptionConfiguration	getOptionConfiguration()
ProcessingEnvironment	getProcessingEnvironment()
Trees	getTreeUtils()
Types	getTypeUtils()

Method Detail

getProcessingEnvironment

ProcessingEnvironment getProcessingEnvironment()

getElementUtils

Elements getElementUtils()

getTypeUtils

Types getTypeUtils()

getTreeUtils

Trees getTreeUtils()

getAnnotationProvider

AnnotationProvider getAnnotationProvider()

getOptionConfiguration

OptionConfiguration getOptionConfiguration()