org.checkerframework.checker.regex

Class RegexAnnotationConverter

java.lang.Object

org.checkerframework.qualframework.poly.SimpleQualifierParameterAnnotationConverter<Regex>

org.checkerframework.checker.regex.RegexAnnotationConverter

All Implemented Interfaces:

AnnotationConverter<QualParams<Regex>>, QualifierParameterAnnotationConverter<Regex>

public class RegexAnnotationConverter
extends SimpleQualifierParameterAnnotationConverter<Regex>

Convert Regex annotations into a Regex qualifier with support for PolyRegex, Var, Wild annotations.

Field Summary

Fields inherited from class org.checkerframework.qualframework.poly.SimpleQualifierParameterAnnotationConverter

BOTTOM, DEFAULT_QUAL, lowerOp, MULTI_ANNO_NAME_PREFIX, POLY_NAME, PRIMARY_TARGET, SOURCE_VALUE_NAME, TARGET_PARAM_NAME, TOP, upperOp, WILDCARD_NAME

Constructor Summary

Constructors

Constructor and Description
RegexAnnotationConverter()

Method Summary

Modifier and Type	Method and Description
Regex	getQualifier(AnnotationMirror anno) Convert @Regex(value) into a Regex qualifier.
protected boolean	hasPolyAnnotationCheck(ExtendedTypeMirror type) This override sets up a polymorphic qualifier when the old PolyRegex annotation is used.
protected QualParams<Regex>	specialCaseHandle(AnnotationMirror anno) Process annotations from the old namespace.

Methods inherited from class org.checkerframework.qualframework.poly.SimpleQualifierParameterAnnotationConverter

fromAnnotations, getDeclaredParameters, isAnnotationSupported

Methods inherited from class java.lang.Object

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

Constructor Detail

RegexAnnotationConverter

public RegexAnnotationConverter()

Method Detail

getQualifier

public Regex getQualifier(AnnotationMirror anno)

Convert @Regex(value) into a Regex qualifier.

Specified by:

getQualifier in class SimpleQualifierParameterAnnotationConverter<Regex>

Parameters:

anno - the annotation

Returns:

the resulting qualifier

specialCaseHandle

protected QualParams<Regex> specialCaseHandle(AnnotationMirror anno)

Process annotations from the old namespace.

Overrides:

specialCaseHandle in class SimpleQualifierParameterAnnotationConverter<Regex>

hasPolyAnnotationCheck

protected boolean hasPolyAnnotationCheck(ExtendedTypeMirror type)

This override sets up a polymorphic qualifier when the old PolyRegex annotation is used.

Overrides:

hasPolyAnnotationCheck in class SimpleQualifierParameterAnnotationConverter<Regex>

Returns:

true if type has a polymorphic qualifier.