Class IrrelevantTypeAnnotator
- java.lang.Object
-
- org.checkerframework.framework.type.visitor.AnnotatedTypeScanner<java.lang.Void,java.lang.Void>
-
- org.checkerframework.framework.type.typeannotator.TypeAnnotator
-
- org.checkerframework.framework.type.typeannotator.IrrelevantTypeAnnotator
-
- All Implemented Interfaces:
AnnotatedTypeVisitor<java.lang.Void,java.lang.Void>
public class IrrelevantTypeAnnotator extends TypeAnnotator
Adds annotations to types that are not relevant specified by theRelevantJavaTypes
on a checker.
-
-
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.framework.type.typeannotator.TypeAnnotator
atypeFactory
-
Fields inherited from class org.checkerframework.framework.type.visitor.AnnotatedTypeScanner
defaultResult, reduceFunction, visitedNodes
-
-
Constructor Summary
Constructors Constructor Description IrrelevantTypeAnnotator(GenericAnnotatedTypeFactory atypeFactory)
Annotate every type except for those whose underlying Java type is one of (or a subtype or supertype of) a class in relevantClasses.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description protected java.lang.Void
scan(AnnotatedTypeMirror type, java.lang.Void aVoid)
Scantype
by callingtype.accept(this, p)
; this method may be overridden by subclasses.-
Methods inherited from class org.checkerframework.framework.type.typeannotator.TypeAnnotator
visitExecutable
-
Methods inherited from class org.checkerframework.framework.type.visitor.AnnotatedTypeScanner
reduce, reset, scan, scanAndReduce, scanAndReduce, visit, visit, visitArray, visitDeclared, visitIntersection, visitNoType, visitNull, visitPrimitive, visitTypeVariable, visitUnion, visitWildcard
-
-
-
-
Constructor Detail
-
IrrelevantTypeAnnotator
public IrrelevantTypeAnnotator(GenericAnnotatedTypeFactory atypeFactory)
Annotate every type except for those whose underlying Java type is one of (or a subtype or supertype of) a class in relevantClasses. (Only adds annotationMirror if no annotation in the hierarchy are already on the type.) If relevantClasses includes Object[].class, then all arrays are considered relevant.- Parameters:
atypeFactory
- a GenericAnnotatedTypeFactory
-
-
Method Detail
-
scan
protected java.lang.Void scan(AnnotatedTypeMirror type, java.lang.Void aVoid)
Description copied from class:AnnotatedTypeScanner
Scantype
by callingtype.accept(this, p)
; this method may be overridden by subclasses.- Overrides:
scan
in classAnnotatedTypeScanner<java.lang.Void,java.lang.Void>
- Parameters:
type
- type to scanaVoid
- the parameter to use- Returns:
- the result of visiting
type
-
-