Package org.checkerframework.common.util.count.report

Class ReportVisitor.ReportTypeValidator

java.lang.Object

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

org.checkerframework.common.basetype.BaseTypeValidator

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

All Implemented Interfaces:

TypeValidator, AnnotatedTypeVisitor<Void,Tree>

Enclosing class:

ReportVisitor

protected class ReportVisitor.ReportTypeValidator
extends BaseTypeValidator

Nested Class Summary

Nested classes/interfaces inherited from class org.checkerframework.framework.type.visitor.AnnotatedTypeScanner

AnnotatedTypeScanner.Reduce<R>

Field Summary

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

atypeFactory, checker, checkTopLevelDeclaredOrPrimitiveType, isValid, qualHierarchy, visitor

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

defaultResult, reduceFunction, visitedNodes

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
Void	visitDeclared(AnnotatedTypeMirror.AnnotatedDeclaredType type, Tree tree)	Visits a declared type.

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

areBoundsValid, isTopLevelValidType, isValid, isValidStructurally, reportInvalidAnnotationsOnUse, reportInvalidBounds, reportInvalidType, reportValidityResult, reportValidityResultOnUnannotatedType, shouldCheckTopLevelDeclaredOrPrimitiveType, visitArray, visitClassTypeParameters, visitParameterizedType, visitPrimitive, visitTypeParameterBounds, 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 Details

ReportTypeValidator

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

Method Details

visitDeclared

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

Description copied from interface: AnnotatedTypeVisitor

Visits a declared type.

Specified by:

visitDeclared in interface AnnotatedTypeVisitor<Void,Tree>

Overrides:

visitDeclared in class BaseTypeValidator

Parameters:

type - the type to visit

tree - a visitor-specified parameter

Returns:

a visitor-specified result