org.checkerframework.checker.initialization

Class InitializationAnnotatedTypeFactory.CommitmentTypeAnnotator

java.lang.Object

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

org.checkerframework.framework.type.typeannotator.TypeAnnotator

org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory.CommitmentTypeAnnotator

All Implemented Interfaces:

AnnotatedTypeVisitor<Void,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
Void	visitExecutable(AnnotatedTypeMirror.AnnotatedExecutableType t, 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 Void visitExecutable(AnnotatedTypeMirror.AnnotatedExecutableType t,
                            Void p)

Description copied from interface: AnnotatedTypeVisitor

Visits an executable type.

Specified by:

visitExecutable in interface AnnotatedTypeVisitor<Void,Void>

Overrides:

visitExecutable in class TypeAnnotator

Parameters:

t - the type to visit

p - a visitor-specified parameter

Returns:

a visitor-specified result