org.checkerframework.common.value

Class ValueAnnotatedTypeFactory.ValueTypeAnnotator

java.lang.Object

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

org.checkerframework.framework.type.typeannotator.TypeAnnotator

org.checkerframework.common.value.ValueAnnotatedTypeFactory.ValueTypeAnnotator

All Implemented Interfaces:

AnnotatedTypeVisitor<Void,Void>

Enclosing class:

ValueAnnotatedTypeFactory

protected class ValueAnnotatedTypeFactory.ValueTypeAnnotator
extends TypeAnnotator

Performs pre-processing on annotations written by users, replacing illegal annotations by legal ones.

Field Summary

Fields inherited from class org.checkerframework.framework.type.typeannotator.TypeAnnotator

typeFactory

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

visitedNodes

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	ValueTypeAnnotator(AnnotatedTypeFactory atypeFactory) Construct a new ValueTypeAnnotator

Method Summary

Modifier and Type	Method and Description
protected Void	scan(AnnotatedTypeMirror type, Void aVoid) Scan type by calling type.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

Methods inherited from class java.lang.Object

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

Constructor Detail

ValueTypeAnnotator

protected ValueTypeAnnotator(AnnotatedTypeFactory atypeFactory)

Construct a new ValueTypeAnnotator

Method Detail

scan

protected Void scan(AnnotatedTypeMirror type,
                    Void aVoid)

Description copied from class: AnnotatedTypeScanner

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

Overrides:

scan in class AnnotatedTypeScanner<Void,Void>

Parameters:

type - type to scan

aVoid - the parameter to use

Returns:

the result of visiting type