org.checkerframework.framework.type

Class AnnotatedTypeFactory.InheritedFromClassAnnotator

java.lang.Object

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

org.checkerframework.framework.type.AnnotatedTypeFactory.InheritedFromClassAnnotator

All Implemented Interfaces:

AnnotatedTypeVisitor<Void,AnnotatedTypeFactory>

Enclosing class:

AnnotatedTypeFactory

protected static class AnnotatedTypeFactory.InheritedFromClassAnnotator
extends AnnotatedTypeScanner<Void,AnnotatedTypeFactory>

A singleton utility class for pulling annotations down from a class type.

See Also:

AnnotatedTypeFactory.annotateInheritedFromClass(org.checkerframework.framework.type.AnnotatedTypeMirror)

Field Summary

Fields

Modifier and Type	Field and Description
static AnnotatedTypeFactory.InheritedFromClassAnnotator	INSTANCE The singleton instance.

Fields inherited from class org.checkerframework.framework.type.visitor.AnnotatedTypeScanner

visitedNodes

Method Summary

Modifier and Type	Method and Description
void	reset() Reset the scanner to allow reuse of the same instance.
Void	visitDeclared(AnnotatedTypeMirror.AnnotatedDeclaredType type, AnnotatedTypeFactory p) Visits a declared type.
Void	visitExecutable(AnnotatedTypeMirror.AnnotatedExecutableType type, AnnotatedTypeFactory p) Visits an executable type.
Void	visitTypeVariable(AnnotatedTypeMirror.AnnotatedTypeVariable type, AnnotatedTypeFactory p) Visits a type variable.

Methods inherited from class org.checkerframework.framework.type.visitor.AnnotatedTypeScanner

reduce, scan, scan, scanAndReduce, scanAndReduce, visit, visit, visitArray, visitIntersection, visitNoType, visitNull, visitPrimitive, visitUnion, visitWildcard

Methods inherited from class java.lang.Object

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

Field Detail

INSTANCE

public static final AnnotatedTypeFactory.InheritedFromClassAnnotator INSTANCE

The singleton instance.

Method Detail

visitExecutable

public Void visitExecutable(AnnotatedTypeMirror.AnnotatedExecutableType type,
                            AnnotatedTypeFactory p)

Description copied from interface: AnnotatedTypeVisitor

Visits an executable type.

Specified by:

visitExecutable in interface AnnotatedTypeVisitor<Void,AnnotatedTypeFactory>

Overrides:

visitExecutable in class AnnotatedTypeScanner<Void,AnnotatedTypeFactory>

Parameters:

type - the type to visit

p - a visitor-specified parameter

Returns:

a visitor-specified result

visitDeclared

public Void visitDeclared(AnnotatedTypeMirror.AnnotatedDeclaredType type,
                          AnnotatedTypeFactory p)

Description copied from interface: AnnotatedTypeVisitor

Visits a declared type.

Specified by:

visitDeclared in interface AnnotatedTypeVisitor<Void,AnnotatedTypeFactory>

Overrides:

visitDeclared in class AnnotatedTypeScanner<Void,AnnotatedTypeFactory>

Parameters:

type - the type to visit

p - a visitor-specified parameter

Returns:

a visitor-specified result

visitTypeVariable

public Void visitTypeVariable(AnnotatedTypeMirror.AnnotatedTypeVariable type,
                              AnnotatedTypeFactory p)

Description copied from interface: AnnotatedTypeVisitor

Visits a type variable.

Specified by:

visitTypeVariable in interface AnnotatedTypeVisitor<Void,AnnotatedTypeFactory>

Overrides:

visitTypeVariable in class AnnotatedTypeScanner<Void,AnnotatedTypeFactory>

Parameters:

type - the type to visit

p - a visitor-specified parameter

Returns:

a visitor-specified result

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,AnnotatedTypeFactory>