org.checkerframework.framework.type.poly

Class DefaultQualifierPolymorphism

java.lang.Object

org.checkerframework.framework.type.poly.AbstractQualifierPolymorphism

org.checkerframework.framework.type.poly.DefaultQualifierPolymorphism

All Implemented Interfaces:

QualifierPolymorphism

public class DefaultQualifierPolymorphism
extends AbstractQualifierPolymorphism

Default implementation of AbstractQualifierPolymorphism. The polymorphic qualifiers for a checker that uses this class are found by searching all supported qualifiers. Instantiations of a polymorphic qualifier are combined using lub.

Field Summary

Fields inherited from class org.checkerframework.framework.type.poly.AbstractQualifierPolymorphism

atypeFactory, POLYALL, polyQuals, qualHierarchy, topQuals

Constructor Summary

Constructors

Constructor and Description
DefaultQualifierPolymorphism(javax.annotation.processing.ProcessingEnvironment env, AnnotatedTypeFactory factory) Creates a DefaultQualifierPolymorphism instance that uses factory for querying type qualifiers and for getting annotated types.

Method Summary

Modifier and Type	Method and Description
protected AnnotationMirrorSet	combine(javax.lang.model.element.AnnotationMirror polyQual, AnnotationMirrorSet a1Annos, AnnotationMirrorSet a2Annos) Returns the lub of the two sets.
protected void	replace(AnnotatedTypeMirror type, AnnotationMirrorMap<AnnotationMirrorSet> replacements) Replaces the top-level polymorphic annotations in type with the instantiations in replacements.

Methods inherited from class org.checkerframework.framework.type.poly.AbstractQualifierPolymorphism

reset, resolve, resolve, resolve

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.checkerframework.framework.type.poly.QualifierPolymorphism

getPolymorphicQualifier, getPolymorphicQualifierElement, getPolymorphicQualifierTop, hasPolymorphicQualifier, isPolyAll, isPolymorphicQualified

Constructor Detail

DefaultQualifierPolymorphism

public DefaultQualifierPolymorphism(javax.annotation.processing.ProcessingEnvironment env,
                                    AnnotatedTypeFactory factory)

Creates a DefaultQualifierPolymorphism instance that uses factory for querying type qualifiers and for getting annotated types.

Parameters:

env - the processing environment

factory - the factory for the current checker

Method Detail

replace

protected void replace(AnnotatedTypeMirror type,
                       AnnotationMirrorMap<AnnotationMirrorSet> replacements)

Description copied from class: AbstractQualifierPolymorphism

Replaces the top-level polymorphic annotations in type with the instantiations in replacements.

This method is called on all parts of a type.

Specified by:

replace in class AbstractQualifierPolymorphism

Parameters:

type - AnnotatedTypeMirror whose poly annotations are replaced; it is side-effected by this method

replacements - mapping from polymorphic annotation to instantiation

combine

protected AnnotationMirrorSet combine(javax.lang.model.element.AnnotationMirror polyQual,
                                      AnnotationMirrorSet a1Annos,
                                      AnnotationMirrorSet a2Annos)

Returns the lub of the two sets.

Specified by:

combine in class AbstractQualifierPolymorphism

Parameters:

polyQual - polymorphic qualifier for which a1Annos and a2Annos are instantiations

a1Annos - a set that is an instantiation of polyQual, or null

a2Annos - a set that is an instantiation of polyQual, or null

Returns:

the lub of the two sets