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
-
-
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
All Methods Instance Methods Concrete Methods Modifier and Type Method 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, isValidStructurally, reportInvalidAnnotationsOnUse, reportInvalidBounds, reportInvalidType, reportValidityResult, reportValidityResultOnUnannotatedType, shouldCheckTopLevelDeclaredOrPrimitiveType, validateWildCardTargetLocation, 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 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 interfaceAnnotatedTypeVisitor<java.lang.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
-
-