Class DependentTypesHelper.ViewpointAdaptedCopier
java.lang.Object
org.checkerframework.framework.type.visitor.AnnotatedTypeScanner<Void,AnnotatedTypeMirror>
org.checkerframework.framework.type.visitor.DoubleAnnotatedTypeScanner<Void>
org.checkerframework.framework.util.dependenttypes.DependentTypesHelper.ViewpointAdaptedCopier
- All Implemented Interfaces:
AnnotatedTypeVisitor<Void,AnnotatedTypeMirror>
- Enclosing class:
DependentTypesHelper
protected class DependentTypesHelper.ViewpointAdaptedCopier
extends DoubleAnnotatedTypeScanner<Void>
The underlying type of the second parameter is the result of applying type variable
substitution to the visited type (the first parameter). This class copies annotations from the
visited type to the second formal parameter except for annotations on types that have been
substituted.
-
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.visitor.AnnotatedTypeScanner
defaultResult, reduceFunction, visitedNodes -
Method Summary
Modifier and TypeMethodDescriptionprotected VoiddefaultAction(AnnotatedTypeMirror type1, AnnotatedTypeMirror type2) Called by default for any visit method that is not overridden.protected Voidscan(AnnotatedTypeMirror from, AnnotatedTypeMirror to) Scantypeby callingtype.accept(this, p); this method may be overridden by subclasses.Methods inherited from class org.checkerframework.framework.type.visitor.DoubleAnnotatedTypeScanner
scan, scanAndReduce, scanAndReduce, visitArray, visitDeclared, visitExecutable, visitIntersection, visitTypeVariable, visitUnion, visitWildcardMethods inherited from class org.checkerframework.framework.type.visitor.AnnotatedTypeScanner
reduce, reset, scan, scanAndReduce, visit, visit, visitNoType, visitNull, visitPrimitive
-
Method Details
-
scan
Description copied from class:AnnotatedTypeScannerScantypeby callingtype.accept(this, p); this method may be overridden by subclasses.- Overrides:
scanin classDoubleAnnotatedTypeScanner<Void>- Parameters:
from- type to scanto- the parameter to use- Returns:
- the result of visiting
type
-
defaultAction
Description copied from class:DoubleAnnotatedTypeScannerCalled by default for any visit method that is not overridden.- Specified by:
defaultActionin classDoubleAnnotatedTypeScanner<Void>- Parameters:
type1- the type to visittype2- a visitor-specified parameter- Returns:
- a visitor-specified result
-