Package org.checkerframework.framework.type.visitor
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.-
ClassDescriptionAbstractAtmComboVisitor<RETURN_TYPE,
PARAM> Implements all methods from AtmComboVisitor.Changes each parameter type to be the GLB of the parameter type and visited type.AnnotatedTypeScanner<R,P> AnAnnotatedTypeScannervisits anAnnotatedTypeMirrorand all of its childAnnotatedTypeMirrors and performs some function depending on the kind of type.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.AnAnnotatedTypeScannerthat scans twoAnnotatedTypeMirrors 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.AnAnnotatedTypeScannerthat scans anAnnotatedTypeMirrorand performs someSimpleAnnotatedTypeScanner.defaultActionon each type.Represents an action to perform on every type.A simple visitor forAnnotatedTypeMirrors.