Class QualifierDefaults.DefaultApplierElementImpl
- java.lang.Object
-
- org.checkerframework.framework.type.visitor.AnnotatedTypeScanner<java.lang.Void,javax.lang.model.element.AnnotationMirror>
-
- org.checkerframework.framework.util.defaults.QualifierDefaults.DefaultApplierElementImpl
-
- All Implemented Interfaces:
AnnotatedTypeVisitor<java.lang.Void,javax.lang.model.element.AnnotationMirror>
- Enclosing class:
- QualifierDefaults
protected class QualifierDefaults.DefaultApplierElementImpl extends AnnotatedTypeScanner<java.lang.Void,javax.lang.model.element.AnnotationMirror>
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from class org.checkerframework.framework.type.visitor.AnnotatedTypeScanner
AnnotatedTypeScanner.Reduce<R>
-
-
Field Summary
-
Fields inherited from class org.checkerframework.framework.type.visitor.AnnotatedTypeScanner
defaultResult, reduceFunction, visitedNodes
-
-
Constructor Summary
Constructors Modifier Constructor Description protected
DefaultApplierElementImpl(QualifierDefaults.DefaultApplierElement outer)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
reset()
Reset the scanner to allow reuse of the same instance.java.lang.Void
scan(AnnotatedTypeMirror t, javax.lang.model.element.AnnotationMirror qual)
Scantype
by callingtype.accept(this, p)
; this method may be overridden by subclasses.protected void
visitBounds(AnnotatedTypeMirror boundedType, AnnotatedTypeMirror upperBound, AnnotatedTypeMirror lowerBound, javax.lang.model.element.AnnotationMirror qual)
Visit the bounds of a type variable or a wildcard and potentially apply qual to those bounds.java.lang.Void
visitTypeVariable(AnnotatedTypeMirror.AnnotatedTypeVariable type, javax.lang.model.element.AnnotationMirror qual)
Visits a type variable.java.lang.Void
visitWildcard(AnnotatedTypeMirror.AnnotatedWildcardType type, javax.lang.model.element.AnnotationMirror qual)
Visits a wildcard type.-
Methods inherited from class org.checkerframework.framework.type.visitor.AnnotatedTypeScanner
reduce, scan, scanAndReduce, scanAndReduce, visit, visit, visitArray, visitDeclared, visitExecutable, visitIntersection, visitNoType, visitNull, visitPrimitive, visitUnion
-
-
-
-
Constructor Detail
-
DefaultApplierElementImpl
protected DefaultApplierElementImpl(QualifierDefaults.DefaultApplierElement outer)
-
-
Method Detail
-
scan
public java.lang.Void scan(@FindDistinct AnnotatedTypeMirror t, javax.lang.model.element.AnnotationMirror qual)
Description copied from class:AnnotatedTypeScanner
Scantype
by callingtype.accept(this, p)
; this method may be overridden by subclasses.- Overrides:
scan
in classAnnotatedTypeScanner<java.lang.Void,javax.lang.model.element.AnnotationMirror>
- Parameters:
t
- type to scanqual
- the parameter to use- Returns:
- the result of visiting
type
-
reset
public void reset()
Description copied from class:AnnotatedTypeScanner
Reset the scanner to allow reuse of the same instance. Subclasses should override this method to clear their additional state; they must call the super implementation.- Overrides:
reset
in classAnnotatedTypeScanner<java.lang.Void,javax.lang.model.element.AnnotationMirror>
-
visitTypeVariable
public java.lang.Void visitTypeVariable(AnnotatedTypeMirror.AnnotatedTypeVariable type, javax.lang.model.element.AnnotationMirror qual)
Description copied from interface:AnnotatedTypeVisitor
Visits a type variable.- Specified by:
visitTypeVariable
in interfaceAnnotatedTypeVisitor<java.lang.Void,javax.lang.model.element.AnnotationMirror>
- Overrides:
visitTypeVariable
in classAnnotatedTypeScanner<java.lang.Void,javax.lang.model.element.AnnotationMirror>
- Parameters:
type
- the type to visitqual
- a visitor-specified parameter- Returns:
- a visitor-specified result
-
visitWildcard
public java.lang.Void visitWildcard(AnnotatedTypeMirror.AnnotatedWildcardType type, javax.lang.model.element.AnnotationMirror qual)
Description copied from interface:AnnotatedTypeVisitor
Visits a wildcard type.- Specified by:
visitWildcard
in interfaceAnnotatedTypeVisitor<java.lang.Void,javax.lang.model.element.AnnotationMirror>
- Overrides:
visitWildcard
in classAnnotatedTypeScanner<java.lang.Void,javax.lang.model.element.AnnotationMirror>
- Parameters:
type
- the type to visitqual
- a visitor-specified parameter- Returns:
- a visitor-specified result
-
visitBounds
protected void visitBounds(AnnotatedTypeMirror boundedType, AnnotatedTypeMirror upperBound, AnnotatedTypeMirror lowerBound, javax.lang.model.element.AnnotationMirror qual)
Visit the bounds of a type variable or a wildcard and potentially apply qual to those bounds. This method will also update the boundType, isLowerBound, and isUpperbound fields.
-
-