Package org.checkerframework.framework.type.visitor
Despite the name
visitor/
, this package does not just contain visitors. It contains types
that are intended to be subclassed, such as interfaces and abstract classes.-
Interface Summary Interface Description AnnotatedTypeScanner.Reduce<R> Reduces two results into a single result.AnnotatedTypeVisitor<R,P> A visitor of annotated types, in the style of the visitor design pattern.AtmComboVisitor<RETURN_TYPE,PARAM> Visitor interface for all pair-wise combinations of AnnotatedTypeMirrors.SimpleAnnotatedTypeScanner.DefaultAction<R,P> Represents an action to perform on every type. -
Class Summary Class Description AbstractAtmComboVisitor<RETURN_TYPE,PARAM> Implements all methods from AtmComboVisitor.AnnotatedTypeCombiner Changes each parameter type to be the GLB of the parameter type and visited type.AnnotatedTypeScanner<R,P> AnAnnotatedTypeScanner
visits anAnnotatedTypeMirror
and all of its childAnnotatedTypeMirror
and preforms some function depending on the kind of type.DoubleAnnotatedTypeScanner<R> AnAnnotatedTypeScanner
that scans twoAnnotatedTypeMirror
s simultaneously and performsDoubleAnnotatedTypeScanner.defaultAction(AnnotatedTypeMirror, AnnotatedTypeMirror)
on the pair.EquivalentAtmComboScanner<RETURN_TYPE,PARAM> EquivalentAtmComboScanner is an AtmComboVisitor that accepts combinations that are identical in TypeMirror structure but might differ in contained AnnotationMirrors.SimpleAnnotatedTypeScanner<R,P> AnAnnotatedTypeScanner
that scans anAnnotatedTypeMirror
and performs someSimpleAnnotatedTypeScanner.defaultAction
on each type.SimpleAnnotatedTypeVisitor<R,P> A simple visitor forAnnotatedTypeMirror
s.