org.checkerframework.common.util.report

Class ReportVisitor.ReportTypeValidator

java.lang.Object

org.checkerframework.framework.type.visitor.AnnotatedTypeScanner<java.lang.Void,com.sun.source.tree.Tree>

org.checkerframework.common.basetype.BaseTypeValidator

org.checkerframework.common.util.report.ReportVisitor.ReportTypeValidator

All Implemented Interfaces:

TypeValidator, AnnotatedTypeVisitor<java.lang.Void,com.sun.source.tree.Tree>

Enclosing class:

ReportVisitor

protected class ReportVisitor.ReportTypeValidator
extends BaseTypeValidator

Field Summary

Fields inherited from class org.checkerframework.common.basetype.BaseTypeValidator

atypeFactory, checker, checkTopLevelDeclaredType, isValid, visitor

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

visitedNodes

Constructor Summary

Constructors

Constructor and Description
ReportTypeValidator(BaseTypeChecker checker, BaseTypeVisitor<?> visitor, AnnotatedTypeFactory atypeFactory)

Method Summary

Modifier and Type	Method and Description
java.lang.Void	visitDeclared(AnnotatedTypeMirror.AnnotatedDeclaredType type, com.sun.source.tree.Tree tree) Visits a declared type.

Methods inherited from class org.checkerframework.common.basetype.BaseTypeValidator

areBoundsValid, isTopLevelValidType, isValid, isValidType, reportInvalidAnnotationsOnUse, reportInvalidBounds, reportInvalidType, reportValidityResult, reportValidityResultOnUnannotatedType, shouldCheckTopLevelDeclaredType, visitArray, visitParameterizedType, visitPrimitive, visitTypeVariable, visitWildcard

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

reduce, reset, scan, scan, scanAndReduce, scanAndReduce, visit, visit, visitExecutable, visitIntersection, visitNoType, visitNull, visitUnion

Methods inherited from class java.lang.Object

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

Constructor Detail

ReportTypeValidator

public ReportTypeValidator(BaseTypeChecker checker,
                           BaseTypeVisitor<?> visitor,
                           AnnotatedTypeFactory atypeFactory)

Method Detail

visitDeclared

public java.lang.Void visitDeclared(AnnotatedTypeMirror.AnnotatedDeclaredType type,
                                    com.sun.source.tree.Tree tree)

Description copied from interface: AnnotatedTypeVisitor

Visits a declared type.

Specified by:

visitDeclared in interface AnnotatedTypeVisitor<java.lang.Void,com.sun.source.tree.Tree>

Overrides:

visitDeclared in class BaseTypeValidator

Parameters:

type - the type to visit

tree - a visitor-specified parameter

Returns:

a visitor-specified result