Package org.checkerframework.framework.type.visitor

Despite the name visitor/, this package does not just contain visitors.

See: Description

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>	An AnnotatedTypeScanner visits an AnnotatedTypeMirror and all of its child AnnotatedTypeMirror and preforms some function depending on the kind of type.
DoubleAnnotatedTypeScanner<R>	An AnnotatedTypeScanner that scans two AnnotatedTypeMirrors simultaneously and performs DoubleAnnotatedTypeScanner.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>	An AnnotatedTypeScanner that scans an AnnotatedTypeMirror and performs some SimpleAnnotatedTypeScanner.defaultAction on each type.
SimpleAnnotatedTypeVisitor<R,P>	A simple visitor for AnnotatedTypeMirrors.

Package org.checkerframework.framework.type.visitor Description

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.