Package org.checkerframework.framework.util.dependenttypes

Class DependentTypesHelper.ErrorAnnoReplacer

java.lang.Object

org.checkerframework.framework.type.visitor.AnnotatedTypeScanner<Void,Void>

org.checkerframework.framework.type.visitor.SimpleAnnotatedTypeScanner<Void,Void>

org.checkerframework.framework.util.dependenttypes.DependentTypesHelper.ErrorAnnoReplacer

All Implemented Interfaces:

AnnotatedTypeVisitor<Void,Void>

Enclosing class:

DependentTypesHelper

protected class DependentTypesHelper.ErrorAnnoReplacer
extends SimpleAnnotatedTypeScanner<Void,Void>

Replaces a dependent type annotation with a parser error with the top qualifier in the hierarchy.

Nested Class Summary

Nested classes/interfaces inherited from class org.checkerframework.framework.type.visitor.SimpleAnnotatedTypeScanner

SimpleAnnotatedTypeScanner.DefaultAction<R,P>

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.SimpleAnnotatedTypeScanner

defaultAction

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

defaultResult, reduceFunction, visitedNodes

Method Summary

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

defaultAction, visitArray, visitDeclared, visitExecutable, visitNoType, visitNull, visitPrimitive, visitTypeVariable, visitWildcard

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

reduce, reset, scan, scan, scanAndReduce, scanAndReduce, visit, visit, visitIntersection, visitUnion

Methods inherited from class java.lang.Object

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