checkers.basetype

Class BaseTypeVisitor.TypeValidator

@NonNull java.lang.Object

checkers.types.visitors.AnnotatedTypeScanner<@Nullable Void,@Nullable Tree>

checkers.basetype.BaseTypeVisitor.TypeValidator

All Implemented Interfaces:

AnnotatedTypeVisitor<@Nullable Void,@Nullable Tree>

Direct Known Subclasses:

ReportVisitor.ReportTypeValidator

Enclosing class:

BaseTypeVisitor<Checker extends BaseTypeChecker>

protected class BaseTypeVisitor.TypeValidator
extends AnnotatedTypeScanner<@Nullable Void,@Nullable Tree>

Field Summary

Fields

Modifier and Type	Field and Description
boolean	isValid

Fields inherited from class checkers.types.visitors.AnnotatedTypeScanner

visitedNodes

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	BaseTypeVisitor.TypeValidator()

Method Summary

Methods

Modifier and Type	Method and Description
protected void	reportError(@Mutable AnnotatedTypeMirror type, @Nullable Tree p)
@Nullable Void	visitArray(AnnotatedTypeMirror.AnnotatedArrayType type, @Nullable Tree tree) Visits an array type.
@Nullable Void	visitDeclared(AnnotatedTypeMirror.AnnotatedDeclaredType type, @Nullable Tree tree) Visits a declared type.
protected @Nullable Void	visitParameterizedType(AnnotatedTypeMirror.AnnotatedDeclaredType type, ParameterizedTypeTree tree) Checks that the annotations on the type arguments supplied to a type or a method invocation are within the bounds of the type variables as declared, and issues the "generic.argument.invalid" error if they are not.
@Nullable Void	visitPrimitive(AnnotatedTypeMirror.AnnotatedPrimitiveType type, @Nullable Tree tree) Visits a primitive type.
@Nullable Void	visitTypeVariable(AnnotatedTypeMirror.AnnotatedTypeVariable type, @Nullable Tree tree) Visits a type variable.
@Nullable Void	visitWildcard(AnnotatedTypeMirror.AnnotatedWildcardType type, @Nullable Tree tree) Visits a wildcard type.

Methods inherited from class checkers.types.visitors.AnnotatedTypeScanner

reduce, scan, scan, scanAndReduce, scanAndReduce, visit, visit, visitExecutable, visitNoType, visitNull

Methods inherited from class java.lang.Object

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

Field Detail

isValid

public boolean isValid

Constructor Detail

BaseTypeVisitor.TypeValidator

protected BaseTypeVisitor.TypeValidator()

Method Detail

reportError

protected void reportError(@Mutable AnnotatedTypeMirror type,
               @Nullable Tree p)

visitDeclared

public @Nullable Void visitDeclared(AnnotatedTypeMirror.AnnotatedDeclaredType type,
                           @Nullable Tree tree)

Description copied from interface: AnnotatedTypeVisitor

Visits a declared type.

Specified by:

visitDeclared in interface AnnotatedTypeVisitor<@Nullable Void,@Nullable Tree>

Overrides:

visitDeclared in class AnnotatedTypeScanner<@Nullable Void,@Nullable Tree>

Parameters:

type - the type to visit

tree - a visitor-specified parameter

Returns:

a visitor-specified result

visitPrimitive

public @Nullable Void visitPrimitive(AnnotatedTypeMirror.AnnotatedPrimitiveType type,
                            @Nullable Tree tree)

Description copied from interface: AnnotatedTypeVisitor

Visits a primitive type.

Specified by:

visitPrimitive in interface AnnotatedTypeVisitor<@Nullable Void,@Nullable Tree>

Overrides:

visitPrimitive in class AnnotatedTypeScanner<@Nullable Void,@Nullable Tree>

Parameters:

type - the type to visit

tree - a visitor-specified parameter

Returns:

a visitor-specified result

visitArray

public @Nullable Void visitArray(AnnotatedTypeMirror.AnnotatedArrayType type,
                        @Nullable Tree tree)

Description copied from interface: AnnotatedTypeVisitor

Visits an array type.

Specified by:

visitArray in interface AnnotatedTypeVisitor<@Nullable Void,@Nullable Tree>

Overrides:

visitArray in class AnnotatedTypeScanner<@Nullable Void,@Nullable Tree>

Parameters:

type - the type to visit

tree - a visitor-specified parameter

Returns:

a visitor-specified result

visitParameterizedType

protected @Nullable Void visitParameterizedType(AnnotatedTypeMirror.AnnotatedDeclaredType type,
                                    ParameterizedTypeTree tree)

Checks that the annotations on the type arguments supplied to a type or a method invocation are within the bounds of the type variables as declared, and issues the "generic.argument.invalid" error if they are not. This method used to be visitParameterizedType, which incorrectly handles the main annotation on generic types.

visitTypeVariable

public @Nullable Void visitTypeVariable(AnnotatedTypeMirror.AnnotatedTypeVariable type,
                               @Nullable Tree tree)

Description copied from interface: AnnotatedTypeVisitor

Visits a type variable.

Specified by:

visitTypeVariable in interface AnnotatedTypeVisitor<@Nullable Void,@Nullable Tree>

Overrides:

visitTypeVariable in class AnnotatedTypeScanner<@Nullable Void,@Nullable Tree>

Parameters:

type - the type to visit

tree - a visitor-specified parameter

Returns:

a visitor-specified result

visitWildcard

public @Nullable Void visitWildcard(AnnotatedTypeMirror.AnnotatedWildcardType type,
                           @Nullable Tree tree)

Description copied from interface: AnnotatedTypeVisitor

Visits a wildcard type.

Specified by:

visitWildcard in interface AnnotatedTypeVisitor<@Nullable Void,@Nullable Tree>

Overrides:

visitWildcard in class AnnotatedTypeScanner<@Nullable Void,@Nullable Tree>

Parameters:

type - the type to visit

tree - a visitor-specified parameter

Returns:

a visitor-specified result