org.checkerframework.checker.experimental.regex_qual

Class RegexAnnotationConverter

java.lang.Object

org.checkerframework.checker.experimental.regex_qual.RegexAnnotationConverter

All Implemented Interfaces:

AnnotationConverter<Regex>

public class RegexAnnotationConverter
extends Object
implements AnnotationConverter<Regex>

Convert Regex annotations into a Regex qualifier.

Constructor Summary

Constructors

Constructor and Description
RegexAnnotationConverter()

Method Summary

Modifier and Type	Method and Description
Regex	fromAnnotations(Collection<? extends AnnotationMirror> annos) If annotated with @Regex, create a RegexVal qualifier.
boolean	isAnnotationSupported(AnnotationMirror anno) Checks if an annotation is supported by the current type system.

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

fromAnnotations

public Regex fromAnnotations(Collection<? extends AnnotationMirror> annos)

If annotated with @Regex, create a RegexVal qualifier.

Specified by:

fromAnnotations in interface AnnotationConverter<Regex>

Parameters:

annos - the collection of type annotations to parse

Returns:

a type qualifier corresponding to the annotations

isAnnotationSupported

public boolean isAnnotationSupported(AnnotationMirror anno)

Description copied from interface: AnnotationConverter

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.

Specified by:

isAnnotationSupported in interface AnnotationConverter<Regex>

Parameters:

anno - the annotation to check

Returns:

true if the annotation is supported