org.checkerframework.framework.type.visitor

Class SimpleAnnotatedTypeScanner<R,P>

java.lang.Object

org.checkerframework.framework.type.visitor.AnnotatedTypeScanner<R,P>

org.checkerframework.framework.type.visitor.SimpleAnnotatedTypeScanner<R,P>

All Implemented Interfaces:

AnnotatedTypeVisitor<R,P>

public class SimpleAnnotatedTypeScanner<R,P>
extends AnnotatedTypeScanner<R,P>

Field Summary

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

visitedNodes

Constructor Summary

Constructors

Constructor and Description
SimpleAnnotatedTypeScanner()

Method Summary

Modifier and Type	Method and Description
protected R	defaultAction(AnnotatedTypeMirror type, P p) Called by default for any visit method that is not overridden.
R	visitArray(AnnotatedTypeMirror.AnnotatedArrayType type, P p) Visits an array type.
R	visitDeclared(AnnotatedTypeMirror.AnnotatedDeclaredType type, P p) Visits a declared type.
R	visitExecutable(AnnotatedTypeMirror.AnnotatedExecutableType type, P p) Visits an executable type.
R	visitNoType(AnnotatedTypeMirror.AnnotatedNoType type, P p) Visits NoType type.
R	visitNull(AnnotatedTypeMirror.AnnotatedNullType type, P p) Visits a null type.
R	visitPrimitive(AnnotatedTypeMirror.AnnotatedPrimitiveType type, P p) Visits a primitive type.
R	visitTypeVariable(AnnotatedTypeMirror.AnnotatedTypeVariable type, P p) Visits a type variable.
R	visitWildcard(AnnotatedTypeMirror.AnnotatedWildcardType type, P p) Visits a wildcard type.

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

reduce, reset, scan, scan, scanAndReduce, scanAndReduce, visit, visit, visitIntersection, visitUnion

Methods inherited from class java.lang.Object

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

Constructor Detail

SimpleAnnotatedTypeScanner

public SimpleAnnotatedTypeScanner()

Method Detail

defaultAction

protected R defaultAction(AnnotatedTypeMirror type,
                          P p)

Called by default for any visit method that is not overridden.

Parameters:

type - the type to visit

p - a visitor-specified parameter

Returns:

a visitor-specified result

visitDeclared

public final R visitDeclared(AnnotatedTypeMirror.AnnotatedDeclaredType type,
                             P p)

Visits a declared type.

Specified by:

visitDeclared in interface AnnotatedTypeVisitor<R,P>

Overrides:

visitDeclared in class AnnotatedTypeScanner<R,P>

Parameters:

type - the type to visit

p - a visitor-specified parameter

Returns:

a visitor-specified result

visitExecutable

public final R visitExecutable(AnnotatedTypeMirror.AnnotatedExecutableType type,
                               P p)

Visits an executable type.

Specified by:

visitExecutable in interface AnnotatedTypeVisitor<R,P>

Overrides:

visitExecutable in class AnnotatedTypeScanner<R,P>

Parameters:

type - the type to visit

p - a visitor-specified parameter

Returns:

a visitor-specified result

visitArray

public final R visitArray(AnnotatedTypeMirror.AnnotatedArrayType type,
                          P p)

Visits an array type.

Specified by:

visitArray in interface AnnotatedTypeVisitor<R,P>

Overrides:

visitArray in class AnnotatedTypeScanner<R,P>

Parameters:

type - the type to visit

p - a visitor-specified parameter

Returns:

a visitor-specified result

visitTypeVariable

public final R visitTypeVariable(AnnotatedTypeMirror.AnnotatedTypeVariable type,
                                 P p)

Visits a type variable.

Specified by:

visitTypeVariable in interface AnnotatedTypeVisitor<R,P>

Overrides:

visitTypeVariable in class AnnotatedTypeScanner<R,P>

Parameters:

type - the type to visit

p - a visitor-specified parameter

Returns:

a visitor-specified result

visitPrimitive

public final R visitPrimitive(AnnotatedTypeMirror.AnnotatedPrimitiveType type,
                              P p)

Visits a primitive type.

Specified by:

visitPrimitive in interface AnnotatedTypeVisitor<R,P>

Overrides:

visitPrimitive in class AnnotatedTypeScanner<R,P>

Parameters:

type - the type to visit

p - a visitor-specified parameter

Returns:

a visitor-specified result

visitNoType

public final R visitNoType(AnnotatedTypeMirror.AnnotatedNoType type,
                           P p)

Visits NoType type.

Specified by:

visitNoType in interface AnnotatedTypeVisitor<R,P>

Overrides:

visitNoType in class AnnotatedTypeScanner<R,P>

Parameters:

type - the type to visit

p - a visitor-specified parameter

Returns:

a visitor-specified result

visitNull

public final R visitNull(AnnotatedTypeMirror.AnnotatedNullType type,
                         P p)

Visits a null type.

Specified by:

visitNull in interface AnnotatedTypeVisitor<R,P>

Overrides:

visitNull in class AnnotatedTypeScanner<R,P>

Parameters:

type - the type to visit

p - a visitor-specified parameter

Returns:

a visitor-specified result

visitWildcard

public final R visitWildcard(AnnotatedTypeMirror.AnnotatedWildcardType type,
                             P p)

Visits a wildcard type.

Specified by:

visitWildcard in interface AnnotatedTypeVisitor<R,P>

Overrides:

visitWildcard in class AnnotatedTypeScanner<R,P>

Parameters:

type - the type to visit

p - a visitor-specified parameter

Returns:

a visitor-specified result