Package org.checkerframework.framework.util.dependenttypes

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 Type	Method	Description
protected Void	defaultAction(AnnotatedTypeMirror type1, AnnotatedTypeMirror type2)	Called by default for any visit method that is not overridden.
protected Void	scan(AnnotatedTypeMirror from, AnnotatedTypeMirror to)	Scan type by calling type.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, visitWildcard

Methods inherited from class org.checkerframework.framework.type.visitor.AnnotatedTypeScanner

reduce, reset, scan, scanAndReduce, visit, visit, visitNoType, visitNull, visitPrimitive

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Details

scan

protected Void scan(AnnotatedTypeMirror from,
 AnnotatedTypeMirror to)

Description copied from class: AnnotatedTypeScanner

Scan type by calling type.accept(this, p); this method may be overridden by subclasses.

Overrides:

scan in class DoubleAnnotatedTypeScanner<Void>

Parameters:

from - type to scan

to - the parameter to use

Returns:

the result of visiting type

defaultAction

protected Void defaultAction(AnnotatedTypeMirror type1,
 AnnotatedTypeMirror type2)

Description copied from class: DoubleAnnotatedTypeScanner

Called by default for any visit method that is not overridden.

Specified by:

defaultAction in class DoubleAnnotatedTypeScanner<Void>

Parameters:

type1 - the type to visit

type2 - a visitor-specified parameter

Returns:

a visitor-specified result