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:

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

Direct Known Subclasses:

NullnessAnnotatedTypeFactory.NullnessTypeAnnotator

Enclosing class:

InitializationAnnotatedTypeFactory<Value extends org.checkerframework.framework.flow.CFAbstractValue<Value>,Store extends InitializationStore<Value,Store>,Transfer extends InitializationTransfer<Value,Transfer,Store>,Flow extends org.checkerframework.framework.flow.CFAbstractAnalysis<Value,Store,Transfer>>

protected class InitializationAnnotatedTypeFactory.CommitmentTypeAnnotator
extends org.checkerframework.framework.type.typeannotator.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(org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedExecutableType t, Void p)

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(org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedExecutableType t,
                            Void p)

Specified by:

visitExecutable in interface org.checkerframework.framework.type.visitor.AnnotatedTypeVisitor<Void,Void>

Overrides:

visitExecutable in class org.checkerframework.framework.type.typeannotator.TypeAnnotator