org.checkerframework.qualframework.base

Interface AnnotationConverter<Q>

All Known Subinterfaces:

QualifierParameterAnnotationConverter<Q>

All Known Implementing Classes:

RegexAnnotationConverter, RegexAnnotationConverter, SimpleQualifierParameterAnnotationConverter, TaintingAnnotationConverter, TaintingAnnotationConverter

public interface AnnotationConverter<Q>

DefaultQualifiedTypeFactory component for converting annotations written in source code into type qualifiers. Each type system must provide an implementation of this interface that converts the annotations relevant to that type system into an instance of the type system's qualifier representation.

Method Summary

Modifier and Type	Method and Description
Q	fromAnnotations(Collection<? extends AnnotationMirror> annos) Performs type system-specific annotation parsing to produce a type qualifier.
boolean	isAnnotationSupported(AnnotationMirror anno) Checks if an annotation is supported by the current type system.

Method Detail

fromAnnotations

Q fromAnnotations(Collection<? extends AnnotationMirror> annos)

Performs type system-specific annotation parsing to produce a type qualifier.

Parameters:

annos - the collection of type annotations to parse

Returns:

a type qualifier corresponding to the annotations

isAnnotationSupported

boolean isAnnotationSupported(AnnotationMirror anno)

Checks if an annotation is supported by the current type system. This method should return true if the presence of the provided AnnotationMirror could affect the result of fromAnnotations.

Parameters:

anno - the annotation to check

Returns:

true if the annotation is supported