Package org.checkerframework.checker.mustcall

Class MustCallTypeAnnotator

java.lang.Object

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

org.checkerframework.framework.type.typeannotator.TypeAnnotator

org.checkerframework.checker.mustcall.MustCallTypeAnnotator

All Implemented Interfaces:

AnnotatedTypeVisitor<Void,Void>

public class MustCallTypeAnnotator
extends TypeAnnotator

Primitive types always have no must-call obligations.

Nested Class Summary

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.typeannotator.TypeAnnotator

atypeFactory

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

defaultResult, reduceFunction, visitedNodes

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	MustCallTypeAnnotator(MustCallAnnotatedTypeFactory typeFactory)	Create a MustCallTypeAnnotator.

Method Summary

Modifier and Type	Method	Description
Void	visitPrimitive(AnnotatedTypeMirror.AnnotatedPrimitiveType type, Void aVoid)	Visits a primitive type.

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

visitExecutable

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

reduce, reset, scan, scan, scanAndReduce, scanAndReduce, visit, visit, visitArray, visitDeclared, visitIntersection, visitNoType, visitNull, visitTypeVariable, visitUnion, visitWildcard

Methods inherited from class java.lang.Object

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

Constructor Details

MustCallTypeAnnotator

protected MustCallTypeAnnotator(MustCallAnnotatedTypeFactory typeFactory)

Create a MustCallTypeAnnotator.

Parameters:

typeFactory - the type factory

Method Details

visitPrimitive

public Void visitPrimitive(AnnotatedTypeMirror.AnnotatedPrimitiveType type,
 Void aVoid)

Description copied from interface: AnnotatedTypeVisitor

Visits a primitive type.

Specified by:

visitPrimitive in interface AnnotatedTypeVisitor<Void,Void>

Overrides:

visitPrimitive in class AnnotatedTypeScanner<Void,Void>

Parameters:

type - the type to visit

aVoid - a visitor-specified parameter

Returns:

a visitor-specified result