org.checkerframework.checker.initialization

Class InitializationAnnotatedTypeFactory.CommitmentTypeAnnotator

java.lang.Object

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

org.checkerframework.framework.type.typeannotator.TypeAnnotator

org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory.CommitmentTypeAnnotator

All Implemented Interfaces:

AnnotatedTypeVisitor<java.lang.Void,java.lang.Void>

Direct Known Subclasses:

NullnessAnnotatedTypeFactory.NullnessTypeAnnotator

Enclosing class:

InitializationAnnotatedTypeFactory<Value extends CFAbstractValue<Value>,Store extends InitializationStore<Value,Store>,Transfer extends InitializationTransfer<Value,Transfer,Store>,Flow extends CFAbstractAnalysis<Value,Store,Transfer>>

protected class InitializationAnnotatedTypeFactory.CommitmentTypeAnnotator
extends TypeAnnotator

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

Constructor and Description
CommitmentTypeAnnotator(InitializationAnnotatedTypeFactory<?,?,?,?> atypeFactory)

Method Summary

Modifier and Type	Method and Description
java.lang.Void	visitExecutable(AnnotatedTypeMirror.AnnotatedExecutableType t, java.lang.Void p) Visits an executable type.

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

reduce, reset, scan, 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

CommitmentTypeAnnotator

public CommitmentTypeAnnotator(InitializationAnnotatedTypeFactory<?,?,?,?> atypeFactory)

Method Detail

visitExecutable

public java.lang.Void visitExecutable(AnnotatedTypeMirror.AnnotatedExecutableType t,
                                      java.lang.Void p)

Description copied from class: TypeAnnotator

Visits an executable type.

If this method adds annotations to the type of method parameters, then GenericAnnotatedTypeFactory.addComputedTypeAnnotations(Element, AnnotatedTypeMirror) should be overriden and the same annotations added to the type of elements with kind ElementKind.PARAMETER.

Specified by:

visitExecutable in interface AnnotatedTypeVisitor<java.lang.Void,java.lang.Void>

Overrides:

visitExecutable in class TypeAnnotator

Parameters:

t - the type to visit

p - a visitor-specified parameter

Returns:

a visitor-specified result