Class ReportVisitor.ReportTypeValidator
java.lang.Object
org.checkerframework.framework.type.visitor.AnnotatedTypeScanner<Void,com.sun.source.tree.Tree>
org.checkerframework.common.basetype.BaseTypeValidator
org.checkerframework.common.util.report.ReportVisitor.ReportTypeValidator
- All Implemented Interfaces:
TypeValidator
,AnnotatedTypeVisitor<Void,
com.sun.source.tree.Tree>
- Enclosing class:
- ReportVisitor
-
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, visitor
Fields inherited from class org.checkerframework.framework.type.visitor.AnnotatedTypeScanner
defaultResult, reduceFunction, visitedNodes
-
Constructor Summary
ConstructorDescriptionReportTypeValidator
(BaseTypeChecker checker, BaseTypeVisitor<?> visitor, AnnotatedTypeFactory atypeFactory) -
Method Summary
Modifier and TypeMethodDescriptionvisitDeclared
(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, 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
-
Constructor Details
-
ReportTypeValidator
public ReportTypeValidator(BaseTypeChecker checker, BaseTypeVisitor<?> visitor, AnnotatedTypeFactory atypeFactory)
-
-
Method Details
-
visitDeclared
public Void visitDeclared(AnnotatedTypeMirror.AnnotatedDeclaredType type, com.sun.source.tree.Tree tree) Description copied from interface:AnnotatedTypeVisitor
Visits a declared type.- Specified by:
visitDeclared
in interfaceAnnotatedTypeVisitor<Void,
com.sun.source.tree.Tree> - Overrides:
visitDeclared
in classBaseTypeValidator
- Parameters:
type
- the type to visittree
- a visitor-specified parameter- Returns:
- a visitor-specified result
-