org.checkerframework.framework.util.defaults

Class QualifierDefaults.DefaultApplierElement

java.lang.Object

org.checkerframework.framework.util.defaults.QualifierDefaults.DefaultApplierElement

Enclosing class:

QualifierDefaults

public static class QualifierDefaults.DefaultApplierElement
extends java.lang.Object

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
protected class	QualifierDefaults.DefaultApplierElement.DefaultApplierElementImpl

Field Summary

Fields

Modifier and Type	Field and Description
protected AnnotatedTypeFactory	atypeFactory
protected QualifierDefaults.DefaultApplierElement.DefaultApplierElementImpl	impl
protected TypeUseLocation	location Location to which to apply the default.
protected javax.lang.model.element.Element	scope
protected AnnotatedTypeMirror	type

Constructor Summary

Constructors

Constructor and Description
DefaultApplierElement(AnnotatedTypeFactory atypeFactory, javax.lang.model.element.Element scope, AnnotatedTypeMirror type, boolean applyToTypeVar)

Method Summary

Modifier and Type	Method and Description
protected void	addAnnotation(AnnotatedTypeMirror type, javax.lang.model.element.AnnotationMirror qual) Add the qualifier to the type if it does not already have an annotation in the same hierarchy as qual.
void	applyDefault(Default def) Apply default to the type.
protected boolean	shouldBeAnnotated(AnnotatedTypeMirror type, boolean applyToTypeVar) Returns true if the given qualifier should be applied to the given type.

Methods inherited from class java.lang.Object

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

Field Detail

atypeFactory

protected final AnnotatedTypeFactory atypeFactory

scope

protected final javax.lang.model.element.Element scope

type

protected final AnnotatedTypeMirror type

location

protected TypeUseLocation location

Location to which to apply the default. (Should only be set by the applyDefault method.)

impl

protected final QualifierDefaults.DefaultApplierElement.DefaultApplierElementImpl impl

Constructor Detail

DefaultApplierElement

public DefaultApplierElement(AnnotatedTypeFactory atypeFactory,
                             javax.lang.model.element.Element scope,
                             AnnotatedTypeMirror type,
                             boolean applyToTypeVar)

Method Detail

applyDefault

public void applyDefault(Default def)

Apply default to the type.

Parameters:

def - default to apply

shouldBeAnnotated

protected boolean shouldBeAnnotated(AnnotatedTypeMirror type,
                                    boolean applyToTypeVar)

Returns true if the given qualifier should be applied to the given type. Currently we do not apply defaults to void types, packages, wildcards, and type variables.

Parameters:

type - type to which qual would be applied

Returns:

true if this application should proceed

addAnnotation

protected void addAnnotation(AnnotatedTypeMirror type,
                             javax.lang.model.element.AnnotationMirror qual)

Add the qualifier to the type if it does not already have an annotation in the same hierarchy as qual.

Parameters:

type - type to add qual

qual - annotation to add