Package org.checkerframework.framework.util.defaults

Class QualifierDefaults.DefaultApplierElement.DefaultApplierElementImpl

java.lang.Object

org.checkerframework.framework.type.visitor.AnnotatedTypeScanner<Void,AnnotationMirror>

org.checkerframework.framework.util.defaults.QualifierDefaults.DefaultApplierElement.DefaultApplierElementImpl

All Implemented Interfaces:

AnnotatedTypeVisitor<Void,AnnotationMirror>

Enclosing class:

QualifierDefaults.DefaultApplierElement

protected class QualifierDefaults.DefaultApplierElement.DefaultApplierElementImpl
extends AnnotatedTypeScanner<Void,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()

Method Summary

Modifier and Type	Method	Description
void	reset()	Reset the scanner to allow reuse of the same instance.
Void	scan(AnnotatedTypeMirror t, AnnotationMirror qual)	Scan type by calling type.accept(this, p); this method may be overridden by subclasses.
protected void	visitBounds(AnnotatedTypeMirror boundedType, AnnotatedTypeMirror upperBound, AnnotatedTypeMirror lowerBound, AnnotationMirror qual)	Visit the bounds of a type variable or a wildcard and potentially apply qual to those bounds.
Void	visitTypeVariable(AnnotatedTypeMirror.AnnotatedTypeVariable type, AnnotationMirror qual)	Visits a type variable.
Void	visitWildcard(AnnotatedTypeMirror.AnnotatedWildcardType type, 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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

DefaultApplierElementImpl

protected DefaultApplierElementImpl()

Method Details

scan

public Void scan(@FindDistinct
 AnnotatedTypeMirror t,
 AnnotationMirror qual)

Description copied from class: AnnotatedTypeScanner

Scan type by calling type.accept(this, p); this method may be overridden by subclasses.

Overrides:

scan in class AnnotatedTypeScanner<Void,AnnotationMirror>

Parameters:

t - type to scan

qual - 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 class AnnotatedTypeScanner<Void,AnnotationMirror>

visitTypeVariable

public Void visitTypeVariable(AnnotatedTypeMirror.AnnotatedTypeVariable type,
 AnnotationMirror qual)

Description copied from interface: AnnotatedTypeVisitor

Visits a type variable.

Specified by:

visitTypeVariable in interface AnnotatedTypeVisitor<Void,AnnotationMirror>

Overrides:

visitTypeVariable in class AnnotatedTypeScanner<Void,AnnotationMirror>

Parameters:

type - the type to visit

qual - a visitor-specified parameter

Returns:

a visitor-specified result

visitWildcard

public Void visitWildcard(AnnotatedTypeMirror.AnnotatedWildcardType type,
 AnnotationMirror qual)

Description copied from interface: AnnotatedTypeVisitor

Visits a wildcard type.

Specified by:

visitWildcard in interface AnnotatedTypeVisitor<Void,AnnotationMirror>

Overrides:

visitWildcard in class AnnotatedTypeScanner<Void,AnnotationMirror>

Parameters:

type - the type to visit

qual - a visitor-specified parameter

Returns:

a visitor-specified result

visitBounds

protected void visitBounds(AnnotatedTypeMirror boundedType,
 AnnotatedTypeMirror upperBound,
 AnnotatedTypeMirror lowerBound,
 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.