org.checkerframework.common.basetype

Interface BaseTypeContext

All Superinterfaces:

BaseContext, CFContext

All Known Implementing Classes:

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

public interface BaseTypeContext
extends CFContext

An extension of CFContext that includes BaseTypeChecker-specific components.

Method Summary

Modifier and Type	Method and Description
BaseTypeChecker	getChecker()
GenericAnnotatedTypeFactory<?,?,?,?>	getTypeFactory()
BaseTypeVisitor<?>	getVisitor()

Methods inherited from interface org.checkerframework.framework.util.BaseContext

getAnnotationProvider, getElementUtils, getOptionConfiguration, getProcessingEnvironment, getTreeUtils, getTypeUtils

Method Detail

getChecker

BaseTypeChecker getChecker()

Specified by:

getChecker in interface CFContext

getVisitor

BaseTypeVisitor<?> getVisitor()

Specified by:

getVisitor in interface CFContext

getTypeFactory

GenericAnnotatedTypeFactory<?,?,?,?> getTypeFactory()