Package org.checkerframework.framework.util.defaults

Class QualifierDefaults.DefaultApplierElement

java.lang.Object

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

Enclosing class:

QualifierDefaults

protected class QualifierDefaults.DefaultApplierElement
extends Object

A default applier element.

Nested Class Summary

Nested Classes

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

Field Summary

Fields

Modifier and Type	Field	Description
protected final AnnotatedTypeFactory	atypeFactory	The annotated type factory.
protected final QualifierDefaults.DefaultApplierElement.DefaultApplierElementImpl	impl	The default element applier implementation.
protected TypeUseLocation	location	Location to which to apply the default.
protected final Element	scope	The scope of the default.
protected final AnnotatedTypeMirror	type	The type to which to apply the default.

Constructor Summary

Constructors

Constructor	Description
DefaultApplierElement(AnnotatedTypeFactory atypeFactory, Element scope, AnnotatedTypeMirror type, boolean applyToTypeVar)

Method Summary

Modifier and Type	Method	Description
protected void	addAnnotation(AnnotatedTypeMirror type, 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 Details

atypeFactory

protected final AnnotatedTypeFactory atypeFactory

The annotated type factory.

scope

protected final Element scope

The scope of the default.

type

protected final AnnotatedTypeMirror type

The type to which to apply the default.

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

The default element applier implementation.

Constructor Details

DefaultApplierElement

public DefaultApplierElement(AnnotatedTypeFactory atypeFactory,
 Element scope,
 AnnotatedTypeMirror type,
 boolean applyToTypeVar)

Method Details

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,
 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