org.checkerframework.framework.util

Interface CFContext

All Superinterfaces:

BaseContext

All Known Subinterfaces:

BaseTypeContext

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 CFContext
extends BaseContext

A collection of references to various type checker components.

Method Summary

Modifier and Type	Method and Description
SourceChecker	getChecker()
SourceVisitor<?,?>	getVisitor()

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

getAnnotationProvider, getElementUtils, getOptionConfiguration, getProcessingEnvironment, getTreeUtils, getTypeUtils

Method Detail

getChecker

SourceChecker getChecker()

getVisitor

SourceVisitor<?,?> getVisitor()