org.checkerframework.qualframework.poly

Interface QualifierParameterAnnotationConverter<Q>

All Superinterfaces:

AnnotationConverter<QualParams<Q>>

All Known Implementing Classes:

RegexAnnotationConverter, SimpleQualifierParameterAnnotationConverter, TaintingAnnotationConverter

public interface QualifierParameterAnnotationConverter<Q>
extends AnnotationConverter<QualParams<Q>>

An AnnotationConverter that can also find the names of all declared parameters on a class or method.

Method Summary

Modifier and Type	Method and Description
Set<String>	getDeclaredParameters(Element elt, Set<AnnotationMirror> declAnnotations, ExtendedTypeMirror type) Get the names of all parameters declared on a class, interface, enum, or method declaration Element.

Methods inherited from interface org.checkerframework.qualframework.base.AnnotationConverter

fromAnnotations, isAnnotationSupported

Method Detail

getDeclaredParameters

Set<String> getDeclaredParameters(Element elt,
                                  Set<AnnotationMirror> declAnnotations,
                                  ExtendedTypeMirror type)

Get the names of all parameters declared on a class, interface, enum, or method declaration Element.

Parameters:

elt - the element to inspect for parameters

declAnnotations - the declaration annotations on elt

type - the ExtendedTypeMirror for the element, after stub file annotations have been applied

Returns:

the list of declared parameters