checkers.types.visitors

Class AnnotatedTypeComparer<R extends @NonNull Object>

@NonNull java.lang.Object

checkers.types.visitors.AnnotatedTypeScanner<R,@Mutable AnnotatedTypeMirror>

checkers.types.visitors.AnnotatedTypeComparer<R>

All Implemented Interfaces:

AnnotatedTypeVisitor<R,@Mutable AnnotatedTypeMirror>

public class AnnotatedTypeComparer<R extends @NonNull Object>
extends AnnotatedTypeScanner<R,@Mutable AnnotatedTypeMirror>

A TypeVisitor that takes an AnnotatedTypeMirror as a parameter, and visits it simultaneously. Note that the parameter type must be assignable to the visited type, or an assertion fails when visiting an incompatible subtype.

See Also:

AnnotatedTypeScanner

Field Summary

Fields inherited from class checkers.types.visitors.AnnotatedTypeScanner

visitedNodes

Constructor Summary

Constructors

Constructor and Description
AnnotatedTypeComparer()

Method Summary

Methods

Modifier and Type	Method and Description
protected R	scan(Iterable<? extends @Mutable AnnotatedTypeMirror> types, Iterable<? extends @Mutable AnnotatedTypeMirror> p)
R	scanAndReduce(@Mutable AnnotatedTypeMirror type, @Mutable AnnotatedTypeMirror p, R r)
protected R	scanAndReduce(Iterable<? extends @Mutable AnnotatedTypeMirror> types, @Mutable AnnotatedTypeMirror p, R r)
protected R	scanAndReduce(Iterable<? extends @Mutable AnnotatedTypeMirror> types, Iterable<? extends @Mutable AnnotatedTypeMirror> p, R r)
R	visitArray(AnnotatedTypeMirror.AnnotatedArrayType type, @Mutable AnnotatedTypeMirror p) Visits an array type.
R	visitDeclared(AnnotatedTypeMirror.AnnotatedDeclaredType type, @Mutable AnnotatedTypeMirror p) Visits a declared type.
R	visitExecutable(AnnotatedTypeMirror.AnnotatedExecutableType type, @Mutable AnnotatedTypeMirror p) Visits an executable type.
R	visitTypeVariable(AnnotatedTypeMirror.AnnotatedTypeVariable type, @Mutable AnnotatedTypeMirror p) Visits a type variable.
R	visitWildcard(AnnotatedTypeMirror.AnnotatedWildcardType type, @Mutable AnnotatedTypeMirror p) Visits a wildcard type.

Methods inherited from class checkers.types.visitors.AnnotatedTypeScanner

reduce, scan, scan, visit, visit, visitNoType, visitNull, visitPrimitive

Methods inherited from class java.lang.Object

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

Constructor Detail

AnnotatedTypeComparer

public AnnotatedTypeComparer()

Method Detail

scan

protected R scan(Iterable<? extends @Mutable AnnotatedTypeMirror> types,
     Iterable<? extends @Mutable AnnotatedTypeMirror> p)

scanAndReduce

protected R scanAndReduce(Iterable<? extends @Mutable AnnotatedTypeMirror> types,
              Iterable<? extends @Mutable AnnotatedTypeMirror> p,
              R r)

scanAndReduce

public R scanAndReduce(@Mutable AnnotatedTypeMirror type,
              @Mutable AnnotatedTypeMirror p,
              R r)

Overrides:

scanAndReduce in class AnnotatedTypeScanner<R extends @NonNull Object,@Mutable AnnotatedTypeMirror>

scanAndReduce

protected R scanAndReduce(Iterable<? extends @Mutable AnnotatedTypeMirror> types,
              @Mutable AnnotatedTypeMirror p,
              R r)

Overrides:

scanAndReduce in class AnnotatedTypeScanner<R extends @NonNull Object,@Mutable AnnotatedTypeMirror>

visitDeclared

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

Description copied from interface: AnnotatedTypeVisitor

Visits a declared type.

Specified by:

visitDeclared in interface AnnotatedTypeVisitor<R extends @NonNull Object,@Mutable AnnotatedTypeMirror>

Overrides:

visitDeclared in class AnnotatedTypeScanner<R extends @NonNull Object,@Mutable AnnotatedTypeMirror>

Parameters:

type - the type to visit

p - a visitor-specified parameter

Returns:

a visitor-specified result

visitArray

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

Description copied from interface: AnnotatedTypeVisitor

Visits an array type.

Specified by:

visitArray in interface AnnotatedTypeVisitor<R extends @NonNull Object,@Mutable AnnotatedTypeMirror>

Overrides:

visitArray in class AnnotatedTypeScanner<R extends @NonNull Object,@Mutable AnnotatedTypeMirror>

Parameters:

type - the type to visit

p - a visitor-specified parameter

Returns:

a visitor-specified result

visitExecutable

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

Description copied from interface: AnnotatedTypeVisitor

Visits an executable type.

Specified by:

visitExecutable in interface AnnotatedTypeVisitor<R extends @NonNull Object,@Mutable AnnotatedTypeMirror>

Overrides:

visitExecutable in class AnnotatedTypeScanner<R extends @NonNull Object,@Mutable AnnotatedTypeMirror>

Parameters:

type - the type to visit

p - a visitor-specified parameter

Returns:

a visitor-specified result

visitTypeVariable

public R visitTypeVariable(AnnotatedTypeMirror.AnnotatedTypeVariable type,
                  @Mutable AnnotatedTypeMirror p)

Description copied from interface: AnnotatedTypeVisitor

Visits a type variable.

Specified by:

visitTypeVariable in interface AnnotatedTypeVisitor<R extends @NonNull Object,@Mutable AnnotatedTypeMirror>

Overrides:

visitTypeVariable in class AnnotatedTypeScanner<R extends @NonNull Object,@Mutable AnnotatedTypeMirror>

Parameters:

type - the type to visit

p - a visitor-specified parameter

Returns:

a visitor-specified result

visitWildcard

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

Description copied from interface: AnnotatedTypeVisitor

Visits a wildcard type.

Specified by:

visitWildcard in interface AnnotatedTypeVisitor<R extends @NonNull Object,@Mutable AnnotatedTypeMirror>

Overrides:

visitWildcard in class AnnotatedTypeScanner<R extends @NonNull Object,@Mutable AnnotatedTypeMirror>

Parameters:

type - the type to visit

p - a visitor-specified parameter

Returns:

a visitor-specified result