org.checkerframework.checker.tainting

Class TaintingAnnotationConverter

java.lang.Object

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

org.checkerframework.checker.tainting.TaintingAnnotationConverter

All Implemented Interfaces:

AnnotationConverter<QualParams<Tainting>>, QualifierParameterAnnotationConverter<Tainting>

public class TaintingAnnotationConverter
extends SimpleQualifierParameterAnnotationConverter<Tainting>

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
TaintingAnnotationConverter()

Method Summary

Modifier and Type	Method and Description
Tainting	getQualifier(AnnotationMirror anno) Convert @Tainted and @Untainted annotations into a Tainting enum

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

fromAnnotations, getDeclaredParameters, hasPolyAnnotationCheck, isAnnotationSupported, specialCaseHandle

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

getQualifier

public Tainting getQualifier(AnnotationMirror anno)

Convert @Tainted and @Untainted annotations into a Tainting enum

Specified by:

getQualifier in class SimpleQualifierParameterAnnotationConverter<Tainting>

Parameters:

anno - the annotation

Returns:

the resulting qualifier