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
-
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, visitorFields inherited from class org.checkerframework.framework.type.visitor.AnnotatedTypeScanner
defaultResult, reduceFunction, visitedNodes -
Constructor Summary
ConstructorsConstructorDescriptionReportTypeValidator(BaseTypeChecker checker, BaseTypeVisitor<?> visitor, AnnotatedTypeFactory atypeFactory) -
Method Summary
Modifier and TypeMethodDescriptionVisits 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, visitWildcardMethods 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
Description copied from interface:AnnotatedTypeVisitorVisits a declared type.- Specified by:
visitDeclaredin interfaceAnnotatedTypeVisitor<Void,Tree> - Overrides:
visitDeclaredin classBaseTypeValidator- Parameters:
type- the type to visittree- a visitor-specified parameter- Returns:
- a visitor-specified result
-