org.checkerframework.checker.experimental.tainting_qual

Class TaintingAnnotationConverter

java.lang.Object

org.checkerframework.checker.experimental.tainting_qual.TaintingAnnotationConverter

All Implemented Interfaces:

AnnotationConverter<Tainting>

public class TaintingAnnotationConverter
extends Object
implements AnnotationConverter<Tainting>

Constructor Summary

Constructors

Constructor and Description
TaintingAnnotationConverter()

Method Summary

Modifier and Type	Method and Description
Tainting	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.

Methods inherited from class java.lang.Object

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

Constructor Detail

TaintingAnnotationConverter

public TaintingAnnotationConverter()

Method Detail

fromAnnotations

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

Description copied from interface: AnnotationConverter

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

Specified by:

fromAnnotations in interface AnnotationConverter<Tainting>

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<Tainting>

Parameters:

anno - the annotation to check

Returns:

true if the annotation is supported